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
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 and write . The target metric is , with target indices contracted using . Fix the free-field OPEs The corresponding derivative contraction is . Normal ordering is radial point-splitting with these singular parts subtracted. Define The current convention is , matched to the declared mode-algebra central normalization. The matter stress convention is .
For the reparametrization ghosts use anticommuting fields of weights with OPE , and stress tensor . 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.
Definition references
Remarks
The local criticality theorem RNS Local Central-Charge Cancellation derives the matter charge 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 current are the quantized free-field conventions, with the factor of fixed by the latter's normalization. Schlotterer's §2.1.6 current is , while here. Ginsparg's component OPE therefore gives ; with the leading coefficient is , as stated above.