Alphabeta Math
RemarkRemark: Literature-sourcedProof: 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 Green Schwarz Pure Spinor Comparison Limits

Physical scope

Source/status synthesis comparing only the stated flat-space spectrum, specified flat GS/pure-spinor gauge-fixing, 2025 amplitude prescription, and formulation-specific curved-background features. No global equivalence theorem is asserted.

Remark

The F-term/D-term terminology here uses the zero-mode criterion of Berkovits (2025), §4. In its chiral prescription, let θ01,…,θ016 be the anticommuting spacetime-fermion zero modes; their Berezin integral extracts the coefficient of θ01⋯θ016 in a fixed order. An F-term amplitude requires at least one of these modes to come from the regulator N of equation (4.2), rather than the product of vertex operators: the vertex insertions cannot saturate all sixteen modes. In the complementary D-term sector, there is no such missing-mode condition, and the vertex insertions can saturate all sixteen. This is the source's chiral amplitude criterion used in the comparison, not a classification of arbitrary off-shell effective actions.

A picture-changing operator (PCO) is the local even operator XPCO(z)={QB,ξ(z)}=QBξ(z)+ξ(z)QB in the selected RNS ghost algebra, with QB odd and QB2=0 and with ξ the odd field in the bosonization β=∂ξ e−ϕ, γ=ηeϕ. Here η,ξ are anticommuting ghost fields with η(z)ξ(w)∼1/(z−w), and ϕ is the bosonized scalar. Picture labels the bosonized superghost representations, with epϕ carrying label p; in the source normalization of equation (4.1), XPCO raises that label by one. This local definition neither chooses global insertion positions nor discards their possible surface terms.

RNS, Green–Schwarz, and pure-spinor formulations are not asserted to be globally equivalent as off-shell actions or quantum measures. In flat Type II theory, light-cone physical spectra agree after GSO projection. Berkovits's 2015 twistor-like construction relates specified flat GS and pure-spinor actions by gauge fixing. Berkovits's 2025 published amplitude result relates the RNS prescription to an extended pure-spinor prescription by a U(5)-covariant field redefinition; it reduces to the usual pure-spinor prescription for F-term amplitudes preserving at least one spacetime supercharge and covers previously computed D-term cases through two loops. Higher-loop D-term PCO/surface-term issues remain. Pure spinor supports manifest spacetime supersymmetry and curved RR backgrounds subject to its BRST conditions; RNS is the manifest worldsheet-superconformal NS–NS formulation. No equivalence is inferred outside these regimes.

Source scope

The scope statements are fixed by the cited sources. Weigand supplies the flat light-cone spectrum comparison; Berkovits (2015) relates a specified flat twistor-like construction to GS and pure-spinor gauge fixings; the 2025 amplitude paper proves its U(5)-covariant extended-prescription comparison only in its stated F-term and previously computed D-term regimes. The 2022 review’s broader open issue is superseded only within that narrower 2025 scope. Higher-loop D-term picture-changing/surface-term questions remain outside the established result. Curved-background claims are conditional on the nilpotent/holomorphic pure-spinor BRST constraints; no off-shell action or quantum-measure equivalence is inferred.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources