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 Matter-Coupled Supergravity
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 component framework with one gravity multiplet, vector multiplets whose scalar manifold is special Kähler, and hypermultiplets whose scalar manifold is quaternionic-Kähler; fix a selected electric frame and the local symplectic section and its covariant derivatives . 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 and denote the gauge coupling by . In the electric frame, , , and 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 Here are indices, is a hyperino-frame index, is the antisymmetric invariant tensor with , and are the Pauli matrices. The lowered hyperino frame is with conjugate , using the scalar-data reality convention. The source raises and lowers indices by and , with ; its hyperino symplectic indices obey and , with numerically the same canonical antisymmetric matrix as . These are the index-order rules of source equation (2.27), footnote 3. Transformations contain . These are adopted source component conventions, not consequences of scalar geometry alone.
Postulate references
Facts & Assumptions
Given: The local regular electric-frame scalar and gauging data of Four-Dimensional Electric-Frame Scalar Data, in four-dimensional Lorentzian Einstein frame, with the source normalization , two derivatives, and the stated multiplet content.
Supergravity Conventions And Normalizations fixes four-dimensional Lorentzian Einstein frame, , and the Einstein–Hilbert coefficient . This item uses the source convention .
Four-Dimensional Electric-Frame Scalar Data defines , , , the real triplet moment maps, the electric polarization, and the quaternionic equivariance convention.
The displayed on-shell field content, shifts, kinetic normalizations, and local supersymmetry framework are adopted from the cited construction. No compactification, dyonic extension, tensor-multiplet completion, or universal off-shell action is inferred.
Remarks
The printed 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 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
- L. Andrianopoli et al., N=2 Supergravity and N=2 Super Yang-Mills Theory on General Scalar Manifolds: Symplectic Covariance, Gaugings and the Momentum Map
- L. Andrianopoli et al., General Matter Coupled N=2 Supergravity
- L. Andrianopoli et al., Observations on BI from N=2 SUGRA and the General Ward Identity