arxiv:hep-th/ v1 15 Sep 1996

Transcription

1 1057 BRX-TH-398, US-FT-39-96, BROWN-HET- hep-th/ September, arxiv:hep-th/ v1 15 Sep 1996 A New Derivation of the Picard-Fuchs Equations for Effective N = Super Yang-Mills Theories. J.M. Isidro, a A. Mukherjee, a J.P. Nunes, a,b and H.J. Schnitzer a Department of Physics, Brandeis University, Waltham MA , USA. a Department of Physics, Brown University, Providence RI 091, USA. b ABSTRACT A new method to obtain the Picard-Fuchs equations of effective, N = supersymmetric gauge theories in 4 dimensions is developed. It includes both pure super Yang-Mills and supersymmetric gauge theories with massless matter hypermultiplets. It applies to all classical gauge groups, and directly produces a decoupled set of second-order, partial differential equations satisfied by the period integrals of the Seiberg-Witten differential along the 1-cycles of the algebraic curves describing the vacuum structure of the corresponding N = theory. Supported by Ministerio de Educación y Ciencia, Spain. Home address: Dep. de Física de Partículas, Universidad de Santiago, Santiago, Spain. Research supported in part by the DOE under grant DE-FG0-9ER Supported by Praxis XXI, Portugal and the DOE under grant DE-FG091ER40688-Task A. Current address: b. Research supported in part by the DOE under grant DE-FG0-9ER isidro, mukherjee, schnitzer@binah.cc.brandeis.edu, nunes@het.brown.edu

2 1. Introduction. There have been enormous advances in understanding the low-energy properties of supersymmetric gauge theories in the last couple of years 1]. In particular, for N = gauge theories with N f matter hypermultiplets, the exact solution for the low- energy properties of the Coulomb phase of the theory is given in principle by a hyperelliptic curve 18]. In practice, however, a great deal of additional work is required to extract the physics embodied in the curve that describes the theory in question. A given theory is characterised by a number of moduli 1 18] which are related to the vacuum expectation values of the scalar fields of the N = vector multiplet and the bare masses of the matter hypermultiplets. If the scalar fields of the matter hypermultiplets have vanishing expectation values, then one is in the Coulomb phase of the theory; otherwise one is in a Higgs or in a mixed phase 1,17]. This paper will only be concerned with the Coulomb phase of asymptotically free N = supersymmetric theories. The Seiberg-Witten (SW) period integrals ( ) ad Π = a (1.1) are related to the prepotential F( a) characterising the low-energy effective Lagrangian by a i D = F a i (1.) One can use the global monodromy properties of Π to essentially fix it, and then find the prepotential F( a) by integration. In practice, one needs to construct the SW periods Π from the known, auxiliary hyperelliptic curve; not an easy task for groups with rank or greater. One particular way of obtaining the necessary information is to derive a set of Picard-Fuchs (PF) equations for the SW period integrals. The PF equations have been formulated for SU() and SU(3) with N f = 0 11,19], and for N f 0 for massless hypermultiplets (m = 0) 1,3]. The solutions to 1

3 these equations have been considered for SU() with N f = 0, 1,, 3, for SU(3) with N f = 0, 1,..., 5, and for other classical gauge groups in 11,1,3,5]. In the particular case of massless SU(), the solutions to the PF equations are given by hypergeometric functions 19,1], while for N f = 0 SU(3), they are given (in certain regions of moduli space) by Appell functions, which generalise the hypergeometric function 11]. In other regions of the SU(3) moduli space, only double power-series solutions are available. Thus, even given the hyperelliptic curve characterising the Coulomb phase of an N = supersymmetric gauge theory, considerable analysis is required to obtain the SW periods and the effective Lagrangian in various regions of moduli space. The first task in such a programme is to obtain the PF equations for the SW period integrals. Klemm et al. 11] describe a particular procedure which enables them to obtain the PF equations for SU(3) with N f = 0, which in principle is applicable to other theories as well. One would like to obtain and solve the PF equations for a wide variety of theories in order to explore the physics contained in particular solutions, and also to obtain an understanding of the general features of N = gauge theories. Therefore it is helpful to have an efficient method for constructing PF equations from a given hyperelliptic curve, so that one can obtain explicit solutions for groups with rank greater than or equal to. It is the purpose of this paper to present a systematic method for finding the PF equations for the SW periods which is particularly convenient for symbolic computer computations, once the hyperelliptic curve appropriate to a given N = supersymmetric gauge theory is known. Our method should be considered as an alternative to that of Klemm et al. 11]. A key element in our treatment is the Weyl group symmetry underlying the algebraic curve that describes the vacuum structure of the effective N = SYM theory (with or without massless hypermultiplets). For technical reasons, we will not treat the theories with non-zero bare masses, but leave a discussion of such cases to subsequent work 30]. This paper is organised as follows. In section, our method is described in

4 general, so that given a hyperelliptic curve for some N = theory, one will obtain a coupled set of partial, first-order differential equations for the periods. The method is further elucidated in section 3, where a technique is developed to obtain a decoupled set of partial, second-order differential equations satisfied by the SW periods. A number of technical details pertaining to the application of our method to different gauge groups (both classical and exceptional) are also given in section 3. Some relevant examples in rank are worked out in detail in section 4, for illustrative purposes. Our results are finally summarised in section 5. Appendix A deals with a technical proof that is omitted from the body of the text. An extensive catalogue of results is presented in appendix B, including N f 0 theories (but always with zero bare mass). Explicit solutions to the PF equations themselves for rank greater than can be quite complicated, so we will restrict this paper to the presentation of the methods and a catalogue of PF equations. Solutions to some interesting cases will be presented in a sequel in preparation 30]. The methods of this paper will have applications to a variety of questions, and are not limited to the SW problem.. The Picard-Fuchs Equations: Generalities..1. Formulation of the problem. Let us consider the complex algebraic curve y = p (x) x k Λ l (.1) where p(x) is the polynomial p(x) = n u i x i = x n u n x n... u 1 x u 0 (.) i=0 p(x) will be the characteristic polynomial corresponding to the fundamental representation of the Lie algebra of the effective N = theory. We can therefore 3

