Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)‡ sources checked 2026-11-04
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.

Four-Dimensional N=2 Matter-Coupled Supergravity

Physical scope

Adopted local on-shell two-derivative four-dimensional N=2 matter-coupled supergravity in one regular electric frame; excludes tensor multiplets, dyonic embedding-tensor gaugings, higher derivatives, and any claim that a compactification realizes the chosen scalar geometry.

Postulate

Adopt the two-derivative four-dimensional N=2 component framework with one gravity multiplet, nV vector multiplets whose scalar manifold is special Kähler, and nH hypermultiplets whose scalar manifold is quaternionic-Kähler; fix a selected electric frame and the local symplectic section LΛ and its covariant derivatives fiΛ. A gauging is specified by Killing vectors on both scalar factors and the corresponding moment maps; the action is the on-shell matter-coupled supergravity action in the source convention. This item does not cover tensor multiplets, dyonic embedding-tensor gaugings, or a universal off-shell action.

Use the source normalization MP=1 and denote the gauge coupling by g. In the electric frame, LΛ, kΛi,kΛu, and PΛx denote the electric section components, scalar Killing fields, and quaternionic triplet moment maps of the local scalar-data convention above. The adopted gauging-dependent fermion shifts are SAB=i2(σx)ACϵBCPΛxLΛ, WiAB=ϵABkΛiLΛ‾−i(σx)CBϵCAPΛxgijˉfˉjˉΛ,NαA=2UAuαkΛuLΛ‾. Here A,B=1,2 are SU(2) indices, α is a hyperino-frame index, ϵAB is the antisymmetric SU(2) invariant tensor with ϵ12=+1, and σx are the Pauli matrices. The lowered hyperino frame is UAuα=CαβUuAβ with conjugate U‾αvB=(UBvα)∗, using the scalar-data reality convention. The source raises and lowers SU(2) indices by vA=ϵABvB and vA=ϵBAvB, with ϵ12=ϵ12=+1; its hyperino symplectic indices obey vα=Cαβvβ and vα=Cβαvβ, with Cαβ numerically the same canonical antisymmetric matrix as Cαβ. These are the index-order rules of source equation (2.27), footnote 3. Transformations contain gS,gW,gN. These are adopted source component conventions, not consequences of scalar geometry alone.

Facts & Assumptions

Given: The local regular electric-frame scalar and gauging data of Four-Dimensional N=2 Electric-Frame Scalar Data, in four-dimensional Lorentzian Einstein frame, with the source normalization MP=1, two derivatives, and the stated N=2 multiplet content.

[A1]

Supergravity Conventions And Normalizations fixes four-dimensional Lorentzian Einstein frame, κ42=8πGN=MP−2, and the Einstein–Hilbert coefficient MP2/2. This item uses the source convention MP=1.

[F1]

Four-Dimensional N=2 Electric-Frame Scalar Data defines LΛ, fiΛ, UΛΣ, the real triplet moment maps, the electric polarization, and the λ=−1 quaternionic equivariance convention.

[A2]

The displayed on-shell field content, shifts, kinetic normalizations, and local supersymmetry framework are adopted from the cited N=2 construction. No compactification, dyonic extension, tensor-multiplet completion, or universal off-shell action is inferred.

Remarks

The printed N=2 gaugino shift in hep-th/9605032v1, equation (8.23), has a relative-sign typo. The shift above uses the corrected sign stated in arXiv:1508.01474v2, §2, equations (2.31)–(2.32); the scalar-potential normalization is independently checked against hep-th/9605032v1, equation (9.49). The resulting local claim remains in the electric frame and MP=1 source convention.

The convention input is Supergravity Conventions And Normalizations at the exact four-dimensional Einstein-frame and Planck normalization used above. The result remains conditional on its adopted supergravity framework.

Depends on

Dependency tree · 2 levels

Sources