Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
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

Physical scope

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 d≥1, use angular coordinates yi∼yi+2π, and let G=GT>0 and B=−BT be the constant dimensionless metric and two-form coefficients after dividing their physical coordinate components by α′>0. Put E=G+B, η=(0IdId0), and Z=(m,n)∈Zd⊕Zd, where m is the winding vector and n the momentum vector. Define M(E)=(G−BG−1BBG−1−G−1BG−1),h0=14(ZTM(E)Z+ZTηZ),hˉ0=14(ZTM(E)Z−ZTηZ). These are the left/right zero-mode contributions to the conformal weights of the selected free torus sector. For d=1, with G=R2/α′ and B=0, they reduce to h0=α′pL2/4 and hˉ0=α′pR2/4 for pL=n/R+mR/α′ and pR=n/R−mR/α′. This is adopted free-field spectrum data, not a derivation of a global torus CFT.

Facts & Assumptions

Given: The flat free closed-string sigma-model sector, α′>0, constant G=GT>0, constant B=−BT, and integer momentum and winding labels.

[F1]

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.

[F2]

String Tension Alpha Prime: α′ has length-squared dimension and is positive.

[F3]

Compact Free String Circle Spectrum: at d=1, pL=n/R+mR/α′, pR=n/R−mR/α′, with zero-mode weights α′pL2/4 and α′pR2/4.

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.

Depends on

Dependency tree · 2 levels

Sources