A Nonperturbative Proof of Dijkgraaf-Vafa Conjecture

In this note we exactly compute the gaugino condensation of an arbitrary four dimensional N=1 supersymmetric gauge theory in confining phase, using the localization technique. This result gives a nonperturbative proof of the Dijkgraaf-Vafa conjecture.


Introduction and summary
Analytic computations in quantum field theories are important, but very hard, in general. Important quantum field theories in which we can compute some quantities exactly are supersymmetric (SUSY) field theories. The localization technique for SUSY field theories, originated in [1] [2], is a general way to compute them exactly. Recently, this technique is applied to various kinds of SUSY field theories (for examples, [3]- [21]), after the important work by Pestun [22]. It should be stressed that using the localization technique we can compute non-topological quantities. In particular, using it, we can compute the gaugino condensation in four dimensional N = 1 SUSY Yang-Mills theories in confining phase [23]. 2 In this paper, we will compute the gaugino condensation of four dimensional N = 1 SUSY gauge theories with general chiral multiplets and a superpotential in confining phase. In order to do this, we first integrate out the chiral multiplets, while keeping the vector multiplets. This is consistent because we can deform the theory without changing the gaugino condensation (i.e. using the localization technique) such that the theory is arbitrary weak coupling [23]. 3 This integration of the chiral multiplets can be done perturbatively and we only need the effective superpotential. Thus, this can be done by the methods used in [31] and [32].
After the integration of the chiral multiplets, we have N = 1 SUSY gauge theories with only vector multiplets and a superpotential. As shown in [32], the superpotential is a function of the gaugino bi-linear S only (and the coupling constants in the original superpotential). For this theory, we will compute the gaugino condensation. Therefore, we can compute the gaugino condensation in four dimensional N = 1 SUSY gauge theories with general chiral multiplets and a superpotential.
The Dijkgraaf-Vafa conjecture is that the glueball superpotential of the N = 2 SUSY 2 The gaugino condensation were computed various ways, see [24]- [30]. 3 Here, we consider the theory on R 3 × S 1 R and then taking the R → ∞ limit. (The gaugino condensation does not depend on R.) With the non-trivial v.e.v. of the Wilson line around S 1 R , the symmetry breaking will occur at the very high scale compared with the scaleΛ which is the effective dynamical scale determined by the deformed action. Thus, the computations reduced to 3d Abelian theory in the low energy region much below the 1/R. Withtout this infra-red cut-off R, the deformed action will not be weak coupling because of the low energy modes below theΛ which remain strong coupling. U(N) gauge theory deformed by a superpotential is computed by a corresponding matrix model [33]. There are "proofs" of this conjecture, i.e. [31] and [32], however, both in [31] and [32] perturbative integrations of chiral multiplets were computed and the nonperturbative dynamics of the gauge fields were (implicitly) assumed to be just adding the Veneziano-Yankielowicz superpotential to the non-trivial superpotential which was obtained by the integration of the chiral multiplets. 4 In this paper, we show that the perturbative superpotential with the Veneziano-Yankielowicz superpotential indeed gives the correct gaugino condensation. This can be regarded as a nonperturbative proof of the Dijkgraaf-Vafa conjecture. 5 It should be noted that we can compute the gaugino condensation for any four dimensional N = 1 SUSY gauge theories (with a Lagrangian and in confining phase) according to the discussions in this paper. 6 It would be interesting to study applications of our method. We hope to return this problems in future.
The organization of this paper is as follows: In section 2 we compute the gaugino condensation for four dimensional N = 1 SUSY gauge theory with only vector multiplets and a generic action. In section 3 we show that our results imply the nonperturbative proof of the Dijkgraaf-Vafa conjecture.