5 normalise the leading coefficient to 1, i.e., u n = 1. We can also take u = 0, as all semisimple Lie algebras can be represented by traceless matrices. The integers k, l and n, as well as the required coefficients u i corresponding to various choices of a gauge group and matter content, have been determined in 10]. From dimensional analysis we have 0 k < n 1 18]. Λ is the quantum scale of the effective N = theory. Without loss of generality, we will set Λ = 1 for simplicity in what follows. If needed, the required powers of Λ can be reinstated by imposing the condition of homogeneity of the equations with respect to the (residual) R-symmetry. Equation (.1) defines a family of hyperelliptic Riemann surfaces Σ g of genus g = n 1 7]. The moduli space of the curves (.1) coincides with the moduli space of quantum vacua of the N = theory under consideration. The coefficients u i are called the moduli of the surface. On Σ g there are g holomorphic 1-forms which, in the canonical representation, can be expressed as x j dx, j = 0, 1,..., g 1 (.3) y and are also called abelian differentials of the first kind. The following g 1-forms are meromorphic on Σ g and have vanishing residues: x j dx, j = g 1, g,..., g (.4) y Due to this property of having zero residues, they are also called abelian differentials of the second kind. Furthermore, the 1-form x g dx y (.5) is also meromorphic on Σ g, but with non-zero residues. Due to this property of having non-zero residues it is also called an abelian differential of the third kind. Altogether, the abelian differentials x j dx/y in equations (.3) and (.4) will be 4

6 denoted collectively by ω j, where j = 0, 1,..., g, j g. We define the basic range R to be R = {0, 1,..., ǧ,...g}, where a check over g means the value g is to be omitted. In effective N = supersymmetric gauge theories, there exists a preferred differential λ SW, called the Seiberg-Witten (SW) differential, with the following property 1]: the electric and magnetic masses a i and a D i entering the BPS mass formula are given by the periods of λ SW along some specified closed cycles γ i, γi D H 1 (Σ g ), i.e., a i = λ SW, a D i = λ SW (.6) γ i The SW differential further enjoys the property that its modular derivatives λ SW / u i are (linear combinations of the) holomorphic 1-forms 1]. This ensures positivity of the Kähler metric on moduli space. Specifically, for the curve given in (.1), we have 3,5,10] γ D i λ SW = k ] dx p(x) xp (x) y (.7) In the presence of non-zero (bare) masses for matter hypermultiplets, the SW differential picks up a non-zero residue 1], thus causing it to be of the third kind. Furthermore, when the matter hypermultiplets are massive, the SW differential is no longer given by equation (.7). In what follows λ SW will never be of the third kind, as we are restricting ourselves to the pure SYM theory, or to theories with massless matter. Let us define W = y, so equation (.1) will read W = p (x) x k = n n u i u j x ij x k (.8) i=0 j=0 Given any differential x m dx/y, with m 0 an integer, let us define its generalised 5

7 µ-period Ω (µ) m (u i ; γ) along a fixed 1-cycle γ H 1 (Σ g ) as the line integral 6] Ω (µ) m (u i ; γ) := ( 1) µ1 Γ(µ 1) γ x m dx (.9) W µ1 In equation (.9), Γ(µ) stands for Euler s gamma function, while γ H 1 (Σ g ) is any closed 1-cycle on the surface. As γ will be arbitrary but otherwise kept fixed, γ will not appear explicitly in the notation. The usual periods of the Riemann surface (up to an irrelevant normalisation factor) are of course obtained upon setting µ = 1/, taking m = 0, 1,..., g 1, and γ to run over a canonical (symplectic) basis of H 1 (Σ g ) 7]. However, we will find it convenient to work with an arbitrary µ which will only be set equal to 1/ at the very end. The objects Ω (µ) m, and the differential equations they satisfy (called Picard-Fuchs (PF) equations), will be our prime focus of attention. With abuse of language, we will continue to call the Ω (µ) m periods, with the added adjectives of the first, second, or third kind, if m = 0,..., g 1, m = g 1,...,g, or m = g, respectively... The recursion relations. We now proceed to derive a set of recursion relations that will be used to set up to PF equations. From equation (.8) one easily finds W x =nx W u i = n u j x ij j=0 (j l)u j u l x jl 1 (n j)u j x nj 1 kx k 1 j=0 l=0 j=0 (.10) Solve for the highest power of x in W/ x, i.e., x, in equation (.10), and 6

8 substitute the result into (.9) to find Ω (µ1) m = ( 1)µ Γ(µ ) 1 n γ x m 1 W W µ n x (j l)u j u l x jl 1 1 n j=0 l=0 m n Ω(µ) m 1 1 n j=0 l=0 1 (n j)u j Ω (µ1) n mnj 1 k j=0 j=0 (j l)u j u l Ω (µ1) mjl 1 n Ω(µ1) mk 1 (n j)u j x nj 1 k n xk 1] = (.11) To obtain the last line of equation (.11), an integration by parts has been performed and a total derivative dropped. If m 0, shift m by one unit to obtain from equation (.11) Ω (µ) m = 1 kω (µ1) m 1 mk nω(µ1) mn Next we use equation (.8) to compute j=0 l=0 (1 µ)ω (µ) m = ( 1) µ Γ(µ ) = ( 1) µ Γ(µ ) = n n l=0 j=0 γ x m n W µ u l u j Ω (µ1) mlj Ω(µ1) mk (jl)u j u l Ω (µ1) γ l=0 j=0 mjl x m W W µ = j=0 n u l u j x lj x k] = (nj)u j Ω (µ1) mnj (.1) (.13) and use this to solve for the period with the highest value of the lower index, m n, to get Ω (µ1) mn = Ω(µ1) mk j=0 l=0 u j u l Ω (µ1) mjl j=0 u j Ω (µ1) mnj (1 µ)ω(µ) m (.14) ] 7

