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
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.