A New 2d/4d Duality via Integrability

We prove a duality, recently conjectured in arXiv:1103.5726, which relates the F-terms of supersymmetric gauge theories defined in two and four dimensions respectively. The proof proceeds by a saddle point analysis of the four-dimensional partition function in the Nekrasov-Shatashvili limit. At special quantized values of the Coulomb branch moduli, the saddle point condition becomes the Bethe Ansatz Equation of the SL(2) Heisenberg spin chain which coincides with the F-term equation of the dual two-dimensional theory. The on-shell values of the superpotential in the two theories are shown to coincide in corresponding vacua. We also identify two-dimensional duals for a large set of quiver gauge theories in four dimensions and generalize our proof to these cases.Comment: 19 pages, 2 figures, minor corrections and references adde

Wall Crossing and Instantons in Compactified Gauge Theory

We calculate the leading weak-coupling instanton contribution to the moduli-space metric of N=2 supersymmetric Yang-Mills theory with gauge group SU(2) compactified on R^3 x S^1. The results are in precise agreement with the semiclassical expansion of the exact metric recently conjectured by Gaiotto, Moore and Neitzke based on considerations related to wall-crossing in the corresponding four-dimensional theory.Comment: 24 pages, no figure

Quantization of Integrable Systems and a 2d/4d Duality

We present a new duality between the F-terms of supersymmetric field theories defined in two- and four-dimensions respectively. The duality relates N=2 supersymmetric gauge theories in four dimensions, deformed by an Omega-background in one plane, to N=(2,2) gauged linear sigma-models in two dimensions. On the four dimensional side, our main example is N=2 SQCD with gauge group SU(L) and 2L fundamental flavours. Using ideas of Nekrasov and Shatashvili, we argue that the Coulomb branch of this theory provides a quantization of the classical Heisenberg SL(2) spin chain. Agreement with the standard quantization via the Algebraic Bethe Ansatz implies the existence of an isomorphism between the chiral ring of the 4d theory and that of a certain two-dimensional theory. The latter can be understood as the worldvolume theory on a surface operator/vortex string probing the Higgs branch of the same 4d theory. We check the proposed duality by explicit calculation at low orders in the instanton expansion. One striking consequence is that the Seiberg-Witten solution of the 4d theory is captured by a one-loop computation in two dimensions. The duality also has interesting connections with the AGT conjecture, matrix models and topological string theory where it corresponds to a refined version of the geometric transition.Comment: 51 pages, 7 figures. Additional comments, minor improvements and references adde

A 5d/3d duality from relativistic integrable system

We propose and prove a new exact duality between the F-terms of supersymmetric gauge theories in five and three dimensions with adjoint matter fields. The theories are compactified on a circle and are subject to the Omega deformation. In the limit proposed by Nekrasov and Shatashvili, the supersymmetric vacua become isolated and are identified with the eigenstates of a quantum integrable system. The effective twisted superpotentials are the Yang-Yang functional of the relativistic elliptic Calogero-Moser model. We show that they match on-shell by deriving the Bethe ansatz equation from the saddle point of the five-dimensional partition function. We also show that the Chern-Simons terms match and extend our proposal to the elliptic quiver generalizations.Comment: 30 pages, 4 figures. v2: typo corrected, references adde

Stringy Instantons in SU(N) N=2 Non-Conformal Gauge Theories

In this paper we explicitly obtain the leading corrections to the SU(N) N=2 prepotential due to stringy instantons both in flat space-time and in the presence of a non-trivial graviphoton background field. We show that the stringy corrections to the prepotential are expressible in terms of the elementary symmetric polynomials. For N>2 the theory is not conformal; we discuss the introduction of an explicit dependence on the string scale \alpha' in the low-energy effective action through the stringy non-perturbative sector.Comment: 22 pages, 1 figur

Partition function of N = 2* SYM on a large four-sphere

