Manuscript X-J-ST@1 · X-J-ST.tex · lemma · 8f0d1a36
Lemma: Field nilpotence
The retained classical interface and its recovery › Fields and field differential · lines 428–450 · proof included or linked
X-J-ST@1#lem:snil
The field differential satisfies off shell. Its zeroth-order part is
Proof. For the odd vector field , set . The graded Lie identity is . Since and ,
The fixed background implies . The same identity on scalars gives ; direct expansion gives . The nonminimal pair is nilpotent by definition.
Displayed formulas in this passage
unlabeled · line 432
unlabeled · line 443