Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-05 (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.

Massless four-dimensional N=2 multiplet counting conventions

Physical scope

On-shell massless multiplet bookkeeping for the two-derivative four-dimensional N=2 framework adopted in this pair. It counts degrees of freedom and makes no claim about a specific compactification.

Definition

For the adopted two-derivative four-dimensional N=2 on-shell framework, fix a four-dimensional Minkowski vacuum preserving all eight real supercharges and a linearized sector consisting of one massless gravity multiplet, nV massless vector multiplets, and nH massless hypermultiplets. Here a Minkowski vacuum means a solution of the adopted field equations on R4 with metric η=diag⁡(−1,1,1,1), constant scalars, and zero gauge field strengths and fermion fields; preservation of all eight supercharges means that every constant supersymmetry parameter in the adopted eight-real-dimensional parameter space gives zero fermion variations on this background. The linearized sector consists of the stipulated massless multiplet solutions of the field equations to first order about this vacuum. Here nV,nH are nonnegative integers counting these massless representations about this vacuum, after any mass generation; they need not equal the matter-field counts of a gauged action before expansion about the vacuum. Count each vector multiplet as one massless vector and one complex scalar (two real scalar coordinates), each hypermultiplet as four real scalar coordinates, and the gravity multiplet as containing one graviphoton. The graviphoton belongs to the gravity multiplet and is excluded from the number nV of vector multiplets. These are the component-counting conventions used in the conditional reductions on this A page.

Facts & Assumptions

Given: The adopted two-derivative four-dimensional N=2 matter-coupled framework, with the specified unbroken Minkowski vacuum and one massless gravity multiplet, nV massless vector multiplets, and nH massless hypermultiplets in its linearized sector. This is a supplied physical framework, not a theorem that any compactification realizes it.

[F1]

The current carrier Four-Dimensional N=2 Matter-Coupled Supergravity states: “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Λ.” Its current Step 1 record is escalated; the recorded reason cites an absent conventions carrier although the live conventions carrier is now present and ready. The exact component framework is used conditionally, and the escalation is not overwritten.

[A1]

Assume the unbroken Minkowski vacuum and massless-sector decomposition specified in the Definition; the gauging permitted by [F1] alone does not establish them. Use the standard massless N=2 component convention: a vector multiplet has one vector and a complex scalar, a hypermultiplet has four real scalar coordinates, and the gravity multiplet has one graviphoton.

Proof

technique · direct dimension bookkeeping

Given: The adopted four-dimensional N=2 framework, the specified unbroken Minkowski vacuum and massless-sector decomposition, and the stated on-shell component-counting convention.

1.1A1givenalgebra

By [A1], each stipulated massless vector multiplet contributes one complex scalar, hence two real scalar components, and each stipulated massless hypermultiplet contributes four real scalar components. Taking the direct sum over these multiplets gives 2nV and 4nH real scalar components, respectively. Here nV,nH are the massless-representation counts of the Definition, not the action-field counts denoted by the same symbols in [F1]. This is linearized component bookkeeping; it neither identifies this sector with the full ambient scalar manifold of the action nor asserts that its massless scalar fluctuations integrate to nonlinear flat directions or a moduli space.

2.1A1givenstep 1.1∎

By [A1], the gravity multiplet contributes one graviphoton. Together with the nV massless vector representations stipulated in [A1], this gives nV+1 massless vector fields in the selected linearized sector when the gravity multiplet is included, while the reported vector-multiplet number remains nV.

Depends on

Dependency tree · 2 levels

Sources