Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (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 Beta-Gamma Superghost and Picture System

Physical scope

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 hβ=3/2 and hγ=−1/2, action Sβγ=(4π)−1∫d2z β∂ˉγ, and ordered OPE γ(z)β(w)∼(z−w)−1. Its modes are β(z)=∑rβrz−r−3/2,γ(z)=∑rγrz−r+1/2, with r∈Z+12 in NS and r∈Z in R, [γr,βs]=δr+s,0I, and all same-species mode commutators zero. The stress tensor is Tβγ=−32:∂γ β:−12:γ ∂β:.

Fix the bosonized convention β=e−ϕ∂ξ, γ=ηeϕ, with ϕ(z)ϕ(w)∼−log⁡(z−w) and η(z)ξ(w)∼(z−w)−1. The fermionic (η,ξ) weights are (1,0) and Tηξ=−:η∂ξ:; the scalar stress tensor is Tϕ=−12:(∂ϕ)2:−∂2ϕ, giving h(epϕ)=−p(p+2)/2. Define ghost number by jgh=−:βγ: and picture by jpic=−∂ϕ, so β,γ have ghost numbers −1,+1 and epϕ has picture p. The canonical NS and R vacua have pictures −1 and −1/2. The small Hilbert space is ker⁡η0, excluding the independent ξ0 zero-mode partner. Closed strings use an independent antiholomorphic copy.

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.

Depends on

Dependency tree · 2 levels

Sources