On How QCD Gauge Invariance Gets Realized in the Context of Effective Locality

The fermionic Green’s functions of QCD exhibit an unexpected property of effective locality, which appears to be exact, involving no approximation. This property is nonperturbative, resulting from a full integration of the elementary gluonic degrees of freedom of QCD. Recalling, correcting, and extending the derivations of effective locality, focus is put on the way nonabelian gauge invariance gets realized in the fermionic nonperturbative regime of QCD.


Introduction
In some recent articles [1][2][3][4][5], a property, which bears on the nonperturbative fermionic Green's functions of QCD, has been put forth under the name of effective locality (EL).This property can be summarized as follows.
For any fermionic 2-point Green's functions and related amplitudes, the full gauge-fixed sum of cubic and quartic gluonic interactions, with fermionic loops included, results in a local contact-type interaction.This local interaction is mediated by a tensorial field which is antisymmetric both in Lorentz and color indices.Moreover, the resulting sum appears to be fully gauge-fixing independent, that is, gauge-invariant.
This is an unexpected result because integrations of elementary degrees of freedom ordinarily result in highly nonlocal structures.The "effective locality" denomination, which sounds like an oxymoron, accounts for this unusual circumstance.It is worth pointing out that in the pure euclidean Yang Mills case and up to the first nontrivial orders of a semiclassical expansion, effective locality was observed as a welcome property in an attempt to construct a formulation dual to the original Yang Mills theory [6][7][8].Now, apart from a supersymmetric extension, QCD is not known for possessing any dual formulation and the full EL functional expressions certainly attest to this difficulty.It remains that, like in the pure Yang Mills situation of [6,7], the EL property may allow one to learn something about the nonperturbative regime of QCD and this from first principles.
In the next section a comparison of the QED and QCD Green's functions generating functional is given, while Section 3 displays the property of effective locality in the simpler situation of eikonal and quenching approximations where it was first noticed and then in full generality.Eventually, Section 4 presents some concluding remarks.

