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.
M2 Worldvolume Clifford Projector
Pure linear algebra for an oriented Lorentzian three-plane in a real 11-dimensional quadratic space and a 32-dimensional real Clifford module; no physical equations or empirical claim.
Statement
Let be an 11-dimensional real vector space with nondegenerate bilinear form of signature , let be an oriented Lorentzian three-plane, and let be a 32-dimensional real vector space with a unital -algebra representation of the plus- Clifford algebra. For an oriented basis of , write , , , , and . Let be the oriented alternating symbol and define
Then , commutes with every , and
Moreover , so are complementary projections of rank .
Statement references
Facts & Assumptions
Given: , the oriented Lorentzian three-plane , an oriented basis, and a real 32-dimensional representation with the plus- Clifford convention.
The Clifford algebra is the quotient algebra generated by vectors with (Universal Clifford algebra of a quadratic space).
Polarization gives (Polarized relations in a Clifford algebra).
The chosen representation maps the unit to , and .
Proof
Choose an oriented -orthonormal basis of with and . By [F1] and [F2], the associated matrices satisfy , , and distinct matrices anticommute. The normalized oriented volume element is in this basis. Reordering the six factors requires three transpositions and contributes , while the three squares multiply to ; hence . Moving any one tangent generator past the other two contributes , so commutes with each .
In the same orthonormal basis, . For , because . For , the left side is , and . For , the left side is , and . Thus the displayed identity holds in this basis. Both sides transform as vector densities under oriented changes of worldvolume coordinates, so the identity holds for every oriented basis; its coordinate-independent content uses the induced volume density.
The orthogonal complement is positive definite of dimension eight, so choose a unit vector . By [F1], , hence . By [F2], anticommutes with each of the three tangent generators and therefore with their product . Thus conjugation by sends to . Trace is invariant under conjugation, so , and the real trace is zero.
[step 1.1] gives , so direct multiplication yields , , and . The eigenspace decomposition of an idempotent gives , using [A1] and step 2.2. Thus the projections are complementary and each has rank .