The prepotential of N=2* supersymmetric theories with unitary gauge groups in an Omega-background satisfies a modular anomaly equation that can be recursively solved order by order in an expansion for small mass. By requiring that S-duality acts on the prepotential as a Fourier transform we generalise this result to N=2* theories with gauge algebras of the D and E type and show that their prepotentials can be written in terms of quasi-modular forms of SL(2,Z). The results are checked against microscopic multi-instanton calculus based on localization for the A and D series and reproduce the known 1-instanton prepotential of the pure N=2 theories for any gauge group of ADE type. Our results can also be used to obtain the multi-instanton terms in the exceptional theories for which the microscopic instanton calculus and the ADHM construction are not available.
We derive a modular anomaly equation satisfied by the prepotential of the N=2* supersymmetric theories with non-simply laced gauge algebras, including the classical B and C infinite series and the exceptional F4 and G2 cases. This equation determines the exact prepotential recursively in an expansion for small mass in terms of quasi-modular forms of the S-duality group. We also discuss the behaviour of these theories under S-duality and show that the prepotential of the SO(2r+1) theory is mapped to that of the Sp(2r) theory and viceversa, while the exceptional F4 and G2 theories are mapped into themselves (up to a rotation of the roots) in analogy with what happens for the N=4 supersymmetric theories. These results extend the analysis for the simply laced groups presented in a companion paper.
A solution to the infinite coupling problem for N=2 conformal supersymmetric gauge theories in four dimensions is presented. The infinitely-coupled theories are argued to be interacting superconformal field theories (SCFTs) with weakly gauged flavor groups. Consistency checks of this proposal are found by examining some low-rank examples. As part of these checks, we show how to compute new exact quantities in these SCFTs: the central charges of their flavor current algebras. Also, the isolated rank 1 E_6 and E_7 SCFTs are found as limits of Lagrangian field theories.
We study N = 2* theories with gauge group U(N) and use equivariant localization to calculate the quantum expectation values of the simplest chiral ring elements. These are expressed as an expansion in the mass of the adjoint hypermultiplet, with coefficients given by quasi-modular forms of the S-duality group. Under the action of this group, we construct combinations of chiral ring elements that transform as modular forms of definite weight. As an independent check, we confirm these results by comparing the spectral curves of the associated Hitchin system and the elliptic Calogero-Moser system. We also propose an exact and compact expression for the 1-instanton contribution to the expectation value of the chiral ring elements.
We investigate epsilon-deformed N=2 superconformal gauge theories in four dimensions, focusing on the N=2* and Nf=4 SU(2) cases. We show how the modular anomaly equation obeyed by the deformed prepotential can be efficiently used to derive its non-perturbative expression starting from the perturbative one. We also show that the modular anomaly equation implies that S-duality is implemented by means of an exact Fourier transform even for arbitrary values of the deformation parameters, and then we argue that it is possible, perturbatively in the deformation, to choose appropriate variables such that it reduces to a Legendre transform.
We calculate the instanton partition function of the four-dimensional N=2* SU(N) gauge theory in the presence of a generic surface operator, using equivariant localization. By analyzing the constraints that arise from S-duality, we show that the effective twisted superpotential, which governs the infrared dynamics of the two-dimensional theory on the surface operator, satisfies a modular anomaly equation. Exploiting the localization results, we solve this equation in terms of elliptic and quasi-modular forms which resum all non-perturbative corrections. We also show that our results, derived for monodromy defects in the four-dimensional theory, match the effective twisted superpotential describing the infrared properties of certain two-dimensional sigma models coupled either to pure N=2 or to N=2* gauge theories.