This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| BRST symmetry | |
|---|---|
| Name | BRST symmetry |
| Field | Theoretical physics |
| Discovered | 1970s |
| Innovators | Becchi Rouet Stora Tyutin |
| Keywords | Gauge theory, quantization, cohomology, Faddeev–Popov |
BRST symmetry is a global fermionic symmetry used in the quantization of gauge theories that organizes gauge invariance, ghost fields, and physical state conditions within a cohomological framework. It underpins modern treatments of Yang–Mills theory, perturbative quantum gravity, and string theory, and connects to methods developed in renormalization in the 1970s. BRST techniques are central to path integral methods, operator quantization, and algebraic approaches to gauge fixing.
BRST symmetry arose to resolve redundancies in gauge theories such as Yang–Mills theory, reconcile gauge fixing with unitarity in perturbation theory, and provide a mathematically robust criterion for physical states. It complements canonical quantization approaches used in treatments by Paul Dirac and by path integral formalisms introduced by Richard Feynman and operationalized by Ludwig Faddeev and Victor Popov. The formalism uses a nilpotent operator to encode gauge transformations, tying to algebraic structures studied in Élie Cartan's cohomology and to techniques later applied in String theory.
The BRST formalism was developed in the mid-1970s by Claudio Becchi, Alain Rouet, Raymond Stora, and independently by Igor Tyutin in work that built on earlier contributions by Ludwig Faddeev, Victor Popov, and the methods of Paul Dirac. Early applications addressed renormalization problems confronting Gerard 't Hooft and Martinus Veltman's proofs of renormalizability for non-Abelian gauge theories. Subsequent milestones include uses in perturbative calculations by researchers at institutions such as the CERN theoretical division and in the development of covariant quantization techniques for the Bosonic string and later for Superstring theory.
Formally, BRST symmetry is generated by a nilpotent graded derivation s (the BRST differential) acting on the field algebra of a gauge theory; the generator is often denoted Q_BRST in operator language. The construction parallels algebraic methods from the work of Henri Cartan and the cohomological techniques used in the theory of differential graded algebras studied in contexts like the Atiyah–Singer index theorem and Hodge theory. The operator implements infinitesimal gauge transformations where the gauge parameters are replaced by anticommuting ghost fields introduced in the spirit of Ludwig Faddeev and Victor Popov. The nilpotency condition s^2 = 0 mirrors properties exploited in the proofs by Gerard 't Hooft on gauge invariance and is central to establishing Slavnov–Taylor identities studied by Andrei Slavnov and John Taylor.
Physical state conditions in BRST quantization are expressed by cohomology: physical states are closed (annihilated by Q_BRST) but not exact (not Q_BRST of another state). This idea connects to cohomological classifications familiar from the work of Jean-Pierre Serre and to spectral sequence methods used in David Hilbert-style homological algebra. The cohomological criterion ensures unitarity and elimination of negative-norm states in gauges like the covariant Lorenz gauge employed in computations by Julian Schwinger and in treatments by Steven Weinberg. BRST cohomology also informs the construction of gauge-invariant observables as representatives of equivalence classes studied in algebraic quantum field theory developed in communities around institutions such as the Institute for Advanced Study.
BRST methods are applied across non-Abelian gauge theories including Quantum chromodynamics computations in perturbative regimes explored at facilities like Fermilab and SLAC National Accelerator Laboratory. The formalism is essential in proving renormalizability results used in analyses by Gerard 't Hooft and in implementing consistent gauge fixing in lattice formulations investigated by researchers at CERN and Brookhaven National Laboratory. In addition, BRST symmetry is integral to covariant quantization of the Bosonic string and superstrings in work by groups at institutions such as Princeton University and Harvard University, and to modern treatments of topological field theories initiated by contributors including Edward Witten.
Within the path integral approach, BRST invariance provides a symmetry of the gauge-fixed action including Faddeev–Popov ghost and antighost fields, a construction originally motivated by the Faddeev–Popov procedure. The ghost sector and BRST symmetry preserve gauge-independence of S-matrix elements as argued in analyses by Ludwig Faddeev and in renormalization proofs by Martinus Veltman. Ward identities generalized to Slavnov–Taylor identities are consequences of BRST symmetry, tools exploited in loop computations by researchers at CERN and in the perturbative program that followed breakthroughs by Gerard 't Hooft.
BRST ideas have been extended to the Batalin–Vilkovisky (BV) formalism developed by I.A. Batalin and G.A. Vilkovisky, which generalizes BRST cohomology to open and reducible gauge algebras encountered in theories like General relativity and in modern studies of Topological quantum field theory. The formalism also links to equivariant cohomology used in localization techniques by Nikita Nekrasov and to the algebraic structures exploited in categorical approaches pursued at institutions such as Mathematical Sciences Research Institute. Contemporary research applies BRST and BV methods in areas ranging from perturbative quantum gravity computations by groups at Perimeter Institute to treatments of boundary conditions in AdS/CFT contexts explored at Institute for Theoretical Physics centers.