Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Source-proposed pure SU(2) N=2 Seiberg–Witten low-energy data

Physical scope

Adopted source-proposed two-derivative Wilsonian solution data for pure four-dimensional rigid N=2 SU(2) Yang–Mills, with the source's specified singularity ansatz and one local monopole patch; this is not a construction of a UV continuum QFT or a universal duality claim.

Postulate

Adopt the source-proposed low-energy solution data for pure four-dimensional rigid N=2 Yang--Mills with global gauge group SU(2), one adjoint vector multiplet, rank one, no matter hypermultiplets, and the coupling, units, connection-normalized scalar, and prepotential convention of the independent pure ultraviolet vector-multiplet datum. Use natural units in which the speed of light and reduced Planck constant are one, with metric η=diag⁡(−1,1,1,1), and a positive dynamical scale Λ of mass dimension one. The gauge-invariant coordinate u has mass dimension two; set w=u/Λ2.

The absence of microscopic hypermultiplets is an explicit model input in that independent ultraviolet postulate. The charged monopole hypermultiplet in a local infrared frame below is emergent; it does not change the ultraviolet matter content.

On the regular w-plane with singular values w=1,−1,∞ removed, adopt the family of genus-one curves, where x,y,w are dimensionless:

Σw:y2=(x−1)(x+1)(x−w).

and the meromorphic period differential

λSW=2Λ2πy dxx2−1.

Within this proposed solution, take the quantum vacuum-moduli data to be the entire u-plane, with a Z2 symmetry u↦−u and singular values u=Λ2,−Λ2,∞. This is part of the adopted solution ansatz, not a consequence of a constructed continuum theory.

For a chosen local cycle basis γm,γe on Σw with intersection number γm⋅γe=1, define aD=∮γmλSW and a=∮γeλSW. These periods have mass dimension one, are multivalued under continuation around the punctures, and are used in the local prepotential convention aD=∂F/∂a and τ=∂2F/∂a2 with Im⁡τ>0. In the source's counterclockwise-loop convention, the period column (aD,a)T has monodromy matrices

M∞=(−120−1),M+=(10−21),M−=(−12−23).

Adopt the source's formal charge-label lattice Z2 and central-charge pairing ZSW=nea+nmaD for labels (ne,nm)∈Z2. In the supersymmetry convention of this page, the scalar central charge is normalized as z=2 ZSW. The mass inequality and its saturation statement are separate theorem deductions. No claim is made that every lattice label is an allowed line operator or is represented by a stable particle.

Adopt the singularity interpretation that the w=1 point has a light monopole with aD=0, while the w=−1 point has a light dyon with a−aD=0 in the chosen frame. These are source-proposed physical inputs tested by their monodromies; they are not deduced here from a constructed continuum theory.

In this source convention the monopole point is um:=Λ2. In the chosen local monopole frame, adopt the source identification of the dual scalar AD with the period branch aD(u). This branch satisfies aD(um)=0 and has nonzero derivative aD′(um)=c0≠0, as expressed by its source-given linear vanishing near um; the source also treats u as a local coordinate in this patch. Adopt the local holomorphic inverse u(AD), defined by aD(u(AD))=AD, with u(0)=um and c:=u′(0)=c0−1≠0. These are source-proposed local model inputs, not deductions from a constructed continuum theory or assertions of global single-valuedness. The local monopole superpotential uses this inverse in μu(AD).

In the local monopole patch, adopt the dual U(1)D field content and superpotential described in the preceding effective-model definition. The source two-derivative vector metric is positive and generally field dependent, determined by the local dual coupling; a regulated matching scale is part of any effective action with the light monopole retained. That definition explicitly freezes this metric at b=gD−2>0 for the subsequent classical calculations. Metric freezing, and the further replacement of u(AD) by its linear Taylor term where explicitly requested, are additional approximations, not exact identities of the full period solution. No bound on their discarded corrections is adopted here. A small N=1-breaking mass parameter μ of mass dimension one adds the local superpotential term μu(AD) to 2ADMM~. The local description applies only near this singularity, with the supplied cutoff ΛEFT, margin ε, background domain UEFT and excitation bound of that definition; small μ means v<εΛEFT. These are adopted applicability inputs, not a bound on discarded corrections. This local description does not simultaneously describe the mutually nonlocal dyon at the other singularity.

Here exact low-energy solution means the adopted two-derivative Wilsonian data of this source-defined model on its regular patches. It does not mean a proof of a nonperturbative UV path integral, a global single-valued prepotential, or an identity for arbitrary gauge groups, matter contents, or N=2 theories.

Postulate references

Seiberg and Witten, §5.7, §§5.1–5.6 and §6.

Bilal, §§5.3 and 6.1–6.2.

Pure N=2 SU(2) Coulomb-branch and period data: Pure N=2 SU(2) Coulomb-branch and period data.

Local dual U(1) monopole-Higgs effective data: Local dual U(1) monopole-Higgs effective data.

Independent pure ultraviolet vector-multiplet datum: Independent pure N=2 SU(2) ultraviolet vector-multiplet datum.

Depends on

Dependency tree · 2 levels

Sources