Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 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.

Four-dimensional supersymmetry counting convention

Physical scope

Notation for reporting the number of independent real four-dimensional Poincare supersymmetry generators; no existence claim is made.

Definition

Let M4=R4 with coordinates x0,x1,x2,x3, Lorentzian metric η=−(dx0)2+∑j=13(dxj)2, orientation dx0∧dx1∧dx2∧dx3, and time orientation ∂x0. Its orthonormal frame transformations preserving both orientations form SO+(1,3); write Spin⁡+(1,3) for its connected double cover.

For this signature, let Cl⁡1,3C be the complex algebra generated by γ0,…,γ3 subject to γμγν+γνγμ=2ημνI. A complex Dirac module S4C is a four-dimensional irreducible module for this algebra, with the induced Spin⁡+(1,3) action. Supply a Spin⁡+(1,3)-equivariant antilinear involution J:S4C→S4C, meaning J(λs)=λ‾J(s) and J2=I. Define the real Majorana module S4M:={s∈S4C:J(s)=s}. It has real dimension 4: for every s∈S4C, both (s+J(s))/2 and (s−J(s))/(2i) lie in S4M and s is the first plus i times the second. A four-dimensional Majorana supersymmetry parameter is a vector in S4M; over M4 its spacetime-dependent version is a section of the associated bundle for a supplied spin structure.

A four-dimensional supersymmetry count N∈Z≥0 is the number of independent copies of S4M in a specified parameter space Q≅(S4M)⊕N as real Spin⁡+(1,3)-modules. Equivalently, dim⁡RQ=4N for this specified direct-sum module. In this convention the theory is called N-extended; in particular, 32 real dimensions of such parameters correspond to N=8. This is a naming convention for a stated supersymmetry-parameter space; it does not assert that such a space exists in a given compactification.

Facts & Assumptions

Given: The counting convention in the Definition.

[A1]

The symbol N counts copies of the supplied real four-dimensional Majorana module by definition; the convention makes no dynamical or existence assertion.

Proof

Given: The real dimension of a four-dimensional supersymmetry-parameter space is 4N under [A1].

1.1A1givenalgebra

If a stated parameter space has real dimension 32, then the defining equation gives 4N=32.

2.1A1step 1.1algebra∎

Dividing by 4 yields N=8. This verifies the numerical translation used on the examples page.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources