Yang–Mills Equations

The Yang–Mills equations are the non-abelian generalization of Maxwell’s equations to arbitrary compact Lie groups. In their fundamental form:

$D^\mu F_{\mu\nu}^a = J_\nu^a$

where $F_{\mu\nu}^a$ is the gauge field strength tensor, $D^\mu$ is the gauge-covariant derivative, and $J_\nu^a$ is the non-abelian source current. Introduced in 1954 by Chen Ning Yang and Robert Mills, the equations are the mathematical backbone of the Standard Model of particle physics and sit at a remarkable crossroads of physics, topology, and geometry.

1. Gauge-theoretic setup

The ingredients:

• A principal G-bundle $P \to M$ over a manifold $M$, where $G$ is a compact Lie group
• A connection $A = A_\mu^a T^a \, dx^\mu$, with $T^a$ basis of the Lie algebra $\mathfrak{g}$
• The curvature $F = dA + A \wedge A$, with components

$F_{\mu\nu}^a = \partial_\mu A_\nu^a - \partial_\nu A_\mu^a + g f^{abc} A_\mu^b A_\nu^c$

where $f^{abc}$ are the structure constants of $\mathfrak{g}$ and $g$ is the coupling constant. The crucial non-abelian feature is the quadratic term $f^{abc} A_\mu^b A_\nu^c$ — absent in abelian (U(1)) theories like Maxwell’s.

The Yang–Mills action is

$S_{\text{YM}} = -\frac{1}{4}\int_M F_{\mu\nu}^a F^{\mu\nu a}\, d^4x$

Its Euler–Lagrange equations give the Yang–Mills equations. Together with the Bianchi identity $D_{[\lambda} F_{\mu\nu]}^a = 0$, they fully specify the dynamics.

2. Physical significance

Specific choices of $G$ give different fundamental forces:

Gauge group	Physical theory
$U(1)$	Electromagnetism (Maxwell)
$SU(2) \times U(1)$	Electroweak theory (Glashow–Weinberg–Salam)
$SU(3)$	Strong force, QCD
$SU(3) \times SU(2) \times U(1)$	Standard Model

The classical equations are the starting point; quantum Yang–Mills theories are obtained by path integration over gauge equivalence classes of connections — an extraordinarily subtle procedure.

3. Self-dual and anti-self-dual connections

In dimension 4, the Hodge star $\star$ satisfies $\star^2 = 1$ on 2-forms, splitting them into self-dual and anti-self-dual parts:

$F = F_+ + F_-, \quad \star F_\pm = \pm F_\pm$

Connections with $F_- = 0$ are called instantons; those with $F_+ = 0$ are anti-instantons. These are absolute minima of the Yang–Mills action within a given topological class, and they carry the topological information.

4. Donaldson theory

In the early 1980s, Simon Donaldson (Fields Medal 1986) studied moduli spaces of anti-self-dual Yang–Mills connections on smooth 4-manifolds. The spectacular result: these moduli spaces carry topological information so rich that they distinguish smooth structures on the same topological 4-manifold.

Consequences:

• Smooth 4-manifolds behave fundamentally differently from all other dimensions
• $\mathbb{R}^4$ admits uncountably many smooth structures (“exotic $\mathbb{R}^4$s”)
• New invariants — the Donaldson polynomial invariants — distinguish smooth 4-manifolds that are topologically indistinguishable

The Seiberg–Witten equations (1994), closely related to Yang–Mills with a different gauge group, gave simpler invariants that recovered and extended Donaldson’s results.

5. The mass gap problem

One of the seven Millennium Prize Problems asks for:

1. A rigorous mathematical construction of quantum Yang–Mills theory on $\mathbb{R}^4$ with gauge group $SU(N)$
2. A proof that the theory has a mass gap $\Delta > 0$

Experimentally, QCD has a mass gap (the lightest particle — the pion — has positive mass). Mathematically, rigorously constructing the theory and proving this gap is open. See the full problem page for details.

6. Geometric Langlands

Far from physics, Yang–Mills theory connects to the Geometric Langlands program. The connection, via dimensional reduction and brane duality (Kapustin–Witten, 2006), interprets the geometric Langlands correspondence as a statement about gauge theories — one of the most striking unifications in recent mathematical physics.

Further reading

• Donaldson & Kronheimer, The Geometry of Four-Manifolds — the definitive text on Donaldson theory.
• Freed & Uhlenbeck, Instantons and Four-Manifolds — rigorous introduction.
• Jaffe & Witten, “Quantum Yang–Mills Theory” (Clay Millennium problem description).

Frequently asked

What makes Yang–Mills 'non-abelian'?

The gauge group G is non-commutative — typically SU(N), SO(N), or Sp(N) rather than the abelian U(1) of Maxwell's electromagnetism. Non-commutativity means the field strength F includes a nonlinear self-interaction term [A,A], so the field equations are nonlinear even in vacuum. This is what gives the theory its rich mathematical structure and physical applications.

How does Yang–Mills relate to physics?

With SU(3) it describes the strong nuclear force (quantum chromodynamics, QCD). With SU(2) × U(1) it describes the electroweak force. Together these form the Standard Model of particle physics. The mass-gap Millennium Prize problem asks for a rigorous mathematical construction of the QCD theory with a proof that it has a positive mass gap — a cornerstone result for experimental QCD but mathematically unproven.

What is Donaldson's theorem?

Simon Donaldson used solutions of the Yang–Mills equations on 4-manifolds (anti-self-dual instantons) to define new differential-topological invariants, and discovered that smooth 4-manifolds have surprising properties: for instance, ℝ⁴ admits uncountably many smooth structures (exotic ℝ⁴s). This work won him the 1986 Fields Medal and founded a whole subfield of geometric topology.

Continue reading

Formula

Einstein Field Equations

The tensorial equations governing the curvature of spacetime — the mathematical heart of general relativity.

Read →Problem

Yang–Mills Existence and Mass Gap

The mathematical foundations of a theory that physicists use daily — rigorously placed on secure footing.

Read →Blog

Stokes' Theorem: The One Equation That Unifies Vector Calculus

The fundamental theorem of calculus, Green's theorem, the divergence theorem, and the classical Stokes' theorem are not four separate results — they are one short equation written four times.

Read →