BRST Symmetry and Cohomological Quantization of Gauge Theories

Abstract

Gauge theory contains redundancy before it contains particles. Quantization has to remove the redundant variables without losing locality, unitarity, or the identities that make the theory renormalizable. BRST symmetry does this by replacing gauge transformations with a nilpotent fermionic differential acting on gauge fields, ghosts, antighosts, and auxiliary fields. This article asks how BRST symmetry separates physical degrees of freedom from gauge artifacts after quantization. I derive the BRST transformations for Yang-Mills theory, prove nilpotency from the Lie algebra, write the gauge-fixing action as a BRST-exact term, and explain why physical states are cohomology classes rather than arbitrary vectors in the gauge-fixed Hilbert space [1], [2].

Keywords: BRST symmetry, gauge fixing, Faddeev-Popov ghosts, nilpotency, cohomology, Slavnov-Taylor identities

1. Introduction

A gauge transformation is not a physical motion through state space. It is a change of coordinates on a redundant description. That is easy to say classically and harder to preserve after gauge fixing, because gauge fixing introduces ghosts and unphysical polarizations that must cancel from observable quantities.

The central question is this: how does BRST symmetry separate physical degrees of freedom from gauge artifacts after quantization? The answer is cohomological. Physical operators and states are closed under a nilpotent differential, but two representatives differing by a BRST-exact term describe the same physics.

This article builds directly on Gauge Symmetry and the Structure of Fundamental Interactions. The identities generated by BRST symmetry are the non-Abelian counterpart of the Ward identities discussed in Noether Currents, Ward Identities, and Symmetry Constraints in Quantum Field Theory. If the BRST symmetry itself is anomalous, the obstruction belongs with Anomalies, Topology, and Index Theory in Quantum Field Theory.

2. Assumptions and Field Content

Take a compact Lie group $G$ with generators $T^a$ and structure constants $f^{abc}$. The Yang-Mills field is $A_\mu^a$, with curvature

\[F_{\mu\nu}^a = \partial_\mu A_\nu^a - \partial_\nu A_\mu^a + f^{abc}A_\mu^bA_\nu^c .\]

The classical Yang-Mills action is

\[S_{\mathrm{YM}} = -\frac{1}{4} \int d^d x\, F_{\mu\nu}^aF^{a\mu\nu}.\]

I use a linear covariant gauge and introduce the ghost $c^a$, antighost $\bar c^a$, and Nakanishi-Lautrup auxiliary field $B^a$. Their ghost numbers are

\[\operatorname{gh}(A_\mu)=0, \qquad \operatorname{gh}(c)=1, \qquad \operatorname{gh}(\bar c)=-1, \qquad \operatorname{gh}(B)=0.\]

The discussion assumes the perturbative gauge-fixed path integral is well defined and that no gauge anomaly breaks BRST symmetry. Non-perturbative global questions are postponed to the limitations section.

3. BRST Differential and Nilpotency

The BRST differential $s$ acts as

\[sA_\mu^a = D_\mu^{ab}c^b,\] \[sc^a = -\frac{1}{2}f^{abc}c^bc^c,\] \[s\bar c^a = B^a, \qquad sB^a = 0.\]

Here

\[D_\mu^{ab} = \partial_\mu\delta^{ab} + f^{acb}A_\mu^c\]

is the covariant derivative in the adjoint representation. The ghost field replaces the gauge parameter, except it is Grassmann odd and carries ghost number one.

Nilpotency means

\[s^2=0.\]

For the gauge field,

\[s^2A_\mu^a = D_\mu^{ab}sc^b + f^{acb}(sA_\mu^c)c^b .\]

Substituting the transformations above gives zero by the Jacobi identity and the anticommutativity of ghosts. This is the algebraic core of BRST symmetry: closure of the gauge algebra becomes nilpotency of a differential.

4. BRST-Exact Gauge Fixing

Choose the gauge-fixing fermion

\[\Psi = \int d^d x\, \bar c^a \bigl( \partial^\mu A_\mu^a + \frac{\xi}{2}B^a \bigr).\]

The gauge-fixing and ghost action is

\[S_{\mathrm{gf+gh}} = s\Psi .\]

Applying $s$ gives

\[S_{\mathrm{gf+gh}} = \int d^d x \bigl[ B^a\partial^\mu A_\mu^a + \frac{\xi}{2}B^aB^a - \bar c^a\partial^\mu D_\mu^{ab}c^b \bigr].\]

