Yang-Mills: Problem Statement

Introduction

The Yang-Mills existence and mass gap problem is the second Millennium Prize Problem addressed in this Part. The Clay Mathematics Institute asks for a proof that, for any compact simple gauge group \(G\), the quantum Yang-Mills theory on \(\mathbb{R}^4\) exists (satisfying the Wightman axioms or equivalent) and has a mass gap—the lowest-lying excitation has strictly positive mass. This chapter states the problem precisely, defines the mass gap, and previews TMT's approach through the \(S^2\) geometry that naturally generates non-abelian gauge theories with topological confinement.

The Yang-Mills Equation

Classical Yang-Mills Theory

For a compact semisimple gauge group \(G\) with Lie algebra \(\mathfrak{g}\), the Yang-Mills field strength is:

where \(A_\mu^a\) is the gauge potential, \(f^{abc}\) are the structure constants of \(\mathfrak{g}\), and \(g\) is the coupling constant.

The classical Yang-Mills equation (equation of motion) is:

where \(D_\mu\) is the gauge-covariant derivative and \(J^{\nu a}\) is the color current.

The classical action is:

Gauge Invariance

The theory is invariant under local gauge transformations:

where \(U(x) \in G\) at each spacetime point.

The Case \(G = \text{SU}(3)\)

For QCD, \(G = \text{SU}(3)\). In TMT:

• SU(3) is derived from the embedding \(S^2 \cong \mathbb{CP}^1 \hookrightarrow \mathbb{C}^3\) (Part 3, Chapter 9)
• The coupling constant \(g_3^2 = 4/\pi\) is derived from the participation principle (Part 3, Theorem 12.3)
• 8 gluon fields correspond to the 8 generators of SU(3)

Polar Field Form of the SU(3) Derivation

In the polar field variable \(u = \cos\theta\), the TMT derivation of SU(3) and its coupling becomes transparent. The embedding \(S^2 \cong \mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2 \subset \mathbb{C}^3\) maps the flat rectangle \(\mathcal{R} = [-1,+1] \times [0,2\pi)\) into the ambient three-dimensional complex space. The SU(3) color group is the isometry group of \(\mathbb{CP}^2\) that acts on the external orientation of \(\mathcal{R}\) in \(\mathbb{C}^3\), while the internal \(S^2\) physics (monopole connection, Killing vectors, mode spectrum) lives on the flat rectangle itself.

The coupling constant derivation reduces to a single polynomial integral on \([-1,+1]\):

where \((1+u)^2 = |Y_{+1/2}|^2 \times 16\pi^2\) is the square of the monopole harmonic profile, a polynomial on \([-1,+1]\). The factor \(3 = 1/\langle u^2\rangle\) is the inverse second moment of \(u\) on the flat interval—the same factor that generates \(N_c = 3\) colors (the complex dimension of the embedding target \(\mathbb{C}^3\)).

Mass Gap Definition

The Quantum Theory

The quantum Yang-Mills theory is defined (formally) by the path integral:

where \(Z = \int\mathcal{D}A\,e^{-S_{\text{YM}}}\) is the partition function (in Euclidean signature).

The Mass Gap

Equivalently, the two-point correlation function of any gauge-invariant operator \(\mathcal{O}\) decays exponentially at large separation:

Physical Significance

The mass gap has profound physical consequences:

• Confinement: If \(\Delta > 0\), the force between color charges does not fall off at large distances (unlike electromagnetism, where the photon is massless and the force falls as \(1/r^2\)).
• Hadron spectrum: The lightest hadrons (pions, protons) have masses set by \(\Delta\) and \(\Lambda_{\text{QCD}}\).
• No free gluons: Gluons cannot propagate freely; they are confined within hadrons.

Evidence for the Mass Gap

The mass gap has strong empirical and numerical support:

The Millennium Problem

Official Problem Statement

Why the Problem Is Hard

(1) Non-perturbative: Perturbation theory (Feynman diagrams) cannot demonstrate confinement or the mass gap. Asymptotic freedom means the theory is weakly coupled at high energies but strongly coupled at low energies, precisely where the mass gap emerges.

(2) Rigorous construction: No interacting quantum field theory in 4 spacetime dimensions has been rigorously constructed to date. The problem requires both existence (constructing the theory) and properties (proving the mass gap).

(3) Infrared difficulties: At long distances, the gauge field is strongly self-interacting, making traditional mathematical tools inadequate.

TMT's Contribution

TMT approaches the Yang-Mills mass gap from a fundamentally different direction than standard quantum field theory:

• SU(3) is derived, not postulated: The gauge group emerges from \(S^2 \hookrightarrow \mathbb{C}^3\) geometry (Part 3).
• Confinement is topological: The embedding topology forces flux tubes to form between color charges (Part 11, Section D).
• The mass gap is geometric: The lowest excitation on \(S^2\) has energy set by the Laplacian eigenvalue \(2/R^2\), providing a natural mass scale. In the polar field variable \(u = \cos\theta\), the mass gap becomes a polynomial degree gap: the Legendre eigenvalues \(\lambda_\ell = \ell(\ell+1)/R^2\) on \([-1,+1]\) forbid degree-0 (constant) excitations, forcing \(\ell \geq 1\) and \(\Delta \geq 2/R^2\). For the confining sector with half-integer \(j\), the spectral gap is \(\lambda_{1/2} = 3/(4R^2)\) from the curved metric \(h_{uu} = R^2/(1-u^2)\) on the flat interval (Chapter 105).
• \(\Lambda_{\text{QCD}}\) is derived: The QCD scale \(\Lambda_{\text{QCD}} \approx 213\) MeV follows from the TMT-derived coupling \(g_3^2 = 4/\pi\) and RG running.

The detailed TMT derivation of confinement and the mass gap is presented in Chapters 104–106.

Derivation Chain Summary

\caption{Yang-Mills problem statement: polar derivation chain}
Step	Label	Statement
\endfirsthead Step	Label	Statement
\endhead 1	Coordinate map	\(u = \cos\theta\) maps \(S^2\) to flat rectangle \(\mathcal{R} = [-1,+1]\times[0,2\pi)\) with \(\sqrt{\det h} = R^2\)
2	Embedding	\(\mathcal{R} \hookrightarrow \mathbb{C}^3\) via \(w = \sqrt{(1{+}u)/(1{-}u)}\,e^{i\phi}\): THROUGH modulus \(\times\) AROUND phase
3	Gauge group	\(\text{SU}(3) = \text{Isom}(\mathbb{CP}^2)\) acts on external orientation of \(\mathcal{R}\); \(N_c = 3 = 1/\langle u^2\rangle\)
4	Coupling	\(g_3^2 = 4/\pi\) from \(\int_{-1}^{+1}(1+u)^2\,du = 8/3\): single polynomial integral on flat interval
5	Spectral gap	Laplacian eigenvalues \(\lambda_\ell = \ell(\ell{+}1)/R^2\) are Legendre polynomial degree gaps on \([-1,+1]\)
6	Mass gap preview	\(\Delta > 0\) from compactness of \([-1,+1]\): no zero-energy excitation (degree-0 \(=\) vacuum)

Chapter Summary