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 quantization | |
|---|---|
| Name | BRST quantization |
| Field | Theoretical physics |
BRST quantization
BRST quantization is a method for quantizing gauge-invariant systems developed to handle redundant degrees of freedom in classical gauge theories and to maintain consistency in quantum field theory. It reorganizes gauge symmetry into a global fermionic symmetry enabling cohomological selection of physical states and providing tools for path integral and operator approaches. The formalism plays a central role in perturbative analyses used across particle physics, mathematical physics, and string theory.
BRST quantization emerged from the work of Becchi, Rouet, and Stora and was later formulated in operator language by Tyutin. It addresses problems encountered in covariant quantization of models such as Yang–Mills theory, Quantum electrodynamics, and the covariant formulation of bosonic string theory and superstring theory. The approach introduces ghost fields and antifield structures similar to those later formalized in the Batalin–Vilkovisky formalism, connecting to concepts in homological algebra, cohomology theory, and the mathematics of Lie algebra representations. BRST methods are implemented in computational frameworks used in high-energy physics research at institutions such as CERN and SLAC National Accelerator Laboratory.
BRST symmetry is a global, fermionic nilpotent symmetry generated by an operator whose algebra encodes gauge transformations and ghost dynamics; its structure parallels algebraic relations found in Clifford algebra representations and in studies by Noether on conserved charges. The BRST algebra mixes gauge generators associated to groups like SU(3), SU(2), and U(1) with ghost number grading, mirroring constructions used in analyses by Cartan and Weyl in representation theory. Nilpotency of the BRST differential is analogous to differential operators in de Rham cohomology and to graded differentials studied in Hodge theory. Implementations rely on canonical structures introduced by Dirac for constrained systems and subsequent canonical quantization approaches developed by Faddeev and Popov.
Central to the formalism is the BRST charge Q_BRST, a hermitian, nilpotent operator acting on an extended Hilbert space containing ghosts and antighosts; construction techniques draw on methods from Dirac, Fock space realizations, and canonical quantization used in the work of Heisenberg and Schrödinger. Physical states are identified with the cohomology of Q_BRST at ghost number zero, echoing mathematical frameworks from Atiyah and Singer connecting index theory and operator cohomology. Cohomological methods permit classification of observables and tie into algebraic structures investigated by Serre and Grothendieck in sheaf cohomology, and into modern categorical viewpoints influenced by Grothendieck-style derived categories.
BRST quantization admits both path integral and operator formulations. In the path integral approach one inserts gauge-fixing functionals and ghost determinants following procedures by Faddeev and Popov, producing BRST-invariant measures used in perturbative calculations at facilities such as Fermilab and DESY. Operator approaches construct the BRST charge in canonical quantization frames as done in research from Princeton University and Harvard University groups, employing regularization schemes inspired by techniques from Pauli and Villars. Equivalence proofs between formulations use techniques developed by Schwinger and Tomonaga and rely on renormalization insights from Bogoliubov and Parasiuk.
BRST methods are indispensable in quantizing Yang–Mills theory for the Standard Model and in analyzing ghosts in non-abelian gauge theory relevant to collider phenomenology at CERN. In perturbative string theory BRST cohomology classifies physical vertex operators in both bosonic string theory and superstring theory and underpins covariant formulations used in research stemming from groups around Caltech and Institute for Advanced Study. BRST techniques also interface with topological field theories introduced by Witten and with modern developments in AdS/CFT correspondence research pioneered by Maldacena.
Concrete constructions include BRST quantization of electromagnetism (abelian gauge theory), non-abelian SU(N) Yang–Mills models, and the covariant quantization of the Polyakov action for string worldsheet theories. Explicit ghost Lagrangians employ fields analogous to Faddeev–Popov ghosts introduced by Faddeev and Popov and antighosts with auxiliary Nakanishi–Lautrup fields studied by Nakanishi and Lautrup. Lattice implementations and continuum perturbation expansions used by collaborations at Brookhaven National Laboratory and RIKEN illustrate numerical and analytic realizations of the formalism.
Anomalies correspond to obstructions in BRST cohomology; classic anomalous examples involve the Adler–Bell–Jackiw anomaly investigated by Adler and Bell and explored within BRST language to diagnose gauge symmetry breakdowns. Renormalization of BRST-invariant theories follows procedures developed in the renormalization program by Zimmermann and Weinberg, ensuring preservation of nilpotency after regularization schemes like dimensional regularization advanced by ’t Hooft and Veltman. Cancellation conditions for anomalies appear in consistency checks such as those used in superstring model building influenced by results from Green and Schwarz.