Gaugino condensation in theory with a generic superpotential
In this section, we will consider four dimensional N = 1 SUSY gauge theory with vector multiplets only (no chiral multiplets) on R 3 × S 1 R with a simple gauge group G and the following superpotential: where τ 0 and g i are complex constants, S(y, θ) = S 0 (y) + θS 1 (y) + θθS 2 (y) is the glueball superfield whose lowest component is the gaugino bilinear S 0 ∼ Tr(λλ) and F (S, g i ) is a 4 More precisely, in [32] using the generalized Konishi anomaly equation to the 1PI effective action written by S we can justify the addition of the Veneziano-Yankielowicz superpotential. However, as stressed in [32] this only works for the case without symmetry breaking because there are no coupling constants to S i where S = i S i . We thank Y. Nakayama for the useful discussions on this point. In [32] it was also noted that the generalized Konishi anomaly would have the higher loop corrections. 5 In [34], the gaugino condensation was computed in the way, which is different from ours and is related to the N = 2 Seiberg-Witten theory. The close connection of the gaugino condensation to Seiberg-Witten theory was also discussed in [35]. In [36], an off shell extension of the vacuum expectation value was used to compute the gaugino condensation and it was claimed to give a non-perturbative proof of the Dijkgraaf-Vafa conjecture. 6 The perturbative superpotential should be computed using the results in [31] and [32] for general N = 1 gauge theories, for examples, [37] [38], however, it would be difficult to have the superpotential in an explicit closed form.
function of S and coupling constants g i . Here we do not assume the Kähler potential is canonical. Note that terms containing Tr((λλ) n ) with n > 1 and terms with derivatives are regarded as the Kähler potential [32]. Thus, this superpotential represents a general superpotential for a theory without chiral multiplets.
Note that the polynomials of S in the superpotential are composite operators and should be defined with a regularization, for example, a point splitting. Thus, the classical constraints are not imposed on these composites.
We will compute the effective superpotential for this theory and determine the vacua and then compute the gaugino condensation Using the result of [23], we can compute them in the weak Yang-Mills coupling constant by the localization technique. In a superspace, this is realized by adding to the anti-superpotential with t ≫ ∞. The dynamical scaleΛ of the theory with the additional term (2.3) can be arbitrary low. With this deformed action, what we need to do is only semi-classical computations around the anti-self dual (ASD) connections. Note that the radius R of S 1 R plays as a infra-red regulator, which makes the deformed theory indeed weak coupling [23].
As in [23], in order to determine the vacua and evaluate the gaugino condensation, we would like to compute the expectation value of the gaugino bi-linear: where · · · 0 means the expectation value with the gauge coupling τ 0 and a Kähler potential without the superpotential F . We also used δ 1 , δ 2 which are SUSY transformations, corresponding to θ 1 , θ 2 . In order to evaluate this, it seems to have to consider ASD connections with many fermion zeromodes because the superpotential term F includes the fermions. To do this explicitly is interesting, however, in this paper we will use a different method. First, we introduceS(x) as a constant shiftS of S(x): and define G from F by subtracting the zeroth and linear term inS: Then, in terms ofS 0 (x), we can express X as where we left F (S)| S=S term, which vanishes for constantS, for later convenience. This term will be relevant if we regardS as a background constant chiral superfield. Note that the action of (· · · ) S contains only linear term inS. Now we take the constantS to satisfȳ which means S (x) S = 0. We will see later that thisS indeed gives the gaugino condensation, i.e.S = S(x) . The condition (2.9) will be a self-consistent equation. 7 Then we expand e d 4 yδ 1 δ 2 G(S 0 (y),g i ,S 0 ) in (2.7) in terms ofS 0 . It will be a linear combination of 1 and where C n = C n (S 0 , g i ) is determined by G. We can easliy see that I n satisfiesδ i I n = 0, becauseδ i S 0 (x) = 0 and [δ i , δ 1 δ 2 ] is a space derivative. Hereδ i is the SUSY transformation corresponding toθ i . Furthermore, we can show I n = d 4 x δ 1 δ 2 (C n (S 0 (x)) n−1 e ia µ ∂µ S 0 (x) ) +δ 1 δ 1 δ 2 (· · · ) +δ 2 δ 1 δ 2 (· · · ) . (2.11) This follows from ∂ ∂aν e ia µ ∂µ S 0 (x) = i(δσ µ δ)e ia µ ∂µ S 0 (x) which means e ia µ ∂µ S 0 (x) = S 0 (x) + (δσ µ δ)(· · · ). Therefore, for theδ i -closed correlators, which we are considering, we can replace where a j is an arbitrary constant. Note that we can do this replacement for each I n in a product of I n s in the expansion of the exponential with different a j for each I n . Then, X will be written by a linear combination of the following form: where m α ≥ 2. Now we will take a following "large separations" limit: |a α j | → ∞ with |a α j − a β k | → ∞ ((j, α) = (k, β)) and |a α j − b| → ∞. Then, we will use the clustering properties to factorize the correlator for each S (x α + a α i ) if |x α + a α i | is not close to any other insertion points. Here we can see that S 0 (x α + a α i ) S = 0, δ iS0 (x α + a α i ) S = 0 and δ 1 δ 2S0 (x α + a α i ) S = 0 by the definition ofS, i.e. S (x) S = 0. Furthermore, the number of the points of the integration is M, which is strictly smaller than the number of a α i because m α ≥ 2. Therefore, there is at least an isolated insertion of an operator which makes (2.13) vanishes and we find from which we can evaluate the superpotential, the vacua and the gaugino condensation as in [39,23]. Note that this also implies S 0 (x) = S 0 (x) S . As we can see from (2.8), the · · · S is just replacing the coupling constant τ 0 tõ Thus, the superpotential and the vacua 8 are found as in [39,40,23] by the semi-classical computations around the fundamental monopoles which have two fermion zeromodes. Note that the 1-loop factor in the localization technique only contributes to the Kähler potential [41]. More precisely, the definition of (· · · ) S , (2.8), is the path-integral with the superpo-tentialW Thus, the effective superpotential is where c 2 is the dual coxeter number of G and for example, e(SU(N c )) = 1, and theΛ is the dynamical scale in the 1-loop Pauli-Villars regularization which is defined bỹ In order to find the vacua, we need to evaluate ∂W ef f (X, τ 0 )/∂X = 0, where X is the (would-be) moduli. With this and ∂(W ef f (X, τ 0 ) − f (S))/∂τ 0 =S(X, τ 0 ), we see that is a solution. Thus, we can think thatS does not depend on X.
where g 2 (µ) comes from the path-integral measure which is defined with the coupling constant τ 0 . Now we will consider the gaugino condensation S (=S). We have seen that the original superpotential W V can be written as then, the effective potential should give where we have used ∂ ∂τ G = 0 which follows from (polynomials ofS) = 0. Thus, the gaugino condensationS can be computed using The superpotential is evaluated to whereS is determined by (2.25). We will also define a dynamical scale Λ in the 1-loop Pauli-Villars regularization of the coupling constant τ 0 , The relation between Λ andΛ is given bỹ where we have used (2.15) andS =S(Λ) was given by (2.25). Now we see that the following glueball superpotential reproduces the gaugino condensation and the effective superpotential: where we can think W S (S, Λ) as a function of S andΛ by using the relationΛ =Λ(Λ). Indeed, we find which is equivalent to S = e(G)wΛ 3 e 1 c 2

