Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
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.

Pure Spinor Superstring Model

Physical scope

Adopted minimal flat ten-dimensional Type II pure-spinor chiral worldsheet system and its formal BRST charge. Nonminimal quartet variables, amplitude measure, global path integral, and curved backgrounds are excluded.

Postulate

Adopt the flat ten-dimensional pure-spinor worldsheet model with xm, θα, pα, a complex bosonic chiral spinor λα satisfying λγmλ=0, and conjugate wα modulo the gauge shift δwα=Ωm(γmλ)α for arbitrary local Ωm. Define dα as the Green–Schwarz–Siegel supersymmetric constraint current and Q=∮dz2πi λαdα as the holomorphic BRST charge; a closed Type II model has independent left/right copies with the IIA/IIB chirality choices. The minimal model is distinct from the nonminimal quartet extension used to regularize some amplitude prescriptions.

Use the conventional target-length unit ℓ=α′/2, so that the numerical value of α′ in the following local operator formulas is 2. This fixes units, not a physical restriction on string tension; no comparison of inequivalent normalizations is implied. In particular the displayed dd coefficient is the normalized one, not a claim that it remains unchanged on restoring arbitrary target-length units.

Work on a dimensionless Euclidean worldsheet in the chiral operator-algebra convention, with target indices m=0,…,9, ten-dimensional Minkowski continuation fixed by the source, and chiral spinor indices α=1,…,16. The coordinates xm have length units and α′ has units of length squared. The spacetime fields are xm, Grassmann-odd θα, and their first-order conjugates pα. The minimal bosonic ghost λα is a complex chiral Spin⁡(10) spinor satisfying the pure-spinor constraint λγmλ=0; the smooth locus away from λ=0 has complex dimension eleven. The conjugate wα is defined modulo δwα=Ωm(γmλ)α for arbitrary local Ωm. The source conformal weights are h(x)=h(θ)=h(λ)=0 and h(p)=h(w)=1. In the source normalization, the matter OPEs are xm(z)xn(w)∼−(α′/2)ηmnlog⁡∣z−w∣2 and pα(z)θβ(w)∼δαβ/(z−w). Define Πm=∂xm+12θγm∂θ and dα=pα−1α′(γmθ)α∂xm−14α′(γmθ)α(θγm∂θ),dα(z)dβ(w)∼−(γm)αβΠm(w)z−w. Adopt Q=∮dz/(2πi) λαdα. A closed Type II model has independent left and right copies; IIA uses opposite target spinor chiralities and IIB equal chiralities. The minimal system is not the nonminimal quartet extension.

The local operator algebra is the tensor product of the matter and constrained ghost systems. In independent local coordinates on the smooth pure-spinor locus the ghost system is a first-order coordinate-momentum system: coordinate-coordinate OPEs are regular. In particular λα(z)λβ(w) and λα(z)dβ(w) have no negative powers of z−w. Here A(z)B(w)∼∑k≥1Ck(w)(z−w)−k records only these negative powers, and “regular” means this sum is empty. Contour integrals mean formal residues. For mutually local homogeneous currents A,B of parities ∣A∣,∣B∣∈{0,1}, use the charge convention A0=Res⁡zA(z) and [A0,B0]gr=Res⁡wRes⁡z=wA(z)B(w), where [U,V]gr=UV−(−1)∣U∣∣V∣VU. The current λαdα is odd. These are local operator-algebra conventions; no global ghost measure is supplied.

The flat minimal action, in the review's matter/first-order normalization (its equation (4) with the nonminimal quartet omitted), is Smin=12π∫d2z [12∂xm∂ˉxm+pα∂ˉθα−wα∂ˉλα]. For a closed Type II model add p~αˉ∂θ~αˉ−w~αˉ∂λ~αˉ inside this same integrand, with a single shared x kinetic term. The ghost term is understood on local coordinates of the pure-spinor constraint modulo the stated w gauge transformations, rather than as sixteen independent unconstrained pairs. The zero-mode singularity and global ghost measure are not specified by this local action.

The minimal ghost-number symmetry is λ↦eϵλ, w↦e−ϵw, with x,θ,p neutral. Thus gh⁡(λ)=1, gh⁡(w)=−1, gh⁡(x)=gh⁡(θ)=gh⁡(p)=gh⁡(d)=gh⁡(Π)=0, and gh⁡(Q)=1. The right-moving copy has the same assignments and its own ghost number; no nonminimal variables or measure prescription is adopted. This is the minimal part of the source action, not the nonminimal action or an amplitude prescription.

Depends on

Dependency tree · 2 levels

Sources