Hitchin Equation, Singularity, and N=2 Superconformal Field Theories

We argue that Hitchin's equation determines not only the low energy effective theory but also describes the UV theory of four dimensional N=2 superconformal field theories when we compactify six dimensional $A_N$ $(0,2)$ theory on a punctured Riemann surface. We study the singular solution to Hitchin's equation and the Higgs field of solutions has a simple pole at the punctures; We show that the massless theory is associated with Higgs field whose residual is a nilpotent element; We identify the flavor symmetry associated with the puncture by studying the singularity of closure of the moduli space of solutions with the appropriate boundary conditions. For the mass-deformed theory the residual of the Higgs field is a semi-simple element, we identify the semi-simple element by arguing that the moduli space of solutions of mass-deformed theory must be a deformation of the closure of the moduli space of the massless theory. We also study the Seiberg-Witten curve by identifying it as the spectral curve of the Hitchin's system. The results are all in agreement with Gaiotto's results derived from studying the Seiberg-Witten curve of four dimensional quiver gauge theory.Comment: 42 pages, 20 figures, Hitchin's equation for N=2 theory is derived by comparing different order of compactification of six dimensional theory on T^2\times \Sigma. More discussion about flavor symmetries. Typos are correcte

Loop and surface operators in N=2 gauge theory and Liouville modular geometry

Recently, a duality between Liouville theory and four dimensional N=2 gauge theory has been uncovered by some of the authors. We consider the role of extended objects in gauge theory, surface operators and line operators, under this correspondence. We map such objects to specific operators in Liouville theory. We employ this connection to compute the expectation value of general supersymmetric 't Hooft-Wilson line operators in a variety of N=2 gauge theories.Comment: 60 pages, 11 figures; v3: further minor corrections, published versio

Instantons on ALE spaces and Super Liouville Conformal Field Theories

We provide evidence that the conformal blocks of N=1 super Liouville conformal field theory are described in terms of the SU(2) Nekrasov partition function on the ALE space O_{P^1}(-2).Comment: 10 page

Vortices on Orbifolds

The Abelian and non-Abelian vortices on orbifolds are investigated based on the moduli matrix approach, which is a powerful method to deal with the BPS equation. The moduli space and the vortex collision are discussed through the moduli matrix as well as the regular space. It is also shown that a quiver structure is found in the Kahler quotient, and a half of ADHM is obtained for the vortex theory on the orbifolds as the case before orbifolding.Comment: 25 pages, 4 figures; references adde

On Global Flipped SU(5) GUTs in F-theory

We construct an SU(4) spectral divisor and its factorization of types (3,1) and (2,2) based on the construction proposed in [1]. We calculate the chiral spectra of flipped SU(5) GUTs by using the spectral divisor construction. The results agree with those from the analysis of semi-local spectral covers. Our computations provide an example for the validity of the spectral divisor construction and suggest that the standard heterotic formulae are applicable to the case of F-theory on an elliptically fibered Calabi-Yau fourfold with no heterotic dual.Comment: 45 pages, 12 tables, 1 figure; typos corrected, footnotes added, and a reference adde

Flipped SU(5) GUTs from E_8 Singularities in F-theory

In this paper we construct supersymmetric flipped SU(5) GUTs from E_8 singularities in F-theory. We start from an SO(10) singularity unfolded from an E_8 singularity by using an SU(4) spectral cover. To obtain realistic models, we consider (3,1) and (2,2) factorizations of the SU(4) cover. After turning on the massless U(1)_X gauge flux, we obtain the SU(5) X U(1)_X gauge group. Based on the well-studied geometric backgrounds in the literature, we demonstrate several models and discuss their phenomenology.Comment: 46 pages, 23 tables, 1 figure, typos corrected, references added, and new examples presente

Defect loops in gauged Wess-Zumino-Witten models

We consider loop observables in gauged Wess-Zumino-Witten models, and study the action of renormalization group flows on them. In the WZW model based on a compact Lie group G, we analyze at the classical level how the space of renormalizable defects is reduced upon the imposition of global and affine symmetries. We identify families of loop observables which are invariant with respect to an affine symmetry corresponding to a subgroup H of G, and show that they descend to gauge-invariant defects in the gauged model based on G/H. We study the flows acting on these families perturbatively, and quantize the fixed points of the flows exactly. From their action on boundary states, we present a derivation of the "generalized Affleck-Ludwig rule, which describes a large class of boundary renormalization group flows in rational conformal field theories.Comment: 43 pages, 2 figures. v2: a few typos corrected, version to be published in JHE

Quiver GIT for varieties with tilting bundles

In the setting of a variety X admitting a tilting bundle T we consider the problem of constructing X as a quiver GIT quotient of the algebra A:=EndX(T)opA:=EndX(T)op . We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of X and the closed points of a quiver representation moduli functor for A=EndX(T)opA=EndX(T)op then X is indeed a fine moduli space for this moduli functor, and we prove this result without any assumptions on the singularities of X. As an application we consider varieties which are projective over an affine base such that the fibres are of dimension 1, and the derived pushforward of the structure sheaf on X is the structure sheaf on the base. In this situation there is a particular tilting bundle on X constructed by Van den Bergh, and our result allows us to reconstruct X as a quiver GIT quotient for an easy to describe stability condition and dimension vector. This result applies to flips and flops in the minimal model program, and in the situation of flops shows that both a variety and its flop appear as moduli spaces for algebras produced from different tilting bundles on the variety. We also give an application to rational surface singularities, showing that their minimal resolutions can always be constructed as quiver GIT quotients for specific dimension vectors and stability conditions. This gives a construction of minimal resolutions as moduli spaces for all rational surface singularities, generalising the G-Hilbert scheme moduli space construction which exists only for quotient singularities

N=2 gauge theories on toric singularities, blow-up formulae and W-algebrae

We compute the Nekrasov partition function of gauge theories on the (resolved) toric singularities C2/\u393 in terms of blow-up formulae. We discuss the expansion of the partition function in the e1,e2 \u2192 0 limit along with its modular properties and how to derive them from the M-theory perspective. On the two-dimensional conformal field theory side, our results can be interpreted in terms of representations of the direct sum of Heisenberg plus W_N -algebrae with suitable central charges, which can be computed from the fan of the resolved toric variety. We provide a check of this correspondence by computing the central charge of the two-dimensional theory from the anomaly polynomial of M5-brane theory. Upon using the AGT correspondence our results provide a candidate for the conformal blocks and three-point functions of a class of the two-dimensional CFTs which includes parafermionic theories