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 be a complex supermanifold of dimension ; its reduced space is a compact connected Riemann surface equipped with finitely many ordered distinct marks , where . For every mark , specify an open neighborhood , a radius , and a biholomorphism with ; require the to be pairwise disjoint. These are the pointed compact analytic worldsheet data. A (non-Ramond) super Riemann surface is such an together with an odd locally free rank- direct summand for which the bracket map , , is an isomorphism. In a local superconformal coordinate , is generated by ; with left odd derivatives, and . A superconformal coordinate change is a parity-preserving holomorphic change of coordinates whose push-forward preserves the line ; in local coordinates this is .
An NS (Neveu–Schwarz) puncture is a marked superpoint with local coordinates and the nondegenerate local generator . A Ramond puncture is recorded as a Ramond divisor in a local superdomain: the distribution is generated by , so and its bracket has a simple zero exactly on . Thus the bracket is an isomorphism off , and the Ramond extension satisfies , where is the ideal line locally generated by the even coordinate vanishing on . On a simply connected sector of the punctured disk, gives ; continuation once around changes to . This sign is the local Ramond spin monodromy. For a closed surface without Ramond divisors, a spin structure is a holomorphic line with , and the reduced odd line of is .
Definition references
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.