Gauge Theory — Mathematics Knowledge System

Overview

Gauge theory is the mathematical framework underlying the fundamental forces of nature (electromagnetism, the weak force, and the strong force). Mathematically, a gauge theory is a field theory whose Lagrangian is invariant under a Lie group G of local symmetry transformations — the gauge group. The geometric underpinning is the theory of principal G-bundles and connections on them. The curvature of such a connection is the field strength (e.g. the electromagnetic field tensor Fμν). Atiyah, Bott, Donaldson, and Witten showed that gauge theory over 4-manifolds has deep connections to differential topology.

Intuition

Imagine attaching a 'dial' (an element of the Lie group G) to every point in spacetime. A gauge transformation rotates each dial independently. Physical quantities must not depend on how the dials are set — they must be gauge invariant. To compare values at different spacetime points you need a 'connection' that tells you how to parallel-transport along paths. The curvature of this connection — measuring how the connection 'twists' as you go around a closed loop — is the physically observable field strength.

Formal Definition

Definition

Let P → M be a principal G-bundle over a spacetime manifold M, and let A be a connection 1-form on P (a g-valued 1-form on M in a local trivialisation). The curvature and Yang-Mills action are defined as follows.

F = dA + \tfrac{1}{2}[A, A] \in \Omega^2(M, \mathfrak{g})

Yang-Mills field strength (curvature 2-form)

S_{\mathrm{YM}}[A] = \frac{1}{2g^2}\int_M \mathrm{tr}(F \wedge {*F})

Yang-Mills action

D_\mu F^{\mu\nu} = J^\nu, \quad D_\mu = \partial_\mu + [A_\mu, \cdot]

Yang-Mills equations (equations of motion)

A \mapsto A^g = g^{-1}Ag + g^{-1}dg, \quad F \mapsto F^g = g^{-1}Fg

Gauge transformation (for g: M → G)

S_{\mathrm{top}} = \frac{1}{8\pi^2}\int_M \mathrm{tr}(F \wedge F) = k \in \mathbb{Z}

Topological charge (instanton number)

Notation

Notation	Meaning
$G$	Gauge group (a Lie group, e.g. U(1), SU(2), SU(3))
$\mathfrak{g}$	Lie algebra of G
$A = A_\mu^a T_a dx^\mu$	Gauge potential (connection 1-form), also written A_μ
$F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + [A_\mu, A_\nu]$	Field strength tensor (curvature)
$D_\mu = \partial_\mu + A_\mu$	Covariant derivative

Properties

Bianchi identity for the field strength

D F = 0, \text{ i.e. } D_{[\mu} F_{\nu\rho]} = 0

Anti-self-dual instantons

{*F} = -F \implies D^\mu F_{\mu\nu} = 0

Donaldson's theorem

\text{The moduli space of ASD connections on a simply connected 4-manifold detects the smooth structure}

Worked Examples

1
For G = U(1), the Lie algebra is ℝ and [A,A] = 0, so Fμν = ∂μAν - ∂νAμ — the familiar electromagnetic field tensor.
$F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$
2
The Yang-Mills action becomes the Maxwell action.
$S = -\frac{1}{4}\int F_{\mu\nu}F^{\mu\nu}\,d^4x$
3
Euler-Lagrange equations give the source-free Maxwell equations ∂^μ Fμν = 0; the Bianchi identity gives ∂[μ Fνρ] = 0.
$\partial^\mu F_{\mu\nu} = 0, \quad \partial_{[\mu} F_{\nu\rho]} = 0$

✓ Answer

U(1) Yang-Mills theory is exactly Maxwell electromagnetism; the non-abelian commutator terms vanish.

Practice Problems

Hardfree response

Explain the mathematical meaning of 'gauge invariance' in terms of principal bundles and section changes.

Hardfree response

State Uhlenbeck's compactness theorem and explain its role in Donaldson theory.

Common Mistakes

Common Mistake

Treating the gauge potential A as a physically observable field

The gauge potential A is not gauge invariant and is not directly observable. The gauge-invariant content is in the field strength F and Wilson loops W_C = Tr P exp(∮_C A).

Common Mistake

Confusing gauge transformations with coordinate changes

Gauge transformations are internal symmetries (rotations of the fibre of a principal bundle) and are independent of spacetime coordinate changes (diffeomorphisms). General relativity can be cast as a gauge theory of the frame bundle, but the two types of transformations remain conceptually distinct.

Quiz

The curvature 2-form F of a gauge connection A is given by:

F = dAF = dA + [A, A]F = dA + A \wedge ABoth B and C (they are the same expression using different conventions for the wedge product of Lie-algebra-valued forms)

In an abelian gauge theory (G = U(1)), the commutator term [Aμ, Aν] in Fμν:

Gives the self-interaction of the gauge fieldVanishes, so F = dA reduces to the familiar electromagnetic tensorIs responsible for asymptotic freedomEquals the topological charge

Historical Background

Herman Weyl introduced the idea of local scale invariance (Eichinvarianz, 'gauge invariance') in 1918 to unify electromagnetism and gravity. Though his original proposal was physically incorrect, the modern notion — with phase rather than scale as the gauge transformation — was developed by Weyl and London in the 1920s–30s. Yang and Mills generalised the U(1) gauge invariance of electromagnetism to non-Abelian Lie groups in 1954, producing Yang-Mills theory. The standard model of particle physics is a Yang-Mills gauge theory with gauge group U(1) × SU(2) × SU(3).

1918
Weyl introduces gauge invariance (scale invariance) in an attempt to unify EM and gravity
Hermann Weyl
1954
Yang and Mills formulate non-Abelian gauge theory for SU(2)
Chen-Ning Yang, Robert Mills
1973
't Hooft and Veltman prove renormalisability of Yang-Mills theories
Gerard 't Hooft, Martinus Veltman
1983
Donaldson uses gauge theory (anti-self-dual connections) to prove exotic smooth structures on ℝ⁴
Simon Donaldson

Summary

A gauge theory is a field theory invariant under a local Lie group G of transformations; physically, G encodes an internal symmetry.
The gauge field (connection A) and its curvature (field strength F = dA + A∧A) are the fundamental objects.
Yang-Mills theory with gauge group U(1) × SU(2) × SU(3) is the mathematical backbone of the Standard Model.
Instantons (ASD connections on 4-manifolds) are saddle points of the Euclidean Yang-Mills action and carry a topological charge.
Donaldson theory uses the moduli space of ASD connections to extract smooth-topological invariants of 4-manifolds.

References

BookAtiyah, M.F. — Geometry of Yang-Mills Fields, Lezioni Fermiane (1979), Scuola Normale Superiore, Pisa
BookDonaldson, S.K. & Kronheimer, P.B. — The Geometry of Four-Manifolds (1990), Oxford University Press
BookBleecker, D. — Gauge Theory and Variational Principles (1981), Addison-Wesley
WebsiteWikipedia — Gauge theory
WebsitenLab — gauge theory