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

Physical scope

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 U⊆M be a nonempty open set, with M an eleven-manifold carrying the spin structure and 32-real-dimensional Majorana bundle S defined in Eleven-Dimensional Spin Structure and Majorana Bundle. Let (g,F4) be a smooth source-free bosonic CJS solution on U, meaning the equations in Source-Free Eleven-Dimensional CJS Bosonic Field Equations hold there. Put η=diag⁡(−1,1,…,1). Let (E0,…,E10) be the standard basis of V=R11 and iη:V→Cl(V,η) its canonical Clifford generator map. In a local spin frame above an oriented, time-oriented η-orthonormal frame e:V→TM, write eA=e(EA) and set ΓA:=ρ(iη(EA)) and ΓA:=ηABΓB, acting on the local spinor components as in the spin-bundle definition. The CJS representation choice is

Γ0Γ1⋯Γ10=+IΔ.

For each p-form ω and spinor section s, define ΓA1⋯Ap:=1p!∑σ∈Spsgn⁡(σ)ΓAσ(1)⋯ΓAσ(p) and ω⋅s:=1p!ωA1⋯ApΓA1⋯Aps, where Sp is the permutation group of {1,…,p}. These products are normalized antisymmetrizations, matching Hamilton's §3.1 convention; they obey {ΓA,ΓB}=2ηABI. Set X♭=g(X,⋅) and let ιXF4 denote contraction in the first argument. Call (g,F4) supersymmetric on U exactly when there exists a smooth Majorana spinor ϵ∈Γ(S∣U), not identically zero, whose spin covariant derivative ∇S induced from the Levi-Civita connection satisfies, for every smooth vector field X on U,

∇XSϵ+112(X♭∧F4−2 ιXF4)⋅ϵ=0.

The anticommutator alone does not fix the volume-element sign; because the flux terms use odd-degree 3- and 5-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 U, the specified spin structure and Majorana bundle, and Hamilton's gamma-matrix convention.

[A1]

Supergravity Conventions And Normalizations declares Lorentzian signature (−+⋯+), {ΓA,ΓB}=2ηABI, and one 32-real-component Majorana supersymmetry parameter in 11D CJS. Its current Step 1 record is ready at hash 41d207e61dbef5573f48b5cf2e70c2c19a136ec755a3c8047c832905c0b550. It does not fix the eleven-dimensional volume-element sign; this item adds the source-reported choice below.

[F5]

Hamilton, §3.6, chooses Γ0Γ1⋯Γ10=+I; Gauntlett–Pakis, Appendix A, equations (A.1)–(A.3), states the same product convention with ϵ012345678910=+1.

[F1]

Eleven-Dimensional Spin Structure and Majorana Bundle defines the supplied real rank-32 Majorana bundle and Majorana sections.

[F2]

Eleven-Dimensional Spin Structure and Majorana Bundle supplies the compatible spin connection induced on the associated real bundle.

[F3]

Eleven-Dimensional Spin Structure and Majorana Bundle defines the frame-independent Clifford action with {ΓA,ΓB}=2ηABI.

[F4]

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

technique · verify the equation is a well-defined local spinor equation
1.1F1F2F3F4algebra

For each smooth vector field X, ∇XSϵ is a smooth section of S∣U by [F1] and [F2]. The form X♭∧F4 has degree 5, and ιXF4 has degree 3; both act on S by the Clifford multiplication of [F3], so their indicated linear combination is also a smooth section of S∣U.

2.1F2F3step 1.1algebra

Each term is C∞(U)-linear in X: the spin connection is linear in its direction argument by [F2], X↦X♭ is linear, and contraction X↦ιXF4 is linear. Clifford multiplication is frame-independent by [F3], so vanishing for all X is a well-defined tensorial condition, independent of the chosen local spin frame.

3.1A1F1F4F5∎

The item defines “supersymmetric on U” 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 1/(12⋅4!)=1/288; the contraction term has coefficient −2/(12⋅3!)=−1/36=−8/288, matching [Γμν1⋯ν4−8δμν1Γν2ν3ν4]/288. This is a convention cross-check, not a proof that a nonzero solution exists.

Depends on

Dependency tree · 2 levels

Sources