Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 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.

RNS Local Central-Charge Cancellation

Physical scope

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 D free real target scalars and D real worldsheet Majorana fermions in each chirality, together with reparametrization bc ghosts of weights (2,−1) and commuting βγ ghosts of weights (3/2,−1/2), the matter central charge is cm=3D/2, the ghost central charge is cgh=−26+11=−15, and the total local central term per chirality is ctot=3D/2−15. Thus ctot=0 if and only if D=10. This is the local central-charge cancellation condition of the gauge-fixed flat model.

Facts & Assumptions

Given: D∈Z>0. Use the OPEs and radial normal ordering in Local RNS Free-Field Operator Conventions, the bc system in Bosonic Bc Ghost System, the commuting βγ stress tensor in RNS Beta-Gamma Superghost and Picture System, and the N=1 central-charge normalization in N=1 superconformal mode algebra in NS and Ramond sectors. The statement concerns one chiral copy; the barred copy has the same calculation.

[F1]

RNS Flat Worldsheet Model: there are D real scalars and D real worldsheet Majorana fields, with flat free-field action and target dimension D.

[F2]

Local RNS Free-Field Operator Conventions: TX=−α′−1:∂X⋅∂X:, Tψ=−12:ψ⋅∂ψ:, Gm=i2/α′:ψ⋅∂X:, Tbc=−2:b∂c:−:∂b c:, and T(z)T(w) has central coefficient c/2.

[F3]

Bosonic Bc Ghost System: b(z)c(w)∼(z−w)−1, {bm,cn}=δm+n,0I, the fields anticommute, and their weights are (2,−1).

[F4]

RNS Beta-Gamma Superghost and Picture System: β,γ commute, have weights (3/2,−1/2), and Tβγ=−32:∂γ β:−12:γ∂β:.

[F5]

N=1 superconformal mode algebra in NS and Ramond sectors: {Gr,Gs}=2Lr+s+r2−143δr+s,0C, which fixes the supercurrent central normalization used by the matter OPE.

Proof

1.1givenF1F2algebra

For one scalar, the only u−4 contribution to TX(z)TX(w) is its two pairings of ∂X with ∂X, each −α′/(2u2) by [F2]. Their product with the prefactor α′−2 is 1/(2u4), so this scalar contributes c=1. For one Majorana field, the contraction ψ(z)ψ(w)=u−1 and its derivatives give a double-contraction coefficient 1/(4u4) after the factor (−1/2)2, so it contributes c=1/2. Independent fields have no cross contractions; summing the D copies gives cm=D+D/2=3D/2.

1.2givenF2F3algebra

For a fermionic first-order pair of weights (λ,1−λ) with T=(1−λ):∂b c:−λ:b ∂c:, put A=:∂b c: and B=:b ∂c:. The CAR in [F3] give the radial contractions b(z)c(w)=c(z)b(w)=u−1; differentiating gives ∂b(z)c(w)=−u−2, b(z)∂c(w)=u−2, ∂b(z)∂c(w)=−2u−3, and ∂c(z)b(w)=−u−2. Pairing the two cross contractions in each normal-ordered product, with the fermionic Wick sign, gives the double-contraction coefficients −1,−2,−2,−1 times u−4 for AA,AB,BA,BB. Weighting them by (1−λ)2, −λ(1−λ) twice, and λ2 yields −(1−λ)2−λ2+4λ(1−λ)=−(6λ2−6λ+1). At λ=2, this is the explicit Tbc declared in [F2], and the coefficient is −13, so cbc/2=−13 and cbc=−26.

2.1givenF1F2F5step 1.1algebra

Contracting the two factors of Gm=i2/α′ ψ⋅∂X once in each field gives Du−3; the single contractions give 2Tm(w)u−1. Hence Gm(z)Gm(w)∼Du−3+2Tm(w)u−1. For a weight-3/2 current, if the leading OPE coefficient is κ(z−w)−3, it contributes κ2(r2−14)δr+s,0 to {Gr,Gs}: expand zr+1/2 to second order about w in the two contour integrals. Matching [F5]'s coefficient c3(r2−14) gives κ=2c/3. Here κ=D, so cm=3D/2, agreeing with step 1.1.

2.2givenF4step 1.2algebra

For the commuting pair, radial exchange in [F4]'s ordered convention gives γ(z)β(w)=u−1 and β(z)γ(w)=−u−1. Thus the four double-contraction coefficients for AA,AB,BA,BB in the reordered first-order stress tensor have signs +1,+2,+2,+1 times u−4. Reordering [F4] gives Tβγ=−32:β∂γ:−12:∂β γ:, the same bilinear form with λ=3/2 and commuting Wick signs. Its coefficient is (1−λ)2+λ2−4λ(1−λ)=6λ2−6λ+1=11/2, so cβγ=11.

3.1givenF1step 1.1step 1.2step 2.2algebra∎

The total stress tensor is the sum of independent matter, bc, and βγ stresses, so there are no cross-contraction central terms. Adding the charges from steps 1.1, 1.2 and 2.2 gives ctot=3D/2−26+11=3D/2−15. Solving ctot=0 gives D=10, and substituting D=10 gives zero; since D 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.

Depends on

Dependency tree · 2 levels

Sources