We examine the partition function of N=2* supersymmetric SU(N) Yang-Mills theory on the four-sphere in the large radius limit. We point out that the large radius partition function, at fixed N, is computed by saddle points lying on particular walls of marginal stability on the Coulomb branch of the theory on R^4. For N an even (odd) integer and \theta_YM=0, (\pi), these include a point of maximal degeneration of the Donagi-Witten curve to a torus where BPS dyons with electric charge [N/2] become massless. We argue that the dyon singularity is the lone saddle point in the SU(2) theory, while for SU(N) with N>2, we characterize potentially competing saddle points by obtaining the relations between the Seiberg-Witten periods at such points. Using Nekrasov's instanton partition function, we solve for the maximally degenerate saddle point and obtain its free energy as a function of g_YM and N, and show that the results are "large-N exact". In the large-N theory our results provide analytical expressions for the periods/eigenvalues at the maximally degenerate saddle point, precisely matching previously known formulae following from the correspondence between N=2* theory and the elliptic Calogero-Moser integrable model. The maximally singular point ceases to be a saddle point of the partition function above a critical value of the coupling, in agreement with the recent findings of Russo and Zarembo

BPS States in Omega Background and Integrability

We reconsider string and domain wall central charges in N=2 supersymmetric gauge theories in four dimensions in presence of the Omega background in the Nekrasov-Shatashvili (NS) limit. Existence of these charges entails presence of the corresponding topological defects in the theory - vortices and domain walls. In spirit of the 4d/2d duality we discuss the worldsheet low energy effective theory living on the BPS vortex in N=2 Supersymmetric Quantum Chromodynamics (SQCD). We discuss some aspects of the brane realization of the dualities between various quantum integrable models. A chain of such dualities enables us to check the AGT correspondence in the NS limit.Comment: 48 pages, 10 figures, minor changes, references added, typos correcte

N=2 Instanton Effective Action in Omega-background and D3/D(-1)-brane System in R-R Background

We study the relation between the ADHM construction of instantons in the Omega-background and the fractional D3/D(-1)-branes at the orbifold singularity of C \times C^2/Z_2 in Ramond-Ramond (R-R) 3-form field strength background. We calculate disk amplitudes of open strings connecting the D3/D(-1)-branes in certain R-R background to obtain the D(-1)-brane effective action deformed by the R-R background. We show that the deformed D(-1)-brane effective action agrees with the instanton effective action in the Omega-background.Comment: 35 pages, no figures, references adde

Penner Type Matrix Model and Seiberg-Witten Theory

We discuss the Penner type matrix model recently proposed by Dijkgraaf and Vafa for a possible explanation of the relation between four-dimensional gauge theory and Liouville theory by making use of the connection of the matrix model to two-dimensional CFT. We first consider the relation of gauge couplings defined in UV and IR regimes of N_f = 4, N = 2 supersymmetric gauge theory being related as $q_{{\rm UV}}={\vartheta_2(q_{{\rm IR}})^4/\vartheta_3(q_{{\rm IR}})^4}$. We then use this relation to discuss the action of modular transformation on the matrix model and determine its spectral curve. We also discuss the decoupling of massive flavors from the N_f = 4 matrix model and derive matrix models describing asymptotically free N = 2 gauge theories. We find that the Penner type matrix theory reproduces correctly the standard results of N = 2 supersymmetric gauge theories.Comment: 22 pages; v2: references added, typos corrected; v3: a version to appear in JHE

Vortex counting from field theory

The vortex partition function in 2d N = (2,2) U(N) gauge theory is derived from the field theoretical point of view by using the moduli matrix approach. The character for the tangent space at each moduli space fixed point is written in terms of the moduli matrix, and then the vortex partition function is obtained by applying the localization formula. We find that dealing with the fermionic zero modes is crucial to obtain the vortex partition function with the anti-fundamental and adjoint matters in addition to the fundamental chiral multiplets. The orbifold vortex partition function is also investigated from the field theoretical point of view.Comment: 21 pages, no figure