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
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 , use the target metric and momentum convention of the bosonic matter oscillator definition: is a contravariant target momentum with dimension . Work at fixed in the light-cone chart with , and put . 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 and the transverse fermions obey with in NS and 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 transverse directions. No target-space spin representation is constructed here.
Use the open/closed bosonic zero-mode normalization for open strings and for closed strings. Define the nonnegative weighted oscillator level operator for the open system by so the number operator at mode contributes level , and In R the zero modes do not contribute to . The sums act finitely on each finite-particle vector. For closed strings define and 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 and , where ranges over positive half-integers in NS and positive integers in R. For closed strings define and by the same sums for the corresponding left and right mode families, and set and . 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 ; for a closed string impose both and . These are the gauge-fixed free-string state constraints, not BRST cohomology claims.
Definition references
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.