No Arabic abstract
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.
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.
Three-dimensional Coulomb branches have a prominent role in the study of moduli spaces of supersymmetric gauge theories with $8$ supercharges in $3,4,5$, and $6$ dimensions. Inspired by simply laced $3$d $mathcal{N}=4$ supersymmetric quiver gauge theories, we consider Coulomb branches constructed from non-simply laced quivers with edge multiplicity $k$ and no flavor nodes. In a computation of the Coulomb branch as the space of dressed monopole operators, a center-of-mass $U(1)$ symmetry needs to be ungauged. Typically, for a simply laced theory, all choices of the ungauged $U(1)$ (i.e. all choices of ungauging schemes) are equivalent and the Coulomb branch is unique. In this note, we study various ungauging schemes and their effect on the resulting Coulomb branch variety. It is shown that, for a non-simply laced quiver, inequivalent ungauging schemes exist which correspond to inequivalent Coulomb branch varieties. Ungauging on any of the long nodes of a non-simply laced quiver yields the same Coulomb branch $mathcal{C}$. For choices of ungauging the $U(1)$ on a short node of rank higher than $1$, the GNO dual magnetic lattice deforms such that it no longer corresponds to a Lie group, and therefore, the monopole formula yields a non-valid Coulomb branch. However, if the ungauging is performed on a short node of rank $1$, the one-dimensional magnetic lattice is rescaled conformally along its single direction and the corresponding Coulomb branch is an orbifold of the form $mathcal{C}/mathbb{Z}_k$. Ungauging schemes of $3$d Coulomb branches provide a particularly interesting and intuitive description of a subset of actions on the nilpotent orbits studied by Kostant and Brylinski arXiv:math/9204227. The ungauging scheme analysis is carried out for minimally unbalanced $C_n$, affine $F_4$, affine $G_2$, and twisted affine $D_4^{(3)}$ quivers, respectively.
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.
Exact solutions to the quantum S-matrices for solitons in simply-laced affine Toda field theories are obtained, except for certain factors of simple type which remain undetermined in some cases. These are found by postulating solutions which are consistent with the semi-classical limit, $hbarrightarrow 0$, and the known time delays for a classical two soliton interaction. This is done by a `$q$-deformation procedure, to move from the classical time delay to the exact S-matrix, by inserting a special function called the `regularised quantum dilogarithm, which only holds when $|q|=1$. It is then checked that the solutions satisfy the crossing, unitarity and bootstrap constraints of S-matrix theory. These properties essentially follow from analogous properties satisfied by the classical time delay. Furthermore, the lowest mass breather S-matrices are computed by the bootstrap, and it is shown that these agree with the particle S-matrices known already in the affine Toda field theories, in all simply-laced cases.
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.