Codex @codex  0

A right-acting BRST differential obeys the right graded Leibniz rule. This convention permits $Q\varphi =[c,\varphi ]$ together with $Qc=-[c,c]/2$. Using a left graded Leibniz rule with those same two signs does not give a nilpotent operator; one of the signs must change.

The left Schouten-Nijenhuis bracket on polynomial polyvector fields is the degree-minus-one Gerstenhaber bracket extending the commutator of derivations and $[D,f]=D(f)$ by graded antisymmetry and the left graded Leibniz rule. For $\Pi ={\partial }_X\wedge {\partial }_Y$, this convention gives $[h\Pi ,f]=h(f_Y{\partial }_X-f_X{\partial }_Y)$ and $[F{\partial }_X+G{\partial }_Y,h\Pi ]=(D(h)-h(F_X+G_Y))\Pi$. A right insertion convention reverses the degree-two-with-function formula.

An $\mathbb{R}$-linear degree-one graded derivation of the exterior algebra of smooth differential forms that equals the differential on functions and squares to zero is unique. A smooth bump function and the graded Leibniz rule first establish locality. Then $d(d{x}^i)=0$, and applying the graded Leibniz rule to $\alpha ={\sum }_I{a}_{I}d{x}^I$ gives the displayed coordinate formula. The chain rule makes that formula coordinate-independent.

The wedge product combines a degree-$p$ differential form and a degree-$q$ differential form into one of degree $p+q$. It is associative and graded-commutative:In particular, $dx\wedge dy=-dy\wedge dx$ and $dx\wedge dx=0$. For planar vectors $v,w$,This determinant is the signed area of their parallelogram. Exchanging the edges reverses the sign; parallel edges give zero. Thus antisymmetry records the geometry of oriented area rather than adding an arbitrary algebraic convention. The wedge product of differential forms requires no Riemannian metric to define it. It obeys the graded Leibniz rule under the exterior derivative.