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.
Free Torus Zero Mode Conformal Weights
Adopted zero-mode conformal-weight prescription for a flat free closed-string torus with constant positive metric and constant two-form. It supplies no oscillator-state map, vertex-operator cocycles, OPE-locality, modular/sewing, or full-CFT theorem.
Postulate
Adopt the free closed-string torus zero-mode prescription in the following convention. Let , use angular coordinates , and let and be the constant dimensionless metric and two-form coefficients after dividing their physical coordinate components by . Put , , and , where is the winding vector and the momentum vector. Define These are the left/right zero-mode contributions to the conformal weights of the selected free torus sector. For , with and , they reduce to and for and . This is adopted free-field spectrum data, not a derivation of a global torus CFT.
Postulate references
Facts & Assumptions
Given: The flat free closed-string sigma-model sector, , constant , constant , and integer momentum and winding labels.
RNS NS Background Sigma Model: the local Euclidean NS–NS sigma-model is an adopted action with metric, two-form, and dilaton couplings; it is local in a target chart and asserts no global measure or CFT-equivalence.
String Tension Alpha Prime: has length-squared dimension and is positive.
Compact Free String Circle Spectrum: at , , , with zero-mode weights and .
Remarks
The postulate records the higher-rank torus normalization as sourced physical input. The local Narain theorem proves the lattice and moduli invariance of these displayed weights but does not promote this postulate to a full operator-algebra or worldsheet-equivalence theorem.