Alphabeta Math
PostulateStatement: Literature-sourcedProof: 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.

Green Schwarz Superstring Model

Physical scope

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 Ω⊂R2 be an open Lorentzian worldsheet coordinate patch with dimensionless coordinates (τ,σ); all displayed action densities are integrated over Ω. Let M=R1,9 with η=diag⁡(−,+,…,+), and fix a finite-dimensional real Grassmann algebra Λ. The bosonic field is a smooth even Grassmann-valued map X:Ω→Λ0ˉ⊗R1,9; its body Xbody:Ω→M is obtained by the augmentation Λ→R that kills all Grassmann generators. Extend η and the gamma pairings coefficientwise over Λ. This even field space includes the nilpotent variations δκX displayed below. The fermionic fields are smooth maps θI:Ω→Λ1ˉ⊗SI for I=1,2, where each SI is a fixed real sixteen-dimensional Majorana–Weyl module of Spin⁡(1,9); 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 dτ∧dσ (so ϵτσ=+1). The coordinates Xm have length dimension one and the Grassmann-odd spinors have length dimension 1/2. Use symmetric ten-dimensional gamma matrices for each chirality, with γmαβγnβγ+γnαβγmβγ=2ηmnδγα, and the corresponding hatted-index identity for θ2. Set ∂±=∂τ±∂σ and define the two supersymmetric pullbacks Π±m=∂±Xm+12(θ1γm∂±θ1+θ2γm∂±θ2). Adopt α′>0 with dimension [α′]=length2, and set T=1/(2πα′). Adopt the conformal-gauge action SGS=T∫Ωdτdσ[−12Π+mΠ−m−12∂τXm(θ1γm∂σθ1−θ2γm∂σθ2)+12∂σXm(θ1γm∂τθ1−θ2γm∂τθ2)+14(θ1γm∂τθ1)(θ2γm∂σθ2)−14(θ1γm∂σθ1)(θ2γm∂τθ2)], The Wess–Zumino terms use the actual ∂τ,∂σ derivatives in Berkovits (3.36); Π− and Π+ are respectively that source's Π and Π‾. A bilinear θIγm∂aθI uses the matching lower-index block.

Retain the two metric constraints Π−mΠ−m=0,Π+mΠ+m=0. For smooth compactly supported Grassmann-odd parameter fields κ1:Ω→Λ1ˉ⊗S1∗ and κ2:Ω→Λ1ˉ⊗S2∗ of length dimension −1/2, the adopted kappa transformations are δκθ1α=Π−m(γm)αβκβ1,δκθ2α^=Π+m(γm)α^β^κβ^2,δκXm=12(δκθ1γmθ1+δκθ2γmθ2). The induced pullback variations, obtained from their definitions and Grassmann antisymmetry, are δκΠ±m=δκθ1γm∂±θ1+δκθ2γm∂±θ2. On the metric-constraint surface they obey the chiral projection constraints Π−m(γm)αβδκθ1β=0,Π+m(γm)α^β^δκθ2β^=0, because the two successive gamma contractions equal Π−2 and Π+2, 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 e,e^, normalized so that their first metric variation at conformal gauge couples as T∫Ωdτdσ (δe Π−2+δe^ Π+2). Their transformations in this gauge are δκe=κα1∂−θ1α,δκe^=κα^2∂+θ2α^. For this source comparison, write SL for Berkovits's auxiliary L-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, δκSL=+T∫Ωdτdσ [Π−2(κα1∂−θ1α)+Π+2(κα^2∂+θ2α^)]. Berkovits states that this cancels the variation of the Green–Schwarz action, so the latter has the opposite variation, δκSGS=−T∫Ωdτdσ [Π−2(κα1∂−θ1α)+Π+2(κα^2∂+θ2α^)]. 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.

Depends on

Dependency tree · 2 levels

Sources