∂F (S)
∂S . The superpotential W S is evaluated with (2.30) to W S → c 2 S + F (S) − S ∂F (S) ∂S , which is the correct one. Therefore, the glueball superpotential is the (2.29) which is just a sum of the Veneziano-Yankielowicz superpotential and the F (S).
We can easily generalize the results to the theory with a semi-simple gauge group. Let us consider a 4d N = 1 SUSY gauge theory of only vector multiplets with a gauge group G = ⊗ a G a is semi-simple and a superpotential Following the previous discussions, we can easily see that ∂Sa . Here, for U(1) gauge group, there is no dynamically generated superpotential and S a = 0.

A proof of Dijkgraaf-Vafa conjecture
Let us consider 4d N = 1 gauge theory with gauge group G and chiral multiplets couple to G. With a generic tree level superpotential where g i is the coupling constants 9 and Φ a is the chiral superfields, the theory is expected to be in a confining phase 10 and gaugino condensation is non-trivial, which we will compute. We will compute the correlation functions of the operators insertions which satisfȳ δ i (O) = 0. Thus, we can add the regularization term of the localization for the vector multiplets (2.3) [23]. Then, the theory is effectively in weak coupling and the effective dynamical scale can be set to arbitrary low.
We can also add a large kinetic terms for the chiral multiplets. 11 Then, we can integrate out the chiral multiplets perturbatively, where the vector multiplets are regarded as a background because the effective gauge coupling constant is very small by taking t → ∞. Here 9 If the low energy theory is a non-trivial conformal fixed point, we will add an arbitrary small perturbation to the coupling constants or a small deformation of the vacuum we choose. 10 With the chiral multiplets, the Wilson loop will not behave the are law. Thus, precisely speaking, the phase will not be a confining phase, but a phase with a mass gap with possible free U (1) factors. For simplicity, we will call it confining phase. 11 The kinetic terms for the chiral superfields are written by the Kähler potential. The regularization term (2.3) for the vector multiplet is the anti-holomorphic superpotential. Both of them do not affect the effective superpotential and the correlation function of the operators in the chiral rings.
we expand the bosonic fields in the chiral multiplets around the classical vacua. Note that the 1-loop computaiton is exact in the usual localization technique where we take the t → ∞ limit with the regularization term tδV and rescaling of the fields. In our case, the kinetic terms of the chiral multiplets contain the vector multiplets which is regarded as background fields. Thus the saddle points of the large kinetic terms are non-trivial and integrations over the saddle points with the superpotential give a non-trivial effective superpotential. It will be interesting exactly follow this line and find the effective superpotential which should be a matrix model computation because the saddle points are essentially the zero modes of the chiral multiplets.
On the other hand, in [31] the perturbative computation of the chiral multiplets with the vector multiplet background was done by deforming the anti-superpotential appropriate way. Furthermore, in [32] it was shown that the effective superpotential obtained by integrating out the chiral superfields can be determined by the generalized Konishi anomaly. Thus, in this paper, we assume that the integrating out the chiral multiplets is done by those methods.
Here, the chiral multiplets with classical superpotential can have a non-trivial moduli space of vacua. We have discrete set of vacua with a generic superpotential, although, the moduli space need not to be discrete. Here we assume the moduli space is discrete by giving a small deformation of superpotential, for example a mass term, if it is needed. Then, we redefine the chiral superfields as Φ ′ a = Φ a −Φ a whereΦ a is the value of Φ a at the classical vacuum we have chosen. The perturbative calculation is done around this.
Depending on the choice of the classical vacuum, the original gauge group G will be broken to a semi-simple gauge group with U(1) factors, which we will denote G ′ . The glueball superfields S a are possible to be defined for this setting because the gauge symmetry is broken at very high energy scale compared to the effective dynamical scale of the gauge theory which is lowered by the regulator term. 12 In terms of S a , we have the effective superpotential W V , (2.31), with τ a 0 = τ 0 for any a after integration of the chiral superfields. Then, applying the discussion in the previous section to the effective action (2.31), we conclude that the effective superpotential from which we can compute the gaugino condensation S = a S a is given by just adding the Veneziano-Yankielowicz superpotentials for all simple gauge groups in G ′ to the effective action (2.31).
In particular, if we consider a chiral multiplet of the adjoint representation of G, it was shown in [31] and [32] that the perturbative effective superpotential for the chiral multiplet is equivalent to the one of the matrix model of the Dijkgraaf and Vafa. Then, the pathintegral of the vector multiplets gives just the Veneziano-Yankielowicz terms according to the discussion in the previous section. The final effective action (2.31) is the one conjectured in [33] . Therefore, this can be regarded as a nonperturbative proof of the Dijkgraaf-Vafa conjecture. 13