Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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

Physical scope

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 (V,η) be an 11-dimensional real vector space with nondegenerate bilinear form of signature (−,+,…,+), let W⊂V be an oriented Lorentzian three-plane, and let S be a 32-dimensional real vector space with a unital R-algebra representation ρ:Cl+(V,η)→EndR(S) of the plus-η Clifford algebra. For an oriented basis u0,u1,u2 of W, write γi=ρ(uˉi), gij=η(ui,uj), γij=12[γi,γj], γijk=γ[iγjγk], and γi=gijγj. Let ε012=+1 be the oriented alternating symbol and define

ΓW=εijkγijk3!−det⁡g.

Then ΓW2=I, ΓW commutes with every γi, and

εijkγjk=2−det⁡g γiΓW.

Moreover tr⁡SΓW=0, so P±=(I±ΓW)/2 are complementary projections of rank 16.

Facts & Assumptions

Given: (V,η), the oriented Lorentzian three-plane W, an oriented basis, and a real 32-dimensional representation S with the plus-η Clifford convention.

[F1]

The Clifford algebra is the quotient algebra generated by vectors with vˉ2=η(v,v)1 (Universal Clifford algebra of a quadratic space).

[F2]

Polarization gives vˉwˉ+wˉvˉ=2η(v,w)1 (Polarized relations in a Clifford algebra).

[A1]

The chosen representation maps the unit to IS, and dim⁡RS=32.

Proof

technique · direct
1.1givenF1F2algebra

Choose an oriented η-orthonormal basis (e0,e1,e2) of W with η(e0,e0)=−1 and η(e1,e1)=η(e2,e2)=1. By [F1] and [F2], the associated matrices satisfy γ02=−I, γ12=γ22=I, and distinct matrices anticommute. The normalized oriented volume element is ΓW=γ0γ1γ2 in this basis. Reordering the six factors requires three transpositions and contributes −1, while the three squares multiply to −I; hence ΓW2=I. Moving any one tangent generator past the other two contributes (−1)2=+1, so ΓW commutes with each γi.

2.1givenF1F2step 1.1algebra

In the same orthonormal basis, −det⁡g=1. For i=0, ε0jkγjk=2γ1γ2=2γ0ΓW because γ0=−γ0. For i=1, the left side is −2γ0γ2, and γ1ΓW=γ1γ0γ1γ2=−γ0γ2. For i=2, the left side is 2γ0γ1, and γ2ΓW=γ2γ0γ1γ2=γ0γ1. 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.

2.2givenF1F2step 1.1algebra

The orthogonal complement W⊥ is positive definite of dimension eight, so choose a unit vector n∈W⊥. By [F1], ρ(nˉ)2=I, hence ρ(nˉ)−1=ρ(nˉ). By [F2], ρ(nˉ) anticommutes with each of the three tangent generators and therefore with their product ΓW. Thus conjugation by ρ(nˉ) sends ΓW to −ΓW. Trace is invariant under conjugation, so tr⁡ΓW=−tr⁡ΓW, and the real trace is zero.

3.1givenA1step 1.1step 2.2algebra∎

[step 1.1] gives ΓW2=I, so direct multiplication yields P±2=P±, P+P−=0, and P++P−=I. The eigenspace decomposition of an idempotent gives rank⁡P±=tr⁡P±=(32±0)/2=16, using [A1] and step 2.2. Thus the projections are complementary and each has rank 16.

Depends on

Dependency tree · 2 levels

Sources