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 Local Central-Charge Cancellation
Local chiral central-charge cancellation for the free flat RNS matter and standard conformal ghosts; it is not a global Weyl, modular, GSO, spacetime gauge, or gravitational anomaly theorem.
Statement
For the flat RNS model with free real target scalars and real worldsheet Majorana fermions in each chirality, together with reparametrization ghosts of weights and commuting ghosts of weights , the matter central charge is , the ghost central charge is , and the total local central term per chirality is . Thus if and only if . This is the local central-charge cancellation condition of the gauge-fixed flat model.
Statement references
Facts & Assumptions
Given: . Use the OPEs and radial normal ordering in Local RNS Free-Field Operator Conventions, the system in Bosonic Bc Ghost System, the commuting stress tensor in RNS Beta-Gamma Superghost and Picture System, and the central-charge normalization in superconformal mode algebra in NS and Ramond sectors. The statement concerns one chiral copy; the barred copy has the same calculation.
RNS Flat Worldsheet Model: there are real scalars and real worldsheet Majorana fields, with flat free-field action and target dimension .
Local RNS Free-Field Operator Conventions: , , , , and has central coefficient .
Bosonic Bc Ghost System: , , the fields anticommute, and their weights are .
RNS Beta-Gamma Superghost and Picture System: commute, have weights , and .
superconformal mode algebra in NS and Ramond sectors: , which fixes the supercurrent central normalization used by the matter OPE.
Proof
For one scalar, the only contribution to is its two pairings of with , each by [F2]. Their product with the prefactor is , so this scalar contributes . For one Majorana field, the contraction and its derivatives give a double-contraction coefficient after the factor , so it contributes . Independent fields have no cross contractions; summing the copies gives .
For a fermionic first-order pair of weights with , put and . The CAR in [F3] give the radial contractions ; differentiating gives , , , and . Pairing the two cross contractions in each normal-ordered product, with the fermionic Wick sign, gives the double-contraction coefficients times for . Weighting them by , twice, and yields . At , this is the explicit declared in [F2], and the coefficient is , so and .
Contracting the two factors of once in each field gives ; the single contractions give . Hence . For a weight- current, if the leading OPE coefficient is , it contributes to : expand to second order about in the two contour integrals. Matching [F5]'s coefficient gives . Here , so , agreeing with step 1.1.
For the commuting pair, radial exchange in [F4]'s ordered convention gives and . Thus the four double-contraction coefficients for in the reordered first-order stress tensor have signs times . Reordering [F4] gives , the same bilinear form with and commuting Wick signs. Its coefficient is , so .
The total stress tensor is the sum of independent matter, , and stresses, so there are no cross-contraction central terms. Adding the charges from steps 1.1, 1.2 and 2.2 gives . Solving gives , and substituting gives zero; since is an integer, this is exactly the stated iff. This is a local chiral cancellation only.
Remarks
The result supplies the local criticality input for Open RNS Light-Cone Intercepts, Closed RNS Light-Cone Mass Shell and Level Matching, and the conditional BRST-cohomology interface Conditional RNS Physical-State BRST Cohomology. It does not prove global Weyl invariance, modular invariance, GSO locality, or spacetime anomaly cancellation.