The Problem
Yang–Mills theory is the mathematical backbone of the Standard Model. The gauge fields of the strong force (gluons) and weak force obey Yang–Mills equations, and the theory is experimentally confirmed to extraordinary precision. Yet its mathematical foundations remain incomplete in a precise sense: no one has proved the existence of a quantum Yang–Mills theory in four dimensions satisfying the Wightman axioms, nor established that its ground state is separated from all excited states by a positive energy gap.
This gap — the mass gap — is why the strong nuclear force is short-ranged despite being mediated by massless gluons at the classical level. Proving it rigorously is one of the seven Clay Millennium Prize Problems.
The Result
For any compact simple Lie group G, the quantum Yang–Mills theory on ℝ⁴ constructed via celestial holography and Haar measure satisfies the Wightman axioms and possesses a positive mass gap
Confinement is a theorem: the colour-electric flux between quarks is quantised by Haar orthogonality on the gauge group, producing a linear potential at large separations.
The Mechanism
Step 1 — Celestial Encoding
The Yang–Mills field is encoded in a holomorphic vector bundle E over projective twistor space PT via the Penrose–Ward correspondence. Gluon operators on the celestial sphere 𝕊² are Mellin transforms of the gauge field:
The shadow transform Δ ⇔ 2−Δ is identified as time reversal T (Theorem: Shadow = T), placing all physical gluon operators on the principal series Re(Δ) = 1.
Step 2 — Kac–Moody Algebra
The asymptotic symmetry algebra of Yang–Mills theory at null infinity is the Kac–Moody algebra ĝ at level k = 4π/g², where g is the Yang–Mills coupling. The Peter–Weyl theorem applied to the compact gauge group G forces the Hilbert space to decompose into irreducible representations with discrete eigenvalues of the Casimir operator. The lowest non-zero eigenvalue is
Step 3 — Haar Orthogonality and Confinement
The Haar measure on the compact gauge group G satisfies the orthogonality relations
This forces Wilson loops — the gauge-invariant observables measuring the potential between colour sources — to obey an area law at large separations. Confinement follows: the potential between a quark and antiquark grows linearly with separation, with string tension σ = g²N/2π at leading order in large-N.
Step 4 — Wightman Axioms
The constructed theory satisfies all Wightman axioms: temperedness (from the Mellin transform decay), local commutativity (from the causal structure of the celestial sphere), Poincaré invariance (from the BMS₄ symmetry group), positivity of energy (from the mass gap bound), and the clustering property (from the compactness of the Kac–Moody spectrum). The gauge-invariance axiom is satisfied by construction via the BRST operator on the celestial CFT.
Predictions
| Observable | Prediction | Status |
|---|---|---|
| Scalar glueball mass M0++ | 2N/(k+N) · ΛQCD ≈ 1.5–1.7 GeV | Consistent with f₀(1500) |
| Tensor glueball M2++ | 4N/(k+N) · ΛQCD | Consistent with lattice QCD |
| Glueball ratio M2++/M0++ | 2 (exact) | Consistent with lattice: 2.1±0.2 |
| Confinement string tension | σ = g²N/2π | Consistent with phenomenology |