Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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 Gauged Scalar Potential

Physical scope

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 N=2 framework with special-Kähler coordinates zi, hypermultiplet coordinates qu, metrics gijˉ and huv, Killing vectors kΛi and kΛu, moment maps PΛx, covariantly holomorphic section LΛ, fiΛ=DiLΛ, and UΛΣ=gijˉfiΛfˉjˉΣ, the source convention MP=1 gives V=g2[(gijˉkΛikΣj‾+4huvkΛukΣv)LΛ‾LΣ+(UΛΣ−3LΛ‾LΣ)PΛxPΣx]. The statement is restricted to the source's matter content and electric gauging; it is not a general N=2 or dyonic-gauging formula.

Facts & Assumptions

Given: The electric-frame N=2 postulate and scalar data of Four-Dimensional N=2 Matter-Coupled Supergravity and Four-Dimensional N=2 Electric-Frame Scalar Data, with MP=1, gauge coupling g, positive scalar metrics, and admissible moment maps.

[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]

N=2 Fermion-Shift Ward Contraction proves that the source-normalized N=2 shift contraction is a pure singlet with its potential equal to the electric specialization of V.

[F2]

Four-Dimensional N=2 Electric-Frame Scalar Data defines UΛΣ=gijˉfiΛfˉjˉΣ, fiΛ=DiLΛ, and the electric index range Λ=0,…,nV.

[F3]

Four-Dimensional N=2 Matter-Coupled Supergravity fixes the transformation normalization g and the convention MP=1.

Proof

1.1givenF1F3algebra

The local Ward contraction in [F1] equals V before the gauge-coupling factor is restored. The adopted supersymmetry transformations in [F3] multiply every shift by the same g, so each quadratic shift term in the Ward identity, and hence the scalar potential, acquires a common factor g2.

2.1givenA1F1F2F3step 1.1algebra∎

In the electric polarization of [F2], the magnetic components of the embedding tensor, and hence the magnetic gauging components, vanish; the section VM=(LΛ,MΛ) 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 LΛ occur. The contraction of UMN against the electric moment maps selects its electric block UΛΣ. Substitute UΛΣ=gijˉfiΛfˉjˉΣ and relabel the dummy electric indices to obtain exactly the Statement. The 4huvkΛukΣv factor is the hyperino contraction, UΛΣPΛxPΣx is the gaugino contribution, and −3LΛ‾LΣPΛxPΣx 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.

Depends on

Dependency tree · 2 levels

Sources