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 Spin Structures and Sectors
Supplied Euclidean spin-line data for closed RNS conformal-field sectors and algebraic Lorentzian free-RNS sectors on closed cylinders or open NN strips; no existence theorem for spin structures, global supermoduli construction, or spin-structure sum is asserted.
Definition
Let , let carry the Minkowski metric from the adopted RNS model, and let be a target map. For the closed Euclidean conformal-field formulation, take to be a connected smooth oriented two-manifold without boundary with a smooth Riemannian metric ; its conformal structure makes it a Riemann surface. Write for its holomorphic cotangent line bundle. In the chiral-line description, a spin structure is a holomorphic line bundle together with an isomorphism . For one common geometric nonchiral spin structure set and , so and . A factorized chiral state-space description may instead supply these two square-root line bundles independently before projection; that independent choice is additional sector data, not one common geometric spin structure. If spin data are recorded as a frame-bundle lift, it means a principal -bundle and a -equivariant two-fold map covering the identity and satisfying for the covering homomorphism , where is the principal bundle of positively oriented -orthonormal tangent frames; the associated spinor bundle is for a specified real Clifford module and representation . No existence criterion or equivalence theorem between these two presentations is used here. These Euclidean conformal-field data are part of the chosen quantum-sector formulation of the Lorentzian RNS model; this definition does not prove a Euclidean path integral or equivalence of Lorentzian and Euclidean observables.
The Grassmann-odd classical chiral matter fields are sections of and , respectively, where ; in the Lorentzian local field domain of the adopted postulate their components are . The modes below are algebraic state-space data and assert no operator-domain completion. The Lorentzian target metric remains ; no positive target inner product is imported from the auxiliary Euclidean worldsheet description. On the spatial circle use and ; NS means and has modes ; R means periodicity and has modes .
For one chirality, let . The NS algebraic Fock space is the exterior algebra generated by the negative half-integer modes acting on a vacuum ; every positive mode annihilates that vacuum. In R, choose a nonzero complex vector space with operators satisfying , and set . The algebraic R Fock space is the exterior algebra generated by the negative nonzero integer modes over ; every positive integer mode annihilates . Thus both sectors obey , with the integer zero modes acting in the explicitly supplied target module. No positive inner product on these covariant modules is asserted. The closed factorized sectors are NS-NS, NS-R, R-NS, and R-R, with independent chiral labels before projection; a geometric nonchiral spin structure supplies the common left/right geometry described above.
For an open NN strip use the Lorentzian components of the adopted Majorana field on , with signs in the endpoint conditions and . Doubling across the two endpoints gives monodromy around the doubled spatial circle; hence the doubled modes are NS when this product is and R when it is . Mixed ND/DN target directions are outside this convention.
Definition references
Given Spin and Spin-c structures and their spinor bundles
Free two-dimensional fermion CFT with spin sectors
Timo Weigand, Introduction to String Theory, Chapter 6.3
Paul Ginsparg, Applied Conformal Field Theory, Chapter 7
Oliver Schlotterer, Scattering amplitudes in open superstring theory, §§2.2.1–2.2.4
Remarks
The free-fermion supplier is used for the Euclidean square-root spin-structure and NS/R mode conventions; its positive Fock inner product, Euclidean target metric, and common nonchiral spin sum are not imported. The Lorentzian target Clifford module and its -CAR are specified above. Ginsparg, Chapter 7, treats a single nonchiral spin structure and is used only for the NS/R and spin-structure conventions. No claim is made about mixed ND/DN target directions or a global spin-structure measure.
Depends on
Dependency tree · 2 levels
Sources
- Timo Weigand, Introduction to String Theory, Winter term 2011/12
- Paul Ginsparg, Applied Conformal Field Theory, Les Houches lectures, arXiv:hep-th/9108028v1
- Oliver Schlotterer, Scattering amplitudes in open superstring theory
- Spencer Dembner, Notes on Conformal Geometry, Uniformization, and Ricci Flow (2020)