Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (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 Spin Structures and Sectors

Physical scope

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 D∈Z>0, let M=R1,D−1 carry the Minkowski metric η=diag⁡(−,+,…,+) from the adopted RNS model, and let X:Σ→M be a C2 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 h; its conformal structure makes it a Riemann surface. Write KΣ=T∗(1,0)Σ for its holomorphic cotangent line bundle. In the chiral-line description, a spin structure is a holomorphic line bundle S→Σ together with an isomorphism S⊗2≅KΣ. For one common geometric nonchiral spin structure set SL=S and SR=S‾, so SL⊗2≅KΣ and SR⊗2≅KΣ‾. 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 Spin⁡(2)-bundle P and a Spin⁡(2)-equivariant two-fold map λ~:P→PSO(TΣ,h) covering the identity and satisfying λ~(pg)=λ~(p)λ2(g) for the covering homomorphism λ2:Spin⁡(2)→SO(2), where PSO(TΣ,h) is the principal bundle of positively oriented h-orthonormal tangent frames; the associated spinor bundle is P×τW for a specified real Clifford module W 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 SL⊗X∗TMC and SR⊗X∗TMC, respectively, where TMC=TM⊗RC; in the Lorentzian local field domain of the adopted postulate their components are C1. 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 τ∈R and S1=R/(2πZ); NS means ψμ(τ,σ+2π)=−ψμ(τ,σ) and has modes r∈Z+12; R means periodicity ψμ(τ,σ+2π)=ψμ(τ,σ) and has modes n∈Z.

For one chirality, let MC=M⊗RC. The NS algebraic Fock space is the exterior algebra generated by the negative half-integer modes acting on a vacuum ∣0⟩NS; every positive mode annihilates that vacuum. In R, choose a nonzero complex vector space VR with operators Γμ satisfying ΓμΓν+ΓνΓμ=2ημνIVR, and set ψ0μ=Γμ/2. The algebraic R Fock space is the exterior algebra generated by the negative nonzero integer modes over VR; every positive integer mode annihilates VR. Thus both sectors obey {ψrμ,ψsν}=ημνδr+s,0I, 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 C1 Lorentzian components ψ+μ,ψ−μ of the adopted Majorana field on (τ,σ)∈R×[0,π], with signs ϵ0,ϵπ∈{+1,−1} in the endpoint conditions ψ+μ(τ,0)=ϵ0ψ−μ(τ,0) and ψ+μ(τ,π)=ϵπψ−μ(τ,π). Doubling across the two endpoints gives monodromy ϵ0ϵπ around the doubled spatial circle; hence the doubled modes are NS when this product is −1 and R when it is +1. Mixed ND/DN target directions are outside this convention.

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