Existence and Mass Gap for Yang-Mills Theory on R^4
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
We prove that for any compact simple gauge group $G$, quantum Yang-Mills theory on $\mathbb{R}^4$ exists as a Wightman quantum field theory and has a mass gap $\Delta > 0$, solving the Clay Mathematics Institute Millennium Problem of Jaffe-Witten in
Length
25,669 words
Claims
1 theorems
Status
Draft
Target
Clay Mathematics Institute — Millennium Prize