9 Replace Ω (µ1) mn Ω (µ) m = in equation (.1) with its value from (.14) to arrive at 1 (k n)ω (µ1) m 1 n(1 µ) mk (n j l)u j u l Ω (µ1) mjl (n j)u j Ω (µ1) j=0 l=0 j=0 mnj ] (.15) Finally, take Ω (µ) m as given in equation (.15) and substitute it into (.14) to obtain an equation involving µ 1 on both sides. After shifting m m n, one gets Ω (µ1) m = j=0 j=0 l=0 1 (m ) (µ1) n 1 k(1 µ) Ω m 1 n(µ ) mk n ( (1 µ)(n j) (m n 1) ) uj Ω (µ1) m nj ( ) ] (j l)(1 µ) (m n 1) uj u l Ω (µ1) mjl n (.16) We now set µ = 1/ and collect the two recursion relations (.15) and (.16): Ω ( 1/) m = j=0 l=0 1 (k n)ω (1/) m (n 1) mk (n j l)u j u l Ω (1/) mjl ] (.17) (n j)u j Ω (1/) mnj j=0 and Ω (1/) m = j=0 1 m 1 3n (m k) (1/) n 1 Ω mk n ( ) n j (m n 1) uj Ω (1/) m nj j=0 l=0 (1 ] (j l) (m n 1)) u j u l Ω (1/) mjl n (.18) Let us now pause to explain the significance of equations (.17) and (.18). The existence of a particular symmetry of the curve under consideration may simplify 8

10 the analysis of these equations. For the sake of clarity, we will for the moment assume that equation (.17) will not have to be evaluated at m = g = n 1, where it blows up, and that its right-hand side will not contain occurrences of the corresponding period Ω (1/). A similar assumption will be made regarding equation (.18), i.e., it will not have to be evaluated at m = 3n 1, and is right-hand side will not contain the period Ω (1/). In other words, we are for the moment assuming that we can restrict ourselves to the subspace of differentials ω j where j R (or likewise for the corresponding periods Ω (±1/) j ). This is the subspace of differentials of the first and second kinds, i.e., the 1-forms with vanishing residue. For a given curve, the particular subspace of differentials that one has to restrict to depends on the corresponding gauge group; this will be explained in section 3, where these issues are dealt with. For the sake of the present discussion, the particular subspace of differentials that we are restricting to only serves an illustrative purpose. Under such assumptions, equation (.17) expresses Ω ( 1/) m as a linear combination, with u i -dependent coefficients, of periods Ω (1/) l. As m runs over R, the linear combination in the right-hand side of equation (.17) contains increasing values of l, which will eventually lie outside R. We can bring them back into R by means of equation (.18): it is a recursion relation expressing Ω (1/) l as a linear combination (with u i -dependent coefficients) of Ω (1/) l with lower values of the subindex. Repeated application of equations (.17) and (.18) will eventually allow one to express Ω ( 1/) m, where m R, as a linear combination of Ω (1/), with l R. The coefficients entering those linear combinations will be some polynomials in the moduli u i, in principle computable using the above recursion relations. Let us call M ( 1/) the matrix of such coefficients 6]. Suppressing lower indices for simplicity, we have Ω ( 1/) = M ( 1/) Ω (1/) (.19) where the Ω (±1/) l, l R, have been arranged as a column vector. We will from now on omit the superscript ( 1/) from M ( 1/), with the understanding that l 9

11 the value µ = 1/ has been fixed..3. Derivation of the Picard-Fuchs equations. Having derived the necessary recursion relations, we can now start taking modular derivatives of the periods. From equation (.10) and the definition of the periods (.9) we have Ω (µ) m = ( 1) µ Γ(µ ) u i γ x m W µ W u i = n j=0 u j Ω (µ1) mij (.0) Again, the right-hand side of equation (.0) will eventually contain values of the lower index outside the basic range R, but use of the recursion relations above will reduce it to a linear combination of periods Ω (µ1) l with l R. The coefficients will be polynomials in the moduli u i ; let D(u i ) be this matrix of coefficients. Setting µ = 1/, we end up with a system of equations which, in matrix form, reads u i Ω ( 1/) = D(u i ) Ω (1/) (.1) As a second assumption to be justified presently, suppose for the moment that the matrix M in equation (.19) can be inverted to solve for Ω (1/) as a function of Ω ( 1/). Substituting the result into equation (.1), one gets u i Ω ( 1/) = D(u i ) M 1 Ω ( 1/) (.) Equation (.) is a coupled system of first-order, partial differential equations for the periods Ω ( 1/). The coefficients are rational functions of the moduli u i, computable from a knowledge of W and the recursion relations derived above. In principle, integration of this system of equations yields the periods as functions of the moduli u i. The particular 1-cycle γ H 1 (Σ g ) being integrated over appears in the specific choice of boundary conditions that one makes. In practice, however, the 10

12 fact that the system (.) is coupled makes it very difficult to solve. A possible strategy is to concentrate on one particular period and try to obtain a reduced system of equations satisfied by it. Decoupling of the equations may be achieved at the cost of increasing the order of derivatives. Of course, in the framework of effective N = SYM theories, one is especially interested in obtaining a system of equations satisfied by the periods of the SW differential λ SW. In what follows we will therefore concentrate on solving the problem for the SW periods within the subspace of differentials with vanishing residue, as assumed in section.. In order to do so, the first step is to include the differential λ SW as a basis vector by means of a change of basis. From equations (.) and (.7) we have λ SW = n j=0 (k j) u j x j dx y (.3) We observe that λ SW is never of the third kind, because u g = u = 0. As k < n and u n = 1, λ SW always carries a nonzero component along x g1 dx/y, so we can take the new basis of differentials of the first and second kinds to be spanned by x i dx y, for i {0, 1,..., g 1}, λ SW, x j dx, for j {g,..., g} (.4) y We will find it convenient to arrange the new basic differentials in this order. Call K the matrix implementing this change of basis from the original one in equations (.3) and (.4) to the above in equation (.4); one easily checks that det K 0. If ω and π are column vectors representing the old and new basic differentials, respectively, then from the matrix expression K ω = π (.5) there follows a similar relation for the corresponding periods, K Ω = Π (.6) where Π denotes the periods associated with the new basic differentials, i.e., those 11

