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 | |
|---|---|
| Name | BRST |
| Coined | 1970s |
| Field | Theoretical physics |
| Notable people | Claude Becchi, Alberto Rouet, Raymond Stora, Ivo Tyutin |
BRST is a framework in theoretical physics combining algebraic, geometric, and homological methods to handle gauge symmetries in quantized field theories. Originating in the 1970s through independent work by Claude Becchi, Alberto Rouet, Raymond Stora, and Ivo Tyutin, it provides a principled way to implement gauge fixing, define physical state spaces, and control anomalies in models such as Yang–Mills theory, Quantum Electrodynamics, and string field theory. The formalism connects to developments in Algebraic Topology, Homological Algebra, Differential Geometry, and influences constructions in Conformal Field Theory and Supersymmetry.
BRST unifies insights from researchers active in the same era as Julian Schwinger, Richard Feynman, Murray Gell-Mann, and proponents of the path integral such as Richard P. Feynman and Freeman Dyson. The initials reference principal contributors Claude Becchi, Alberto Rouet, Raymond Stora, and Ivo Tyutin, and the method became central alongside approaches from Faddeev–Popov and Batalin–Vilkovisky. BRST plays a pivotal role in treatments of Yang–Mills theory, the perturbative formulation used in Standard Model calculations, and modern formulations of String Theory, influencing techniques developed at centers like CERN, Institut des Hautes Études Scientifiques, and Princeton University.
The core mathematical structure is a graded differential complex built using fields introduced by procedures from Lagrangian mechanics and the path integral formalism of Richard Feynman. One constructs a nilpotent operator s (the BRST differential) acting on an algebra of fields, ghosts, antighosts, and auxiliary fields produced by gauge fixing procedures related to the Faddeev–Popov method and later generalized by Batalin–Vilkovisky. The graded algebra carries gradings analogous to ghost number familiar in works by Edward Witten and Michael Atiyah, and cohomology groups of s classify observables much like cohomology in De Rham cohomology or Cech cohomology. The nilpotency s^2 = 0 parallels structures found in Differential Graded Algebra and in BRST-inspired constructions in Homological Mirror Symmetry research popularized by Maxim Kontsevich.
In nonabelian settings such as SU(N) Yang–Mills theory or models with local symmetries appearing in General Relativity and Supergravity, BRST symmetry replaces gauge invariance at the quantum level. The symmetry is generated by a conserved BRST charge Q arising from Noether-like arguments connected to invariances under transformations parameterized by ghost fields; this mirrors the way conserved charges are treated in contexts studied by Noether and implemented in quantum settings by Paul Dirac's constraint quantization. Implementations vary between canonical quantization schemes used in Dirac quantization and covariant path integral approaches developed in work associated with Faddeev and Ludvig D. Faddeev. In practical computations for scattering amplitudes involving Quantum Chromodynamics or electroweak processes studied at SLAC and Fermilab, BRST invariance ensures unitarity and gauge-parameter independence.
Physical states are identified with cohomology classes of the BRST charge Q at ghost number zero, a perspective resonant with methods in Algebraic Topology and the identification of physical observables in Conformal Field Theory by cohomology techniques used by Belavin, Polyakov, and Zamolodchikov. This cohomological selection removes unphysical polarizations in gauge bosons and ghosts, analogous to quotient constructions in Homological Algebra studied by Henri Cartan and Jean-Louis Koszul. The identification of gauge-invariant operators with elements of BRST cohomology provides a bridge to operator-state correspondence in two-dimensional Conformal Field Theory relevant to String Theory quantization in light-cone and covariant gauges explored by Goddard and Olive.
BRST-compatible quantization includes canonical BRST quantization, path integral treatments with Faddeev–Popov determinants, and the antifield formalism of Batalin–Vilkovisky, applied across perturbative regimes in Quantum Field Theory computations of beta functions, renormalization group flows studied by Kenneth Wilson, and anomaly cancellation checks in models like Grand Unified Theory proposals and Superstring theory compactifications investigated by Edward Witten and Michael Green. BRST methods underpin modern computational tools used in calculations at Large Hadron Collider collaborations and in algebraic approaches to scattering amplitudes advanced by researchers connected to Nima Arkani-Hamed's program.
Anomalies correspond to obstructions in extending BRST symmetry at the quantum level; they manifest as nontrivial elements in the local BRST cohomology and are analyzed using techniques related to index theorems developed by Atiyah–Singer and anomaly descent equations employed by Cecilia Armstrong and contemporaries. Renormalization preserving BRST symmetry imposes constraints on counterterms; these constraints are implemented in the algebraic renormalization program influenced by work at institutes like IHES and Mathematical Institute, Oxford. Failure of BRST invariance signals gauge anomalies such as the Adler–Bell–Jackiw anomaly considered in studies by Stephen L. Adler and John S. Bell.
Generalizations include the Batalin–Vilkovisky formalism, equivariant cohomology approaches used by Berline–Getzler–Vergne school, and adaptations to topological quantum field theories developed by Edward Witten and others. BRST-like constructions appear in contexts spanning Mirror Symmetry, Derived Categories popularized by Paul Seidel and Maxim Kontsevich, and in algebraic structures in modern amplitude methods explored by researchers linked to Perimeter Institute collaborations. Ongoing work connects BRST techniques to categorical quantization, higher gauge theories studied by John Baez, and homotopical algebra frameworks such as L-infinity algebras advanced by Stasheff and collaborators.