Faddeev–Popov Gauge Fixing

• Faddeev–Popov gauge fixing is a method in quantum field theory that removes redundant gauge degrees of freedom by imposing specific constraints and introducing ghost fields.
• It employs a determinant—exponentiated via anticommuting ghost fields—to correctly count physical degrees and maintain BRST symmetry at the quantum level.
• The approach, while foundational, faces challenges such as Gribov ambiguities, prompting nonperturbative refinements and alternative quantization methods.

Faddeev–Popov Gauge Fixing

The Faddeev–Popov gauge fixing procedure provides a systematic means to quantize gauge theories by eliminating the redundant integration over gauge orbits in the functional integral. Originally formulated for Yang–Mills theories and the quantization of non-Abelian gauge fields, this method introduces a gauge-fixing constraint and a corresponding functional determinant (the Faddeev–Popov determinant), which is then exponentiated using anticommuting ghost fields. The construction ensures the correct counting of physical degrees of freedom and the preservation of gauge invariance at the quantum level through a nilpotent BRST symmetry. The method is foundational to modern quantum field theory, but also exhibits subtle pathologies—most notably the issue of Gribov ambiguities—when applied nonperturbatively.

1. Faddeev–Popov Prescription: Path Integral Structure

Consider a gauge theory with fields $A^a_\mu(x)$ and gauge group $G$. The naive path integral,

$$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$

is ill-defined due to the integration over gauge-equivalent configurations. The Faddeev–Popov approach introduces a gauge-fixing function $F^a[A]\equiv0$, and inserts the identity

$$1 = \int DU\,\delta\big(F[A^U]\big)\,\det\left(\frac{\delta F^a[A^U]}{\delta \theta^b}\right),$$

where $A^U$ is the gauge-transformed field and $\theta^a(x)$ parameterizes the Lie algebra. The Faddeev–Popov operator $M^{ab}(x,y;A) = \delta F^a[A^U]/\delta \theta^b(y)$ (evaluated at the identity) captures the infinitesimal variation of the gauge condition under an infinitesimal gauge transformation.

Exponentiating the determinant with Grassmann-odd ghost fields $(c^a,\bar c^a)$, the gauge-fixed path integral becomes

$$Z = \int DA\,D\bar c\,Dc\,\delta(F[A])\,\det(M[A])\,\exp\{iS_{\mathrm{YM}}[A]\},$$

or, after exponentiating the delta-functional via a Nakanishi–Lautrup field $G$0 and the determinant via ghosts,

$G$1

This formalism is rigorously developed for both covariant (e.g. Lorenz, Landau) and noncovariant (e.g. Coulomb, axial, light-cone) gauges in Yang–Mills and gravitational theories (Rao, 2024, Greensite, 2010, McKeon, 2011, Serreau et al., 2012, McKeon, 2014, Zhou et al., 2017, Barvinsky et al., 12 Jul 2025, Rajagopal et al., 2013).

2. Faddeev–Popov Operator, Determinant, and Zero-Modes

The Faddeev–Popov operator $G$2 is the linearization of the gauge condition under infinitesimal gauge variations. For instance, in Landau gauge $G$3, the operator is

$G$4

In Coulomb gauge, $G$5, the corresponding FP operator is $G$6, with $G$7.

Zero-modes of $G$8 (i.e., $G$9 with $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$0) are of particular importance. They signal residual gauge freedom left unfixed by the chosen gauge condition. For instance, in Coulomb gauge, the temporal zero-modes correspond to spatially constant gauge transformations and manifest as purely time-dependent zero-modes. Their correct treatment is essential to removing residual gauge orbits and enforcing physical constraints, such as vanishing total color charge (0808.2436, Greensite, 2010).

When zero-modes are present, the determinant is replaced by its restricted version, $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$1—computed with zero-modes removed—yielding the measure

$$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$2

3. Gauge Fixing in Reducible and Multi-Gauge Systems