Contrasting Generating Functionals
In QED it has been known for quite a long time that manifest covariance and manifest gauge invariance are competing aspects of a generating functional construction.For short, starting from a photonic Lagrangian density of and corresponding action (at  = 1), Advances in High Energy Physics one may use the "inconvenient" (in Fermi's words [1]) term of ( ⋅ ) 2 to generate any relativistic gauge (manifest covariance), treating, for example, (/2) ∫(    ) 2 as a kind of "interaction."Gauge invariance is then guaranteed by enforcing charge conservation: clearly not a manifest way.The construction can be summarized through the following steps.Starting from the free-field case ( =  = 0), one has, with   (0) ] =  ]   , (− 2 )  = 1, the free-field generating functional Then one can proceed in Schwinger's way with the "gaugeinteraction term": with The full Green's functions generating functional now reads as with (the phase factor appearing in the second line of ( 4) is absorbed into the normalization constant N) This is the standard Schwinger solution for the QED generating functional.For any polynomial and/or exponential functional F[], the following differential functional identity holds: with the so-called linkage operator This identity can be used to write eventually Of course, this is the QED generating functional that would result from linear and covariant gauge fixing of (−1/2(1 − ))( ⋅ ) 2 .However,  = 1 cannot be chosen as  ()   F] would not be defined.It is at  = 1 though that manifest gauge invariance is maintained.As a result, Green's functions cannot display gauge invariance.As shown in (10), the bare photon propagator remains explicitly gauge-dependent, and through Ward-Takahashi identities, its radiative corrections are checked to be gauge-invariant.For the whole set of physical processes described by QED, the LSZ reduction formula and equivalence theorem [9] allow one to pass from nongauge-invariant Green's functions to gauge-invariant matrix elements.Recovering gauge invariance is therefore a circuitous procedure and it seems that the nonabelian structure of QCD offers a different possibility.
In the case of QCD, the same canonical steps can be taken.To sum up and within concise notations (color degrees being understood) where the following propagator, of course, does not exist: However, in QCD, unlike QED, one has that is, omitting fermionic variables momentarily, Now, simply adding and subtracting a linear covariant gauge-fixing term of (1/2)(⋅) 2 , it is elementary to proceed and pass from an undefined  (?)  F to the well-defined and covariant propagator  ()  F : and to a Green's function QCD generating functional of where fermionic dependence has been restored and the differential functional identity (8) used again.However, likewise, adding and subtracting a gauge fixing of (1/2)( ⋅ ) 2 , with  being a lightlike vector,  2 = 0, one gets (in the limit  → 0, [9]) and a Green's function QCD generating functional of As many identical forms as desired can be obtained for  QCD [, , ], differing only in the intermediate gluonic field function,  ()  ,  ()  , and so forth.In conclusion, the following points can be proposed.(i) In QED (where  = 1 cannot be chosen), these standard functional operations amount to a quantization in a given covariant gauge.Manifest Lorentz covariance is maintained while manifest gauge invariance is not.Gauge invariance is the matter of indirect recovering.
(ii) In QCD, surprisingly and explicitly due to the nonabelian structure, manifest Lorentz covariance and manifest gauge invariance can be preserved at a time.
(iii) Since no gauge fixing is really achieved, none of the several forms of the QCD generating functional, with  () F ,  ()  F , or any other free-field function, do indeed correspond to the usual QCD generating functional in the associated gauge.
(iv) There is but one possibility.Gauge field functions (i.e., propagators) must show up as necessary intermediates and not affect the fermionic momenta of the QCD generating functionals ( 16) and ( 18).
(v) Now, this is guaranteed by the property of effective locality.

Effective Locality
The property of effective locality will be first displayed in a simplified situation corresponding to the use of eikonal and quenching approximations.

Effective Locality in a Small
Example: Eikonal and Quenching Approximations.With the help of the representation [10], any   -dependent form of  QCD [, , ] can be used; for example, However, representation (19) breaks the manifest gauge invariance.This can be remedied either by gauging the field [6,7] or by means of an exact integration of the field dependence.In the latter instance, the powerful Random Matrix theory allows one to do it in the "small case" at least [4].So long as gauge invariance is concerned, however, none of the above possibilities is necessary as effective locality brings about a remarkable simplification.
Let there be a Fradkin's representation of the functional   [] [11]: where () is the 4-vector Fradkin's field variable, the subscript + stands for -Schwinger proper-time ordering, and ).This representation is exact but fairly involved.In eikonal approximation (() = ) the ordered exponential reduces to In ( 22), the , Ω are auxiliary variables introduced to take    -field dependence out of the ordered exponential; they are to be integrated out exactly so that dealing with the original time-ordered expressions is guaranteed.Again, this is doable at least in the strong coupling limit of  ≫ 1 of a quenching approximation ([] = 0).

Advances in High Energy Physics
A 4-pt Green's function illustration can be given.One has basically the expression where the dots in the first line of (23) account for the integrand Now,  −(/2) ∫(/)⋅ (0) F ⋅(/) ⋅  +(/2) ∫ ⋅⋅+ ∫ ⋅      →0 with and the locality The 4-pt fermionic Green's function finally reads as with    () being the "currents" given in (24).(i) This result is obviously gauge-independent, that is, gauge-invariant.It cannot show up in the abelian QED case as long hoped (R. P. Feynman, quoted in [12]).It generalizes to the case of 2-point fermionic Green's functions [13,14].When truncated to the YM case, the structure found in [6,7] is basically reproduced.Eventually, this result lends itself to a (n analytically continued) Random Matrix exact calculation which takes care of the full integration of the field dependence and displays the full algebraic dependence of fermionic Green's functions on the   (3)-Lie algebra invariants [13,14].

