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
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 and . For compactly supported variations, with odd variations tested in the exterior extensions specified below, the Euler–Lagrange equations are , , and .
Statement references
Facts & Assumptions
Given: Work locally with the Lorentzian metric and spinor conventions in RNS Flat Worldsheet Model, dimensionless , and compactly supported variations. Put .
RNS Flat Worldsheet Model: the adopted action is .
Use the local classical field domain fixed in RNS Flat Worldsheet Model: on the bounded coordinate rectangle , and . Take . 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 for every real in one component at a time. Stationarity means that every such first variation is zero in ; the complexification accommodates the factor 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
Substitution of the fixed and into [F1] gives . Varying and integrating each derivative off gives . Since compactly supported component variations are arbitrary, for each .
The same substitution gives . For a left Grassmann variation, integration by parts and reordering the two odd factors make the two terms in each variation equal, so . Testing a single component with , 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 to vanish. The ordinary fundamental lemma applied to these continuous real coefficient functions, with arbitrary, gives and .
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.