Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Local RNS Free-Field Operator Conventions

Physical scope

Local chiral Euclidean free-field OPE and stress-current conventions for one RNS chirality; excludes a global spin sum, path-integral measure, and interacting worldsheets.

Definition

Use one chiral Euclidean coordinate z and write u=z−w. The target metric is ημν=diag⁡(−,+,…,+), with target indices contracted using η. Fix the free-field OPEs Xμ(z)Xν(w)∼−α′2ημνlog⁡u,ψμ(z)ψν(w)∼ημνu. The corresponding derivative contraction is ∂Xμ(z)∂Xν(w)∼−α′2ημνu−2. Normal ordering is radial point-splitting with these singular parts subtracted. Define Tm=TX+Tψ,TX=−1α′:∂X⋅∂X:,Tψ=−12:ψ⋅∂ψ:,Gm=i2α′:ψ⋅∂X:. The N=1 current convention is Gm(z)Gm(w)∼Du−3+2Tm(w)u−1, matched to the declared N=1 mode-algebra central normalization. The matter stress convention is T(z)T(w)∼c2u−4+2T(w)u−2+∂T(w)u−1.

For the reparametrization ghosts use anticommuting b,c fields of weights (2,−1) with OPE b(z)c(w)∼(z−w)−1, and stress tensor Tbc=−2:b∂c:−:∂b c:. This is the local free-field convention consumed by the RNS criticality calculation; closed strings use an independent barred copy. It defines neither a global determinant nor a functional measure.

Remarks

The local criticality theorem RNS Local Central-Charge Cancellation derives the matter charge cm=3D/2 from these OPE conventions. The Majorana OPE and stress normalization are compatible with the single-real-fermion component convention in Free two-dimensional fermion CFT with spin sectors. That supplier's nonchiral common-spin-structure sum is not the independent left/right RNS sector sum. The Lorentzian free-field equations in Flat RNS Action Euler–Lagrange Equations identify the chiral on-shell restriction; these Euclidean OPEs and the N=1 current are the quantized free-field conventions, with the factor of i fixed by the latter's normalization. Schlotterer's §2.1.6 current is GSch=i(2α′)−1/2:ψ⋅∂X:, while Gm=2GSch here. Ginsparg's component OPE TF(z)TF(w)∼c/6 (z−w)−3+12T(w)(z−w)−1 therefore gives Gm(z)Gm(w)∼(2c/3)(z−w)−3+2T(w)(z−w)−1; with c=3D/2 the leading coefficient is D, as stated above.

Depends on

Dependency tree · 2 levels

Sources