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
Notation for reporting the number of independent real four-dimensional Poincare supersymmetry generators; no existence claim is made.
Definition
Let with coordinates , Lorentzian metric , orientation , and time orientation . Its orthonormal frame transformations preserving both orientations form ; write for its connected double cover.
For this signature, let be the complex algebra generated by subject to . A complex Dirac module is a four-dimensional irreducible module for this algebra, with the induced action. Supply a -equivariant antilinear involution , meaning and . Define the real Majorana module . It has real dimension : for every , both and lie in and is the first plus times the second. A four-dimensional Majorana supersymmetry parameter is a vector in ; over its spacetime-dependent version is a section of the associated bundle for a supplied spin structure.
A four-dimensional supersymmetry count is the number of independent copies of in a specified parameter space as real -modules. Equivalently, for this specified direct-sum module. In this convention the theory is called -extended; in particular, real dimensions of such parameters correspond to . 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.
The symbol 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 under [A1].
If a stated parameter space has real dimension , then the defining equation gives .
Dividing by yields . 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.