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.
Seiberg-Witten Theory and Random Partitions
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
abstract
We study N=2 supersymmetric four dimensional gauge theories, in a certain N=2 supergravity background, called Omega-background. The partition function of the theory in the Omega-background can be calculated explicitly. We investigate various representations for this partition function: a statistical sum over random partitions, a partition function of the ensemble of random curves, a free fermion correlator. These representations allow to derive rigorously the Seiberg-Witten geometry, the curves, the differentials, and the prepotential. We study pure N=2 theory, as well as the theory with matter hypermultiplets in the fundamental or adjoint representations, and the five dimensional theory compactified on a circle.
citation-role summary
background 3
citation-polarity summary
fields
hep-th 11roles
background 3polarities
background 3representative citing papers
In N=2 SU quiver theories the large-N Hagedorn temperature depends only on quiver length for linear cases and equals that of N=4 SYM for holographic quivers, with a universal lower bound of 1/sqrt(2) on the exponential rate alpha of higher-spin current conservation.
A new shell formula unifies and delivers explicit closed-form expressions plus recursions for instanton partition functions in 5d SYM and multiple gauge origami configurations using arbitrary-dimensional Young diagrams.
Blow-up equation prefactors encode cubic 1-form self-anomalies and mixed anomalies of 5d N=1 SCFTs, deciding 2-group vs mixed anomaly structure.
The distinction between spinor and conjugate spinor matter in 5D SO(2N) gauge theories manifests as different boundary conditions on the Seiberg-Witten curve at O5-plane positions (w=±1).
The paper derives moduli-modified functional relations for Wronskians of a classical Lax ODE that identify quantum states, produce Y-systems and TBA equations without scattering theory, and prove two Zamolodchikov conjectures for the zero-momentum homogeneous sine-Gordon model linked to N=4 SYM and
Derives exact hypergeometric solutions for static perturbations of 5D Myers-Perry black holes and iteratively computes electromagnetic Love tensors showing lower-to-higher angular momentum mode mixing in the response.
Instanton partition functions on the blow-up are given by chamber-dependent contour integrals over super-partitions selected by stability conditions, yielding explicit wall-crossing formulas that recover the Nakajima-Yoshioka blow-up formula.
Generalized Schur indices of N=2 class S theories are expressed using eigenfunctions of non-relativistic elliptic Calogero-Moser models, with extensions claimed for N=1 SCFTs via limits of models like Inozemtsev.
In these supersymmetric theories, the coupling matrix has floor(N/2) independent constants under S-duality, with one distinguished constant that remains key in asymptotic and instanton regimes.
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.
-
The CFT Distance Conjecture and Tensionless String Limits in $\mathcal N=2$ Quiver Gauge Theories
In N=2 SU quiver theories the large-N Hagedorn temperature depends only on quiver length for linear cases and equals that of N=4 SYM for holographic quivers, with a universal lower bound of 1/sqrt(2) on the exponential rate alpha of higher-spin current conservation.
-
Shell formulas for instantons and gauge origami
A new shell formula unifies and delivers explicit closed-form expressions plus recursions for instanton partition functions in 5d SYM and multiple gauge origami configurations using arbitrary-dimensional Young diagrams.
-
Generalised global symmetries in 5d $\mathcal{N}=1$ theories from the blow-up equations
Blow-up equation prefactors encode cubic 1-form self-anomalies and mixed anomalies of 5d N=1 SCFTs, deciding 2-group vs mixed anomaly structure.
-
Thermodynamic limit for SO(2N) gauge theories with spinors/conjugate spinors
The distinction between spinor and conjugate spinor matter in 5D SO(2N) gauge theories manifests as different boundary conditions on the Seiberg-Witten curve at O5-plane positions (w=±1).
-
From classical Lax ODEs to quantum integrable theories: the moduli
The paper derives moduli-modified functional relations for Wronskians of a classical Lax ODE that identify quantum states, produce Y-systems and TBA equations without scattering theory, and prove two Zamolodchikov conjectures for the zero-momentum homogeneous sine-Gordon model linked to N=4 SYM and
-
Static electromagnetic Love tensors of 5-dimensional Myers-Perry black holes
Derives exact hypergeometric solutions for static perturbations of 5D Myers-Perry black holes and iteratively computes electromagnetic Love tensors showing lower-to-higher angular momentum mode mixing in the response.
-
Wall-crossing of Instantons on the Blow-up
Instanton partition functions on the blow-up are given by chamber-dependent contour integrals over super-partitions selected by stability conditions, yielding explicit wall-crossing formulas that recover the Nakajima-Yoshioka blow-up formula.
-
On non-relativistic integrable models and 4d SCFTs
Generalized Schur indices of N=2 class S theories are expressed using eigenfunctions of non-relativistic elliptic Calogero-Moser models, with extensions claimed for N=1 SCFTs via limits of models like Inozemtsev.
-
One constant to rule them all
In these supersymmetric theories, the coupling matrix has floor(N/2) independent constants under S-duality, with one distinguished constant that remains key in asymptotic and instanton regimes.
- A Crash Course in Supersymmetric Field Theory Across Dimensions