Manuscript XVI-P@p23 · XVI-P.tex · lemma · 9b0037a7

Lemma: Multidegree, corrected

Master equation through O(κ 2) by antifield number · lines 1550–1556

XVI-P@p23#lem:multidegree

Back to manuscript

Let project onto field multidegree and let be the Euler operator of field . Then . ( lowers the -degree by one and preserves the others; total derivatives preserve multidegree.) Consequently, if for all , then for all and , so every homogeneous component () is a divergence; conversely a sum of divergences is a divergence.

Nearby in this section