13 defined in equation (.4). Converting equation (.) to the new basis is immediate: Π ( 1/) = K D(u i ) M 1 K 1 K K 1] Π ( 1/) (.7) u i u i Finally, define U i to be U i := in order to reexpress equation (.7) as K D(u i ) M 1 K 1 K u i K 1] (.8) u i Π ( 1/) = U i Π ( 1/) (.9) The matrix U i is computable from the above; its entries are rational functions of the moduli u i. The invertibility of M remains to be addressed. Clearly, as the definition of the M matrix requires restriction to an appropriate subspace of differentials, this issue will have to be dealt with on a case-by-case basis. However, some general arguments can be put forward. From 8] we have the following decomposition for the discriminant (u i ) of the curve: (u i ) = a(x)w(x) b(x) W(x) x (.30) where a(x) and b(x) are certain polynomials in x. This property is used in 11] as follows. Taking the modular derivative / u i of the period integral causes the power in the denominator to increase by one unit, as in equation (.0): µ 1 µ. In 11], this exponent is made to decrease again by use of the formula φ(x) W µ/ = 1 (u i ) 1 ( W µ/ 1 aφ d ) µ dx (bφ) (.31) where φ(x) is any polynomial in x. Equation (.31) is valid only under the integral sign. It ceases to hold when the curve is singular, i.e., at those points of moduli 1

14 space such that (u i ) = 0. The defining equation of the M matrix, (.19), is equivalent to equation (.31), when the latter is read from right to left, i.e., in decreasing order of µ. We therefore expect M to be invertible except at the singularities of moduli space, i.e., on the zero locus of (u i ). A proof of this fact is given in appendix A. To further elaborate on the above argument, let us observe that the homology cycles of H 1 (Σ g ) are defined so as to encircle the zeroes of W. A vanishing discriminant (u i ) = 0 at some given point of moduli space implies the vanishing of the homology cycle that encircles the two collapsing roots, i.e., a degeneration of Σ g. With this vanishing cycle there is also some differential in the cohomology of Σ g disappearing as well. We therefore expect the PF equations to exhibit some type of singular behaviour when (u i ) = 0, as they in fact do. Equation (.9) is the most general expression that one can derive without making any specific assumption as to the nature of the gauge group or the (massless) matter content of the theory. From now on, however, a case-by-case analysis is necessary, as required by the different gauge groups. This is natural, since the SW differential depends on the choice of a gauge group and matter content. However, some general features do emerge, which allow one to observe a general pattern, as will be explained in the following section. 3. Decoupling the Picard-Fuchs Equations The B r and D r gauge groups. Let us first consider the SO(r 1) and SO(r) gauge theories, either for the pure SYM case, or in the presence of massless matter hypermultiplets in the fundamental representation. We restrict ourselves to asymptotically free theories. Although there exists a well defined relation between the rank r and the genus g = n 1 of the corresponding curve, we will not require it, and will continue to use n, rather than its expression as a function of r. For the gauge groups in this section, we have g = r 1. 13

15 From 4,10,16], the polynomial p(x) of equation (.) is even, as u j1 = 0. Therefore, the curves (.1) describing moduli space are invariant under an x x symmetry. This invariance is a consequence of two facts: a Z factor present in the corresponding Weyl groups, which causes the odd Casimir operators of the group to vanish, and the property that the Dynkin index of the fundamental representation is even. This symmetry turns out to be useful in decoupling the PF equations, as it determines the right subspace of differentials that one must restrict to. Call a differential ω m = x m dx/y even (respectively, odd) if m is even (respectively, odd). We will thus talk about even or odd periods accordingly. From equation (.3) we have that λ SW is even for these gauge groups. One also sees from equations (.17) and (.18) that the recursion relations involved in deriving the matrices D(u i ) and M do not mix even with odd periods, as they always have a step of two units. This is a natural decoupling which strongly suggests omitting the odd and restricting to the even periods, something we henceforth do. In particular, the matrix M of equation (.19) will also be restricted to this even subspace; we will check that det M then turns out to be proportional to (some powers of) the factors of (u i ). The genus g = n 1 is always odd, so the periods Ω (±1/) do not appear after such a restriction. Another consequence is that the values m = n 1 and m = 3n 1 at which equations (.17) and (.18) blow up are automatically jumped over by the recursions. The even basic differentials of equation (.4) are dx y, xdx y,...,xg 1dx y, λ SW, x g3dx dx,..., xg y y (3.1) and there are n of them. We have that n itself is even, i.e., the subspace of even differentials is even-dimensional, so n = s for some s. According to the notation This definition excludes the dx piece of the differential; thus, e.g, xdx/y is defined to be odd. Obviously, this is purely a matter of convention. The precise value of s can be given as a function of the gauge group, i.e., as a function of n, but it is irrelevant to the present discussion. 14

16 introduced in equation (.5), let us denote the basic differentials of equation (3.1) by {π 1,...,π s, π s1 = λ SW, π s,..., π s } (3.) where, for the sake of clarity, indices have been relabelled so as to run from 1 to s. In equation (3.), all differentials preceding λ SW = π s1 are of the first kind; from λ SW onward, all differentials are of the second kind. The periods corresponding to the differentials of equation (3.) are {Π 1,...,Π s, Π s1 = Π SW, Π s,...,π s } (3.3) Notice that this restriction to the even subspace is compatible with the change of basis implemented by K, i.e., K itself did not mix even with odd differentials. Once restricted to the even subspace, equation (.9) reads Π 1 U (i) U (i) 1s U (i) 1s1... U (i) 1s Π s U (i) = s1... U ss (i) U (i) ss1... U (i) ss u i Π s Π s... U (i) ss U (i) ss1... U (i) ss U (i) s1 Π 1. Π s Π s1. Π s (3.4) where the (s 1)-th row is everywhere zero, except at the i-th position, 1 i s, whose entry is 1, so that Π s1 = Π SW = Π i, 1 i s (3.5) u i u i Equation (3.5) follows from the property that the SW differential λ SW = π s1 is a potential for the even holomorphic differentials, i.e., λ SW u i = π s1 u i = π i, 1 i s (3.6) since integration of equation (3.6) along some 1-cycle produces the corresponding statement for the periods. An analogous property for the odd periods does not hold, as all the odd moduli u i1 vanish by symmetry. 15

