Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge 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.

Flat RNS Action Euler–Lagrange Equations

Physical scope

Classical local variations of the flat gauge-fixed RNS action with compactly supported variations; boundary terms, global supersymmetry charges, quantum anomalies, and interacting backgrounds are excluded.

Statement

For the adopted flat RNS action, let x±=τ±σ and ∂±=12(∂τ±∂σ). For compactly supported variations, with odd variations tested in the exterior extensions specified below, the Euler–Lagrange equations are ∂+∂−Xμ=0, ∂−ψ+μ=0, and ∂+ψ−μ=0.

Facts & Assumptions

Given: Work locally with the Lorentzian metric and spinor conventions in RNS Flat Worldsheet Model, dimensionless τ,σ, and compactly supported variations. Put ψ=(ψ+,ψ−)T.

[F1]

RNS Flat Worldsheet Model: the adopted action is −18π∫[(2/α′)∂aX⋅∂aX+2iψˉρa∂aψ]d2σ.

[A1]

Use the local classical field domain fixed in RNS Flat Worldsheet Model: on the bounded coordinate rectangle Ω, X∈C2(Ω‾;M) and ψ∈C1(Ω‾;Λ1ˉ⊗M⊗R2). Take δX∈Cc2(Ω;M). For odd variation tests extend Λ to Λ+=Λ⊗⋀(θ) with one fresh odd generator θ, using the graded tensor product; the fields remain in the original embedded Λ. Allow independent compactly supported odd variations in Λ+, in particular δψ±μ=θf for every real f∈Cc1(Ω) in one component at a time. Stationarity means that every such first variation is zero in Λ+⊗RC; the complexification accommodates the factor i in the action. This is the formal Grassmann variational convention, rather than testing only within a fixed finite odd algebra. Grassmann-valued integrals are taken coefficientwise. Use left Grassmann variations, so moving an odd variation past an odd field changes sign; compact support removes all boundary terms.

Proof

1.1givenF1A1algebra

Substitution of the fixed ρa and ψˉ into [F1] gives SB=(1/(πα′))∫∂+X⋅∂−X. Varying X and integrating each derivative off δX gives δSB=−(2/(πα′))∫δX⋅∂+∂−X. Since compactly supported component variations are arbitrary, ∂+∂−Xμ=0 for each μ.

2.1givenF1A1algebra∎

The same substitution gives SF=(i/(2π))∫(ψ+⋅∂−ψ++ψ−⋅∂+ψ−)d2σ. For a left Grassmann variation, integration by parts and reordering the two odd factors make the two terms in each variation equal, so δSF=(i/π)∫(δψ+⋅∂−ψ++δψ−⋅∂+ψ−)d2σ. Testing a single component with δψ=θf, multiplication by θ is injective on the embedded Λ (distinct original exterior monomials remain distinct after adjoining θ). The first variation therefore forces each original Grassmann coefficient of the integral against f to vanish. The ordinary fundamental lemma applied to these continuous real coefficient functions, with f∈Cc1(Ω) arbitrary, gives ∂−ψ+μ=0 and ∂+ψ−μ=0.

Remarks

The gauge-fixed action and equations match Weigand, Chapter 6.1, equations (6.7)–(6.11). The source's stress and supercurrent formulas are adopted in RNS Flat Worldsheet Model; their parent metric/gravitino Noether derivation is not supplied by this gauge-fixed-action variation. Euclidean OPE normalization and central-charge cancellation are separate.

Depends on

Dependency tree · 2 levels

Sources