| Faddeev–Popov method | |
|---|---|
| Name | Faddeev–Popov method |
| Caption | Diagrammatic representations in Quantum field theory |
| Field | Quantum field theory |
| Introduced by | Ludvig Faddeev and Victor Popov |
| Introduced | 1967 |
Faddeev–Popov method
The Faddeev–Popov method is a procedure in Quantum field theory for handling redundant degrees of freedom associated with gauge symmetry in the path integral formulation of quantum mechanics and quantum field theories. It provides a systematic way to impose gauge fixing and to introduce auxiliary fields (ghosts) so that perturbative calculations in gauge theories such as Quantum electrodynamics and Quantum chromodynamics become well-defined and renormalizable. The method underpins modern treatments of non-abelian gauge theories and is central to the standard perturbative approach to Yang–Mills theory.
Gauge theories possess local symmetries that reflect redundancy in the description of physical states. In classical theory, gauge choices like the Lorenz gauge or Coulomb gauge remove redundancy without changing observables; in the quantum path integral formalism, naive integration over gauge-equivalent field configurations leads to divergences and ill-defined determinants. The Faddeev–Popov procedure was developed to maintain computational control and consistency with principles of unitarity and renormalization while preserving manifest covariance where possible. It connects to pioneering work by Richard Feynman, Julian Schwinger, and the Hamiltonian treatment of constrained systems by Paul Dirac.
Gauge redundancy appears in theories with local symmetry groups such as U(1), SU(2), and SU(3). Examples include Quantum electrodynamics (U(1) gauge symmetry) and Quantum chromodynamics (SU(3) gauge symmetry). Redundant integration over orbits of the gauge group in the functional integral transforms a formal measure into an overcounted quantity. The Faddeev–Popov method inserts an identity constructed from a chosen gauge condition (for example, a linear gauge like the R_ξ gauge or non-linear gauges used in spontaneous symmetry breaking studies) together with a determinant that compensates for the change of variables from gauge fields to gauge-fixed representatives. This addresses problems discussed in the Hamiltonian constraint analysis of constrained systems and makes contact with canonical quantization approaches used at institutions such as CERN and the Institute for Advanced Study.
The central object introduced by the method is the Faddeev–Popov determinant, which quantifies the Jacobian when restricting the path integral to a gauge slice. In practice this determinant is represented as a functional integral over anticommuting scalar fields, known as Faddeev–Popov ghost fields (often denoted c and c̄). These ghosts do not correspond to physical asymptotic states but appear in internal lines of perturbative expansions and are essential for preserving gauge invariance of the S-matrix. The algebraic structure of the ghost sector is closely related to BRST symmetry (Becchi–Rouet–Stora–Tyutin), which formalizes the residual gauge invariance and proves crucial for proofs of renormalizability given by Gerard 't Hooft and Martinus Veltman.
In the path integral, one inserts the identity integral over the gauge group with a delta functional δ(G(A)) fixing a gauge condition G(A)=0 and the determinant Δ_FP(A). The measure becomes well-defined: ∫ D A e^{iS[A]} → ∫ D A D c D c̄ e^{i(S[A]+S_GF[A]+S_ghost[c,c̄,A])}, where S_GF is the gauge-fixing term (e.g., (1/2ξ)(∂·A)^2 in R_ξ gauges) and S_ghost encodes interactions of ghosts with gauge fields in non-abelian theories. Diagrammatic rules derived from this action are used in perturbative computations of Green's functions and scattering amplitudes, and match counterterm analyses in dimensional regularization and other regulator schemes.
In Quantum electrodynamics, an abelian theory, the Faddeev–Popov determinant is field-independent for linear gauges and ghosts decouple, simplifying computations of radiative corrections originally organized by Feynman diagrams. In non-abelian Yang–Mills theory and Quantum chromodynamics, ghosts couple to gluons and play a critical role in loop calculations for the beta function and the demonstration of asymptotic freedom by David Gross, Frank Wilczek, and David Politzer. The method is also applied to gauge sectors of the Electroweak theory within the Standard Model, where gauges such as 't Hooft–Feynman gauge simplify the treatment of massive gauge bosons introduced by the Higgs mechanism.
The Faddeev–Popov formalism is compatible with perturbative renormalization: combined with regularization methods like dimensional regularization it enables the construction of counterterms respecting gauge invariance as encoded by Slavnov–Taylor identities. BRST symmetry provides a powerful tool to prove unitarity and gauge-parameter independence of physical amplitudes, linking cohomological methods in field theory to practical loop computations performed at laboratories including SLAC and DESY. Historic proofs by 't Hooft and others established that gauge theories quantized via Faddeev–Popov are renormalizable under broad conditions.
Despite its utility, the Faddeev–Popov method assumes a single representative per gauge orbit intersecting the gauge-fixing surface. In non-perturbative contexts this fails due to the Gribov ambiguity: multiple gauge-equivalent configurations (Gribov copies) satisfy the same gauge condition, affecting confinement studies in QCD and lattice gauge theory simulations at facilities like Brookhaven National Laboratory. Extensions and alternatives include the Gribov–Zwanziger framework, stochastic quantization, and gauge-fixing via gauge-invariant variables. The interplay with topology and instanton physics, and modern developments in algebraic renormalization, continue to refine understanding of gauge fixing beyond perturbation theory.
Category:Quantum field theory Category:Gauge theories Category:Mathematical methods in physics