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.
Supersymmetric Background in Eleven-Dimensional CJS Supergravity
Definition of the source-free classical CJS Killing-spinor condition on an open set, with Hamilton's Clifford convention. It makes no spinor-existence, global-extension, uniqueness, classification, or quantum claim.
Statement
Use the following source-reported CJS convention. Let be a nonempty open set, with an eleven-manifold carrying the spin structure and 32-real-dimensional Majorana bundle defined in Eleven-Dimensional Spin Structure and Majorana Bundle. Let be a smooth source-free bosonic CJS solution on , meaning the equations in Source-Free Eleven-Dimensional CJS Bosonic Field Equations hold there. Put . Let be the standard basis of and its canonical Clifford generator map. In a local spin frame above an oriented, time-oriented -orthonormal frame , write and set and , acting on the local spinor components as in the spin-bundle definition. The CJS representation choice is
For each -form and spinor section , define and , where is the permutation group of . These products are normalized antisymmetrizations, matching Hamilton's §3.1 convention; they obey . Set and let denote contraction in the first argument. Call supersymmetric on exactly when there exists a smooth Majorana spinor , not identically zero, whose spin covariant derivative induced from the Levi-Civita connection satisfies, for every smooth vector field on ,
The anticommutator alone does not fix the volume-element sign; because the flux terms use odd-degree - and -form products, the representation choice is part of this displayed Killing-spinor convention. This defines the classical Killing-spinor condition only. It claims no existence, uniqueness, global extension, or classification of solutions and no quantum or brane-source statement.
Statement references
Hamilton, §§3.1, 3.6, and §5.2, Theorem 5.7; Gauntlett–Pakis, §2, equation (2.3), and Appendix A.
Facts & Assumptions
Given: A source-free bosonic solution on the open set , the specified spin structure and Majorana bundle, and Hamilton's gamma-matrix convention.
Supergravity Conventions And Normalizations declares Lorentzian signature , , and one 32-real-component Majorana supersymmetry parameter in 11D CJS. Its current Step 1 record is ready at hash . It does not fix the eleven-dimensional volume-element sign; this item adds the source-reported choice below.
Hamilton, §3.6, chooses ; Gauntlett–Pakis, Appendix A, equations (A.1)–(A.3), states the same product convention with .
Eleven-Dimensional Spin Structure and Majorana Bundle defines the supplied real rank- Majorana bundle and Majorana sections.
Eleven-Dimensional Spin Structure and Majorana Bundle supplies the compatible spin connection induced on the associated real bundle.
Eleven-Dimensional Spin Structure and Majorana Bundle defines the frame-independent Clifford action with .
Eleven-Dimensional CJS Supergravity Bosonic Action adopts the source-free two-derivative bosonic CJS truncation, and Source-Free Eleven-Dimensional CJS Bosonic Field Equations gives its conditional classical field equations.
Proof
For each smooth vector field , is a smooth section of by [F1] and [F2]. The form has degree , and has degree ; both act on by the Clifford multiplication of [F3], so their indicated linear combination is also a smooth section of .
Each term is -linear in : the spin connection is linear in its direction argument by [F2], is linear, and contraction is linear. Clifford multiplication is frame-independent by [F3], so vanishing for all is a well-defined tensorial condition, independent of the chosen local spin frame.
The item defines “supersymmetric on ” to mean precisely that such a non-identically-zero section exists. The definition fixes the source-reported condition, including its selected Clifford-volume sign, but proves no existence, uniqueness, global extension, or classification statement.
Remarks
Hamilton's form equation and Gauntlett–Pakis's component equation agree in this convention: the first term has coefficient ; the contraction term has coefficient , matching . This is a convention cross-check, not a proof that a nonzero solution exists.
Depends on
Supergravity Conventions And Normalizations
Eleven-Dimensional CJS Supergravity Bosonic Action
Source-Free Eleven-Dimensional CJS Bosonic Field Equations
Eleven-Dimensional Oriented Lorentzian Geometry
Levi-Civita Connection on an Eleven-Dimensional Lorentzian Manifold
Eleven-Dimensional Spin Structure and Majorana Bundle