Non-perturbative to perturbative QCD via the FFBRST

Recently a new type of quadratic gauge was introduced in QCD in which the degrees of freedom are suggestive of a phase of abelian dominance. In its simplest form it is also free of Gribov ambiguity. However this gauge is not suitable for usual perturbation theory. The finite field dependent BRST (FFBRST) transformation is a method established to interrelate generating functionals for different effective versions of gauge fixed field theories. In this paper we propose a FFBRST transformation suitable for transforming the theory in the new quadratic gauge into the standard Lorenz gauge Faddeev-Popov version of the effective lagrangian. The task is made interesting by the fact the BRST invariance obeyed by the two effective lagrangians are not the same, however suitable extension of the previous procedures accomplishes the required result. We are thus able to identify a field redefinition to go from a non-perturbative phase of QCD to perturbative QCD.


Introduction
Extensions of the usual Lorenz gauge by including the next order terms quadratic in gauge fields have been studied in several contexts [1][2][3][4][5][6]. In [7] it was shown that a purely quadratic gauge condition without the linear terms leads to a suggestive effective lagrangian giving masses to off-diogonal gluons. The consequences of such a condition to lifting the Gribov ambiguity were further studied in [7] and [8]. The new type of quadratic gauge condition is at first introduced as follows, where f a (x) is an arbitrary function of x. Several proposals to establish abelian dominance in the infrared (IR) use what is called Abelian Projection [9]. Such and other algebraic gauges are usually non-covariant. But as introduced in [7] the above gauge is in fact covarint . The gauge prima facie is an ambiguity free gauge as it is algebraic in nature. Thus, the quadratic gauge shares the same property of being free of Gribov copies as the axial gauges n µ A µa = f a (x) and the flow gauge αA a 0 = ∇. A a [10] despite being non linear. The Faddeev-Popov determinant in this gauge is given by Therefore, the resulting effective Lagrangian density contains gauge fixing and ghost terms as follows, where ζ is an arbitrary gauge fixing parameter and (D µ c) a = ∂ µ c a − gf abc A b µ c c . Now onwards, we shall drop the summation symbol, but the summation over an index a will be understood when it appears repeatedly, including when repeated thrice as in the ghost terms above. In particular, where the summation over indices a, b and c each runs independently over 1 to N 2 − 1. We should note that ghost Lagrangian does not have kinetic terms and hence the ghosts do not propagate in this theory and make no loop contributions. They act like auxiliary fields, but playing an important role in the IR. With this understanding, we write the full effective Lagrangian density in this quadratic gauge as and in the second version the F a are a set of auxiliary fields called Nakanishi-Lautrup fields [11]. As shown in [8], the Lagrangian is BRST invariant [12,13] which is essential for the ghost independence of the green functions and unitarity of the S-matrix. These issues were studied in ref. [7] The form of the second term of the expression (1.4) appearing in the ghost lagrangian contains ghost bilinears multiplying terms quadratic in gauge fields. Hence if the nonpropagating ghosts are assumed to be frozen they amount to a non-zero mass matrix for the gluons. To strengthen this connection it is necessary to assume that the vacuum corresponds to ghost condensation. This was achieved through introducing a Lorenz gauge fixing term for one of the diagonal gluons, in addition to the purely quadratic terms of Eq. (1.1). This gauge fixing gives the propagator to the corresponding ghost field. Using this ghost propagator, one can give nontrivial vacuum values to bilinears c a c c within the framework Coleman-Weinberg mechanism as described in [7]. We shall revisit the point in the next section also.
The resulting mass matrix for the gluons has N (N − 1) non-zero eigenvalues only and thus has nullity N − 1. Thus, the N (N − 1) off-diagonal gluons acquire masses and the rest N − 1 diagonal gluons remain massless. The massive off-diagonal gluons are presumed to provide evidence of Abelian dominance, which is a signature of quark confinement. This and other phenomena that emerge in this gauge, such as the avoidance of Gribov ambiguity were studied explicitly in [7] [8]. Quark confinement and Gribov ambiguity are important non-perturbative issues. And this gauge therefore proves to be important in studying nonperturbative regime of QCD.
The finite field dependent BRST (FFBRST) transformation was introduced for first time in Ref. [6] by integrating infinitesimal usual BRST transformations. Such FFBRST transformations have exactly the same form as the infinitesimal ones, with the difference that the infinitesimal global anti-commuting parameter is replaced by an anti-commuting but finite parameter dependent on space time fields, but with no explicit dependence on space time coordinates. The meaning of "finite anti-commuting parameter" is that if we calculate the Green's functions for such parameters between vacuum and a state with gauge and ghost fields we get finite values as opposed to infinitesimal values. Being finite in nature FFBRST transformation does not leave the path integral measure invariant even though other properties of usual infinitesimal BRST transformation are intact. Thus the generating functional to a BRST invariant theory is not invariant under FFBRST. Jacobian of such finite transformation provides a non-trivial factor which depends on FFBRST parameter.
Due to this non-trivial Jacobian FFBRST transformations are simultaneously field redefinitions as well as BRST transformations on the fields being redefined. They are thus capable of connecting generating functionals of two different BRST invariant theories and have been used to study different gauge field theoretic models with various effective actions [14][15][16][17][18][19][20][21][22]. In this paper we construct an appropriate FFBRST transformation to establish the connection at the level of generating functionals between the recently introduced quadratic gauge with substantial implications in the non-perturbative QCD [7,8] and the familiar Lorenz gauge which is suitable to describe the perturbative QCD.

