Abstract
We investigate a dynamical mass generation mechanism for the off-diagonal gluons and ghosts in SU(N) Yang-Mills theories, quantized in the maximal Abelian gauge. Such a mass can be seen as evidence for the Abelian dominance in that gauge. It originates from the condensation of a mixed gluon-ghost operator of mass dimension two, which lowers the vacuum energy. We construct an effective potential for this operator by a combined use of the local composite operators technique with algebraic renormalization and we discuss the gauge parameter independence of the results. We also show that it is possible to connect the vacuum energy, due to the mass dimension two condensate discussed here, with the non-trivial vacuum energy originating from the condensate <FONT FACE=Symbol>á</FONT>Aµ²<FONT FACE=Symbol>ñ</FONT>, which has attracted much attention in the Landau gauge.
Gauge theory; BRST quantization; Renormalization group; Nonperturbative effects
REGULAR ARTICLES
Off-diagonal mass generation for Yang-Mills theories in the maximal Abelian gauge
D. DudalI,* * Talk given by D. Dudal at "XXV Encontro Nacional de Física de Partículas e Campos", Caxambu, Minas Gerais, Brazil, 24-28 Aug 2004; Research Assistant of the Fund For Scientific Research-Flanders (Belgium) ; J.A. GraceyII; V.E.R. LemesIII; M.S. SarandyIV; R.F. SobreiroIII; S.P. SorellaIII, Work supported by FAPERJ, Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro, under the program Cientista do Nosso Estado, E- 26/151.947/2004. ; H. VerscheldeI
IGhent University, Department of Mathematical Physics and Astronomy, Krijgslaan 281-S9, B-9000 Gent, Belgium
IITheoretical Physics Division, Department of Mathematical Sciences, University of Liverpool, P.O. Box 147, Liverpool, L69 3BX, United Kingdom
IIIUERJ - Universidade do Estado do Rio de Janeiro Rua São Francisco Xavier 524, 20550-013, Maracanã, Rio de Janeiro, Brazil
IVChemical Physics Theory Group, Department of Chemistry, University of Toronto, 80 St. George Street, Toronto, Ontario, M5S 3H6, Canada
ABSTRACT
We investigate a dynamical mass generation mechanism for the off-diagonal gluons and ghosts in SU(N) Yang-Mills theories, quantized in the maximal Abelian gauge. Such a mass can be seen as evidence for the Abelian dominance in that gauge. It originates from the condensation of a mixed gluon-ghost operator of mass dimension two, which lowers the vacuum energy. We construct an effective potential for this operator by a combined use of the local composite operators technique with algebraic renormalization and we discuss the gauge parameter independence of the results. We also show that it is possible to connect the vacuum energy, due to the mass dimension two condensate discussed here, with the non-trivial vacuum energy originating from the condensate áAµ2ñ, which has attracted much attention in the Landau gauge.
Keywords: Gauge theory; BRST quantization; Renormalization group; Nonperturbative effects
I. INTRODUCTION.
An unresolved problem of SU(N) Yang-Mills theory is color confinement. A physical picture that might explain confinement is based on the mechanism of the dual superconductivity [1,2], according to which the low energy regime of QCD should be described by an effective Abelian theory in the presence of magnetic monopoles. These monopoles should condense, giving rise to the formation of flux tubes which confine the chromoelectric charges.
Let us provide a very short overview of the concept of Abelian gauges, which are useful in the search for magnetic monopoles, a crucial ingredient in the dual superconductivity picture.
Abelian gauges
We recall that SU(N) has a U(1)N-1 subgroup, consisting of the diagonal generators. In [2], 't Hooft proposed the idea of the Abelian gauges. Consider a quantity X(x), transforming in the adjoint representation of SU(N).
The transformation U(x) which diagonalizes X(x) is the one that defines the gauge. If X(x) is already diagonal, then clearly X(x) remains diagonal under the action of the U(1)N-1 subgroup. Hence, the gauge is only partially fixed because there is a residual Abelian gauge freedom.
In certain space time points xi, the eigenvalues of X(x) can coincide, so that U(xi) becomes singular. These possible singularities give rise to the concept of (Abelian) magnetic monopoles. They have a topological meaning since p2(SU(N)/U(1)N-1) ¹ 0 and we refer to [3,4] for all the necessary details.
The dual superconductor as a mechanism behind confinement
Let us give a simplified picture of the dual superconductor to explain the idea. If the QCD vacuum contains monopoles and if these monopoles condense, there will be a dual Meissner effect which squeezes the chromoelectric field into a thin flux tube. This results in a linearly rising potential, V(r) = sr, between static charges, as can be guessed from Gauss' law, òEdS = cte or, since the main contribution is coming from the flux tube, one finds EDS » cte, hence V = -òEdr » cte × r
An example of an Abelian gauge: the maximal Abelian gauge (MAG)
Let Aµ be the Lie algebra valued connection for the gauge group SU(N), whose generators TA, satisfying [TA,TB] = fABCTC, are chosen to be antihermitean and to obey the orthonormality condition Tr( TATB) = -TFdAB, with A,B,C = 1, ...,( N2-1) . In the case of SU(N), one has TF = . We decompose the gauge field into its off-diagonal and diagonal parts, namely
where the indices i, j, ... label the N-1 generators of the Cartan subalgebra. The remaining N(N-1) off-diagonal generators will be labeled by the indices a, b, .... The field strength decomposes as
with the off-diagonal and diagonal parts given respectively by
where the covariant derivative is defined with respect to the diagonal components
For the Yang-Mills action one obtains
The maximal Abelian gauge (MAG), introduced in [2-4], corresponds to minimizing the functional
One checks that [A] does exhibit a residual U(1)N-1 invariance.
The MAG can be recast into a differential form
Although we have introduced the MAG here in a functional way, it is worth mentioning that the MAG does correspond to the diagonalization of a certain adjoint operator, see e.g. [5].
The renormalizability in the continuum of the MAG was proven in [6,7], at the cost of introducing a quartic ghost interaction. The corresponding gauge fixing term turns out to be [6,7]
where a is the MAG gauge parameter and s denotes the nilpotent BRST operator, acting as
Here cª,ciare the off-diagonal and the diagonal components of the Faddeev-Popov ghost field, while a,bª are the off-diagonal antighost and Lagrange multiplier. We also observe that the BRST transformations (10) have been obtained by their standard form upon projection on the off-diagonal and diagonal components of the fields. We remark that the MAG (9) can be written in the form
with being the nilpotent anti-BRST transformation, acting as
It can be checked that s and anticommute.
Expression ( 9) is easily worked out and yields
We note that a = 0 does in fact correspond to the ''real'' MAG condition, given by eq.(8). However, one cannot set a = 0 from the beginning since this would lead to a nonrenormalizable gauge. Some of the terms proportional to a would reappear due to radiative corrections, even if a = 0. See, for example, [30]. For our purposes, this means that we have to keep a general throughout and leave to the end the analysis of the limit a ® 0, to recover condition (8).
In order to have a complete quantization of the theory, one has to fix the residual Abelian gauge freedom by means of a suitable further gauge condition on the diagonal components of the gauge field. A common choice for the Abelian gauge fixing, also adopted in the lattice papers [5,8], is the Landau gauge, given by
where
i,bi are the diagonal antighost and Lagrange multiplier.Abelian dominance
According to the concept of Abelian dominance, the low energy regime of QCD can be expressed solely in terms of Abelian degrees of freedom [9]. Lattice confirmations of the Abelian dominance can be found in [10,11]. To our knowledge, there is no analytic proof of the Abelian dominance. Nevertheless, an argument that can be interpreted as evidence of it, is the fact that the off-diagonal gluons would attain a dynamical mass. At energies below the scale set by this mass, the off-diagonal gluons should decouple, and in this way one should end up with an Abelian theory at low energies.
A lattice study of such an off-diagonal gluon mass reported a value of approximately 1.2GeV [5]. More recently, the off-diagonal gluon propagator was investigated numerically in [8], reporting a similar result.
There have been several efforts to give an analytic description of the mechanism responsible for the dynamical generation of the off-diagonal gluon mass. In [12,13], a certain ghost condensate was used to construct an effective, off-diagonal mass. However, in [14] it was shown that the obtained mass was a tachyonic one, a fact confirmed later in [15]. Another condensation, namely that of the mixed gluon-ghost operator (
Aµa+a acª) [39], that could be responsible for the off-diagonal mass, was proposed in [16]. That this operator should condense can be expected on the basis of a close analogy existing between the MAG and the renormalizable nonlinear Curci-Ferrari gauge [17,18]. In fact, it turns out that the mixed gluon-ghost operator can be introduced also in the Curci-Ferrari gauge. A detailed analysis of its condensation and of the ensuing dynamical mass generation can be found in [19,20].Here, we shall report on the results of [21]. It was investigated explicitly if the mass dimension two operator (
Aµa+a acª) condenses, so that a dynamical off-diagonal mass is generated in the MAG. The pathway we intend to follow is based on previous research in this direction in other gauges. In [22], the local composite operator (LCO) technique was used to construct a renormalizable effective potential for the operator AµA in the Landau gauge. As a consequence of á AµAñ ¹ 0, a dynamical mass parameter is generated [22]. The condensate á AµAñ has attracted attention from theoretical [23,24] as well as from the lattice side [25]. It was shown by means of the algebraic renormalization technique [26] that the LCO formalism for the condensate á AµAñ is renormalizable to all orders of perturbation theory [27]. The same formalism was successfully employed to study the condensation of ( AµA+a AcA) in the Curci-Ferrari gauge [19,20]. We would like to note that the Landau gauge corresponds to a = 0. Later on, the condensation of AµA was confirmed in the linear covariant gauges [28,29], which also possess the Landau gauge as a special case. It was proven formally that the vacuum energy does not depend on the gauge parameter in these gauges. As such, the linear, Curci-Ferrari and Landau gauges are all connected to each other. We managed to connect also the MAG with the Landau gauge, and as such with the linear and Curci-Ferrari gauges [21].II. RENORMALIZABILITY OF SU(N) YANG-MILLS THEORIES IN THE MAG IN THE PRESENCE OF THE LOCAL COMPOSITE OPERATOR(
Ama+ aacª)To prove the renormalizability to all orders of perturbation theory, we shall rely on the algebraic renormalization formalism [26]. In order to write down a suitable set of Ward identities, we first introduce external fields W mi, W ma, Li, Lª coupled to the BRST nonlinear variations of the fields, namely
with
Moreover, in order to discuss the renormalizability of the gluon-ghost operator
we introduce it in the starting action by means of a BRST doublet of external sources ( J,l)
so that
where z is the LCO parameter accounting for the divergences present in the vacuum correlator áOMAG(x)OMAG(y) ñ , which are proportional to J2. Therefore, the complete action
is BRST invariant
It is worth mentioning that the mixed gluon-ghost mass operator, defined in eq.(17), is built using off-diagonal components only. As noticed in [16,31], the operator (17) is also BRST invariant on-shell. We have written down in [21] all the Ward identities, which are sufficient to prove that the most general local counterterm, compatible with the symmetries of the model, can always be reabsorbed by means of multiplicative renormalization. As an interesting by-product, we have been able to establish a relation between the anomalous dimension of the gluon-ghost operator OMAG and other, more elementary, renormalization group functions. Explicitly, it holds to all orders of perturbation theory that
where b(g2) = µ and gci(g2) denotes the anomalous dimension of the diagonal ghost field.
A. The effective potential via the LCO method.
We present here the main steps in the construction of the effective potential for a local composite operator. A more detailed account of the LCO formalism can be found in [32,33].
To obtain the effective potential for the condensate áOMAGñ, we set the sources , , Lª, Li and l to zero and consider the renormalized generating functional
where j denotes the relevant fields and Scount is the usual counterterm contribution, i.e. the part without the composite operator OMAG. The quantity d z is the counterterm accounting for the divergences proportional to J2. Using dimensional regularization throughout with the convention that d = 4-e, one has the following identification
where the subscript ''0'' denotes bare quantities. The functional (J) obeys the renormalization group equation (RGE)
where
Acting with µ on eq.(24) and keeping in mind that bare quantities do not depend on the renormalization scale µ, one finds
with
Up to now, the LCO parameter z is still an arbitrary coupling. As explained in [32,33], simply setting z = 0 would give rise to an inhomogeneous RGE for (J)
and a non-linear RGE for the associated effective action G for the composite operator OMAG. Furthermore, multiplicative renormalizability is lost and by varying the value of d z, minima of the effective action can change into maxima or can get lost. However, z can be made such a function of g2 and a so that, if g2 runs according to b(g2) and a according to g a(g2), z(g2,a) will run according to its RGE (27). This is accomplished by setting z equal to the solution of the differential equation
Doing so, (J) obeys the homogeneous renormalization group equation
To lighten the notation, we will drop the renormalization factors ZJ,A, etc. from now on. One will notice that there are terms quadratic in the source J present in (J), obscuring the usual energy interpretation. This can be cured by removing the terms proportional to J2 in the action to get a generating functional that is linear in the source, a goal easily achieved by inserting the following unity,
with N the appropriate normalization factor, in eq.(23) to arrive at the Lagrangian
while
From eqs.(23) and (34), one has the following simple relation
meaning that the condensate áOMAGñ is directly related to the expectation value of the field s, evaluated with the action Ss = òd4x(Aµ, s). As it is obvious from eq.(33), á s ñ ¹ 0 is sufficient to have a tree level dynamical mass for the off-diagonal fields. At lowest order (i.e. tree level), one finds
Meanwhile, the diagonal degrees of freedom remain massless.
III. GAUGE PARAMETER INDEPENDENCE OF THE VACUUM ENERGY.
We begin this section with a few remarks on the determination of z(g2,a). From explicit calculations in perturbation theory, it will become clear [40] that the RGE functions showing up in the differential equation (30) look like
As such, eq.(30) can be solved by expanding z(g2,a) in a Laurent series in g2,
More precisely, for the first coefficients z0, z1 of the expression (39), one obtains
Notice that, in order to construct the n-loop effective potential, knowledge of the (n+1)-loop RGE functions is needed.
The effective potential calculated with the Lagrangian (33) will explicitly depend on the gauge parameter a. The question arises concerning the vacuum energy Evac, (i.e. the effective potential evaluated at its minimum); will it be independent of the choice of a? Also, as it can be seen from the equations (40), each zi(a) is determined through a first order differential equation in a. Firstly, one has to solve for z0(a). This will introduce one arbitrary integration constant C0. Using the obtained value for z0(a), one can consequently solve the first order differential equation for z1(a). This will introduce a second integration constant C1, etc. In principle, it is possible that these arbitrary constants influence the vacuum energy, which would represent an unpleasant feature. Notice that the differential equations in a for the zi are due to the running of a in eq.(30), encoded in the renormalization group function g a(g2). Assume that we would have already shown that Evac does not depend on the choice of a. If we then set a = a*, with a* a fixed point of the RGE for a at the considered order of perturbation theory, then equation (30) determining z simplifies to
since
This will lead to simple algebraic equations for the zi(a*). Hence, no integration constants will enter the final result for the vacuum energy for a = a*, and since Evac does not depend on a, Evac will never depend on the integration constants, even when calculated for a general a. Hence, we can put them equal to zero from the beginning for simplicity.
Summarizing, two questions remain. Firstly, we should prove that the value of a will not influence the obtained value for Evac. Secondly, we should show that there exists a fixed point a*. We postpone the discussion concerning the second question to the next section, giving a positive answer to the first one. In order to do so, let us reconsider the generating functional (34). We have the following identification, ignoring the overall normalization factors
where S(J) and Ss(J) are given respectively by eq.(23), and eq.(35). Obviously,
so that
which follows directly from
The terms proportional to the source J are originating from the term zJ2 present in eq.(23).
We see that the first term in the right hand side of (46) is an exact BRST variation. As such, its vacuum expectation value vanishes. This is the usual argument to prove the gauge parameter independence in the BRST framework [26]. Note that no local operator , with s = OMAG, exists. Furthermore, extending the action of the BRST transformation on the s-field by
one can easily check that
so that we have a BRST invariant s-action. Thus, when we consider the vacuum, corresponding to J = 0, only the BRST exact term in eq.(45) survives. The effective action G is related to (J) through a Legendre transformation G() = -(J)-òd4yJ(y), while the effective potential V(s) is defined as
If smin is the solution of = 0, then it follows from
that
and hence,
or, due to eq.(45),
We conclude that the vacuum energy Evac should be independent from the gauge parameter a.
A completely analogous derivation was performed in the case of the linear gauge [29]. Nevertheless, in spite of the previous argument, explicit results in that case showed that Evac did depend on a. In [29] it was argued that this apparent disagreement was due to a mixing of different orders of perturbation theory. We explain this with a simple example. A key argument in the previous analysis is that the source J = 0 vanishes at the end of the calculations. In practice, J = 0 is achieved by solving the gap equation = 0. Perturbation theory corresponds to a power series expansion in the coupling constant. The derivative of the effective potential with respect to s will hence look like
where we assume that we work up to order g2. The corresponding gap equation reads
Due to eqs.(49) and (50), one also has
Imposing the gap equation (55) leads to
However, as it can be immediately checked from expression (43), there are several terms proportional to J in the right-hand side of eq.(45). For instance, one of them is given by
J2. Since
we find
Squaring the gap equation (55),
leads to
We see that, if one consistently works to the first order, terms such as
J2 do not equal zero, although J = 0 to that order. Terms like those on the right-hand side of eq.(61) are canceled by terms which are formally of higher order, requiring thus a mixing of different orders of perturbation theory. Of course, this problem would not have occurred if we were be able to compute the effective potential up to infinite order. We proposed a modification of the LCO formalism suitable circumventing this problem and obtaining a well defined gauge independent vacuum energy Evac, without the need of working at infinite order [29]. Instead of the action (23), let us consider the following action
where, for the moment, (g2,a) is an arbitrary function of a of the form
and is now the source. The generating functional becomes
Taking the functional derivative of () with respect to , we obtain
Once more, we insert unity via
to arrive at the following Lagrangian
From the generating functional
it follows that
The renormalizability of the action (35) implies that the action (69) will be renormalizable too. Notice indeed that both actions are connected through the transformation
The tree level off-diagonal masses are now provided by
while the vacuum configuration is determined by solving the gap equation
with () the effective potential. Minimizing () will lead to a vacuum energy Evac(a) which will depend on a and the hitherto undetermined functions fi(a) [41]. We will determine those functions fi(a) by requiring that Evac(a) is a-independent. More precisely, one has
Of course, in order to be able to determine the fi(a), we need an initial value for the vacuum energy Evac. This corresponds to initial conditions for the fi(a). In the case of the linear gauges, to fix the initial condition we employed the Landau gauge [29], a choice which would also be possible in case of the Curci-Ferrari gauges, since the Landau gauge belongs to these classes of gauges. This choice of the Landau gauge can be motivated by observing that the integrated operator òd4x A mA has a gauge invariant meaning in the Landau gauge, due to the transversality condition ¶ m A mA = 0, namely
with the operator on the left hand side of eq.(75) being gauge invariant. Moreover, the Landau gauge is also an all-order fixed point of the RGE for the gauge parameter in case of the linear and Curci-Ferrari gauges. At first glance, it could seem that it is not possible anymore to make use of the Landau gauge as initial condition in the case of the MAG, since the Landau gauge does not belong to the class of gauges we are currently considering. Fortunately, we shall be able to prove that we can use the Landau gauge as initial condition for the MAG too. This will be the content of the next section.
Before turning our attention to this task, it is worth noticing that, if one would work up to infinite order, the expressions (62) and (69) can be transformed exactly into those of (23), respectively (35) by means of eq.(71) and its associated transformation
so that the effective potentials () and V(s) are exactly the same at infinite order, and as such will give rise to the same, gauge parameter independent, vacuum energy.
IV. INTERPOLATING BETWEEN THE MAG AND THE LANDAU GAUGE
In this section we shall introduce a generalized renormalizable gauge which interpolates between the MAG and the Landau gauge. This will provide a connection between these two gauges, allowing us to use the Landau gauge as initial condition. An example of such a generalized gauge, interpolating between the Landau and the Coulomb gauge was already presented in [34]. Moreover, we must realize that in the present case, we must also interpolate between the composite operator
AµA of the Landau gauge and the gluon-ghost operator OMAG of the MAG. Although this seems to be a highly complicated assignment, there is an elegant way to treat it.Consider again the SU(N) Yang-Mills action with the MAG gauge fixing (11). For the residual Abelian gauge freedom, we impose
where k is an additional gauge parameter. The gauge fixing (77) can be rewritten as a BRST exact expression
Next, we will introduce the following generalized mass dimension two operator,
by means of
with ( J, l) a BRST doublet of external sources,
As in the case of the gluon-ghost operator (17), the generalized operator of eq.(79) turns out to be BRST invariant on-shell.
Let us take a closer look at the action
The external source part of the action, Sext, is the same as given in eq.(15).
Also, it can be noticed that, for k ® 0, the generalized local composite operator O of eq.(79) reduces to the composite operator OMAG of the MAG, while the diagonal gauge fixing (78) reduces to the Abelian Landau gauge (14). Said otherwise, for k ® 0, the action S' of eq.(82) reduces to the one we are actually interested in and which we have discussed in the previous sections.
Another special case is k ® 1, a ® 0. Then the gauge fixing terms of S' are
which is nothing else than the Landau gauge. At the same time, we also have
which is the pure gluon mass operator of the Landau gauge [22,27].
From [27], we already know that the Landau gauge with the inclusion of the operator AµA is renormalizable to all orders of perturbation theory. On the other hand, we have already proven the renormalizability for k = 0. The complete action S', as given in eq.(82), is BRST invariant
In [21], we have written down the Ward identities of this model for k ¹ 0 and general a, and we have proven the renormalizability to all orders of perturbation theory. It was found that the additional gauge parameter k does not renormalize in an independent way, while also a generalized version of the relation (22) emerges
Summarizing, we have constructed a renormalizable gauge that is labeled by a couple of parameters (a,k). It allows us to introduce a generalized composite operator O, given by eq.(79), which embodies the local operator AµA of the Landau gauge as well as the operator OMAG of the MAG. To construct the effective potential, one sets all sources equal to zero, except J, and introduces unity to remove the J2 terms. A completely analogous argument as the one given in section III allows to conclude that the minimum value of V(s), thus Evac, will be independent of a and k, essentially because the derivative with respect to a as well as with respect to k is BRST exact, up to terms in the source J. This independence of a and k is again only assured at infinite order in perturbation theory, so we can generalize the construction, proposed in section III, by making the function of eq.(63) also dependent on k. The foregoing analysis is sufficient to make sure that we can use the Landau gauge result for Evac as the initial condition for the vacuum energy of the MAG. Moreover, we are now even in the position to answer the question about the existence of a fixed point of the RGE for the gauge parameter a, which was necessary to certify that no arbitrary constants would enter the results for Evac. We already mentioned that the Landau gauge, i.e. the case (a, k) = (0,1), is a renormalizable model [27], i.e. the Landau gauge is stable against radiative corrections. This can be reexpressed by saying that (a, k) = (0,1) is a fixed point of the RGE for the gauge parameters, and this to all orders of perturbation theory.
V. NUMERICAL RESULTS FOR SU(2)
After a quite lengthy formal construction of the LCO formalism in the case of the MAG, we are now ready to present explicit results. In this paper, we will restrict ourselves to the evaluation of the one-loop effective potential in the case of SU(2). As renormalization scheme, we adopt the modified minimal substraction scheme (). Let us give here, for further use, the values of the one-loop anomalous dimensions of the relevant fields and couplings in the case of SU(2). In our conventions, one has [35-37]
while
and exploiting the relation (22)
a result consistent with that of [36].
The reader will notice that we have given only the 1-loop values of the anomalous dimensions, despite the fact that we have announced that one needs (n+1)-loop knowledge of the RGE functions to determine the n-loop potential. As we shall see soon, the introduction of the function (g2,a) and the use of the Landau gauge as initial condition allow us to determine the 1-loop results we are interested in, from the 1-loop RGE functions only.
Let us first determine the counterterm d z. For the generating functional (J), we find at 1-loop [42]
and employing
with
one can calculate the divergent part of eq.(91),
Consequently,
Next, we can compute the RGE function d(g2,a) from eq.(28), obtaining
Having determined this, we are ready to calculate z0. The differential equation (40) is solved by
with C0 an integration constant. As already explained in the previous sections, we can consistently put C0 = 0. Here, we have written it explicitly to illustrate that, if a would coincide with the 1-loop fixed point of the RGE for the gauge parameter, the part proportional to C0 in eq.(96) would drop. Indeed, the equations 9-4a+3a2 = 0 and -2a+= 0, stemming from eq.(88), are the same. Moreover, we also notice that this equation has only complex valued solutions. Therefore, it is even more important to have made the connection between the MAG and the Landau gauge by embedding them in a bigger class of gauges, since then we have the fixed point, even at all orders. In what follows, it is understood that z0 = a.
We now have all the ingredients to construct the 1-loop effective potential
1(). One obtains
It can be checked explicitly that
1() obeys the renormalization group
by using the RGE functions (87)-(90) and the fact that the anomalous dimension of is given by
which is immediately verifiable from eq.(70).
We now search for the vacuum configuration by minimizing
1() with respect to . We will put 2 = to exclude possibly large logarithms, and find two solutions of the gap equation = 0, namely
The quantity y is the relevant expansion parameter, and should be sufficiently small to have a sensible expansion.The value for áñ corresponding to eq.(102) can be extracted from the 1-loop coupling constant
The first solution (101) corresponds to the usual, perturbative vacuum (Evac = 0), while eq.(102) gives rise to a dynamically favoured vacuum with energy
From eq.(104), we notice that at the 1-loop approximation, a2< 3 must be fulfilled in order to have Evac< 0. In principle, the unknown function f0(a) can be determined by solving the differential equation
with initial condition Evac(a) = . However, to solve eq.(106) knowledge of z1 is needed. Since we are not interested in f0(a) itself, but rather in the value of the vacuum energy Evac, the off-diagonal mass and the expansion parameter y, there is a more direct way to proceed, without having to solve the eq.(106). Let us first give the Landau gauge value for Evac in the case N = 2, which can be easily obtained from [22,38],
Since the construction is such that Evac(a) = , we can equally well solve
which gives the lowest order masses
The result (109) can be used to determine y. From eq.(105) one easily finds
We see thus that, for the information we are currently interested in, we do not need explicit knowledge of z1 and f0. We want to remark that, if z1 were known, the value for y obtained in eq.(108) can be used to determine f0 from eq.(102). This is a nice feature, since the possibly difficult differential equation (106) never needs to be solved in this fashion. Before we come to the conclusions, let us consider the limit a ® 0, corresponding to the ''real'' MAG Am b = 0. One finds
The relative smallness of y means that our perturbative analysis should give qualitatively meaningful results.
VI. DISCUSSION AND CONCLUSION
The aim of this paper was to give analytic evidence, as expressed by eq.(111), of the dynamical mass generation for off-diagonal gluons in Yang-Mills theory quantized in the maximal Abelian gauge. This mass can be seen as support for the Abelian dominance [9-11] in that gauge. This result is in qualitative agreement with the lattice version of the MAG, were such a mass was also reported [5,8]. The off-diagonal lattice gluon propagator could be fitted by , which is in correspondence with the tree level propagator we find. We have been able to prove the existence of the off-diagonal mass by investigating the condensation of a mass dimension two operator, namel (
Aµa+aa cª). It was shown how a meaningful, renormalizable effective potential for this local composite operator can be constructed. By evaluating this potential explicitly at 1-loop order in the case of SU(2), the formation of the condensate is favoured since it lowers the vacuum energy. The latter does not depend on the choice of the gauge parameter a, at least if one would work to infinite order in perturbation theory. We have explained in short how to overcome the problem at finite order and gave a way to overcome it. Moreover, we have been able to interpolate between the Landau gauge and the MAG by unifying them in a larger class of renormalizable gauges. This observation was used to prove that the vacuum energy of Yang-Mills theory in the MAG due to its mass dimension two condensate should be the same as the vacuum energy of Yang-Mills theory in the Landau gauge with the much explored condensate á AµAñ. It is worth noticing that all the gauges, where a dimension two condensate provides a dynamical gluon mass parameter, such as the Landau gauge [22], the Curci-Ferrari gauges [20], the linear gauges [29] and the MAG, can be connected to each other, either directly (e.g. Landau-MAG) or via the Landau gauge (e.g. MAG and linear gauges). This also implies that, if á AµAñ ¹ 0 in the Landau gauge, the analogous condensates in the other gauges cannot vanish either.Acknowledgments
D. Dudal would like to thank the organizers of this conference for the kind invitation to give a talk and for the opportunity to have many interesting discussions with other participants.
[1] Y. Nambu, Phys. Rev. D 10, 4262 (1974); G. 't Hooft, High Energy Physics EPS Int. Conference, Palermo 1975, ed. A. Zichichi; S. Mandelstam, Phys. Rept. 23, 245 (1976).
[2] G. 't Hooft, Nucl. Phys. B 190, 455 (1981).
[3] A. S. Kronfeld, G. Schierholz, and U. J. Wiese, Nucl. Phys. B 293, 461 (1987).
[4] A. S. Kronfeld, M. L. Laursen, G. Schierholz, and U. J. Wiese, Phys. Lett. B 198, 516 (1987).
[5] K. Amemiya and H. Suganuma, Phys. Rev. D 60, 114509 (1999).
[6] H. Min, T. Lee, and P. Y. Pac, Phys. Rev. D 32, 440 (1985).
[7] A. R. Fazio, V. E. R. Lemes, M. S. Sarandy, and S. P. Sorella, Phys. Rev. D 64, 085003 (2001).
[8] V. G. Bornyakov, M. N. Chernodub, F. V. Gubarev, S. M. Morozov, and M. I. Polikarpov, Phys. Lett. B 559, 214 (2003).
[9] Z. F. Ezawa and A. Iwazaki, Phys. Rev. D 25, 2681 (1982).
[10] T. Suzuki and I. Yotsuyanagi, Phys. Rev. D 42, 4257 (1990).
[11] S. Hioki, S. Kitahara, S. Kiura, Y. Matsubara, O. Miyamura, S. Ohno, and T. Suzuki, Phys. Lett. B 272, 326 (1991) [Erratum-ibid. B 281, 416 (1992)].
[12] M. Schaden, hep-th/9909011.
[13] K. I. Kondo and T. Shinohara, Phys. Lett. B 491, 263 (2000).
[14] D. Dudal and H. Verschelde, J. Phys. A 36, 8507 (2003).
[15] H. Sawayanagi, Phys. Rev. D 67, 045002 (2003).
[16] K. I. Kondo, Phys. Lett. B 514, 335 (2001).
[17] G. Curci and R. Ferrari, Nuovo Cim. A 32, 151 (1976).
[18] G. Curci and R. Ferrari, Phys. Lett. B 63, 91 (1976).
[19] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, M. Picariello, and J.A. Gracey, Phys. Lett. B 569, 57 (2003).
[20] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, S. P. Sorella, and M. Picariello, Annals Phys. 308, 62 (2003).
[21] D. Dudal, J. A. Gracey, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, and H. Verschelde, Phys. Rev. D 70, 114038 (2004).
[22] H. Verschelde, K. Knecht, K. Van Acoleyen, and M. Vanderkelen, Phys. Lett. B 516, 307 (2001).
[23] F. V. Gubarev, L. Stodolsky, and V. I. Zakharov, Phys. Rev. Lett. 86, 2220 (2001).
[24] F. V. Gubarev and V. I. Zakharov, Phys. Lett. B 501, (2001).
[25] P. Boucaud, A. Le Yaouanc, J. P. Leroy, J. Micheli, O. Pène and J. Rodriguez-Quintero, Phys. Rev. D 63, 114003 (2001).
[26] O. Piguet and S. P. Sorella, Lect. Notes Phys. M28, 1 (1995).
[27] D. Dudal, H. Verschelde, and S. P. Sorella, Phys. Lett. B 555, 126 (2003).
[28] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, and J. A. Gracey, Phys. Lett. B 574, 325 (2003).
[29] D. Dudal, H. Verschelde, J. A. Gracey, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, and S. P. Sorella, JHEP 0401 044 (2004).
[30] K. I. Kondo, Phys. Rev. D 57, 7467 (1998).
[31] K. I. Kondo, T. Murakami, T. Shinohara, and T. Imai, Phys. Rev. D 65, 085034 (2002).
[32] H. Verschelde, Phys. Lett. B 351, 242 (1995).
[33] K. Knecht and H. Verschelde, Phys. Rev. D 64, 085006 (2001).
[34] L. Baulieu and D. Zwanziger, Nucl. Phys. B 548, 527 (1999).
[35] T. Shinohara, T. Imai, and K. I. Kondo, Int. J. Mod. Phys. A 18, 5733 (2003).
[36] U. Ellwanger and N. Wschebor, Int. J. Mod. Phys. A 18, 1595 (2003).
[37] K. I. Kondo, hep-th/0303251.
[38] R. E. Browne and J. A. Gracey, JHEP 0311, 029 (2003).
[39] The index a runs only over the N(N-1) off-diagonal generators.
[40] See section V.
[41] At first order, Evac will depend on f0(a), at second order on f0(a) and f1(a), etc.
[42] We will do the transformation of W(J) to $\mathcal{W}{\widetilde{J}}$ only at the end.
Received on 12 December, 2006
- [1] Y. Nambu, Phys. Rev. D 10, 4262 (1974);
- G. 't Hooft, High Energy Physics EPS Int. Conference, Palermo 1975, ed. A. Zichichi;
- S. Mandelstam, Phys. Rept. 23, 245 (1976).
- [2] G. 't Hooft, Nucl. Phys. B 190, 455 (1981).
- [3] A. S. Kronfeld, G. Schierholz, and U. J. Wiese, Nucl. Phys. B 293, 461 (1987).
- [4] A. S. Kronfeld, M. L. Laursen, G. Schierholz, and U. J. Wiese, Phys. Lett. B 198, 516 (1987).
- [5] K. Amemiya and H. Suganuma, Phys. Rev. D 60, 114509 (1999).
- [6] H. Min, T. Lee, and P. Y. Pac, Phys. Rev. D 32, 440 (1985).
- [7] A. R. Fazio, V. E. R. Lemes, M. S. Sarandy, and S. P. Sorella, Phys. Rev. D 64, 085003 (2001).
- [8] V. G. Bornyakov, M. N. Chernodub, F. V. Gubarev, S. M. Morozov, and M. I. Polikarpov, Phys. Lett. B 559, 214 (2003).
- [9] Z. F. Ezawa and A. Iwazaki, Phys. Rev. D 25, 2681 (1982).
- [10] T. Suzuki and I. Yotsuyanagi, Phys. Rev. D 42, 4257 (1990).
- [11] S. Hioki, S. Kitahara, S. Kiura, Y. Matsubara, O. Miyamura, S. Ohno, and T. Suzuki, Phys. Lett. B 272, 326 (1991) [Erratum-ibid. B 281, 416 (1992)].
- [13] K. I. Kondo and T. Shinohara, Phys. Lett. B 491, 263 (2000).
- [14] D. Dudal and H. Verschelde, J. Phys. A 36, 8507 (2003).
- [15] H. Sawayanagi, Phys. Rev. D 67, 045002 (2003).
- [16] K. I. Kondo, Phys. Lett. B 514, 335 (2001).
- [17] G. Curci and R. Ferrari, Nuovo Cim. A 32, 151 (1976).
- [18] G. Curci and R. Ferrari, Phys. Lett. B 63, 91 (1976).
- [19] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, M. Picariello, and J.A. Gracey, Phys. Lett. B 569, 57 (2003).
- [20] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, S. P. Sorella, and M. Picariello, Annals Phys. 308, 62 (2003).
- [21] D. Dudal, J. A. Gracey, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, and H. Verschelde, Phys. Rev. D 70, 114038 (2004).
- [22] H. Verschelde, K. Knecht, K. Van Acoleyen, and M. Vanderkelen, Phys. Lett. B 516, 307 (2001).
- [23] F. V. Gubarev, L. Stodolsky, and V. I. Zakharov, Phys. Rev. Lett. 86, 2220 (2001).
- [24] F. V. Gubarev and V. I. Zakharov, Phys. Lett. B 501, (2001).
- [25] P. Boucaud, A. Le Yaouanc, J. P. Leroy, J. Micheli, O. Pčne and J. Rodriguez-Quintero, Phys. Rev. D 63, 114003 (2001).
- [26] O. Piguet and S. P. Sorella, Lect. Notes Phys. M28, 1 (1995).
- [27] D. Dudal, H. Verschelde, and S. P. Sorella, Phys. Lett. B 555, 126 (2003).
- [28] D. Dudal, H. Verschelde, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, S. P. Sorella, and J. A. Gracey, Phys. Lett. B 574, 325 (2003).
- [29] D. Dudal, H. Verschelde, J. A. Gracey, V. E. R. Lemes, M. S. Sarandy, R. F. Sobreiro, and S. P. Sorella, JHEP 0401 044 (2004).
- [30] K. I. Kondo, Phys. Rev. D 57, 7467 (1998).
- [31] K. I. Kondo, T. Murakami, T. Shinohara, and T. Imai, Phys. Rev. D 65, 085034 (2002).
- [32] H. Verschelde, Phys. Lett. B 351, 242 (1995).
- [33] K. Knecht and H. Verschelde, Phys. Rev. D 64, 085006 (2001).
- [34] L. Baulieu and D. Zwanziger, Nucl. Phys. B 548, 527 (1999).
- [35] T. Shinohara, T. Imai, and K. I. Kondo, Int. J. Mod. Phys. A 18, 5733 (2003).
- [36] U. Ellwanger and N. Wschebor, Int. J. Mod. Phys. A 18, 1595 (2003).
- [38] R. E. Browne and J. A. Gracey, JHEP 0311, 029 (2003).
Publication Dates
-
Publication in this collection
17 July 2007 -
Date of issue
June 2007
History
-
Received
12 Dec 2006