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 Gauged Scalar Potential
Conditional two-derivative N=2 electric-frame scalar potential in the source convention M_P=1, for the stated vector and hypermultiplet matter content and admissible gauging; excludes dyonic, tensor-multiplet, higher-derivative, and compactification claims.
Statement
In the electric-frame framework with special-Kähler coordinates , hypermultiplet coordinates , metrics and , Killing vectors and , moment maps , covariantly holomorphic section , , and , the source convention gives The statement is restricted to the source's matter content and electric gauging; it is not a general or dyonic-gauging formula.
Statement references
Facts & Assumptions
Given: The electric-frame postulate and scalar data of Four-Dimensional Matter-Coupled Supergravity and Four-Dimensional Electric-Frame Scalar Data, with , gauge coupling , positive scalar metrics, and admissible moment maps.
Supergravity Conventions And Normalizations fixes four-dimensional Lorentzian Einstein frame, , and the Einstein–Hilbert coefficient . This item uses the source convention .
Fermion-Shift Ward Contraction proves that the source-normalized shift contraction is a pure singlet with its potential equal to the electric specialization of .
Four-Dimensional Electric-Frame Scalar Data defines , , and the electric index range .
Four-Dimensional Matter-Coupled Supergravity fixes the transformation normalization and the convention .
Proof
The local Ward contraction in [F1] equals before the gauge-coupling factor is restored. The adopted supersymmetry transformations in [F3] multiply every shift by the same , so each quadratic shift term in the Ward identity, and hence the scalar potential, acquires a common factor .
In the electric polarization of [F2], the magnetic components of the embedding tensor, and hence the magnetic gauging components, vanish; the section still has both electric and magnetic components. Each section factor in the potential of [F1] is contracted against gauging data in its symplectic slot, so only its electric components occur. The contraction of against the electric moment maps selects its electric block . Substitute and relabel the dummy electric indices to obtain exactly the Statement. The factor is the hyperino contraction, is the gaugino contribution, and is the gravitino contribution already separated in [F1].
Unresolved supplier
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.