17 To proceed further, consider the U i matrix in equation (3.4) and blockdecompose it as U i = ( ) Ai B i C i D i (3.7) where all four blocks A i, B i, C i and D i are s s. Next take the equations for the derivatives of holomorphic periods Π j / u i, 1 j s, and solve them for the meromorphic periods Π j, s j s, in terms of the holomorphic ones and their modular derivatives. That is, consider u i Π 1. Π s A i Π 1. Π s = B i Π s1. Π s (3.8) Solving equation (3.8) for the meromorphic periods involves inverting the matrix B i. Although we lack a formal proof that B i is invertible, det B i turns out to vanish on the zero locus of the discriminant of the curve in all the cases catalogued in appendix B, so B i will be invertible except at the singularities of moduli space. From equation (3.8), Π s1. Π s = B 1 i ( ) A i u i Π 1. Π s (3.9) We are interested in the SW period Π s1 only, so we discard all equations in (3.9) but the first one: Π s1 = (Bi 1 ) r Π r 1 (Bi 1 A i ) r 1 Π r (3.10) u i where a sum over r, 1 r s, is implicit in equation (3.10). Finally, as the right-hand side of equation (3.10) involves nothing but holomorphic periods and modular derivatives thereof, we can use (3.5) to obtain an equation involving the 16

18 SW period Π s1 = Π SW on both sides: Π SW = (Bi 1 ) r Π SW 1 (Bi 1 A i ) r Π SW 1 (3.11) u i u r u r Equation (3.11) is a partial differential equation, second-order in modular derivatives, which is completely decoupled, i.e., it involves nothing but the SW period Π SW. The number of such equations equals the number of moduli; thus giving a decoupled system of partial, second-order differential equations satisfied by the SW period: the desired PF equations for the N = theory. 3.. The C r gauge groups. Let us consider the N f > 0 Sp(r) gauge theory as described by the curves given in 15,4]. As the Weyl group of Sp(r) contains a Z factor, all the odd Casimir operators vanish, i.e., we have u j1 = 0. However, a close examination reveals that the curves given in 15,4] contain a factor of x in the left-hand side. Pulling this factor to the right-hand side has the effect of causing the resulting polynomial p(x) to be odd under x x. The genus g = n 1 will now be even because the degree n of this resulting p(x) will be odd. The Z symmetry dictated by the Weyl group is not violated, as the complete curve y = p (x) x k Λ l continues to be even, since k = (N f 1) is also even 15]. From this one can suspect that the right subspace of differentials (or periods) that one must restrict to is given by the odd differentials of equation (.4). That this is so is further confirmed by the fact that the recursion relations (.17) and (.18) now have a step of units, and that the SW differential λ SW will now be odd, as revealed by equations (.7) and (.3). In consequence, the values m = n 1 and m = 3n 1 at which the recursions (.17) and (.18) blow up are jumped over, and the periods Ω (±1/) do not appear. As was the case for the SO(r) The pure Sp(r) SYM theory can be described by a curve whose polynomial p(x) is even 9], so it can be studied by the methods of section 3.1 For Sp(r), we have g = r. 17

19 and SO(r 1) groups, this subspace of odd differentials is even dimensional. Furthermore, the change of basis implemented by the matrix K of equation (.5) respects this even-odd partition, since λ SW is odd. One technical point that appears for Sp(r), but not for the orthogonal gauge groups, is the following. Let us remember that m = g = n is the highest value of m such that m R. We would therefore expect the period Ω (1/) to be expressible in terms of some Ω (1/) m with lower values of m, according to equation (.18). However, we cannot use equation (.18) to obtain this linear combination, since the derivation of the latter relation formally involved division by zero when one takes m = 0. Instead, we must return to equation (.11) and set m = 0 to arrive at Ω (1/) = 1 n (j l)u j u l Ω (1/) jl 1 1 (n j)u j Ω (1/) n nj 1 k j=0 l=0 j=0 n Ω(1/) k 1 (3.1) As n 1 is odd, this period was omitted from the computations of the previous section, but it will be required for the resolution of the recursion relations for Sp(r). With this proviso, the same arguments explained for the SO(r) and SO(r 1) groups in section 3.1 hold throughout, with the only difference that we will be working in the subspace of odd periods of the first and second kinds. As a consequence, the SW differential λ SW will be a potential for the odd differentials only. Remember that m was supposed to be non-zero in passing from equation (.11) to (.1). 18

20 3.3. The A r gauge groups. The Weyl group of SU(r 1) does not possess a Z factor for r >. This implies the existence of even as well as odd Casimir operators for the group. Correspondingly, the characteristic polynomial p(x) of equation (.) will also have non-zero odd moduli u j1. In general, the SW differential will be neither even nor odd, as equation (.7) reveals. The same will be true for the polynomial p(x). The x x symmetry used in the previous sections to decouple the PF equations, be it under its even or under its odd presentation, is spoiled. The first technical consequence of the above is that equation (3.1) will have to be taken into consideration when solving the resursion relations (.17) and (.18), because the period Ω (1/) will be required. Moreover, we have learnt that an essential point to be addressed is the identification of the appropriate subspace of differentials (or periods) that we must restrict to. It turns out that the recursion relation (.18) must eventually be evaluated at m = 3. To prove this assertion, consider the value m = n in equation (.17), which is allowed since we still have g = n R. From the right-hand side of this equation we find that, whenever j l = n 1, the period Ω (1/) 3 is required. However, equation (.18) blows up when m = 3n 1. We have seen that this problem did not occur for the orthogonal and symplectic gauge groups. The origin of this difficulty can be traced back to the fact that, in the sequence of differentials of the first and second kinds given in equations (.3) and (.4), there is a gap at m = g, since x g dx/y is always a differential of the third kind. As the recursion relations now have a step of one unit, we cannot jump over the value m = g = n 1. To clarify this point, let us give an alternative expression for Ω ( 1/) n that will bear this out. Obviously, SU() is an exception to this discussion. The corresponding PF equations are very easy to derive and to decouple for the SW period. See, e.g., 19,0,1,3]. For SU(r 1) we have r = g. 19

