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 bosonized picture charge convention
Local bosonized RNS superghost convention and chiral picture grading; no global supermoduli integration cycle is defined.
Definition
In each chiral RNS sector use the bosonization convention , , , and . An operator has picture charge . The small Hilbert space is ; picture number is a grading distinct from the ghost number. In this convention the canonical NS and R representatives have pictures and , respectively.
For formal chiral-correlator bookkeeping on a compact connected closed genus- worldsheet with Euclidean metric , write for its Gaussian curvature and for its Riemannian area form, and set the scalar curvature convention to . Thus Gauss–Bonnet gives . Adopt the bosonized background term Split . Define the formal zero-mode Ward functional to retain a chiral correlator only when the total coefficient of vanishes. This is local CFT correlation data; it is not a functional measure over moduli or a claim that a global path integral exists.
Facts & Assumptions
Given: A compact connected closed genus- RNS worldsheet, a chosen chirality and spin sector, the displayed bosonized stress tensor/background convention, and its formal zero-mode Ward functional. Full AC is assumed for the supplied genus and Gauss–Bonnet inputs.
RNS Beta-Gamma Superghost and Picture System fixes the commuting weights , bosonization , , and picture number as the exponent, distinct from ghost number.
RNS Spin Structures and Sectors fixes the NS and R sectors; the canonical pictures here are the source-convention representatives, not unique representatives of every cohomology class.
Genus and Euler characteristic of a compact Riemann surface: under full AC, .
Global Gauss-Bonnet for closed oriented surfaces: for the declared compact oriented Riemannian surface, ; with the Definition's convention , this gives . The supplier carries its stated full-AC hypothesis.
The Axiom of Choice is assumed for [F3] and [F4].
Adopt the formal zero-mode Ward functional stated in the Definition: a correlator with a nonzero total coefficient is assigned zero; no divergent real zero-mode integral is claimed.
Proof
The beta-gamma bosonization, scalar stress tensor, picture grading, and small-Hilbert-space convention are exactly the local data fixed by [F1]; the NS/R representatives are indexed by [F2]. Since the picture exponent belongs to the bosonized scalar while ghost number is the separate current in [F1], the two gradings remain distinct.
For a constant mode , [F4] and [F3] give Thus the Euclidean factor contributes , while insertions contribute . Their total zero-mode coefficient is , with neutrality imposed by [A2]. This is a formal chiral CFT convention, not a global moduli integral.
Remarks
The picture-charge selection rule is proved conditionally in RNS chiral picture-charge selection rule. The local PCO operation is defined in RNS picture-changing insertion on a local superstring chart; neither item chooses global PCO locations or constructs a measure.