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 Beta-Gamma Superghost and Picture System
Local chiral commuting superconformal ghost system and picture convention for the flat RNS model; no global determinant, BRST nilpotence, or picture-changing isomorphism is asserted.
Definition
For one RNS chirality, take a commuting first-order system of weights and , action , and ordered OPE . Its modes are with in NS and in R, , and all same-species mode commutators zero. The stress tensor is
Fix the bosonized convention , , with and . The fermionic weights are and ; the scalar stress tensor is , giving . Define ghost number by and picture by , so have ghost numbers and has picture . The canonical NS and R vacua have pictures and . The small Hilbert space is , excluding the independent zero-mode partner. Closed strings use an independent antiholomorphic copy.
Definition references
Remarks
The displayed stress tensor and bosonization are formulation conventions. Their local central charge is calculated separately in RNS Local Central-Charge Cancellation. Nilpotence of an RNS BRST charge and equivalence of pictures at exceptional momenta are not supplied by this definition.