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
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 (the large algebraic state domain), odd endomorphisms on that common invariant domain, and the identities , , and . 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 and require on the supplied small complex. This is an additional extension hypothesis, not a consequence of a differential given only on . Define on and the local small-space insertion ; the restriction is justified below.
For this operation supply a total picture grading on with of degree , of degree and of degree . It agrees with the scalar exponent on and assigns degrees to , respectively; the remaining matter and fields have degree . 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 and have total picture , so the displayed BRST charge can have degree . For external eigenoperators with additional factors, use their total eigenvalue, not just the exponent. The charge-neutrality assumption for this local correlator is that its total picture equals , 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 and 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- 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 on the selected complex. Assume is a nonnegative integer in each chirality.
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.
RNS Spin Structures and Sectors and RNS GSO Projections fix the sector and projection; they do not choose PCO positions.
RNS Beta-Gamma Superghost and Picture System supplies the local commuting beta-gamma system.
Super Riemann surface and RNS puncture data supplies the NS/R supergeometric puncture interface; its current readiness hash is stale.
Local punctured-moduli perturbative amplitude form is only a local chartwise correlator form with instance-specific picture and ghost data.
RNS bosonized picture charge convention fixes the local picture grading by assigning charge to .
RNS chiral picture-charge selection rule: for scalar-picture eigenoperators obeying , a nonzero closed chiral correlator requires under the declared zero-mode Ward convention. Its extension to the total grading is the separate hypothesis [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 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
All compositions defining exist on the invariant domain in [A1], and is even. The identities give and . Adding yields , so preserves and its restriction is defined. Also by , so maps small BRST-closed representatives to closed representatives and exact ones to exact ones wherever the declared domain applies. The degrees in [A1] make have total picture . No relative-subcomplex or fixed GSO-sign preservation is asserted without its separate compatibility input.
By the total-picture Ward convention in [A1], agreeing with [F7] for exponential external insertions, external operators with pictures plus insertions of must satisfy , because each insertion carries charge by [A1]. Solving gives . 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
Conditional RNS Physical-State BRST Cohomology
RNS Spin Structures and Sectors
RNS GSO Projections
RNS Beta-Gamma Superghost and Picture System
Local punctured-moduli perturbative amplitude form
Super Riemann surface and RNS puncture data
RNS bosonized picture charge convention
RNS chiral picture-charge selection rule