Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicableprecheck pass
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 N=2 SU(2) ultraviolet vector-multiplet datum

Physical scope

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 N=2 pure Yang–Mills model on oriented and time-oriented M=R1,3, η=diag⁡(−1,1,1,1), with increasing x0 time orientation and natural units c=ℏ=1. The global group is SU(2), with one supplied smooth right principal bundle P→M and smooth equivariant local trivializations. The connection and its curvature are A and FA=dA+12[A∧A], in the right-action convention of the Yang–Mills model supplier. Use anti-Hermitian Ta=−iσa/2 and κ(X,Y)=−2tr⁡2(XY); let κC be its complex-bilinear extension and κH(Xˉ,Y)=κC(Xˉ,Y). Write g=gYM>0 for the supplied vector/connection normalization, so Aμ=−igBμ for its canonical Hermitian vector component Bμ. Every microscopic prepotential exponential, curvature/component dictionary and 1/g2 action coefficient below uses this same fixed dimensionless coupling. Fix theta angle zero. A bundle sector means its smooth equivariant isomorphism class over M; 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 N=1 packaging it is a real adjoint vector superfield V and an adjoint chiral superfield Φ, not a matter hypermultiplet. Use the supplied superspace derivatives, chirality, ordered Berezin measures and vector-supergauge convention, including

Cα,R=−14Dˉ2(e−2gVRDαe2gVR),[X]D=−14ID(X),[Y]F=12IF(Y).

Here Cα,R is the represented matrix curvature, not the abstract Lie-algebra curvature used in the action. With Hermitian ta,R=iρR∗(Ta), let Wcan,αa denote the canonically normalized component field-strength superfields, so Cα,R=2g ta,RWcan,αa. Define the abstract connection-normalized curvature by

Wconn,α=gTaWcan,αa,ρR∗(Wconn,α)=Cα,R2i.

In the fundamental representation, κC=−2tr⁡2 therefore gives κC(Wconnα,Wconn,α)=12tr⁡2(CαCα), 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

Spure=∫Md4x{1g2[κH(Φˉ,e2gVadΦ)]D+([14g2κC(Wconnα,Wconn,α)]F+h.c.)}.

Here ID,IF 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 tr⁡2(CαCα)/(8g2), plus its Hermitian conjugate. Its bosonic gauge density is fixed to −κ(FA∧∗ηFA)/(2g2). There is no chiral superpotential, hypermultiplet, hypermultiplet mass, or FI parameter in this ultraviolet datum. The scalar is connection-normalized; its canonical version is ϕcan=ϕ/g. In the same local Berezin normalization the quadratic microscopic prepotential is FUV(Φ)=iκC(Φ,Φ)/(2g2), with positive imaginary Hessian κ/g2. The prepotential has mass dimension two. The dimensions are [x]=−1, [θ]=−1/2, [A]=[ϕ]=1, [FA]=2, [Wconn]=[C]=3/2, and [g]=0.

Eight real rigid supercharges, their N=2 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 N=1 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.

Depends on

Dependency tree · 2 levels

Sources