21 Consider x g W = x n W as a polynomial in x, and divide it by W/ x to obtain a certain quotient q(x), plus a certain remainder r(x): x n W(x) = q(x) W(x) x r(x) (3.13) The coefficients of both q(x) and r(x) will be certain polynomial functions in the moduli u i, explicitly obtainable from (3.13). The degree of r(x) in x will be n, while that of q(x) will be n 1, so let us put We have q(x) = j=0 q j (u i )x j, r(x) = n l=0 r l (u i )x l (3.14) W(x) = x n..., so q(x) must be of the form W(x) x = nx..., x n W(x) = x 4n... (3.15) Furthermore, from equation (3.13), (1 µ)ω (µ) n = ( 1)µ Γ(µ ) = ( 1) µ Γ(µ ) γ q(x) = 1 n x... (3.16) γ x n W W µ = 1 W µ q j (u i )x j W n (3.17) x r l (u i )x l] Integrate by parts in the first summand of equation (3.17) to obtain j=0 l=0 (1 µ)ω (µ) n = jq j (u i )Ω (µ) j=0 n j 1 l=0 r l (u i )Ω (µ1) l (3.18) 0

22 Now set µ = 1/ in equation (3.18) and solve for Ω ( 1/) n using (3.16): Ω ( 1/) n = n n 1 ( n l=0 r l Ω (1/) l n j=0 ) jq j Ω ( 1/) j 1 (3.19) Clearly, the right-hand side of equation (3.19) will in general involve the periods Ω (±1/) corresponding to the gap in the sequence that defines the basic range R. In principle, this implies that the subspace of differentials we must restrict to is that of the ω m with m R {n 1}. Let us recall that M is the matrix of coefficients in the expansion of Ω ( 1/) m as linear functions of the Ω (1/) m. Inclusion of Ω (±1/) would, in principle, increase the number of rows and columns of M by one unit, the increase being due to the expansion of Ω ( 1/) as a linear combination of the Ω (1/) m, where m R {n 1}. However, we have no such expansion at hand. We cannot define M as a (g 1) (g 1) matrix; the best we can have is g rows (corresponding to the g periods Ω ( 1/) m, where m R), and g 1 columns (corresponding to the g 1 periods Ω (1/) m, where m R {n 1}). As a non-square matrix cannot be invertible, this seems to imply the need to restrict ourselves to a g g submatrix with maximal rank, and look for an invertible M matrix on that subspace. The procedure outlined in what follows serves precisely that purpose: Use equations (.17) and (.18) to express Ω ( 1/) m, where m, as linear combinations of the Ω (1/) m, where m R {n 1}, plus possibly also of Ω ( 1/). That the latter period can appear in the right-hand side of these expansions has already been illustrated in equation (3.19). This gives us a g (g 1) matrix. Any occurrence of Ω ( 1/) in the expansions that define the g rows of M is to be transferred to the left-hand side of the equations. Such occurrences will only happen when m > n 1 as, for m < n 1, equations (.17) and (.18) do not involve Ω (±1/). Transferring Ω ( 1/) to the left will also affect the D(u i ) matrices of equation (.1): whenever the left-hand side presents occurrences of Ω ( 1/) 1

23 (with u i -dependent coefficients), the corresponding modular derivatives will have to be modified accordingly. As the number of columns of M will exceed that of rows by one, a linear dependence relation between the Ω (1/) m is needed. This will have the consequence of effectively reducing M to a square matrix. Only so will it have a chance of being invertible, as required by the preceding sections. In what follows we will derive the sought-for linear dependence relation between the Ω (1/) m, where m R {n 1}. The procedure is completely analogous to that used in equations (3.13) to (3.19). Consider x W as a polynomial in x, and divide it by W/ x to obtain a certain quotient q(x), plus a certain remainder r(x), whose degrees are n and n, respectively: q(x) = n q j (u i )x j, r(x) = j=0 n l=0 r l (u i )x l (3.0) By the same arguments as in equations (3.15) and (3.16), we can write q(x) = 1 n xn... (3.1) Furthermore, following the same reasoning as in equations (3.17) and (3.18), we find (1 µ)ω (µ) = ( 1)µ Γ(µ ) = n j=0 j q j (u i )Ω (µ) n j 1 l=0 γ r l (u i )Ω (µ1) l x W W µ = (3.) Setting µ = 1/ and solving equation (3.) for Ω ( 1/) produces 0 = ( n q n 1 ) Ω ( 1/) = j=0 j q j (u i )Ω ( 1/) n j 1 l=0 r l (u i )Ω (1/) l (3.3) where equation (3.1) has been used to equate the left-hand side to zero. We

24 therefore have j=0 j q j (u i )Ω ( 1/) n j 1 = l=0 r l (u i )Ω (1/) l (3.4) Equation (3.4) is a linear dependence relation between Ω ( 1/) and Ω (1/) which does not involve Ω ( 1/). Therefore, we are now able to make use of equations (.17) and (.18), i.e., of the allowed rows of M, to recast the left-hand side of equation (3.4) as a linear combination of the Ω (1/) : j q j (u i ) j=0 r R n ] r M j 1 Ω(1/) r = l=0 r l (u i )Ω (1/) l (3.5) Equation (3.5) is the sought-for linear dependence relation that appears due to the inclusion of Ω (±1/). Restriction to the subspace defined by this relation produces a square, g g matrix: Ω ( 1/) = M Ω (1/) (3.6) The tildes in the notation remind us that the left-hand side will include occurrences of Ω ( 1/) when m > n 1, possibly multiplied by some u i -dependent coefficients, while the right-hand side has been reduced as dictated by the linear dependence relation (3.5). We claim that the M matrix so defined is invertible, its determinant vanishing on the zero locus of the discriminant (u i ) of the curve. It is on this g-dimensional space of differentials (or periods) that we will be working. Let us make some technical observations on the procedure just described. In practice, restriction to the subspace determined by equation (3.5) means solving for some given Ω (1/) m, where m R {n 1}, as a linear combination (with u i - dependent coefficients) of the rest. The particular Ω (1/) m that can be solved for depends on the coefficients entering equation (3.5); any period whose coefficient is non-zero will do. Obviously, the particular Ω (1/) m that is being solved for in equation (3.5) is irrelevant (as long as its coefficient is non-zero), since any such Ω (1/) m so obtained is just a different, but equivalent, expression of the same linear 3

