Prepared for submission to JHEP ICCUB-14-065 N = 2 gauge theories and quantum phases Jorge G. Russo Instituci´oCatalana de Recerca i Estudis Avan¸cats(ICREA), Pg. Lluis Companys 23, 08010 Barcelona, Spain. ECM Department and Institute for Sciences of the Cosmos, Facultat de F´ısica, Universitat de Barcelona, Mart´ıFranqu`es1, E08028 Barcelona, Spain. E-mail: [email protected] Abstract: The partition function of general N = 2 supersymmetric SU(2) Yang- Mills theories on a four-sphere localizes to a matrix integral. We show that in the decompactification limit, and in a certain regime, the integral is dominated by a saddle point. When this takes effect, the free energy is exactly given in terms of the prepotential, F = −R2Re(4πiF), evaluated at the singularity of the Seiberg- Witten curve where the dual magnetic variable aD vanishes. We also show that the superconformal fixed point of massive supersymmetric QCD with gauge group SU(2) is associated with the existence of a quantum phase transition. Finally, we discuss the case of N = 2∗ SU(2) Yang-Mills theory and show that the theory does not exhibit phase transitions. arXiv:1411.2602v3 [hep-th] 7 Dec 2014 Contents 1 Introduction1 2 Pure SU(2) Super Yang-Mills theory3 2.1 The Seiberg-Witten solution3 2.2 Localization4 2.3 Partition function at large R 6 3 SU(2) SQCD with massive fundamental and antifundamental hyper- multiplets9 3.1 The partition function9 3.2 SQCD toy model without instantons 11 3.3 Exact results via Seiberg-Witten 12 4 N = 2∗ SU(2) SYM 15 A Instantons in N = 2∗ 19 B N = 2∗ toy model without instantons 20 1 Introduction Non-abelian gauge theories exhibit a vast number of extremely interesting phenom- ena. Many of these involve non-perturbative physics and are also present even in N = 2 supersymmetric gauge theories. These theories can be viewed as a precise lab- oratory to test our intuition on the dynamics of quantum chromodynamics in terms of exact results, that include all perturbative and non-perturbative contributions in terms of closed, analytic formulas. Since the pioneering work of Seiberg and Witten [1,2], in the last two decades there were numerous remarkable discoveries and key constructions (for reviews, see e.g. [3,4]). Using holomorphy, the approach of Seiberg and Witten [1,2] leads to the exact computation of the low-energy effective action for general N = 2 supersymmetric gauge theories. A systematic way to obtain these solutions by means of instan- ton counting was found some years later by Nekrasov [5,6]. Another approach is supersymmetric localization, which was used to determine 1/2 supersymmetric ob- servables in N = 2 theories on S4, such as the partition function and the circular Wilson loop, in terms of an r-dimensional integral, where r is the rank of the gauge { 1 { group. For SU(2) gauge groups, localization thus reduces the computation of the exact partition function to a single integral, which means an enormous simplification as compared with the original infinite dimensional functional integral. However, the partition function is still very difficult to compute exactly because the integrand is complicated, involving Barnes G-functions and the instanton factor. One case that can be computed exactly is SU(N) N = 2 supersymmetric gauge theories in the limit of large N. Taking the infinite N limit leads to two important simplifications. First, instanton contributions are exponentially suppressed with N and as a result the instanton factor is set to 1. Secondly, in this limit the integral is determined by a saddle point. In turn, this permits to calculate the partition function and Wilson loop exactly as a function of the coupling in terms of analytic formulas. Along the way one obtains predictions for theories with AdS/CFT duals. Using these ideas, many new insights into the physics of large N four-dimensional gauge theories have recently been obtained [8{20]. One of the surprising outcomes of these studies is the proliferation of large N quantum phase transitions in the decompactification limit, which seem to be generic features of N = 2 theories with massive matter (exceptions include massive defor- mations of the N = 2 superconformal theory [13]). The quantum critical points originate from resonances that appear whenever the coupling is such that the saddle point hits points in the Coulomb branch of the moduli space where there are massless excitations. In some cases, this effect leads to complicated phase structures. One of the motivations of this paper is to elaborate on the bridge between these recent results from localization and the extense literature based on the Seiberg and Witten solution. While the phase transitions were detected at large N, it is plausi- ble that even for low-rank gauge groups, such as SU(2), there might be non-analytic features in the free energy due to the fact that, for certain critical couplings, config- urations crossing massless singularities may dominate the integral. In this paper we will focus on two supersymmetric gauge theories where the Seiberg-Witten solution has been extensively studied: the SU(2) super QCD with ∗ Nf = 2 massive multiplets, and the SU(2) N = 2 theory, corresponding to a massive deformation of N = 4 super Yang-Mills. In the large N SU(N) version, these two theories exhibit phase transitions at certain couplings. For the SQCD theory, there are two phases [13, 15], the weak coupling phase with 2Λ < M and the strong coupling phase with 2Λ > M. On the other hand, N = 2∗ theory exhibits an infinite number of phase transitions undergoing as the couplingp λ is increased and accumulating at λ = 1 with the asymptotic critical coupling λ ∼ nπ, where n 1 is an integer [12, 13, 18, 20]. The basic starting point will be the observation that, in a certain regime of the coupling, taking the decompactification limit in localization formulas permits to write the Pestun partition function in terms of the Seiberg-Witten prepotential. The simplification occurs provided a saddle point exists at sufficiently large value of the { 2 { integration variable. In compactifying the gauge theories on S4, the curvature couplings generate a scalar potential that lifts the vacuum degeneracy. In [15] it was pointed out that sending subsequently the radius of the sphere to infinity defines a unique vacuum in the decompactification limit, in much the same way as switching on a small external magnetic field in a Heisenberg ferromagnet selects a unique vacuum. The present results show that this \S4 vacuum" corresponds to minimizing the Seiberg-Witten prepotential. The curvature couplings indeed do not drop out in the infinite radius limit, but contribute to the Seiberg-Witten prepotential in the classical or one-loop term, as we shall explain. We will begin with the simplest example, pure SU(2) super Yang-Mills theory. 2 Pure SU(2) Super Yang-Mills theory 2.1 The Seiberg-Witten solution The supersymmetric vacuum in pure N = 2 SU(N) gauge theories is characterized by the expectation value of the scalar field of the vector multiplet, given by N X Φ = diag(a1; :::; aN ) ; ai = 0 : (2.1) i=1 The low-energy effective action in N = 2 gauge theory is fully determined in terms of the prepotential F(ai). The magnetic dual variables defined by @F aDi = ; (2.2) @ai will play an important r^olein what follows. Our discussion will be restricted to SU(2) gauge group. In this case the coupling constant is given by @2F τ(a) = : (2.3) @a2 It represents the renormalized coupling in the vacuum (2.1), 8 a τ(a) = 2τUV − ln + ::: (2.4) 2πi ΛUV 8 a = − ln + ::: (2.5) 2πi Λ where Λ is the dynamical scale, related to the renormalization scale ΛUV by 1 πiτUV Λ = ΛUV e 2 : (2.6) { 3 { Equation (2.5) shows the one-loop contribution to τ(a). The exact expression for the coupling at a given vacuum parametrized by a is obtained from the Seiberg-Witten (SW) solution. For pure SU(2) SYM, the SW curve is given by [1] y2 = (x2 − Λ4)(x − u) ; (2.7) where u is the gauge invariant parameter u = htr Φ2i = 2a2 + ::: ; (2.8) and dots stand for quantum corrections. The curve (2.7) has singularities at u = ±Λ2. The periods of this curve determine a and aD in terms u. One finds p 2 p p p 2Λ2 Z Λ dx x − u 2Λ2 Z u dx x − u a = p ; aD = p : (2.9) 2 4 2 4 2π −Λ2 x − Λ π Λ2 x − Λ These integrals can be expressed in terms of elliptic functions. A compact form is [21] i 3 3 a (u) = Λ(u2 − 1) F ( ; ; 2; 1 − u2) ; D 4 2 1 4 4 1 2 1 1 3 1 a(u) = Λ(1 − u ) 4 F (− ; ; 1; ) : (2.10) 1 + i 2 1 4 4 1 − u2 The prepotential F(a) can then be obtained from the formula @F a = : (2.11) D @a At weak coupling, one finds the expansion [21] 1 4a X Λ4k 2πiF = −4a2 ln + z ; (2.12) e3=2Λ k a4k−2 k=1 with 1 5 3 1469 z = ; z = ; z = ; z = ; ::: (2.13) 1 25 2 214 3 218 4 231 2.2 Localization We wish to reproduce the formula for the prepotential (2.12) starting with the exact formula for the partition function for the theory compactified on a four-sphere of ra- dius R, derived by using localization techniques. For pure N = 2 SYM, the one-loop determinant is divergent and needs to be properly regularized and renormalized.