In gauge theory, especially in non-abelian gauge theories, global problems at gauge fixing are often encountered. Gauge fixing means choosing a representative from each gauge orbit, that is, choosing a section of a fiber bundle. The space of representatives is a submanifold (of the bundle as a whole) and represents the gauge fixing condition. Ideally, every gauge orbit will intersect this submanifold once and only once. Unfortunately, this is often impossible globally for non-abelian gauge theories because of topological obstructions and the best that can be done is make this condition true locally. A gauge fixing submanifold may not intersect a gauge orbit at all or it may intersect it more than once. The difficulty arises because the gauge fixing condition is usually specified as a differential equation of some sort, e.g. that a divergence vanish (as in the Landau or Lorenz gauge). The solutions to this equation may end up specifying multiple sections, or perhaps none at all. This is called a Gribov ambiguity (named after Vladimir Gribov).
Gribov ambiguities lead to a nonperturbative failure of the BRST symmetry, among other things.
A way to resolve the problem of Gribov ambiguity is to restrict the relevant functional integrals to a single Gribov region whose boundary is called a Gribov horizon.Still one can show that this problem is not resolved even when reducing the region to the first Gribov region. The only region for which this ambiguity is resolved is the fundamental modular region (FMR).
When doing computations in gauge theories, one usually needs to choose a gauge. Gauge degrees of freedom do not have any direct physical meaning, but they are an artifact of the mathematical description we use to handle the theory in question. In order to obtain physical results, these redundant degrees of freedom need to be discarded in a suitable way
In Abelian gauge theory (i.e. in QED) it suffices to simply choose a gauge. A popular one is the Lorenz gauge
\partial\muA\mu=0
The Faddeev - Popov formalism, developed by Ludvig Faddeev and Victor Popov, provides a way to deal with the gauge choice in non-Abelian theories. This formalism introduces the Faddeev - Popov operator, which is essentially the Jacobian determinant of the transformation necessary to bring the gauge field into the desired gauge. In the so-called Landau gauge[1]
\partial\mu
| a | |
| A | |
| \mu |
=0
\partial\mu
| ab | |
| lD | |
| \mu |
,
| ab | |
| lD | |
| \mu |
This formalism, however, assumes that the gauge choice (like
\partial\mu
| a | |
| A | |
| \mu |
=0
| a | |
| A | |
| \mu |
Gribov considered the question of, given a certain physical configuration, how many different gauge copies of this configuration obey the Landau gauge condition
\partial\mu
| a | |
| A | |
| \mu |
=0
Consider two gauge fields
| a | |
| A | |
| \mu |
| a}' | |
| {A | |
| \mu |
| a}' | |
| {A | |
| \mu |
| a | |
| A | |
| \mu |
| a}' | |
| {A | |
| \mu |
=
| a | |
| A | |
| \mu |
+
| ab | |
| lD | |
| \mu |
\omegab
\omegab
\partial\mu
| ab | |
| lD | |
| \mu |
\omegab=0 ,
\Omega
If gauge fields have gauge copies, these fields will be overcounted in the path integral. In order to counter that overcounting, Gribov argued we should limit the path integral to the first Gribov region. In order to do so, he considered the ghost propagator, which is the vacuum expectation value of the inverse of the Faddeev - Popov operator. If this operator is always positive definite, the ghost propagator cannot have poles - which is called the "no-pole condition". In usual perturbation theory (using the usual Faddeev - Popov formalism), the propagator does have a pole, which means we left the first Gribov region and overcounted some configurations.
Deriving a perturbative expression for the ghost propagator, Gribov finds that this no-pole condition leads to a condition of the form
\langle\sigma[A]\rangle=\left\langle
| Ng2 | |
| Vd(N2-1) |
\int
| ddq | |
| (2\pi)d |
| a(-q) | |
| A | |
| \mu |
| 1{q | |
| 2} |
| a(q) | |
| A | |
| \mu |
\right\rangle<1 ,
\sigma[A]
H(1-\sigma[A])=
| +iinfty+\epsilon | |
| \int | |
| -iinfty+\epsilon |
| d\beta | |
| 2\pii\beta |
e\beta(1-\sigma[A]) .
\beta
With the modification stemming from the Gribov parameter, it turns out that the gluon propagator is modified to
| ab | |
| D | |
| \mu\nu |
(k)=\deltaab\left(\delta\mu\nu-
| k\muk\nu | |
| k2 |
\right)
| 1{k | |
| 2 |
+
| 2Ng2 | |
| Vd(N2-1) |
| \beta0 | |
| k2 |
\beta0
\beta
\propto1/k4
Several years later, Daniel Zwanziger also considered the Gribov problem. He used a different approach. Instead of considering the ghost propagator, he computed the lowest eigenvalue of the Faddeev - Popov operator as a perturbative series in the gluon field. This yielded a certain function, which he called the "horizon function", and the vacuum expectation value of this horizon function must be limited to at most one in order to stay within the first Gribov region. This condition can be expressed by introducing the horizon function into the path integral (in a way analogous to how Gribov did the same) and imposing a certain gap equation on the vacuum energy of the resulting theory. This yielded a new path integral with a modified action, which is, however, nonlocal. At leading order, the results are identical to the ones previously found by Gribov.
In order to more easily deal with the action he found, Zwanziger introduced localizing fields. Once the action had become local, it was possible to prove that the resulting theory is renormalizable - i.e. all infinities generated by loop diagrams can be absorbed by multiplicatively modifying the content (coupling constant, field normalization, Gribov parameter) already present in the theory without needing extra additions.
Zwanziger furthermore noted that the resulting gluon propagator does not admit a Källén - Lehmann spectral representation, which signals that the gluon cannot be a physical particle any longer. This is often interpreted as signaling color confinement.
As the first Gribov region plays a pivotal role in the resolution of the Gribov ambiguity, it has attracted additional attention over the years since Gribov's first paper. The Landau gauge can be defined as being the gauge that extremizes the functional
||A||2=\intddx
| a(x) | |
| A | |
| \mu |
| a(x) | |
| A | |
| \mu |
.
This condition still includes relative minima, though. It has been shown that there are still Gribov copies within the first Gribov region that are related to each other by a topologically trivial gauge transformation. The space of gauge functions that absolutely minimize the functional
||A||2
The first Gribov region has been shown to be bounded in all directions, such that no arbitrarily large field configurations are taken into account when restricting the path integral to this region. Furthermore, the first Gribov region is convex, and all physical configurations have at least one representative inside it.
In 2013 it was proven that the two formalisms - Gribov's and Zwanziger's - are equivalent to all orders in perturbation theory.
One challenge for the Gribov - Zwanziger formalism is that the BRST symmetry is broken. This breaking can be interpreted as dynamical symmetry breaking. The breaking is "soft" (i.e. proportional to a parameter with positive mass dimension, in this case the Gribov parameter), such that renormalizability can still be proven. Unitarity is still problematic, however. More recently, however, a claim for a BRST-preserved Gribov–Zwanziger action has been made in the literature.
For a long time, lattice simulations seemed to indicate that the modified gluon and ghost propagators proposed by Gribov and Zwanziger were correct. In 2007, however, computers had become sufficiently strong to probe the region of low momenta, where the propagators are most modified, and it turned out that the Gribov - Zwanziger picture is not correct. Instead, the gluon propagator goes to a constant value when the momentum is taken to zero, and the ghost propagator still goes like 1/k2 at low momenta. This is the case for both 3 and 4 space-time dimensions. A solution to this discrepancy has been proposed, adding condensates to the Gribov - Zwanziger action.