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

Back to manuscript

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

Nearby in this section