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.
Heterotic String Worldsheet Construction
Definition of the flat ten-dimensional heterotic left-moving RNS and right-moving bosonic lattice sectors for a specified rank-16 lattice. Modular invariance of the full heterotic GSO sum and the current-algebra/global-group derivation are not claimed locally.
Definition
Fix a positive-definite even self-dual rank-16 lattice , with a lattice basis, in the preceding lattice and chiral-boson conventions. Work with closed oriented strings in the flat target , with metric , orientation , and units , . The ten-dimensional heterotic worldsheet construction pairs the left chiral part of the adopted free RNS model with a right bosonic sector of ten noncompact target coordinates and the internal chiral lattice state space . The two noncompact chiral parts carry the same target momentum. Internal momenta are dimensionless lattice labels, with weight ; all oscillator state spaces here are algebraic, with finite excitations.
Choose the following left spin sectors and GSO projection, in the RNS spin-sector and GSO conventions. On the cylinder include both NS fermions, with and half-integer modes, and R fermions, with periodicity and integer modes. Their fermion Fock spaces are the exterior algebras of negative modes over the NS vacuum or a single complex irreducible ten-dimensional target Clifford module in R, as specified by the spin-sector definition. Let count nonzero fermionic oscillator excitations modulo two, with NS vacuum parity zero. On the Ramond ground module fix and . Retain precisely the images of Thus the left sector is , with in the GSO definition: the NS vacuum is removed and the retained Ramond ground states have . Pair each retained left sector with the same right bosonic lattice sector. There is no right RNS spin sector or right RNS GSO sign. These specify sector data before physical-state constraints; they do not define a full spin-structure measure or prove modular invariance. The matter central charges are and , before ghost contributions.
The inputs and give the familiar source-reported connected gauge-group choices and , respectively. To fix the global-form notation, form the real Clifford algebra generated by an oriented orthonormal basis with . Its subgroup of products of an even number of unit vectors is . Put and define . This is the semispin quotient denoted here; the quotient by instead gives . The source-reported lattice-to-group association uses the half-spin convention in which labels the half-spin representation on which acts as . No derivation of the current algebra or global gauge group, exhaustive classification of heterotic constructions, or empirical assertion is included.
Definition references
Timo Weigand, Introduction to String Theory, Winter term 2011/12
Paul Ginsparg, Applied Conformal Field Theory, Les Houches lectures, arXiv:hep-th/9108028v1
Thomas Mohaupt, Selected Topics in String Theory, Liverpool PGR lecture notes (2022), §2.4, pp. 21–23.
Brett McInnes, The Semispin Groups in String Theory, §II.
RNS Spin Structures and Sectors
Positive-definite even unimodular lattice
E8 ⊕ E8 and D16+ rank-16 lattice models
The E8 and D16+ models are positive even unimodular lattices
See the lattice-sector definition and proof on this page. The right-moving internal state space is the rank-16 specialization of Even-lattice chiral boson sector; Even-lattice chiral boson sector properties proves its local vertex algebra, weight, and central-charge interfaces. The left matter central charge is the value from RNS Local Central-Charge Cancellation, and the right matter central charge is 10+16=26 by the rank calculation in the lattice-sector lemma. The associations of the two named lattices to the current algebras and global gauge groups are retained as source-reported construction data; this item does not claim to derive their global forms or to classify all modular invariants.
Depends on
RNS Flat Worldsheet Model
RNS Spin Structures and Sectors
RNS GSO Projections
Positive-definite even unimodular lattice
E8 ⊕ E8 and D16+ rank-16 lattice models
The E8 and D16+ models are positive even unimodular lattices
RNS Local Central-Charge Cancellation
Even-lattice chiral boson sector
Even-lattice chiral boson sector properties
Dependency tree · 2 levels
Sources
- Timo Weigand, Introduction to String Theory, Winter term 2011/12
- Paul Ginsparg, Applied Conformal Field Theory, Les Houches lectures, arXiv:hep-th/9108028v1
- David J. Gross, Jeffrey A. Harvey, Emil Martinec, and Ryan Rohm, Heterotic String, Physical Review Letters 54 (1985), 502–505
- Thomas Mohaupt, Selected Topics in String Theory, Liverpool PGR lecture notes (2022)
- Brett McInnes, The Semispin Groups in String Theory, arXiv:hep-th/9906059v1