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 multiplet counting conventions
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 on-shell framework, fix a four-dimensional Minkowski vacuum preserving all eight real supercharges and a linearized sector consisting of one massless gravity multiplet, massless vector multiplets, and massless hypermultiplets. Here a Minkowski vacuum means a solution of the adopted field equations on with metric , 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 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 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 matter-coupled framework, with the specified unbroken Minkowski vacuum and one massless gravity multiplet, massless vector multiplets, and massless hypermultiplets in its linearized sector. This is a supplied physical framework, not a theorem that any compactification realizes it.
The current carrier Four-Dimensional Matter-Coupled Supergravity states: “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 .” 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.
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 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
Given: The adopted four-dimensional framework, the specified unbroken Minkowski vacuum and massless-sector decomposition, and the stated on-shell component-counting convention.
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 and real scalar components, respectively. Here 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.
By [A1], the gravity multiplet contributes one graviphoton. Together with the massless vector representations stipulated in [A1], this gives massless vector fields in the selected linearized sector when the gravity multiplet is included, while the reported vector-multiplet number remains .