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.
Type Iia Romans Massive Supergravity Action
Source-reported two-derivative massive IIA bosonic action in the field-strength, component, and normalization basis of Bergshoeff et al. (1996), Eq. (2.13). No conversion to the Graña democratic RR basis, Hamilton massless convention, kappa_0, or alpha-prime normalization is asserted.
Postulate
Adopt the source-reported two-derivative ten-dimensional massive IIA bosonic action in the field and normalization basis of Bergshoeff et al., Eq. (2.13). It is formulated on an oriented smooth ten-dimensional manifold , or an oriented smooth coordinate patch in such a manifold, with a smooth Lorentzian metric of signature , a smooth real dilaton , and smooth real potentials , , and . Here is the string-frame metric variable used in Eq. (2.13); no other metric frame or frame conversion is part of this item. “Two-derivative” means that the displayed density has no term with more than two spacetime derivatives of the fields. The Romans parameter is constant. For coordinates , , use the source's form-component convention with summation over all ordered indices and no factor . For a -form , define , raising indices with ; this is a signed Lorentzian contraction and need not be nonnegative. In the displayed scalar curvature, use Set The source-basis string-frame Lagrangian density is where in , and is the alternating contravariant coordinate density normalized by in positively oriented coordinates, not a tensor raised with . In particular, the first topological term uses the explicit source contraction as in Eq. (2.4); the remaining top-form products use the same component and orientation conventions. No overall is inserted. No normalization or identification of with the in the separate Graña massive-RR convention is supplied. Fermions are set to zero. This is a source-reported low-energy action, not a derivation from string theory.
Use natural units, length-valued target coordinates, dimensionless metric, dilaton, and coordinate components of ; then have component dimension length, and each term in the local density has dimension length. Because the source prints no overall gravitational coupling, this statement does not assign a dimensionless normalization to the integrated action.
Postulate references
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.