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) Seiberg–Witten low-energy data
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 Yang--Mills with global gauge group , 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 , and a positive dynamical scale of mass dimension one. The gauge-invariant coordinate has mass dimension two; set .
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 -plane with singular values removed, adopt the family of genus-one curves, where are dimensionless:
and the meromorphic period differential
Within this proposed solution, take the quantum vacuum-moduli data to be the entire -plane, with a symmetry and singular values . This is part of the adopted solution ansatz, not a consequence of a constructed continuum theory.
For a chosen local cycle basis on with intersection number , define and . These periods have mass dimension one, are multivalued under continuation around the punctures, and are used in the local prepotential convention and with . In the source's counterclockwise-loop convention, the period column has monodromy matrices
Adopt the source's formal charge-label lattice and central-charge pairing for labels . In the supersymmetry convention of this page, the scalar central charge is normalized as . 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 point has a light monopole with , while the point has a light dyon with 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 . In the chosen local monopole frame, adopt the source identification of the dual scalar with the period branch . This branch satisfies and has nonzero derivative , as expressed by its source-given linear vanishing near ; the source also treats as a local coordinate in this patch. Adopt the local holomorphic inverse , defined by , with and . 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 .
In the local monopole patch, adopt the dual 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 for the subsequent classical calculations. Metric freezing, and the further replacement of 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 -breaking mass parameter of mass dimension one adds the local superpotential term to . The local description applies only near this singularity, with the supplied cutoff , margin , background domain and excitation bound of that definition; small means . 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 theories.
Postulate references
Seiberg and Witten, §5.7, §§5.1–5.6 and §6.
Pure SU(2) Coulomb-branch and period data: Pure 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 SU(2) ultraviolet vector-multiplet datum.