Term by term: the $B$ term imposes the gauge condition; the quadratic $B$ term implements the gauge parameter $\xi$; the ghost operator is the Faddeev-Popov determinant written as a Grassmann action. Eliminating $B^a$ by its algebraic equation of motion gives the familiar covariant gauge term

\[S_{\mathrm{gf}} = -\frac{1}{2\xi} \int d^d x\, (\partial^\mu A_\mu^a)^2 .\]

The useful point is that the entire gauge-fixing sector is BRST-exact. Gauge dependence is therefore controlled by cohomology rather than by informal cancellation arguments.

5. Physical States and Cohomology

In the operator formulation, the BRST differential is generated by a conserved charge $Q_{\mathrm{B}}$ satisfying

\[Q_{\mathrm{B}}^2=0.\]

Physical states obey

\[Q_{\mathrm{B}}\lvert\psi\rangle=0.\]

States of the form

\[\lvert\psi\rangle = Q_{\mathrm{B}}\lvert\chi\rangle\]

are null representatives and are quotiented out. The physical Hilbert space is therefore

\[\mathcal{H}_{\mathrm{phys}} = \frac{\ker Q_{\mathrm{B}}}{\operatorname{im} Q_{\mathrm{B}}}.\]

This formula is not decorative. It says that transverse gluon states survive, while longitudinal, timelike, ghost, and antighost excitations cancel in BRST doublets. The same structure underlies the Slavnov-Taylor identities and perturbative unitarity.

6. Slavnov-Taylor Identity

BRST invariance of the gauge-fixed path integral implies a functional identity for the effective action. Schematically,

\[\mathcal{S}(\Gamma)=0.\]

With sources coupled to BRST variations, the identity contains terms of the form

\[\int d^d x\, \frac{\delta\Gamma}{\delta K_\mu^a} \frac{\delta\Gamma}{\delta A_\mu^a} + \int d^d x\, \frac{\delta\Gamma}{\delta L^a} \frac{\delta\Gamma}{\delta c^a} + B^a \frac{\delta\Gamma}{\delta \bar c^a} = 0 .\]

The first product encodes the BRST variation of the gauge field. The second encodes the nonlinear ghost transformation. The last term is the antighost-auxiliary sector. This identity is the quantum version of BRST symmetry and is the gauge-theory analog of a Ward identity.

7. Consistency Checks

Abelian limit. If $f^{abc}=0$, then $sc=0$ and the ghosts decouple from the photon. BRST still exists, but it no longer hides nontrivial ghost interactions.

Gauge-parameter independence. Differentiating a BRST-invariant observable with respect to $\xi$ inserts a BRST-exact operator. Its expectation value vanishes if the measure is BRST invariant.

Nilpotency check. If a regulator breaks gauge symmetry, quantum corrections can spoil nilpotency of the BRST charge. That failure is an anomaly and is fatal for a gauge symmetry.

8. Limitations and Open Problems

BRST quantization is clean perturbatively, but non-perturbative gauge fixing is harder. The Gribov ambiguity says that common gauge conditions can intersect the same gauge orbit more than once. This complicates a global definition of the Faddeev-Popov procedure.

Boundary effects also matter. On manifolds with boundary, BRST transformations can generate boundary terms, edge modes, or modified charges. Finally, an anomalous gauge theory has no consistent BRST cohomology of physical states. The formalism then diagnoses the problem; it does not repair it.

9. Conclusion

BRST symmetry turns gauge redundancy into cohomology. Ghosts are not particles added for fun; they are the local representation of the gauge-orbit Jacobian. Nilpotency encodes closure of the gauge algebra. BRST-exact gauge fixing controls unphysical variables. The physical Hilbert space is the cohomology of the BRST charge. This is the precise sense in which gauge artifacts are separated from physical degrees of freedom after quantization.

References

[1] C. Becchi, A. Rouet, and R. Stora, “Renormalization of gauge theories,” Annals of Physics 98, 287-321 (1976).

[2] I. V. Tyutin, Gauge Invariance in Field Theory and Statistical Physics in Operator Formalism, Lebedev Institute preprint, 1975.

[3] L. D. Faddeev and V. N. Popov, “Feynman diagrams for the Yang-Mills field,” Physics Letters B 25, 29-30 (1967).

[4] M. Henneaux and C. Teitelboim, Quantization of Gauge Systems, Princeton University Press, 1992.

[5] O. Piguet and S. P. Sorella, Algebraic Renormalization, Springer, 1995.

[6] K. Kugo and I. Ojima, “Local covariant operator formalism of non-Abelian gauge theories and quark confinement problem,” Progress of Theoretical Physics Supplement 66, 1-130 (1979).