The Seiberg–Witten SU(2) solution is formalized in Lean 4 with physical assumptions as named predicates and mathematical consequences as sorry-free theorems, demonstrating a method for auditing non-rigorous physics arguments.
The Vacuum Structure and Spectrum of N=2 Supersymmetric SU(N) Gauge Theory
3 Pith papers cite this work, alongside 472 external citations. Polarity classification is still indexing.
3
Pith papers citing it
472
external citations · Pith
abstract
We present an exact description of the metric on the moduli space of vacua and the spectrum of massive states for four dimensional N=2 supersymmetric SU(n) gauge theories. The moduli space of quantum vacua is identified with the moduli space of a special set of genus n-1 hyperelliptic Riemann surfaces.
representative citing papers
A massive deformation of the T[SU(N)] theory is identified as the 3d SCFT realizing the RG-wall and half-BPS boundaries in 4d N=2 SU(N) SYM.
A comprehensive introduction to spectral networks that develops higher-rank Teichmüller theory in parallel with class S gauge theory and BPS spectra.
citing papers explorer
-
Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
The Seiberg–Witten SU(2) solution is formalized in Lean 4 with physical assumptions as named predicates and mathematical consequences as sorry-free theorems, demonstrating a method for auditing non-rigorous physics arguments.
-
Half-BPS Boundaries and the RG-Wall of $\mathcal{N}=2$ $SU(N)$ SYM
A massive deformation of the T[SU(N)] theory is identified as the 3d SCFT realizing the RG-wall and half-BPS boundaries in 4d N=2 SU(N) SYM.
-
Spectral Networks: Bridging higher-rank Teichm\"uller theory and BPS states
A comprehensive introduction to spectral networks that develops higher-rank Teichmüller theory in parallel with class S gauge theory and BPS spectra.