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.
hub
New Phenomena in SU(3) Supersymmetric Gauge Theory
13 Pith papers cite this work. Polarity classification is still indexing.
13
Pith papers citing it
abstract
We show that four-dimensional N=2 supersymmetric SU(n) gauge theory for n>2 necessarily contains vacua with mutually non-local massless dyons, using only analyticity of the effective action and the weak coupling limit of the moduli space of vacua. A specific example is the Z_3 point in the exact solution for SU(3), and we study its effective Lagrangian. We propose that the low-energy theory at this point is an N=2 superconformal U(1) gauge theory containing both electrically and magnetically charged massless hypermultiplets.
hub tools
citation-role summary
background 3
citation-polarity summary
roles
background 3polarities
background 3representative 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.
KZ connections with irregular singularities have monodromies that realize topological invariants of links and tangles.
Generalized Schur partition functions Z_USp(2N)(q; alpha) for 4d N=2 USp(2N) theories satisfy order-(N+1) MLDEs with vanishing Wronskian index, alpha fixing MLDE parameters, with links to RCFT characters and a conjecture on quantum monodromy traces.
Bi- and uni-vector deformations of heterotic supergravity solutions are constructed using gauged double field theory together with a generalized open/closed map.
Quasinormal-mode frequencies of extremal Reissner-Nordström black holes for charged and massive scalar fields are computed through Seiberg-Witten/Nekrasov-Shatashvili quantization.
Broken higher-group and non-invertible symmetries still act on the space of couplings, and their 'family anomalies' force the infrared theory to be gapless, spontaneously broken, or interrupted by a phase transition.
High-temperature limits on higher sheets of the superconformal index for (A1,A2n) Argyres-Douglas theories yield Gang-Kim-Stubbs 3d N=2 theories whose boundaries support Virasoro minimal model VOAs M(2,2n+3) and associated MTCs.
Derives TBA equations for the higher-order Mathieu equation of the SU(r+1) quantum Seiberg-Witten curve, obtains an analytic effective central charge from Y-function boundary conditions at theta to -infinity, and verifies subleading analytic plus higher-order numerical agreement with WKB expansions.
Proposes a manifestly duality- and Lorentz-invariant local action for QED with monopoles derived from Sen's formalism using field strengths as dynamical variables, with consistent tree- and loop-level results.
A nonlocal quantum field theory with a fitted kernel scale can reproduce the observed 8-9 pb top-antitop threshold excess at the LHC, but the key number is a postdiction rather than an independent prediction.
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.
-
On the monodromy of KZ-connections with irregular singularities
KZ connections with irregular singularities have monodromies that realize topological invariants of links and tangles.
-
Generalised 4d Partition Functions and Modular Differential Equations
Generalized Schur partition functions Z_USp(2N)(q; alpha) for 4d N=2 USp(2N) theories satisfy order-(N+1) MLDEs with vanishing Wronskian index, alpha fixing MLDE parameters, with links to RCFT characters and a conjecture on quantum monodromy traces.
-
Poly-vector deformations of heterotic supergravity solutions
Bi- and uni-vector deformations of heterotic supergravity solutions are constructed using gauged double field theory together with a generalized open/closed map.
-
Quasinormal Modes of Extremal Reissner-Nordstrom Black Holes via Seiberg-Witten Quantization
Quasinormal-mode frequencies of extremal Reissner-Nordström black holes for charged and massive scalar fields are computed through Seiberg-Witten/Nekrasov-Shatashvili quantization.
-
Generalized Families of QFTs
Broken higher-group and non-invertible symmetries still act on the space of couplings, and their 'family anomalies' force the infrared theory to be gapless, spontaneously broken, or interrupted by a phase transition.
-
Bridging 4D QFTs and 2D VOAs via 3D high-temperature EFTs
High-temperature limits on higher sheets of the superconformal index for (A1,A2n) Argyres-Douglas theories yield Gang-Kim-Stubbs 3d N=2 theories whose boundaries support Virasoro minimal model VOAs M(2,2n+3) and associated MTCs.
-
TBA equations for $SU(r+1)$ quantum Seiberg-Witten curve: higher-order Mathieu equation
Derives TBA equations for the higher-order Mathieu equation of the SU(r+1) quantum Seiberg-Witten curve, obtains an analytic effective central charge from Y-function boundary conditions at theta to -infinity, and verifies subleading analytic plus higher-order numerical agreement with WKB expansions.
-
Monopoles, Clarified
Proposes a manifestly duality- and Lorentz-invariant local action for QED with monopoles derived from Sen's formalism using field strengths as dynamical variables, with consistent tree- and loop-level results.
-
On Recent measurements of Toponium Threshold Enhancement in Entire-Function-Regulated Nonlocal Quantum Field Theory
A nonlocal quantum field theory with a fitted kernel scale can reproduce the observed 8-9 pb top-antitop threshold excess at the LHC, but the key number is a postdiction rather than an independent prediction.
-
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.
- A Crash Course in Supersymmetric Field Theory Across Dimensions