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
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 , , , a complex bosonic chiral spinor satisfying , and conjugate modulo the gauge shift for arbitrary local . Define as the Green–Schwarz–Siegel supersymmetric constraint current and 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 , so that the numerical value of in the following local operator formulas is . This fixes units, not a physical restriction on string tension; no comparison of inequivalent normalizations is implied. In particular the displayed 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 , ten-dimensional Minkowski continuation fixed by the source, and chiral spinor indices . The coordinates have length units and has units of length squared. The spacetime fields are , Grassmann-odd , and their first-order conjugates . The minimal bosonic ghost is a complex chiral spinor satisfying the pure-spinor constraint ; the smooth locus away from has complex dimension eleven. The conjugate is defined modulo for arbitrary local . The source conformal weights are and . In the source normalization, the matter OPEs are and . Define and Adopt . 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 and have no negative powers of . Here records only these negative powers, and “regular” means this sum is empty. Contour integrals mean formal residues. For mutually local homogeneous currents of parities , use the charge convention and , where . The current 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 For a closed Type II model add inside this same integrand, with a single shared kinetic term. The ghost term is understood on local coordinates of the pure-spinor constraint modulo the stated 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 , , with neutral. Thus , , , and . 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.