Gauge fixing and BRST

In Maxwell theory, adding a gradient to $A_\mu$ leaves the field strength unchanged. The quadratic kinetic operator therefore annihilates longitudinal directions and has no inverse on the whole space of potentials. Choosing a Lorenz gauge condition supplies an invertible operator with a gauge parameter $\xi$. The resulting propagator is allowed to depend on $\xi$; a properly defined scattering probability for physical states must not. Gauge transformations that vanish appropriately at the boundary are redundancies, while boundary charges require separate analysis.

The Faddeev–Popov construction inserts a gauge condition and the determinant of its variation along a gauge orbit. Anticommuting ghost fields represent this determinant in a local action. In a linear Abelian gauge the determinant is field independent, so ghosts decouple from the photon. In a non-Abelian theory the determinant depends on the gauge field and ghost loops are required. These ghosts are not hypothetical detectable particles; they implement cancellations in an enlarged, partly unphysical description.

For a free Abelian example introduce a Grassmann-odd ghost $c$, odd antighost $\bar c$, and even auxiliary field $B$. Define an odd operation $s$ by $sA_\mu=\partial_\mu c$, $sc=0$, $s\bar c=B$, and $sB=0$. The auxiliary field lets the operation square to zero without using an equation of motion. A gauge-fixing plus ghost term can be written as the BRST variation of a gauge fermion, with sign and factors of $i$ chosen consistently for a selected signature and contour.

Because $s$ is odd, its product rule includes a minus sign when it passes an odd factor. That sign is essential when expanding $s[\bar c(F+\xi B/2)]$. Nilpotence then makes this variation invariant automatically: applying $s$ again gives zero. The point is structural, not merely algebraic convenience. Changes of gauge can often be represented by BRST-exact changes of the action, whose matrix elements vanish between appropriate physical states when the symmetry survives quantization.

In this perturbative construction, a conserved nilpotent charge $Q$ defines the physical sector through cohomology at the physical ghost number, conventionally zero. Closed states satisfy $Q|\psi\rangle=0$, and states differing by an exact vector $Q|\chi\rangle$ are identified. With the standard BRST inner-product assumptions, this quotient removes redundant and null representatives while keeping transverse photons in the elementary example. Positivity and unitarity concern the resulting physical sector, not every intermediate propagator component.

This reasoning assumes an anomaly-free BRST symmetry and suitable boundary conditions. Nonperturbatively, a gauge condition can intersect an orbit more than once, producing Gribov copies; the elementary Faddeev–Popov picture is then insufficient as a global construction. Gauge-parameter independence is a powerful diagnostic for perturbative amplitudes, but it does not prove that every gauge-dependent correlation function has a particle interpretation. Keep the observable and the domain of the quantization method visible throughout the calculation.