Chiral conformal-gauge BRST nilpotence is on shell
ID: chiral-conformal-gauge-brst-nilpotence-is-on-shell
In conformal gauge, let the odd left-acting BRST differential act by and . The graded Leibniz rule gives the displayed expression for . It vanishes using the ghost equations of motion , but it is not zero for arbitrary off-shell fields. For independent Grassmann variables , take , and ; then . Each ghost itself satisfies algebraically. With the eliminated-antighost transformation and on the solution space, the antighosts are nilpotent too. This on-shell closure is compatible with an off-shell total-derivative variation of the gauge-fixed action. A full off-shell BRST quantization uses the complete gauge transformation and, where required, auxiliary fields rather than silently dropping mixed ghost derivatives.
New to topics? Read the docs here!