Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-adaptedPipeline-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 bosonized picture charge convention

Physical scope

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 β=e−ϕ∂ξ, γ=ηeϕ, ϕ(z)ϕ(w)∼−log⁡(z−w), and Tϕ=−12(∂ϕ)2−∂2ϕ. An operator epϕ has picture charge p. The small Hilbert space is ker⁡η0; picture number is a grading distinct from the βγ ghost number. In this convention the canonical NS and R representatives have pictures −1 and −12, respectively.

For formal chiral-correlator bookkeeping on a compact connected closed genus-g worldsheet with Euclidean metric h, write Kh for its Gaussian curvature and dAh for its Riemannian area form, and set the scalar curvature convention to R(2)(h):=2Kh. Thus Gauss–Bonnet gives ∫ΣR(2)(h)dAh=4πχ(Σ). Adopt the bosonized background term Sϕ,curv=−Qϕ8π∫ΣR(2)(h)ϕ dAh,Qϕ=2. Split ϕ=ϕ0+ϕ~. Define the formal zero-mode Ward functional to retain a chiral correlator only when the total coefficient of ϕ0 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-g 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.

[F1]

RNS Beta-Gamma Superghost and Picture System fixes the commuting weights (32,−12), bosonization β=e−ϕ∂ξ, γ=ηeϕ, and picture number as the epϕ exponent, distinct from ghost number.

[F2]

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.

[F3]

Genus and Euler characteristic of a compact Riemann surface: under full AC, χ(Σ)=2−2g.

[F4]

Global Gauss-Bonnet for closed oriented surfaces: for the declared compact oriented Riemannian surface, ∫ΣKh dAh=2πχ(Σ); with the Definition's convention R(2)=2Kh, this gives ∫ΣR(2)dAh=4πχ(Σ). The supplier carries its stated full-AC hypothesis.

[A1]

The Axiom of Choice is assumed for [F3] and [F4].

[A2]

Adopt the formal zero-mode Ward functional stated in the Definition: a correlator with a nonzero total ϕ0 coefficient is assigned zero; no divergent real zero-mode integral is claimed.

Proof

1.1givenF1F2algebra

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.

2.1givenF3F4A1A2algebra∎

For a constant mode ϕ0, [F4] and [F3] give Sϕ,curv=−Qϕ8π(4πχ)ϕ0=−Qϕχ2ϕ0=−(2−2g)ϕ0. Thus the Euclidean factor e−Sϕ,curv contributes e(2−2g)ϕ0, while insertions ∏iepiϕ contribute e(∑ipi)ϕ0. Their total zero-mode coefficient is ∑ipi+2−2g, 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.

Depends on

Dependency tree · 2 levels

Sources