Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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 picture-changing insertion on a local superstring chart

Physical scope

Local RNS picture-changing operation and chiral charge count in a fixed sector/chart; no global PCO section, vertical integration chain, or measure is constructed.

Definition

Fix a closed RNS model in one local supermoduli chart, with the selected spin structure, GSO projection, beta-gamma bosonization, nilpotent BRST operator, and picture grading. For this local operation additionally supply a complex super vector space DL (the large algebraic state domain), odd endomorphisms QL,η0,ξ(z) on that common invariant domain, and the identities QL2=η02=0, η0QL+QLη0=0, and η0ξ(z)+ξ(z)η0=I. Products here are algebraic endomorphism compositions; a field realization may use formal Laurent coefficients or separated, smeared insertions, and must supply that realization and its invariant domain. Set DS:=ker⁡η0 and require QL∣DS=QB on the supplied small complex. This is an additional extension hypothesis, not a consequence of a differential given only on DS. Define XL(z):=QLξ(z)+ξ(z)QL on DL and the local small-space insertion X(z):=XL(z)∣DS; the restriction is justified below.

For this operation supply a total picture grading P on DL with QL of degree 0, η0 of degree −1 and ξ(z) of degree +1. It agrees with the scalar exponent p on epϕ and assigns degrees −1,+1 to η,ξ, respectively; the remaining matter and bc fields have degree 0. This refines the scalar-exponent bookkeeping used in the bosonization supplier: the scalar exponent alone is not a homogeneous grading for all BRST terms. Indeed γ=ηeϕ and β=e−ϕ∂ξ have total picture 0, so the displayed BRST charge can have degree 0. For external eigenoperators with additional η,ξ factors, use their total P eigenvalue, not just the ϕ exponent. The charge-neutrality assumption for this local correlator is that its total picture equals 2g−2, extending the supplied exponential-insertion rule. When only exponential picture carriers occur externally it is precisely that rule. Compatibility with any relative or GSO restrictions must be supplied for the intended external representatives; no picture isomorphism on those restricted cohomologies is inferred. In each chiral sector, if external total pictures are p1,…,pn and NPCO=2g−2−∑ipi∈Z≥0, then this is the number of local picture-changing insertions required by the charge-selection rule. The right-moving sector is counted independently. This definition does not choose insertion points, resolve collisions or spurious singularities, define a vertical integration chain, or construct a global superstring amplitude form.

Facts & Assumptions

Given: A fixed closed genus-g RNS worldsheet and local SRS chart, chosen left/right sectors and GSO phases, external on-shell BRST representatives, the bosonized superghost convention, and a nilpotent QB on the selected complex. Assume NPCO is a nonnegative integer in each chirality.

[F1]

Conditional RNS Physical-State BRST Cohomology: physicality is cohomology in the declared RNS BRST complex, subject to the supplier's explicit nilpotence and relative-subspace conditions.

[F2]

RNS Spin Structures and Sectors and RNS GSO Projections fix the sector and projection; they do not choose PCO positions.

[F3]

RNS Beta-Gamma Superghost and Picture System supplies the local commuting beta-gamma system.

[F4]

Super Riemann surface and RNS puncture data supplies the NS/R supergeometric puncture interface; its current readiness hash is stale.

[F5]

Local punctured-moduli perturbative amplitude form is only a local chartwise correlator form with instance-specific picture and ghost data.

[F6]

RNS bosonized picture charge convention fixes the local ϕ picture grading by assigning charge p to epϕ.

[F7]

RNS chiral picture-charge selection rule: for scalar-picture eigenoperators obeying O[ϕ+a]=epaO[ϕ], a nonzero closed chiral correlator requires ∑ipi=2g−2 under the declared zero-mode Ward convention. Its extension to the total grading P is the separate hypothesis [A1].

[A1]

Supply the common-domain large-space extension, endomorphism identities, total grading and local total-picture Ward convention in the Definition. Schlotterer §3.1.6 motivates the local commutator and the exclusion of ξ0 from the small space; the extension identities and domain are explicitly additional model hypotheses here. The scalar-exponent selection rule of [F7] applies directly to exponential external insertions and is extended to total eigenoperators only by this hypothesis.

Proof

1.1givenF1F3F6A1algebra

All compositions defining XL exist on the invariant domain in [A1], and XL is even. The identities give η0QLξ=−QLη0ξ=−QL+QLξη0 and η0ξQL=QL−ξη0QL=QL+ξQLη0. Adding yields η0XL=XLη0, so XL preserves DS and its restriction is defined. Also QLXL=XLQL=QLξQL by QL2=0, so X maps small BRST-closed representatives to closed representatives and exact ones to exact ones wherever the declared domain applies. The degrees in [A1] make X have total picture +1. No relative-subcomplex or fixed GSO-sign preservation is asserted without its separate compatibility input.

2.1givenF2F4F5F6F7A1step 1.1algebra∎

By the total-picture Ward convention in [A1], agreeing with [F7] for exponential external insertions, external operators with pictures pi plus N insertions of X must satisfy ∑ipi+N=2g−2, because each insertion carries charge +1 by [A1]. Solving gives N=2g−2−∑ipi. The nonnegative-integrality clause in Given is exactly what makes this number an available count of insertions; the same derivation applies independently to the right movers.

Remarks

Wang–Yin construct local closed-Type-II/on-shell PCO interpolation chains over the interior of ordinary moduli in their stated setup. Their paper explicitly sets aside ordinary-moduli boundary treatment. The present definition does not misclassify that interior result as unresolved; the remaining all-genus question about regulator-independent finite values across compactification boundary strata is stated in Global compactified Type II RNS amplitude prescription ‡.

Depends on

Dependency tree · 2 levels

Sources