Effective Locality in the General
Case.It is possible to relax any of the approximations used in the "small case" and end up with the property of effective locality.Again this can be illustrated in the simpler case of a fermionic 4-point Green's function: requires 2 extra auxiliary variables; with a new piece of "interaction kernel" reads while "currents"   ] () get completed into and generalized to a higher number of points of Green's functions in a formally similar way.Restoring the fermionic determinant (i.e., relaxing the quenching approximation), the needed functional operation is now followed by the prescription of cancelling the potentials    , where Another differential functional identity is relevant to this operation [11]: where the "cross-linkage" operator exp{ ← → D } is given by and the limit of    =    = 0 is to be taken in the end.After cumbersome, still standard, calculations, one gets (up to an irrelevant factor of exp((1/2)Tr ln(− (0) F ))) the functional statement of effective locality as , that is, locality and gauge independence again, whatever the initial gauge field function one begins with.However the famous duality relation of coupling constants  → 1/ is not verified in QCD contrarily to the pure YM case.This is nontrivial result, the more so if auxiliary field integrations can be carried out exactly, as in the "small case."Now these auxiliary field variables are those related to particular Fradkin's representations, and one may therefore wonder if such a property as effective locality is Fradkin's representation dependent, or not.

Effective Locality:
Even More General.With the functional [] being local and fully gauge-invariant, one may consider the case of a fermionic 2-point Green's function generalization to a higher number of points being trivial.One has thus to consider an expression like where, again, the dots in the first line stand for the integrand (26) and, this time, no particular representation is assumed for   [𝐴].Basically, this is , Up to a global factor of N (1/2)Tr ln(− (0) F ) the core expression, that is, the second line of (41), is Effective locality is manifest in the first line.In the third line,   [] is not gauge-independent but acting upon it with the two functional differentiations, followed by the prescription  → 0 yielding a manifestly gauge-independent result also.
As stated above, it is trivial to check that the same applies to a product of  functionals, ∏  =1  F (  ,   | ), that is, to a 2-point fermionic Green's function.
One may therefore conclude that while Fradkin's representations are useful to actual calculations and derivations of further remarkable properties, the gist of effective locality does not depend on them.This independence makes of effective locality a property sound enough to support the interpretation proposed in the current article.Functional integrations (differentiations) reproduce the Feynman graphs perturbative expansions, so that, if not taken literally (analyticity in  on one side, nonanalyticity on the other side), one could propose that the pictorial representation of Figure 1 means effective locality in a symbolic way.

Conclusion
Decades of experience with the abelian case of QED have probably made us forget that to calculate observables, it is intrinsically not necessary to select a gauge [15].To maintain an explicit covariance though, for both historical and practical reasons, one has admitted to break the manifest gauge invariance in QED.
The case of QCD seems to allow one to proceed in a different way, and this is explicitly due to the nonabelian structure of QCD, with its 3 and 4 linear gluonic self-couplings.The result is a generating functional which displays covariant and gauge-independent fermionic Green's functions.
Originally derived on the basis of Fradkin's representations for the closed fermionic loops and background field fermionic propagators, the property of effective locality appears to be more general indeed.The gist of effective locality seems essentially related to the way nonabelian gauge invariance gets realized in the nonperturbative regime of QCD, and this is most easily disclosed by using functional differentiation instead of functional integration.This situation is new and very different from the abelian case of QED or the perturbative regime of QCD: Up to complications inherent to the nonabelian structure of QCD in effect, gauge invariance follows the same indirect pattern in either cases, Slavnov-Taylor identities playing the role of Ward identities.Reaching the nonperturbative regime of QCD (intense    -fields and/or strong coupling  ≫ 1) out of the perturbative sector is now recognized as a dead end because of the Gribov's copy issue which opposes a violent obstruction to this attempt [16,17].
Such a difficulty does not show up in the effective locality approach, and the fact that gauge invariance in this case is direct may have something to do with the fact that the only QCD states that are outright physical are those of the nonperturbative regime of QCD, that is, states of the hadronic spectrum.

Figure 1 :
Figure 1: Effective Locality pictured in a rather symbolic way in which the sum of all possible QCD interactions between 2 scattering quarks "boils down" to a local contact-type interaction mediated by the structure (− ⋅ ) −1 ().