Gauge theory is a framework in physics in which different mathematical descriptions of fields can represent the same physical situation. These descriptions are related by local gauge transformations, whose parameters may vary across spacetime. Gauge invariance requires physical predictions to remain unchanged under this freedom. Gauge theories include classical electromagnetism and the quantum field theories underlying the Standard Model of elementary particles. Their mathematical formulation connects interaction fields with the geometry of connections and curvature. (damtp.cam.ac.uk)
Local symmetry and descriptive redundancy
A global transformation uses the same parameter everywhere; a local transformation allows it to depend on position and time. For example, a charged matter field can undergo a position-dependent phase transformation. Its ordinary derivative then acquires an additional term involving the derivative of that phase. Introducing a gauge potential with a compensating transformation law makes it possible to construct locally invariant dynamics. (tpi.uni-jena.de)
Gauge symmetry differs from an ordinary symmetry that relates physically distinct states. Transformations treated as gauge redundancies identify descriptions of the same state, rather than generating new observable configurations. Boundary conditions matter: transformations acting nontrivially at a boundary can instead be associated with physical symmetries and charges. The central distinction is between changing physical quantities and changing the variables used to describe them. (damtp.cam.ac.uk)
In electromagnetism, the scalar and vector potentials are not uniquely determined by the electric and magnetic fields. In four-dimensional notation,
leaves the electromagnetic field-strength tensor unchanged:
The freedom to choose potentials is therefore compatible with definite predictions for electromagnetic forces and radiation. (damtp.cam.ac.uk)
Gauge fields and Yang–Mills dynamics
Continuous gauge transformations are organized by a Lie group. For a matter field , a commonly used covariant derivative is
where is a coupling constant and are group generators in the representation appropriate to the field. The gauge potential transforms so that transforms like itself. There is one gauge-field component for each generator. (tpi.uni-jena.de)
For the Abelian group , transformations commute. In a non-Abelian group, such as or , they generally do not. Yang–Mills theory extends electromagnetic gauge dynamics to these noncommuting groups. With the convention above,
where are structure constants. The nonlinear term produces gauge-field self-interactions. A standard gauge-field Lagrangian is
Gauge invariance strongly constrains interactions, but does not by itself select the gauge group, matter content, or numerical couplings. (damtp.cam.ac.uk)
Development and the Standard Model
Electromagnetic potentials provided an early example of gauge freedom. Hermann Weyl promoted gauge invariance as a fundamental principle, initially through an unsuccessful attempt to unify gravitation and electromagnetism using local scale transformations. The modern phase-based formulation developed alongside quantum theory. In 1954, Chen Ning Yang and Robert Mills introduced the influential non-Abelian construction. (damtp.cam.ac.uk)
The Standard Model is conventionally described using
Quantum chromodynamics uses the factor to describe the strong interaction between quarks and eight gluons. The gluons themselves carry color charge, allowing direct self-interactions. Quantum electrodynamics describes electromagnetic interactions, with the photon as its gauge boson. (s3.cern.ch)
The electroweak theory combines weak and electromagnetic interactions. Through the Higgs mechanism, the Higgs field gives the W and Z bosons masses while the electromagnetic photon remains massless. The underlying gauge-invariant formulation is retained; “symmetry breaking” does not mean abandoning the gauge redundancy. (s3.cern.ch)
Quantization and strongly coupled behavior
Quantum calculations must account for redundant field configurations. Gauge fixing imposes conditions on the potentials, and covariant non-Abelian treatments commonly introduce auxiliary ghost fields through the Faddeev–Popov procedure. These fields are computational ingredients, not additional observable particles. Renormalization relates parameters at different scales, while perturbation theory organizes calculations where interactions are sufficiently weak. (damtp.cam.ac.uk)
Quantum chromodynamics exhibits asymptotic freedom: its coupling becomes weaker at short distances. At larger distances, confinement prevents isolated colored particles from appearing as ordinary asymptotic states. Numerical methods, including lattice QCD, investigate this strongly coupled regime. Constructing a rigorous four-dimensional quantum Yang–Mills theory with a positive mass gap remains a mathematical problem distinct from its successful use in physical calculations. (damtp.cam.ac.uk)
Geometric formulation
In differential geometry, gauge fields are connections on fiber bundles over spacetime. A local gauge choice specifies how internal spaces are described, while the connection permits comparison of fields at neighboring points. Field strength is the connection’s curvature. Transport around a closed path gives a Wilson loop, an important gauge-invariant quantity. This formulation exposes global information that need not be visible in any single choice of local potentials. (vo.ned.ipac.caltech.edu)