| gauge symmetry | |
|---|---|
| Name | Gauge symmetry |
| Field | Quantum field theory |
| Introduced | 19th century (prototype), formalized 20th century |
| Notable figure | James Clerk Maxwell, Hermann Weyl, Paul Dirac, Chen Ning Yang, Robert Mills |
gauge symmetry
Gauge symmetry is a type of continuous symmetry under which certain redundant degrees of freedom in a physical description can be transformed without changing observable predictions. In Quantum Physics, gauge symmetry organizes the interactions of elementary particles, constrains the allowed quantum field theories, and underlies the structure of the Standard Model. Its interplay with topology, anomalies, and spontaneous symmetry breaking yields key phenomena such as the Higgs boson and confinement.
The conceptual origin of gauge ideas traces to classical electromagnetism where potentials possess non-uniqueness: the scalar and vector potentials may be changed by a gradient without altering the electromagnetic field. Historical milestones include James Clerk Maxwell's equations, Hermann Weyl's 1918 attempt to unify gravity and electromagnetism via scale (gauge) transformations, and Weyl's 1929 reformulation introducing phase gauge invariance tied to quantum mechanics and the Dirac equation by Paul Dirac. The modern non-Abelian generalization was developed by Chen Ning Yang and Robert Mills in 1954, producing Yang–Mills theory which set the stage for gauge descriptions of the weak and strong interactions. Experimental confirmation of gauge-based predictions, including electroweak unification and the discovery of the W and Z bosons at CERN, cemented gauge symmetry's central role.
Gauge symmetries are typically local: symmetry transformations can vary at each spacetime point and are described by sections of a principal bundle with structure group G, a Lie group such as U(1), SU(2), or SU(3). Global symmetries apply uniformly and lead to conserved currents via Noether's theorem; local gauge invariance instead requires introduction of connection fields (gauge fields) to define covariant derivatives and preserve invariance under point-dependent transformations. The mathematical apparatus uses fiber bundle language, Lie algebra generators, structure constants, and curvature two-forms (field strengths). Important formal concepts include principal G-bundles, associated vector bundles for matter fields, and holonomy related to Wilson loops introduced by Kenneth G. Wilson.
In quantum field theory (QFT), gauge theories are defined by Lagrangians invariant under local gauge groups. The simplest quantum gauge theory is quantum electrodynamics (QED) with gauge group U(1). Non-Abelian gauge theories such as quantum chromodynamics (QCD) for SU(3) feature self-interacting gauge bosons and phenomena like asymptotic freedom, established by David Gross, Frank Wilczek, and David Politzer. Perturbative quantization, renormalization, and the role of gauge symmetry in controlling divergences are central; key tools include Feynman rules, path integral quantization developed by Richard Feynman and formalized by Julian Schwinger and others, and the BRST formalism for quantum gauge invariance.
Spontaneous symmetry breaking (SSB) in gauge theories occurs when the ground state (vacuum) does not share the full gauge symmetry of the Lagrangian. The Higgs mechanism, formulated by work of Peter Higgs, François Englert, Robert Brout, and others, shows that SSB in a gauge theory gives mass to gauge bosons without violating renormalizability. This underlies the electroweak theory of Sheldon Glashow, Abdus Salam, and Steven Weinberg and predicts the Higgs boson discovered at LHC experiments by ATLAS and CMS collaborations. SSB also leads to Goldstone modes in global symmetries (per Goldstone's theorem), but in gauge theories these degrees of freedom become longitudinal polarizations of massive vector bosons.
Local gauge redundancy complicates quantization: naive path integrals overcount physically equivalent configurations. Gauge fixing procedures such as Lorenz gauge, Coulomb gauge, and covariant Rξ gauges introduce constraints to define propagators. The Faddeev–Popov method inserts determinants represented by anti-commuting scalar fields known as Faddeev–Popov ghosts, first developed in work by Ludvig Faddeev and Victor Popov. Preservation of quantum gauge invariance is encoded in the BRST symmetry discovered by C. Becchi, A. Rouet, and R. Stora (and independently by Igor Tyutin), which is central for proving unitarity and renormalizability in non-Abelian gauge theories.
Gauge symmetry structures the principal interactions: QED (electromagnetism) with U(1), the electroweak interaction with SU(2)×U(1), and QCD with SU(3). The combined Standard Model Lagrangian encodes fermion representations, gauge bosons, and the Higgs sector. Practical applications span collider predictions, precision tests at facilities like CERN and SLAC, lattice gauge theory computations pioneered by Kenneth G. Wilson for nonperturbative QCD, and effective field theory descriptions used in particle phenomenology and cosmology.
Quantum anomalies occur when classical gauge symmetries fail at the quantum level; gauge anomalies must cancel (e.g., via fermion content in the Standard Model) to preserve consistency and unitarity. Topological structures such as instantons, monopoles, and theta vacua in non-Abelian gauge theories lead to effects like chiral anomaly processes, tunneling between vacua, and confinement in QCD. Mathematical tools from differential geometry and topology classify these phenomena; notable contributions include the Atiyah–Singer index theorem linking zero modes to anomalies and instanton computations relevant to 't Hooft's work. Experimental signatures and theoretical constraints from anomalies continue to inform searches for physics beyond the Standard Model at experiments including LHC and planned facilities.