Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge 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.

RNS GSO Projections

Physical scope

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 M=R1,9 with η=diag⁡(−,+,…,+) and orientation dx0∧⋯∧dx9. Fix Clifford generators Γμ on a complex target Dirac module with {Γμ,Γν}=2ημνI, and define the chirality involution by Γ11=Γ0Γ1⋯Γ9; it squares to I, and reversing the chosen target orientation reverses its sign. In a single chiral sector let F count nonzero fermionic oscillator excitations modulo two, with the NS vacuum assigned F=0; Ramond zero modes are not counted in F and act through the target Clifford module. Set GNS=(−1)F+1. For the Ramond sector choose an independent sign ϵχ∈{+1,−1} for each closed chirality χ∈{L,R}; for an open string use a single label χ=O for its doubled chiral sector and choose one sign ϵO. Set GR(χ)=ϵχΓ11(−1)Fχ. The chiral supersymmetric projection retains the +1 eigenspace of GNS or the selected GR(χ). It removes the NS vacuum. On a Ramond ground state, Fχ=0, so the retained target chirality is the Γ11 eigenspace with eigenvalue ϵχ; the projector equation gives the opposite ground-state chirality for odd Fχ. For closed Type IIB choose ϵL=ϵR=+1, so the retained Ramond chiralities agree; for Type IIA choose ϵL=+1 and ϵR=−1, 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 NS± for the GNS=±1 eigenspaces and R± for Ramond sectors whose ground state has Γ11=±1. The Type 0A closed sector set is (NS+,NS+),(NS−,NS−),(R+,R−),(R−,R+); Type 0B is (NS+,NS+),(NS−,NS−),(R+,R+),(R−,R−). 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 G.

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.

Depends on

Dependency tree · 2 levels

Sources