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.
Independent pure SU(2) ultraviolet vector-multiplet datum
Independently adopted classical pure rigid N=2 SU(2) ultraviolet vector-multiplet model, no microscopic matter hypermultiplets; no constructed quantum continuum or empirical assertion.
Postulate
Adopt independently a rigid four-dimensional pure Yang–Mills model on oriented and time-oriented , , with increasing time orientation and natural units . The global group is , with one supplied smooth right principal bundle and smooth equivariant local trivializations. The connection and its curvature are and , in the right-action convention of the Yang–Mills model supplier. Use anti-Hermitian and ; let be its complex-bilinear extension and . Write for the supplied vector/connection normalization, so for its canonical Hermitian vector component . Every microscopic prepotential exponential, curvature/component dictionary and action coefficient below uses this same fixed dimensionless coupling. Fix theta angle zero. A bundle sector means its smooth equivariant isomorphism class over ; only the supplied sector is used.
The microscopic matter-hypermultiplet index set is empty. The vector multiplet comprises the connection, one complex adjoint scalar , and two adjoint left-Weyl fermions. In packaging it is a real adjoint vector superfield and an adjoint chiral superfield , not a matter hypermultiplet. Use the supplied superspace derivatives, chirality, ordered Berezin measures and vector-supergauge convention, including
Here is the represented matrix curvature, not the abstract Lie-algebra curvature used in the action. With Hermitian , let denote the canonically normalized component field-strength superfields, so . Define the abstract connection-normalized curvature by
In the fundamental representation, therefore gives , with the same ordered spinor product on both sides. This is a classical representation/component normalization, not a quantum field-rescaling or threshold-matching theorem.
Adopt the connection-normalized microscopic action
Here are the raw ordered mathematical integrals, and the physical action brackets and chiral components use Physical superspace action brackets and canonical chiral components. The Hermitian-conjugate operation applies only to the chiral F term; the D term is real. Equivalently, the fundamental matrix F integrand is , plus its Hermitian conjugate. Its bosonic gauge density is fixed to . There is no chiral superpotential, hypermultiplet, hypermultiplet mass, or FI parameter in this ultraviolet datum. The scalar is connection-normalized; its canonical version is . In the same local Berezin normalization the quadratic microscopic prepotential is , with positive imaginary Hessian . The prepotential has mass dimension two. The dimensions are , , , , , and .
Eight real rigid supercharges, their algebra and invariance of this adopted action are model premises, not a locally proved invariance theorem. Variations are smooth and compactly supported; actions are on relatively compact regions or where integrable. A small adjoint-mass perturbation and the Seiberg–Witten solution are separate subsequent inputs. In particular an emergent infrared monopole hypermultiplet is not microscopic matter added to this pure model. This postulate defines classical ultraviolet field/action data; it constructs no quantum measure, regulator limit, interacting continuum theory, or empirical verification.
Postulate references
Physical superspace action brackets and canonical chiral components
Seiberg and Witten, §§2.1–2.3.
Four-dimensional real extended super-Poincare algebra
Four-dimensional superspace Grassmann algebra and Berezin integration
Four-dimensional chiral superfield on flat superspace
Four-dimensional non-Abelian vector superfield in connection normalization
Depends on
Physical superspace action brackets and canonical chiral components
Four-dimensional real extended super-Poincare algebra
Four-dimensional superspace Grassmann algebra and Berezin integration
Four-dimensional chiral superfield on flat superspace
Four-dimensional non-Abelian vector superfield in connection normalization
Classical pure SU(2) Yang–Mills model