25 relation (3.5). Whatever the choice, det M will continue to vanish on the zero locus of (u i ). However, differences may arise in the actual entries of M, due to the fact that different (though equivalent) sets of basic Ω (1/) m are being used. Once a given set of g independent Ω (1/) m has been picked, i.e., after imposing equation (3.5), this one set must be used throughout. In particular, the right-hand sides of equations (.1) will also have to be expressed in this basis. As the Ω (1/) m disappear from the computations already at the level of equation (.), the particular choice made is irrelevant. For the same reason, one can easily convince oneself that the final PF equations obtained are independent of the actual choice made. Let us point out two further consequences of this prescription used to define M. First, some of the equations collected in (.) may possibly involve, both in the right and the left-hand sides, occurrences of Ω ( 1/) and its modular derivatives, as dictated by the prescription. One might worry that the latter will not disappear from the final result for the SW differential λ SW. That it will always drop out follows from the fact that none of the first g equations in (.) involves Ω ( 1/), as they are untouched by the defining prescription of M. The decoupling procedure followed to decouple λ SW also respects this property, as it basically discards all equations for the periods of non-holomorphic differentials (with the exception of the SW differential itself, of course). A second consequence of the prescription used to define M is the fact that its entries may now become rational functions of the moduli, rather than polynomial functions. This is different from the situation for the SO(r 1), Sp(r) and SO(r) gauge groups, where these entries were always polynomials in the u i. The reason is that solving the linear relation (3.5) for one particular Ω (1/) m involve division by a polynomial in the u i. may Having taken care of the difficulty just mentioned, i.e., the identification of the appropriate space of periods on which M will be invertible, the rest of the decoupling procedure already explained for the SO(r 1), Sp(r) and SO(r) gauge 4

26 groups holds throughout. In particular, expressions totally analogous to those from equation (3.4) to (3.11) continue to be valid, with s = g. As a compensation for this technical difficulty of having nonzero odd Casimir operators, one has that the SW differential truly becomes a potential for all holomorphic differentials on the curve, so the equivalent of equation (3.5) now includes the odd holomorphic periods as well The exceptional gauge groups. The method developed in section can also be applied to obtain the PF equations associated with N = SYM theories (with or without massless matter) when the gauge group is an exceptional group, as the vacuum structure of these theories is also described by hyperelliptic curves 8,9,16]. In principle, a set of (1st-order) PF equations similar to those given in equation (.9) can also be derived. However, we have seen that the decoupling procedure described in section 3 depends crucially on our ability to identify an appropriate subspace of periods to restrict to. Such an identification makes use of the structure of the corresponding Weyl group. With the exception of G, whose Weyl group is D 6 (the dihedral group of order 1), the Weyl groups of F 4, E 6, E 7 and E 8 are not easily manageable, given their high orders. Therefore, we cannot hope to be able to develop a systematic decoupling prescription similar to the one given for the classical gauge groups. This is just a reflection of the exceptionality of the groups involved. Another difficulty, which we have illustrated in the particular case of G below, is the fact that the genus g of the corresponding Riemann surface Σ g will in general be too high compared with the number of independent Casimir operators. As there is one modulus u i per Casimir operator, we cannot expect the SW differential to be a potential for all g holomorphic differentials on Σ g. This fact has already been observed for the B r, C r and D r gauge groups. However, the novelty here is that, in general, the best one can hope for is to equate λ SW / u i to some linear combination (with u i -dependent coefficients) of a number of holomorphic 5

27 differentials ω j, λ SW g 1 = c j u i (u l)ω j (3.7) i j=0 Although the requirement of homogeneity with respect to the (residual) R- symmetry can give us a clue as to the possible terms that can enter the righthand side of equation (3.7), the actual linear combinations can only be obtained by explicit computation. In general, such linear combinations may involve more than one non-zero coefficient c j i (u l). As a consequence, the decoupling procedure explained in previous sections breaks down, since it hinged on the SW differential λ SW being a potential for (some well defined subspace of) the holomorphic differentials, i.e., on all c j i (u l) but one being zero. In other words, even if it were possible to identify the appropriate subspace of periods that one must restrict to, the high value of the genus g would probably prevent a decoupling of the PF equations. As an illustration, we have included the details pertaining to G in section Examples Pure SO(5) SYM theory. The vacuum structure of the effective, pure N = SYM theory with gauge group SO(5) is described by the curve 10] W = y = p(x) x = x 8 ux 6 (u t)x 4 tux t x (4.1) where p(x) = x 4 ux t. The quantum scale has been set to unity, Λ = 1, and the moduli u and t can be identified with the second- and fourth-order Casimir operators of SO(5), respectively. The discriminant (u, t) is given by (u, t) = 56t ( 7 56t 3 144tu 18t u 4u 3 16tu 4 ) (4.) Equation (4.1) describes a hyperelliptic Riemann surface of genus g = 3, Σ 3. The holomorphic differentials on Σ 3 are dx/y, xdx/y and x dx/y, while x 4 dx/y, x 5 dx/y 6

28 and x 6 dx/y are meromorphic differentials of the second kind. From equation (.7), the SW differential is given by λ SW = ( 3x 4 ux t) dx y (4.3) Both p(x) and λ SW are even under x x. We therefore restrict ourselves to the subspace of differentials on Σ 3 spanned by {dx/y, x dx/y, x 4 dx/y, x 6 dx/y}. This is further confirmed by the fact that the recursion relations (.17) and (.18) now have a step of units, Ω ( 1/) n = 8 t Ω (1/) n 3 (tu 1)Ω(1/) n 1 n 3 4 (u t)ω (1/) n4 u ] Ω(1/) n6 (4.4) and Ω (1/) n = 1 (10 n)uω (1/) n 11 n (9 n)(u t)ω (1/) n 4 ] (4.5) (8 n)(tu 1)Ω (1/) n 6 (7 n)t Ω (1/) n 8 so that even and odd values don t mix. The solution of these recursions can be given in terms of the initial data {Ω (1/) 0, Ω (1/), Ω (1/) 4, Ω (1/) 6 }, where the indices take on the values allowed by the even subspace of differentials. From equations (4.4) and (4.5), the M matrix of equation (.19) can be readily computed. Its determinant is found to be a product of powers of the factors of the discriminant (u, t): det M = 16 9 t ( 7 56t 3 144tu 18t u 4u 3 16tu 4 ) (4.6) Therefore, it has the same zeroes as (u, t) itself, but with different multiplicities. Recall that our convention leaves out the dx term in the differential. 7