Connecting two different regimes
As discussed in the introduction, the main non perturbative result of the quadratic gauge was established with the help of additional gauge fixing for one of the gluons. The presence of this additional gauge fixing does reintroduce the Gribov ambiguity for this component but this is the price to be paid for an explicit demonstration of effective masses for the off diagonal gluons. Hence, our aim here is to connect the generating functional corresponding to the effective actions in quadratic gauge with additional Lorenz gauge fixing for one of the gluons to that in the usual Lorenz gauge through the technique of the FFBRST transformation. To do so, we write the effective action of the quadratic gauge with additional gauge fixing for one of the gluons which is as follows where stands for ∂ µ ∂ µ and a set of additional fields G 3 , d 3 , d 3 correspond to the additional Lorenz gauge of the diagonal gluon A 3 and the ghosts d 3 , d 3 are treated as SU (3) singlets. As a first approach it is easy to see that the action in Eq. (2.1) is invariant under the following nilpotent BRST transformation where δω infinitesimal, anticommuting and global parameter. This set of transformations differs from the usual BRST transformation in the composite form of the last of the Eq.s (2.2). However these transformations are not useful for FFBRST technique since the transformations of G 3 and d 3 are trivial. Therefore, we introduce a new set of BRST transformations under which the action (2.1) is also invariant, as follows We see that now this set of transformations has become applicable for FFBRST technique as δG 3 , δd 3 are non zero. Further, the last three transformations in Eq. (2.3) are not nilpotent, but they satisfy following higher degree closed algebra The remaining one can be easily derived from one of these algebras. Thus, we are prompted to restore the nilpotency, to the extent possible. To do so, we express the effective action (2.1) in terms of a new auxiliary field B 3 , The action (2.5) is invariant under following transformations The last three transformation rules satisfy the following algebra We see that first two rules of Eq. (2.7) are nilpotent and the last one is 'almost' nilpotent now. It is interesting to compare Eqs. (2.4) and (2.7). Thus, we see that the introduction of B 3 has made a substantial difference in the algebra of the transformations, with the novel feature of the algebra of the transformation having been made nilpotent through the introduction of an auxiliary field. We shall next achieve the stated connection using these unusual transformations (2.6) in the FFBRST technique. Now we briefly outline the procedure for the passage from the BRST transformations to the FFBRST transformations. We start with making the infinitesimal global parameter δω field dependent by introducing a numerical parameter κ (0 ≤ κ ≤ 1) and making all the fields κ dependent such that φ(x, κ = 0) = φ(x) and φ(x, κ = 1) = φ (x), the transformed field. The symbol φ generically describes all the fields A, c, c, F, d 3 , d 3 , B 3 , G 3 . The BRST transformation in Eq. (2.6) is then written as where Θ is a finite field dependent anti-commuting parameter and δ b [φ(x, κ)] is the form of the transformation for the corresponding field as in Eq. (2.6). The FFBRST is then constructed by integrating Eq. (2.8) from κ = 0 to κ = 1 as [6] φ Like usual BRST transformation, FFBRST transformation leaves the effective action in Eq. (2.5) invariant. However, since the transformation parameter is field dependent in nature, FFBRST transformation does not leave the path integral measure, Dφ invariant and produces a non-trivial Jacobian factor J. This J can further be cast as a local functional of fields, e iS J (where the S J is the action representing the Jacobian factor J) if the following condition is met [6] Dφ(x, κ) Thus the procedure for FFBRST may be summarised as (i) calculate the infinitesimal change in Jacobian, 1 J dJ dκ dκ using J(κ) J(κ + dκ) for infinitesimal BRST transformation,+ or − sign is for Bosonic or Fermion nature of the field φ respectively (ii) make an ansatz for S J , (iii) then prove the Eq. (2.10) for this ansatz and finally (iv) replace J(κ) by e iS J in the generating functional Setting κ = 1, this would then provide the new effective action S ef f = S J + S ef f . Now we proceed to construct a FFBRST transformation with an appropriate parameter to connect the generating functionals in the quadratic gauge with additional Lorenz gauge for the diagonal gluon A 3 and the Lorenz gauge. We construct the finite field dependent parameter as The γ 1 , γ 2 and γ 3 are constant parameters and Θ 2 = 0. Group index a is summed over. This FFBRST transformation is particularly different among others [14][15][16][17][18][19][20] due to the unique form of transformations (2.6) and by the fact that the field dependent parameter in Eq. (2.13) contains two ghosts c, d with two different transformation properties unlike others where there is only one ghost. We now calculate the change in the Jacobian 1 J dJ dκ due to the FFBRST with the parameter in Eq. (2.13), under which the measure changes Dφ(κ) → J(κ)Dφ(κ) as to be κ independent. With this fact in mind, we make the following ansatz for the S J to compensate the Jacobian contribution of FFBRST transformation where α j (κ), j = 1, · · · 6, are arbitrary functions with initial condition α i (κ = 0) = 0 while the fields themselves are κ independent. We calculate, In order to satisfy the condition in Eq. (2.10), the following equation must be obeyed which gives the following relation among parameterṡ We choose the arbitrary parameters γ 1 = 1, γ 2 = 1, γ 3 = −1 in Eq. (2.19). Thus, the additional Jacobian contribution at κ = 1 is (2.20) Adding this Jacobian contribution, S J to the S ef f in Eq. (2.5) we obtain at κ = 1 the Lorenz gauge as follows Here the term 1 ξ (B 3 ) 2 is redundant which can be put to zero by using EOM for B 3 . Now, we may further apply second FFBRST such that ζ → ζ in the same Lorenz gauge by well known methods [6]. We may summarize this symbolically as the conversion from one theory to another, Thus, we have connected two theories with two different regimes of applicability. This is a connection also between theories with and without propagating ghosts.

Conclusion
The spirit of BRST invariance was to establish the unitarity of the S-matrix in gauge theories whose gauge fixed versions contain ghost degrees of freedom. This technique was substantially extended in the FFBRST approach to permit field redefinitions transforming the effective action with one possible gauge fixing to that of another. In some of the recent earlier work the interesting features of a purely quadratic gauge condition without the usual Lorenz condition have been studied and shown to lead to several interesting properties of the non-perturbative QCD vacuum in the IR limit. At first site the effective degrees of freedom entering here, the off diagonal gluons with masses, appear unrelated to those entering the perturbation theory calculations and which are compatible with the elegant UV properties of Yang-Mills theories. In this paper we have resorted to the FFBRST technique to establish a direct formal connection between the two varieties of the QCD effective lagrangians. Several technical difficulties are encountered in this process and it has required us to make suitable extensions to the FFBRST method. In particular a new auxiliary field is required to ensure nilpotency of the modified BRST transformations. The resulting field redefinitions which connect the degrees of freedom capturing the IR behaviour of QCD vacuum with those of the UV version suitable to perturbative computations need to be studied further. Also, the extensions of the FFBRST technique proposed here can be put to use for other similar problems.