The standard Faddeev–Popov procedure generalizes naturally to systems with multiple independent gauge conditions or reducible gauge symmetries (i.e., gauge transformations with gauge-for-gauge invariances). For $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$3 gauge-fixing conditions $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$4, the path integral includes a product of delta functionals and introduces an $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$5 Faddeev–Popov matrix $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$6. One exponentiates the combined determinant with $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$7 pairs of ghost and antighost fields. In reducible gauge theories, additional ghosts-for-ghosts arise, and the nested factorization of the gauge group produces a reduced determinant structure and effective action in terms of functional determinants of Dirac-type operators, matching the result of the Batalin–Vilkovisky formalism for first-stage reducible theories (McKeon, 2014, Barvinsky et al., 12 Jul 2025, Kroyter et al., 2012).

4. Non-Perturbative Features: Gribov Copies and Ambiguities

The non-uniqueness of the gauge condition—where the gauge-fixing surface intersects some gauge orbits more than once—manifests as Gribov copies. The Faddeev–Popov construction assumes a unique solution modulo gauge transformations, but in non-Abelian theories, Gribov pointed out that the classical gauge-fixing equation may have multiple solutions on a single orbit. These residual copies (the "Gribov problem") lead to a vanishing path integral (Neuberger zero) when summed with their associated FP determinant sign, and to incomplete removal of gauge redundancy (Rao, 2024, Greensite, 2010, Serreau et al., 2012, Serreau, 2013, Chen et al., 2017, Weinreb et al., 2015).

To address this, the functional integral can be restricted to the first Gribov region (where the FP operator is positive definite), or reweighted by a bounded functional to lift the degeneracy among copies, as in the construction of a one-parameter family of Landau gauges (Serreau, 2013, Serreau et al., 2012). Further, approaches such as modifying the FP quantization—by inserting the gauge-fixing identity only over the maximal Abelian subgroup—completely circumvent the Gribov ambiguity (Chen et al., 2017, Weinreb et al., 2015).

In Coulomb gauge, explicit isolation and removal of the temporal zero-modes from the determinant (defining $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$8) together with Gauss’s law constraint $$Z = \int DA\,\exp\left\{iS_{\mathrm{YM}}[A]\right\},$$9 eliminates temporal Gribov copies, yielding a fully gauge-fixed and well-defined nonperturbative functional integral (0808.2436, Greensite, 2010).

5. BRST Symmetry and Physical State Conditions

The gauge-fixed Faddeev–Popov action possesses a nilpotent global fermionic symmetry—BRST symmetry—essential for the consistency of the quantized theory. The BRST generator $F^a[A]\equiv0$0 acts as: $F^a[A]\equiv0$1 Physical states are defined as cohomology classes of the BRST operator (ghost number zero). Extended BRST symmetries (e.g., N=3, N=4) and their associated Ward identities arise in generalized gauge-fixing schemes, especially in supersymmetric and higher symmetry scenarios (Reshetnyak, 2016, Rao, 2024, Weinreb et al., 2015, Chen et al., 2017).

Gauge fixing with more than one independent condition or in systems with open or reducible algebras requires an enlargement of this global symmetry structure, sometimes leading to towers of ghosts and antifields as in the Batalin–Vilkovisky formalism (McKeon, 2014, Barvinsky et al., 12 Jul 2025, Kroyter et al., 2012).

6. Variants, Generalizations, and Infrared Completion

Extensions of the Faddeev–Popov framework accommodate special cases:

• Dressing field method provides a geometric interpretation of gauge fixing as a change of variables to a field space slice, with the FP determinant as its Jacobian (Guillaud et al., 2024).
• Axial and noncovariant gauges exhibit nontrivial FP determinants with delta-functional character in the large-volume limit, and subtleties involving singularities and zero-modes require careful treatment in lattice and nonperturbative computations (Zhou et al., 2017).
• Infrared completion is achieved by averaging over Gribov copies with nontrivial weights or by massive deformation (Curci–Ferrari models), leading to well-behaved gauge-fixed actions that match nonperturbative calculations and lattice results in the deep IR (Serreau, 2013, Serreau et al., 2012).
• Gauge-fixing in systems with additional symmetry or constraint structure, such as superstring field theory or higher-derivative models, invokes the full apparatus of reducible FP constructions, towered ghost fields, or the BV formalism (Kroyter et al., 2012, Barvinsky et al., 12 Jul 2025).

The Faddeev–Popov approach remains pivotal for the quantization of gauge field theories, with an extensive literature addressing its rigorous implementation, limitations, and generalizations across physical and mathematical contexts.