29 Next, the change of basis in the space of differentials required by equation (.5) is effected by the matrix K = t u (4.7) The matrices D(u) and D(t) defined in equations (.0) and (.1) can be computed using the expressions for W and the recursion relations given in equations (4.4) and (4.5). Once D(u) and D(t) are reexpressed in the new basis {π 0, π, π 4 = λ SW, π 6 } defined by K in (4.7), they produce the U i matrices of equation (.8). Let us just observe that, from the corresponding third rows of U t and U u, one finds Π 4 t = Π 0, Π 4 u = Π (4.8) as expected for the SW period Π 4 = Π SW. Let us consider the t-modulus and carry out the decoupling procedure for the SW period explicitly. Block-divide the U t matrix as required by equation (3.7): U t = ( ) At B t C t D t (4.9) Specifically, one finds A t = 1 16t ( det M 7 ) t( 384t 7u 80tu 4u 4 ) (135t 40t u 7u 68tu 3 4u 5 ) 4t ( 18 76tu u 3 ) 4t(60t 7tu u 4 ) (4.10) For the sake of brevity, the explicit expressions of these matrices are not reproduced here. 8

30 ( ) B t = t(1t 7u 47tu 4u 4 16 ) 3 t(7 48tu 4u 3 ) det M 16 7 t (9 160tu 16u 3 64 ) 3 t (1t u ) (4.11) We observe that det B t = 56 9 t3 (7 56t 3 144tu 18t u 4u 3 16tu 4 ) (4.1) so B t is invertible except at the singularities of moduli space. Carry out the matrix multiplications of equation (3.10) to get Π 4 = (16t 4 3 tu ) Π 0 t (9 16tu 4 3 u3 ) Π t 8tΠ 0 (4.13) Finally, use (4.8) to obtain a decoupled equation for the SW period Π 4 = Π SW : L 1 Π SW = 0, L 1 = 4t(u 1t) t (7 48tu4u3 ) t u 4t 3 (4.14) t Analogous steps for the u modulus lead to L Π SW = 0, L = (9 3tu) t u 4(1t u ) u 8t t 1 (4.15) 4.. Pure SU(3) SYM theory. The vacuum structure of the effective, pure N = SYM theory with gauge group SU(3) is described by the curve,3,11] W = y = p(x) 1 = x 6 ux 4 tx 3 u x tux t 1 (4.16) where p(x) = x 3 ux t. The quantum scale has been set to unity, Λ = 1, and the moduli u and t can be identified with the second- and third-order Casimir Our moduli (u, t) correspond to ( u, v) in ]. 9

31 operators of SU(3), respectively. The discriminant is given by (u, t) = 64(7 54t 7t 4u 3 )(7 54t 7t 4u 3 ) (4.17) Equation (4.16) describes a Riemann surface of genus g =, Σ. The holomorphic differentials on Σ are dx/y and xdx/y, while x 3 dx/y and x 4 dx/y are meromorphic differentials of the second kind. From equation (.7), the SW differential is given by λ SW = (ux 3x 3 ) dx y (4.18) The recursion relations (.17) and (.18) can be easily computed. They have a step of 1 unit, and Ω ( 1/) n = 1 n 4uΩ (1/) n4 6tΩ (1/) n3 4u Ω (1/) n 10tuΩ (1/) n1 6(t 1)Ω (1/) n Ω (1/) n = 1 u(7 n)ω (1/) n t( 13 n 8 n)ω(1/) n 3 (6 n)u Ω (1/) n 4 ] (4.19) ( 11 n)tuω(1/) n 5 (n 5)(1 t )Ω (1/) n 6 (4.0) which means that the solution for {Ω ( 1/) 0, Ω ( 1/) 1, Ω ( 1/) 3, Ω ( 1/) 4 } in terms of the initial values {Ω (1/) 0, Ω (1/) 1, Ω (1/) 3, Ω (1/) 4 } will involve both even and odd values of n. Inspection of the recursion relations above shows that, in the computation of Ω ( 1/) 4, the value of Ω (1/) 8 is needed. This illustrates the situation described in section 3.3. As already explained, in order to properly identify the right subspace of periods to work with, it suffices to include Ω ( 1/) and its counterpart Ω (1/). It is then possible to use equations (4.19) and (4.0) in order to write a set of 4 equations expressing Ω ( 1/) n, where n = 0, 1, 3, 4, in terms of Ω (1/) n with n = 0, 1,, 3, 4 ] 30

32 and Ω ( 1/). As prescribed in section 3.3, we pull all occurrences of Ω ( 1/) to the left-hand side. In the case at hand, such occurrences take place under the form Ω ( 1/) 4 = uω ( 1/) terms in Ω (1/) m (4.1) while the expansions for the Ω ( 1/) m, m 4, do not involve Ω ( 1/). We therefore define M as the matrix of coefficients in the expansion of Ω ( 1/) 0, Ω ( 1/) 1, Ω ( 1/) 3, Ω ( 1/) 4 uω ( 1/) (4.) in terms of Ω (1/) n with n = 0, 1,, 3, 4. Next we use the linear dependence relation between the latter periods, as derived in equation (3.5), which for the particular case at hand reads Ω (1/) = u 3 Ω(1/) 0 (4.3) We use equation (4.3) to express Ω (1/) in terms of Ω (1/) 0. This choice has the computational advantage that, as the coefficicent of Ω (1/) in equation (4.3) is a constant, no division by a polynomial is involved, and the entries of M continue to be polynomial functions in u and t. From the above one can immediately conclude that the periods of equation (4.) can be expressed as certain linear combinations, with u and t-dependent coefficients, of {Ω (1/) 0, Ω (1/) 1, Ω (1/) 3, Ω (1/) 4 }. After this change of basis in the space of periods (or differentials) has been performed, the rest of the construction already explained goes through. We first confirm that M so defined is invertible except at the singularities of moduli space, as det M = 4 9 (7 54t 7t 4u 3 )(7 54t 7t 4u 3 ) (4.4) The SW differential is included in the computations upon performing the change of 31