Faddeev-Popov Quantization and Ghost Fields

The Problem: Overcounting in the Path Integral

To quantize a theory, the path integral approach sums over all possible field configurations, weighted by $e^{iS}$. For a non-Abelian gauge theory, this would look like:

$Z=\int \mathcal{D}{A}_{\mu }\exp \left(i{S}_{\text{YM}}[A_{\mu }]\right)$

However, there's a fundamental problem. The action $S_{\text{YM}}$ is invariant under gauge transformations, meaning $S[A]=S[A^U]$ for any gauge transformation $U$. This means that an infinite number of field configurations, all lying on the same "gauge orbit," contribute the exact same value to the integral. We are massively overcounting, and this redundancy causes the integral to diverge due to an infinite factor corresponding to the "volume" of the gauge group.

To proceed, we need a method to count each set of physically equivalent configurations only once. The Faddeev-Popov method provides a systematic way to do this by "slicing" through the gauge orbits and picking exactly one representative configuration from each.

A Ghost Story: The Faddeev-Popov Method

The core idea is to insert a cleverly constructed factor of 1 into the path integral. This procedure is best understood by starting with a finite-dimensional analogy, which you are well-equipped to follow.

The following reading develops this analogy and then generalizes it to the infinite-dimensional case of gauge fields.

As you've just read, the procedure leads to the following expression for the path integral:

$Z\propto \int \mathcal{D}A|{\Delta }_f[A]|\delta (f[A])e^{iS[A]}$

Here:

• $f[A]=0$ is the gauge-fixing condition that defines the slice through the gauge orbits.
• $\delta (f[A])$ enforces this condition.
• ${\Delta }_f[A]$ is the Faddeev-Popov determinant, a Jacobian factor that makes the result independent of our choice of gauge condition $f$. It is given by the determinant of the operator that describes how the gauge condition changes under an infinitesimal gauge transformation.

From Determinants to Ghosts

While correct, the expression above with a determinant and a delta function inside the path integral is very difficult to work with. The next brilliant step is to rewrite both of these factors as exponentials of new action terms by introducing auxiliary fields. This is where ghosts make their appearance.

The key mathematical identities are:

1. A determinant can be expressed as a path integral over anticommuting (Grassmann) variables $c$ and $\bar{c}$:
   $\det (M)=\int \mathcal{D}c\mathcal{D}\bar{c}\exp \left(\int d^{4}x\bar{c}(x)Mc(x)\right)$
2. The delta function can be conveniently replaced by a Gaussian term by averaging over a continuous family of gauge conditions. This leads to a gauge-fixing term in the Lagrangian, like ${\mathcal{L}}_{GF}=-\frac{1}{2\xi }(f[A]{)}^2$, where $\xi$ is a free parameter.

By applying the first identity to the Faddeev-Popov determinant ${\Delta }_f[A]$, we introduce two new fields, $c(x)$ and $\bar{c}(x)$. These are the ghost and anti-ghost fields. They are scalar fields (spin-0), but they are quantized as fermions (they are Grassmann numbers and obey anticommutation relations). This violation of the spin-statistics theorem is a clear sign that they are not physical particles. They are a mathematical tool.

Let's see how these pieces are assembled.

The Effective Lagrangian in Lorenz Gauge

Let's make this concrete by choosing a specific, Lorentz-covariant gauge condition: the Lorenz gauge, $f^a[A]={\partial }^{\mu }{A}_{\mu }^a=0$.

By working through the formalism for this specific choice, we arrive at a final, effective Lagrangian that is suitable for perturbation theory.

After these steps, the full effective Lagrangian for a pure Yang-Mills theory in a covariant gauge is:

${\mathcal{L}}_{\text{eff}}={\mathcal{L}}_{\text{YM}}+{\mathcal{L}}_{\text{GF}}+{\mathcal{L}}_{\text{ghost}}$

where:

• ${\mathcal{L}}_{\text{YM}}=-\frac{1}{4}{F}_{\mu \nu }^a{F}_a^{\mu \nu }$ is the original Yang-Mills Lagrangian.
• ${\mathcal{L}}_{\text{GF}}=-\frac{1}{2\xi }({\partial }^{\mu }{A}_{\mu }^a{)}^2$ is the gauge-fixing term.
• ${\mathcal{L}}_{\text{ghost}}={\bar{c}}^a(-{\partial }^{\mu }{D}_{\mu }^{ab})c^b={\bar{c}}^a(-{\delta }^{ac}{\partial }^2-g_s{f}^{abc}{\partial }^{\mu }{A}_{\mu }^b)c^c$ is the ghost Lagrangian. This term contains a kinetic term for the ghosts and, crucially, an interaction term between ghosts and gluons.

The Role of Ghosts: BRST Symmetry and Unitarity

We've introduced these strange, unphysical ghost fields as a mathematical trick. What is their physical role?

In covariant gauges, we quantize all four components of the gauge field $A_{\mu }^a$, even though a massless spin-1 particle like the gluon only has two physical (transverse) polarization states. The other two (longitudinal and timelike) are unphysical. In the canonical formalism, these unphysical states can lead to states with negative norm in the Hilbert space, which would destroy the probabilistic interpretation of quantum mechanics (a violation of unitarity).

The role of the Faddeev-Popov ghosts is precisely to cancel the contributions from these unphysical states in any physical calculation. The ghost loops in Feynman diagrams have the exact magnitude, and crucial opposite sign, to cancel the loops of unphysical gluon polarizations.

This cancellation is not accidental; it is guaranteed by a deep, hidden symmetry of the gauge-fixed Lagrangian called BRST symmetry (for Becchi, Rouet, Stora, and Tyutin). While the original local gauge invariance is broken by the gauge-fixing term, BRST symmetry is a global fermionic symmetry that remains. It transforms all fields—gauge, quark, and ghost—into one another. Its most important property is its nilpotency, meaning applying the transformation twice gives zero. This property ensures that all unphysical states are organized in such a way that their contributions to physical S-matrix elements perfectly cancel.

The final reading selection provides a beautiful discussion of this symmetry and how it defines the physical state space of the theory.

Conclusion

In this lesson, we tackled the complex problem of quantizing a non-Abelian gauge theory. We saw that the gauge redundancy required a sophisticated approach, leading us to new concepts and fields.

Key Takeaways:

• Naive path integral quantization of gauge theories fails due to an infinite overcounting of gauge-equivalent configurations.
• The Faddeev-Popov procedure solves this by restricting the integral to a gauge slice using a delta function and introducing a Faddeev-Popov determinant to ensure the result is gauge-independent.
• The determinant is exponentiated into the action by introducing unphysical, fermionic scalar fields called ghosts ($c$) and anti-ghosts ($\bar{c}$).
• The final effective Lagrangian includes the original Yang-Mills term, a gauge-fixing term, and a ghost action which includes interactions between ghosts and gluons.
• The role of ghosts is to cancel the contributions from unphysical gauge boson polarizations in calculations, thereby ensuring the unitarity of the S-matrix. This cancellation is guaranteed by the underlying BRST symmetry of the gauge-fixed action.

Preview of the Next Lesson:

We now have a complete, effective Lagrangian for QCD that is suitable for perturbative calculations. The next logical step is to use this Lagrangian to derive the Feynman rules. In the next lesson, we will derive the propagators for the quark, gluon, and ghost fields, as well as the vertex rules for their interactions. This will finally equip us with the full machinery needed to calculate scattering processes in QCD.