The Wightman axioms are the mathematical definition of a quantum field theory. Proposed by Arthur Wightman in 1956, they specify precisely what it means for a QFT to be physically sensible: the fields must be operator-valued tempered distributions, they must transform covariantly under the Poincaré group, the energy must be non-negative, fields at spacelike separation must commute or anticommute, the vacuum must be the unique lowest-energy state, and the field algebra must act irreducibly on the Hilbert space. Any QFT worth the name should satisfy these conditions.
They are presented as axioms because, at the time Wightman wrote them down, no one knew how to derive them. They were conditions that physically reasonable theories should satisfy, not consequences of a deeper principle. The Wightman axiom programme was therefore the project of constructing specific interacting theories that satisfy them from first principles — a project that proved extraordinarily difficult and remains largely incomplete for four-dimensional non-abelian gauge theories.
The paper on the Wightman axioms establishes that within the Shadow Framework, all six axioms are theorems of Haar measure rather than assumptions. Each axiom follows from a specific property of the Haar measure on (ℝ+, ×) and its extension through the Cayley–Dickson tower to Gr(2,4).
Temperedness and Covariance
Temperedness, the requirement that field operators are tempered distributions, follows from the decay of the Mellin transform: a conformal primary ÕΔ(z, z̅) defined by a convergent Mellin integral at Re(Δ) = 1 decays in momentum space with a rate controlled by the principal series exponent. The Mellin kernel ωΔ−1 grows polynomially at most, which is the definition of temperedness for a distribution.
Poincaré covariance follows from BMS4 symmetry restricted to its Poincaré subgroup. The full BMS4 group contains the Poincaré group as a quotient: translations arise from supertranslations by restricting to the zero mode, and Lorentz transformations arise from superrotations by restricting to the global SL(2,ℂ) subgroup of Diff(S2).
Spectral Condition and Local Commutativity
The spectral condition, that the spectrum of the energy-momentum operator is in the forward light cone, follows from the principal series constraint. On the principal series Re(Δ) = 1, all operator dimensions are in the physical region. Off-shell contributions are excluded by unitarity: an operator with Re(Δ) ≠ 1 would be off the Plancherel support and therefore not in the physical Hilbert space.
Local commutativity follows from the support properties of the shadow kernel. The shadow kernel K(Δ, z, w) = |z−w|−2(2−Δ) propagates signals along the light cone, not off it. Operators at celestial positions z and w commute when z and w are separated by a spacelike bulk geodesic, which in celestial coordinates corresponds to |z−w| > 0.
The Consequence for Yang–Mills
The reason this matters for the Yang–Mills Millennium Prize is that the Clay problem asks not just for a mass gap but for a quantum Yang–Mills theory satisfying the Wightman axioms with a positive mass gap. If the Wightman axioms are theorems within the framework, then any theory constructed within the framework automatically satisfies them. The Yang–Mills construction in the companion paper therefore provides both: a quantum theory (satisfying all six axioms) and a mass gap (from the compact Haar projection and the Sugawara formula). The two requirements of the problem are discharged simultaneously by the same Haar measure input.
The Wightman axioms were written down because physics demanded them and mathematics had not yet provided them. They are the conditions a quantum field theory must satisfy to be physically real. The Shadow Framework derives them, rather than imposing them, because they are not independent conditions but projections of one geometric structure onto the various faces of the theory.