Arxiv:1912.01121V4
Total Page:16
File Type:pdf, Size:1020Kb
SEIBERG-WITTEN THEORY AND MODULAR LAMBDA FUNCTION WENZHE YANG Abstract. In this paper, we will apply the tools from number theory and modular forms to the study of the Seiberg-Witten theory. We will express the holomorphic functions a,aD, 2 which generate the lattice Z = nea + nmaD, (ne,nm) Z of central charges, in terms of ∈ the periods of the Legendre family of elliptic curves. Thus we will be able to compute the transformations of the quotient aD/a under the action of the modular group PSL(2, Z). We will show the Schwarzian derivative of the quotient aD/a with respect to the complexified coupling constant is given by the theta functions. We will also compute the scalar curvature of the moduli space of the N = 2 supersymmetric Yang-Mills theory, which is shown to be asymptotically flat near the perturbative limit. Contents 1. Introduction 1 2. The Legendre family of elliptic curves 5 3. The modular lambda function and theta functions 6 4. The meromorphic Seiberg-Witten oneform and its periods 9 5. The Schwarzian derivative of the Seiberg-Witten period 11 6. Great Picard’s Theorem and the non-perturbative limit 14 7. The scalar curvature of the moduli space 14 8. Conclusions and further prospects 16 Acknowledgments 16 References 16 1. Introduction arXiv:1912.01121v4 [hep-th] 13 Jan 2021 In the fundamental paper [12] by Seiberg and Witten, the low-energy effective action of the N = 2 supersymmetric Yang-Mills theory with gauge group SU(2) has been determined by using the holomorphic properties of the theory together with their monodromy behaviors near certain singularities. Their beautiful work is now called the Seiberg-Witten theory. In this paper, we will apply the tools from number theory, e.g. modular lambda function, Schwarzian derivative and Great Picard’s Theorem, to study the Seiberg-Witten theory, which provide new insights into the theory. First, let us briefly introduce some well-known results of Seiberg-Witten theory that will be needed in this paper. This section is never meant to be a review of Seiberg-Witten theory, not even a brief one. So we will only introduce the results, while leave all the details to the original paper [12]. The readers who are not familiar with the N = 2 supersymmetric Yang-Mills theory can also consult the review papers [1, 2]. 1 The N = 2 SUSY multiplet contains a massless gauge field Aµ, two Weyl fermions λ and ψ, and a scalar field φ, all of which live in the adjoint representation of the gauge group SU(2). The classical potential of the pure N = 2 theory is given by 1 V (φ)= Tr[φ,φ†]. (1.1) 2 Unbroken SUSY will require that we have V (φ) = 0 (1.2) in the vacuum. But this does not mean that φ itself is zero, since it is sufficient that if φ and φ† commute. Up to a gauge transformation, the scalar field φ can be taken to be 1 φ = aσ , (1.3) 2 3 where σ3 is the third Pauli matrix. For a given vacuum, a must be a constant. But a gauge transformation from the Weyl group of SU(2) can still transform a to a, so they are gauge − equivalent. Hence the gauge invariant quantity that parametrizes the inequivalent vacua is 1 u = a2 = Tr φ2. (1.4) 2 The space of gauge inequivalent vacua is also called the moduli space M of the N = 2 theory, which has u as its coordinate. Naively, one can consider M as the complex plane C. However, this moduli space M has special singularities, and the behaviors of the N =2 theory near these singularities will determine the low-energy effective action [12]. More explicitly, the low energy effective Lagrangian of the N = 2 supersymmetric Yang- Mills theory is completely determined by a prepotential (a), which is a multi-valued holo- F morphic function. The effective complexified coupling constant of the N = 2 theory is given by ∂2 τ (a)= F . (1.5) sw ∂a2 While a natural choice of metric for the moduli space M is 2 (ds) = Im τsw(a) dada, (1.6) which works at least in a small neighborhood of the perturbative limit u = . The dual ∞ variable aD is given by a = ∂ /∂a, (1.7) D F and the complexified coupling constant satisfies da τ (a)= D . (1.8) sw da In particular, the metric (ds)2 on the moduli space can also be expressed as i (ds)2 = Im da da = (da da dada ) . (1.9) D −2 D − D The key insight of Seiberg and Witten is that the multi-valued holomorphic functions a(u) and aD(u) can be realized as the period integrals of a meromorphic oneform defined for a 2 family of elliptic curves [12]. More explicitly, let be the family of elliptic curves defined Eu by the cubic equation : y2 =(x 1)(x + 1)(x u). (1.10) Eu − − On every elliptic curve , there is a meromorphic oneform Ωsw, called the Seiberg-Witten Eu u oneform, that is defined by √2 xdx udx Ωsw = . (1.11) u 2π y − y sw The residue of Ωu at its pole is zero, therefore it defines an element of the cohomology group H1( , C)[12]. The underlying differentiable manifold of is the torus. From the paper Eu Eu [12], there exists a basis γsw,γsw for the homology group H ( , Z) such that { 0 1 } 1 Eu sw sw a(u)= Ωu , aD(u)= Ωu . (1.12) sw sw Zγ0 Zγ1 In fact, the mass-lattice of the BPS states of the N = 2 theory is given by n a + n a :(n , n ) Z2 . (1.13) { e m D e m ∈ } Furthermore, the complexified coupling constant τsw(u) is just the period of the elliptic curve u that is given by E da /du τ (u)= D . (1.14) sw da/du The quotient aD/a plays an important role in the Seiberg-Witten theory, especially in the study of the wall-crossing of BPS states [1, 2, 12]. The motivation of this paper is that since the transformation x 2x 1, y 2√2 y, u 2λ 1, (1.15) 7→ − 7→ 7→ − sends the family (1.10) to the Legendre family of elliptic curves E : y2 = x(x 1)(x λ), (1.16) λ − − could the tools in number theory provide any new insights into the Seiberg-Witten theory? We will see the answer is yes! The most significant result we have obtained through this approach is that the Schwarzian derivative of the quotient aD/a with respect to the complexified coupling constant τsw is given by the theta functions π2 a /a, τ = θ8(0, eπiτsw ). (1.17) { D sw} 2 4 Recall that the Schwarzian derivative of a holomorphic function f(z) with respect to the variable z is defined by f ′′(z) ′ 1 f ′′(z 2 f ′′′(z) 3 f ′′(z) 2 f, z = = . (1.18) { } f ′(z) − 2 f ′(z) f ′(z) − 2 f ′(z) The Schwarzian derivative has many important properties [9, 11], e.g. (1) It is invariant under the M¨obius transformation pf + q p q , z = f, z , GL(2, C). (1.19) rf + s { } r s ∈ 3 (2) If w is a function of z, then we have dw 2 f, z = f,w + w, z . (1.20) { } { } dz { } (3) If w is related to z by a M¨obius transformation pz + q p q w = , GL(2, C), (1.21) rz + s r s ∈ then we have (ps qr)2 f, z = f,w − . (1.22) { } { } (rz + s)4 (4) Given two holomorphic functions f(z) and g(z), we have pg(z)+ q p q f, z = g, z f(z)= for some GL(2, C). (1.23) { } { } ⇐⇒ rg(z)+ s r s ∈ These properties of the Schwarzian derivative immediately tell us that the equation (1.17) is an essential equation that characterize the central charge lattice (1.13), and more impor- tantly the Seiberg-Witten theory. This equation prompts us to ask whether there exists an automorphic representation that can be constructed from the the quotient aD/a which is related to the counting of the BPS states of the N = 2 supersymmetric Yang-Mills the- ory. It is also very interesting to find out whether the equation (1.17) admits any physical interpretations. In this paper, we will also apply the Great Picard’s Theorem to study the behaviors of the quotient a /a near the non-perturbative limit u = 1, based on which we prove that D ± the quotient aD/a indeed can take real values. Even though this is already a well-known property, but a mathematical proof could at least serve as an assurance. We will also compute the scalar curvature of the metric (1.6) on the moduli space M . We will show that near the perturbative limit u = , the scalar curvature approaches 0 exponentially, while near ∞ the non-perturbative limits u = 1, the scalar curvature approaches infinity exponentially. ± Therefore near the perturbative limit u = , the moduli space M is asymptotically flat. ∞ The outline of this paper is as follows. In Section 2, we will review some well-known results of the Legendre family of elliptic curves, e.g. its periods and the Picard-Fuchs equation. In Section 3, we will discuss the properties of the modular lambda function and the theta functions. In Section 4, we will look at the meromorphic Seiberg-Witten oneform and its periods. We will find out their relations to the periods of the Legendre family of elliptic curves.