Faddeev–Popov procedure

Faddeev–Popov procedure
Name	Ludwig Faddeev and Victor Popov
Known for	Faddeev–Popov procedure

Faddeev–Popov procedure is a method in quantum field theory for handling redundant degrees of freedom arising from gauge symmetries in path integral quantization. It introduces a determinant factor and auxiliary fields to correctly count physically distinct configurations in the presence of local symmetries, enabling perturbative calculations in non-Abelian gauge theories, and providing a bridge between canonical quantization and functional methods. The procedure underpins modern treatments of Yang–Mills theory, electroweak theory, and perturbative approaches used in particle physics and quantum chromodynamics.

Background and Motivation

The origins of the procedure lie in efforts by physicists working on quantum electrodynamics, Paul Dirac, Richard Feynman, Julian Schwinger, Sin-Itiro Tomonaga, and later researchers addressing quantization of Yang–Mills theory and non-Abelian gauge fields such as those introduced by Chen Ning Yang and Robert Mills. Challenges identified by Enrico Fermi and formalized in the work of Ludwig Faddeev and Victor Popov involve the overcounting of gauge-equivalent configurations in the functional integral formalism developed by Richard Feynman and refined by Freeman Dyson. Influences also trace through the development of renormalization theory by Gerard 't Hooft and Kenneth Wilson, and the need to reconcile path integrals with operator methods as in the work of Paul Dirac and Julian Schwinger.

Gauge Fixing and Overcounting in Path Integrals

When formulating the path integral for theories like Yang–Mills theory or the Standard Model, gauge symmetry means many field configurations represent the same physical state, as emphasized in canonical analyses by Paul Dirac and in constraint quantization by P.A.M. Dirac. Integrating naively over gauge-equivalent configurations leads to divergent or ill-defined integrals, a problem encountered in perturbative computations by researchers such as Gerard 't Hooft and Martinus Veltman. To obtain finite, gauge-invariant S-matrix elements in scattering calculations performed by groups at institutions like CERN and SLAC National Accelerator Laboratory, one imposes gauge conditions—influenced by choices made in Friedrichs-type boundary analyses and by practical gauges used by Enrico Fermi and Paul Dirac—to reduce the domain of integration to physically distinct field histories.

Derivation of the Faddeev–Popov Determinant

The mathematical construction inserts a resolution of identity into the path integral using a gauge-fixing functional inspired by procedures in functional analysis and measure theory explored by mathematicians in the tradition of Andrey Kolmogorov and Laurent Schwartz. One introduces a delta functional enforcing a gauge condition and compensates by the Jacobian determinant of the gauge transformation—the Faddeev–Popov determinant—analogous to the use of Jacobians in coordinate changes exploited in the work of Henri Lebesgue and developments at institutions like Institut des Hautes Études Scientifiques. This determinant can be expressed as the determinant of a differential operator related to the Lie algebra of the gauge group, building on structure studied by Élie Cartan and Sophus Lie, and formalizes the counting argument crucial for perturbative expansions used by Gerard 't Hooft in renormalization proofs.

Ghost Fields and BRST Symmetry

To handle the determinant in perturbation theory, one introduces anticommuting scalar fields—ghosts—whose path integral produces the determinant, a trick related to coherent-state techniques used by John von Neumann and algebraic constructions employed by Norbert Wiener. These Faddeev–Popov ghost fields carry representations of the gauge group introduced by Chen Ning Yang and Robert Mills and interact with gauge bosons in ways central to calculations by Murray Gell-Mann and Francis Low in strong interaction phenomenology. The resulting gauge-fixed action exhibits BRST symmetry discovered by Igor Batalin, E.S. Fradkin, Carlo Becchi, Alain Rouet, and Raymond Stora, which encodes the remnant of gauge invariance algebraically and plays a role analogous to cohomological methods developed in mathematical physics circles influenced by Alexander Grothendieck and Henri Cartan. BRST symmetry is essential for proofs of unitarity and renormalizability in the work of Gerard 't Hooft and Martinus Veltman and is exploited in algebraic renormalization by researchers at universities such as Cambridge University and Princeton University.

Applications and Examples

The procedure is applied widely in perturbative computations in Quantum Chromodynamics, electroweak calculations within the Standard Model, and in the formal quantization of Chern–Simons theory and topological field theories developed by Edward Witten and Michael Atiyah. Practical examples include loop calculations for processes studied at Large Hadron Collider, beta function computations by David Gross, Frank Wilczek, and David Politzer in asymptotic freedom, and gauge-fixed formulations used in lattice studies by collaborations at Brookhaven National Laboratory and Fermilab. In gravitational contexts, the approach informs perturbative analyses around backgrounds in General Relativity explored by Richard Feynman and later by Bryce DeWitt in his semiclassical treatments.

Limitations and Gribov Ambiguity

Despite its utility, the procedure faces limitations highlighted by Vladimir Gribov and later developed by Ian Singer who demonstrated that global gauge-fixing conditions can fail due to topological obstructions in gauge orbit space, leading to the Gribov ambiguity. This affects nonperturbative aspects of Yang–Mills theory and discussions of confinement investigated by Ken Wilson and Alexander Polyakov. Remedies and alternatives have been explored by researchers including Daniel Zwanziger, Nikolai Nekrasov, and groups working on lattice gauge theory at CERN and RIKEN, and in approaches combining BRST methods with refinements inspired by geometric quantization developed by Bertram Kostant and Jean-Marie Souriau.

Category:Quantum field theory