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.
Supergravity Conventions And Normalizations
Declared unit, field, curvature, frame, gravitational-coupling, and spinor conventions for the supergravity items in the string-theory library. These are adopted conventions, not universal physical laws, existence claims, or consequences of mathematics.
Definition
Let a spacetime of dimension be a smooth -manifold equipped with an orientation and a smooth Lorentzian metric of signature . In a local coordinate chart , , is a symmetric nondegenerate covariant tensor and is its inverse. In ten dimensions, denotes the string-frame metric. The Levi-Civita connection is the unique torsion-free connection satisfying ; in coordinates its coefficients are . Fix the curvature convention
A smooth -form is an alternating covariant tensor of rank . Its squared norm in this convention is the signed Lorentzian contraction ; it need not be nonnegative. For a scalar , . For a local smooth two-form potential , set , with ; here is the exterior derivative, so wherever this potential is defined.
On an oriented Lorentzian manifold let be the metric volume form with the chosen orientation, and define the Hodge star by for forms of the same degree, where . In dimension and signature with one negative direction, this convention gives for each -form .
Use natural units , so energy has dimension length. Coordinates have length dimension and metric components are dimensionless. The exact upstream definition of has dimension length, and . For a constant reference or asymptotic dilaton , write for the dimensionless string coupling; this is the scalar called by the upstream coupling definition. It is distinct by tensor type from the string-frame metric . A varying dilaton is a real dimensionless scalar field and does not define a constant coupling by itself. Set
when the constant asymptotic dilaton has been absorbed into the physical ten-dimensional gravitational coupling. Thus and both have dimension length, but they are not the same convention. The string and Einstein metrics are related on the same ten-manifold by . In four dimensions define as Newton's constant, , and the reduced Planck mass by ; the Einstein–Hilbert term is then . Here and .
For spinor counts, let with , and let be the unital real associative algebra generated linearly by with . Write for the identity component of its determinant-one isometry group. Define as the subgroup of even products of vectors with whose conjugation action on lies in . Supply a time orientation and a spin structure: a principal -bundle with an equivariant double covering of the oriented, time-oriented orthonormal-frame bundle. No existence of such a lift is asserted. Fix the following ten-dimensional Clifford module, rather than an arbitrary multiple of it. On with its ordered tensor-product basis put
Set , for , and for . Clifford multiplication is the real-linear map , extended multiplicatively to the real algebra generated by . Its restriction to the spin group defines the representation used in the associated bundle . Define the antilinear map by , where conjugation is in the displayed basis. A Majorana spinor is a smooth section of the associated real subbundle with fiber . Set ; a Majorana–Weyl spinor of chirality is a smooth section with fiber . For eleven dimensions use the same and matrices , with a supplied sign , the corresponding spin-group restriction and associated-bundle construction.
These formulas give , , and . Indeed, the ten matrices square to and pairwise anticommute; the are real and the imaginary. The product is real, squares to , commutes with all , and anticommutes with , which proves the claims about . Every decomposes uniquely as with by , , so . Also and anticommutes with each of the first ten matrices. Since is invertible and preserves , it exchanges the two real chirality spaces, each therefore of dimension . The eleven-dimensional extension has volume product and real fiber dimension .
The 11D Cremmer–Julia–Scherk (CJS) convention uses one such Majorana parameter; type IIA uses two ten-dimensional Majorana–Weyl parameters of opposite chirality, type IIB two of the same chirality, and ten-dimensional heterotic/type-I one. Here counts independent copies of these parameter bundles. These are fiber component counts, not dimensions of spaces of sections or of solution spaces. The displayed signs, normalizations and parameter bundles are adopted conventions for the named low-energy frameworks. No claim of physical validity is inferred.
Definition references
Remarks
This item uses only the upstream definitions , , and from the two named suppliers. It does not use the topology-weight conclusion or its Axiom-of-Choice proof as a physical premise. The notation and separates the metric and scalar that several sources both denote by .
Depends on
Dependency tree · 2 levels
Sources
- M. J. D. Hamilton, The field and Killing spinor equations of M-theory and type IIA/IIB supergravity in coordinate-free notation, arXiv:1607.00327v3
- Chih-Kai Chang, Christian Ferko, and Savdeep Sethi, Holography and Irrelevant Operators, Phys. Rev. D 107, 126021 (2023)
- Washington Taylor, TASI Lectures on Supergravity and String Vacua in Various Dimensions, arXiv:1104.2051v2
- Colin Sterckx, Modave Lecture notes: Introduction to Exceptional Field Theory, arXiv:2410.19600v1
- David Tong, General Relativity, University of Cambridge Part III lecture notes