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.
Green Schwarz Superstring Model
Adopted flat ten-dimensional Type II Green–Schwarz worldsheet action in Lorentzian conformal gauge. It asserts the source-defined classical kappa symmetry but no covariant quantum measure or quantum-consistency result.
Postulate
Adopt the flat ten-dimensional Type II Green–Schwarz superstring as a classical worldsheet model. Let be an open Lorentzian worldsheet coordinate patch with dimensionless coordinates ; all displayed action densities are integrated over . Let with , and fix a finite-dimensional real Grassmann algebra . The bosonic field is a smooth even Grassmann-valued map ; its body is obtained by the augmentation that kills all Grassmann generators. Extend and the gamma pairings coefficientwise over . This even field space includes the nilpotent variations displayed below. The fermionic fields are smooth maps for , where each is a fixed real sixteen-dimensional Majorana–Weyl module of ; the two modules have opposite chiralities in Type IIA and equal chiralities in Type IIB. Grassmann-valued integrals are taken coefficientwise. The action below is the Lorentzian conformal-gauge expression; its local kappa symmetry is the symmetry of the worldsheet-metric formulation with the inherited constraints and metric compensation specified below.
Use worldsheet orientation (so ). The coordinates have length dimension one and the Grassmann-odd spinors have length dimension . Use symmetric ten-dimensional gamma matrices for each chirality, with and the corresponding hatted-index identity for . Set and define the two supersymmetric pullbacks Adopt with dimension , and set . Adopt the conformal-gauge action The Wess–Zumino terms use the actual derivatives in Berkovits (3.36); and are respectively that source's and . A bilinear uses the matching lower-index block.
Retain the two metric constraints For smooth compactly supported Grassmann-odd parameter fields and of length dimension , the adopted kappa transformations are The induced pullback variations, obtained from their definitions and Grassmann antisymmetry, are On the metric-constraint surface they obey the chiral projection constraints because the two successive gamma contractions equal and , respectively. These are the spinorial constraints parameterized by (3.37)–(3.38) in the source.
The metric compensation is part of the adopted local symmetry. Denote the two zweibein components in the parent worldsheet action by , normalized so that their first metric variation at conformal gauge couples as . Their transformations in this gauge are For this source comparison, write for Berkovits's auxiliary -dependent constraint term, which is not a field term in the adopted fixed-metric action. With compactly supported kappa parameters, the source's equation (3.40) is its variation, Berkovits states that this cancels the variation of the Green–Schwarz action, so the latter has the opposite variation, This is canceled by the displayed zweibein variation before imposing conformal gauge, and the net variation vanishes on the retained metric constraints. Thus the fixed-metric action is not asserted invariant off shell under an arbitrary local parameter while the metric variation is discarded. Parameters preserving the gauge must also preserve its zweibein gauge condition, or be accompanied by a compensating worldsheet gauge transformation. The auxiliary twistor-like variables in the source's (3.35) and (3.39) are not additional fields of the adopted GS action; they are the source's route to these classical transformations.
This postulate asserts these classical flat-space action, constraints and local gauge transformations. It does not assert a covariant quantum measure or a quantum-consistency result.