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.
RNS GSO Projections
Algebraic NS/R projections for open chiral and closed sectors of the ten-dimensional flat RNS model, including the closed Type II/0 pairings; locality, modular invariance, anomaly cancellation, and interacting consistency are not proved.
Definition
Take the ten-dimensional flat target with and orientation . Fix Clifford generators on a complex target Dirac module with , and define the chirality involution by ; it squares to , and reversing the chosen target orientation reverses its sign. In a single chiral sector let count nonzero fermionic oscillator excitations modulo two, with the NS vacuum assigned ; Ramond zero modes are not counted in and act through the target Clifford module. Set For the Ramond sector choose an independent sign for each closed chirality ; for an open string use a single label for its doubled chiral sector and choose one sign . Set The chiral supersymmetric projection retains the eigenspace of or the selected . It removes the NS vacuum. On a Ramond ground state, , so the retained target chirality is the eigenspace with eigenvalue ; the projector equation gives the opposite ground-state chirality for odd . For closed Type IIB choose , so the retained Ramond chiralities agree; for Type IIA choose and , so they are opposite. Reversing both signs gives the primed presentation of the same relative Type II choice. For an open string, use the endpoint conditions and doubled single chiral sector defined in RNS Spin Structures and Sectors, and apply one such projection.
Write for the eigenspaces and for Ramond sectors whose ground state has . The Type 0A closed sector set is ; Type 0B is . Thus both retain the NS-NS vacuum, remove the mixed NS-R and R-NS sectors, and have no spacetime fermions. These are sector-space definitions; the torus spin-structure sum, modular invariance and locality of projected operator products are separate checks, not consequences of the notation .
Definition references
Remarks
The signs use the NS/R mode convention in RNS Spin Structures and Sectors. The common-spin sum in Free two-dimensional fermion CFT with spin sectors belongs to a different nonchiral theory and is not the Type II/0 projection defined here. No modular-invariance or operator-locality theorem is claimed.