Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-05 (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.

Heterotic String Worldsheet Construction

Physical scope

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 Λ⊂V, with a lattice basis, in the preceding lattice and chiral-boson conventions. Work with closed oriented strings in the flat target M=R1,9, with metric η=diag⁡(−,+,…,+), orientation dx0∧⋯∧dx9, and units ℏ=c=1, [α′]=L2. 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 VΛ. The two noncompact chiral parts carry the same target momentum. Internal momenta λ∈Λ are dimensionless lattice labels, with weight ⟨λ,λ⟩/2; 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 (τ,σ)∈R×(R/2πZ) include both NS fermions, with ψLμ(τ,σ+2π)=−ψLμ(τ,σ) 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 FL count nonzero fermionic oscillator excitations modulo two, with NS vacuum parity zero. On the Ramond ground module fix {Γμ,Γν}=2ημνI and Γ11=Γ0⋯Γ9. Retain precisely the images of PNS=12(I+(−1)FL+1),PR=12(I+Γ11(−1)FL). Thus the left sector is NS+⊕R+, with ϵL=+1 in the GSO definition: the NS vacuum is removed and the retained Ramond ground states have Γ11=+1. 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 cL=15 and cR=10+16=26, before ghost contributions.

The inputs E8⊕E8 and D16+ give the familiar source-reported connected gauge-group choices E8×E8 and G32, respectively. To fix the global-form notation, form the real Clifford algebra generated by an oriented orthonormal basis e1,…,e32 with eiej+ejei=−2δij. Its subgroup of products of an even number of unit vectors is Spin⁡(32). Put ω=e1⋯e32 and define G32=Spin⁡(32)/{1,ω}. This is the semispin quotient denoted Spin⁡(32)/Z2 here; the quotient by {1,−1} instead gives SO(32). The source-reported lattice-to-group association uses the half-spin convention in which h16=(1/2,…,1/2) labels the half-spin representation on which ω acts as +1. 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

David J. Gross, Jeffrey A. Harvey, Emil Martinec, and Ryan Rohm, Heterotic String, Physical Review Letters 54 (1985), 502–505, abstract.

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 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

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 D=10 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

Dependency tree · 2 levels

Sources