Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 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.

Super Riemann surface and RNS puncture data

Definition

Let S be a complex supermanifold of dimension 1∣1; its reduced space C=Sred is a compact connected Riemann surface equipped with finitely many ordered distinct marks p1,…,pN, where N≥0. For every mark pi, specify an open neighborhood Ui⊂C, a radius ri>0, and a biholomorphism zi:Ui→{z∈C:∣z∣<ri} with zi(pi)=0; require the Ui to be pairwise disjoint. These are the pointed compact analytic worldsheet data. A (non-Ramond) super Riemann surface is such an S together with an odd locally free rank-0∣1 direct summand D⊂TS for which the bracket map D⊗2→TS/D, Q⊗Q↦[Q,Q]/2 mod D, is an isomorphism. In a local superconformal coordinate z∣θ, D is generated by Q=∂θ+θ∂z; with left odd derivatives, Q2=∂z and [Q,Q]=2∂z. A superconformal coordinate change is a parity-preserving holomorphic change of coordinates whose push-forward preserves the line D; in local coordinates this is Qz~−θ~Qθ~=0.

An NS (Neveu–Schwarz) puncture is a marked superpoint with local coordinates (z,θ)=(0,0) and the nondegenerate local generator Q. A Ramond puncture is recorded as a Ramond divisor F={z=0} in a local superdomain: the distribution is generated by QR=∂θ+zθ∂z, so QR2=z∂z and its bracket has a simple zero exactly on F. Thus the bracket is an isomorphism off F, and the Ramond extension satisfies D⊗2≅(TS/D)⊗O(−F), where O(−F) is the ideal line locally generated by the even coordinate z vanishing on F. On a simply connected sector of the punctured disk, ψ=z θ gives QR=z(∂ψ+ψ∂z); continuation once around F changes ψ to −ψ. This sign is the local Ramond spin monodromy. For a closed surface without Ramond divisors, a spin structure is a holomorphic line S with S⊗2≅KC, and the reduced odd line of D is S∗.

Remarks

Here “SRS with Ramond data” means the nondegenerate distribution on the punctured complement together with the specified simple-degeneracy extension along each Ramond divisor. It does not assert that the bracket is invertible at a Ramond divisor. A supermoduli object parameterizing these data is supergeometric and is not identified with the ordinary moduli space of reduced Riemann surfaces; no global compactification is asserted.

Depends on

Dependency tree · 2 levels

Sources