Gauge fixing removes the degeneracy among gauge-equivalent field configurations so that the kinetic operator has an inverse propagator.
The Faddeev-Popov determinant is the functional Jacobianthat compensates for the change from integration along a gauge orbit to a gauge-fixing condition . It can be represented by a path integral over a Faddeev-Popov ghost field pair.
A Faddeev-Popov ghost field is a Grassmann-valued scalar field whose Gaussian functional integral represents the Faddeev-Popov determinant. Ghosts occur only on internal lines and cancel unphysical gauge-field contributions.
An axial gauge imposes for a fixed vector . Its Faddeev-Popov operator is ; on the strict gauge slice its gauge-field-dependent part vanishes, so its ghosts decouple.
BRST symmetry is a nilpotent fermionic symmetry of a gauge-fixed action. Its differential replaces an infinitesimal gauge parameter by the ghost field and satisfies .
A gauge-fixing fermion is a Grassmann-odd functional whose BRST transformation supplies the gauge-fixing and ghost terms. Nilpotence gives immediately.
BRST cohomology identifies physical states and observables with BRST-closed objects modulo BRST-exact ones. A change of gauge-fixing fermion changes the action by a BRST-exact term and therefore leaves BRST-cohomology classes unchanged when the measure has no BRST anomaly.
Articles by others on the same topic
Gauge fixing is a procedure used in theoretical physics, particularly in the context of gauge theories, to eliminate the redundancy caused by gauge symmetries. Gauge symmetries are transformations that can be applied to the fields in a theory without changing the physical content of the theory. Because of these symmetries, multiple field configurations can describe the same physical situation, leading to an overcounting of degrees of freedom.