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 Transverse Oscillator Fock System

Physical scope

Algebraic light-cone transverse RNS Fock modules at fixed momentum in a chart with p^+ nonzero; no proof that every momentum lies in that chart, no BRST cohomology, positivity theorem for covariant states, or interacting spectrum is asserted.

Definition

For D≥3, use the target metric η=diag⁡(−,+,…,+) and momentum convention of the bosonic matter oscillator definition: p=(pμ)∈R1,D−1 is a contravariant target momentum with dimension L−1. Work at fixed p in the light-cone chart with p+=(p0+pD−1)/2≠0, and put i=1,…,D−2. For open strings impose NN boundary conditions in every target direction; for closed strings use independent left and right mode systems. On the finite-particle algebraic Fock domain, transverse bosonic modes obey [αmi,αnj]=mδijδm+n,0I, and the transverse fermions obey {ψri,ψsj}=δijδr+s,0I, with r∈Z+12 in NS and r∈Z in R. Closed strings have commuting barred copies. Positive modes annihilate the selected sector vacuum; R zero modes act in a chosen representation of the Euclidean Clifford algebra on D−2 transverse directions. No target-space spin representation is constructed here.

Use the open/closed bosonic zero-mode normalization α0μ=2α′pμ for open strings and α0μ=α~0μ=α′/2 pμ for closed strings. Define the nonnegative weighted oscillator level operator for the open system by N=NB+NF,NB=∑i=1D−2∑n≥1α−niαni, so the number operator α−niαni/n at mode n contributes level n, and NF=∑i∑r>0r ψ−riψri. In R the zero modes do not contribute to NF. The sums act finitely on each finite-particle vector. For closed strings define NL=NB,L+NF,L and NR=NB,R+NF,R by these same formulas applied separately to the left and right mode families. The normal-ordering constant is not included in any level operator and is specified separately below.

For the selected light-cone Hamiltonian prescription, the unregularized open-string vacuum terms are AB=D−22∑n≥1n and AF=−D−22∑r>0r, where r ranges over positive half-integers in NS and positive integers in R. For closed strings define AB,L,AF,L and AB,R,AF,R by the same sums for the corresponding left and right mode families, and set AL=AB,L+AF,L and AR=AB,R+AF,R. The divergent sums are assigned zeta values as a stated regularization prescription; a separate lemma proves the needed continuation values. This prescription is part of the quantization convention, not an empirical measurement.

Impose the residual chiral zero-mode constraints in this gauge. For an open string L0lc=12α0⋅α0+N+AB+AF=0; for a closed string impose both L0lc=12α02+NL+AL=0 and L~0lc=12α~02+NR+AR=0. These are the gauge-fixed free-string state constraints, not BRST cohomology claims.

Remarks

The commutator and open/closed zero-mode factors agree with Bosonic Matter Oscillator Modes; the fermion modes use the RNS sector convention in RNS Spin Structures and Sectors. The finite-particle Fock space is a chosen quantization convention. This definition does not assert the BRST/no-ghost identification of that space with a covariant physical-state space.

Depends on

Dependency tree · 2 levels

Sources