BRST nilpotence ($Q^2=0$)

A BRST charge is nilpotent when $Q^2=0$, making BRST cohomology well-defined. For the critical bosonic string theory, the matter and ghost central charges cancel, $D-26=0$, and the intercept is one. In a ghost convention with a zero-mode linear shift, the shifted total constraint generators, rather than the unshifted ones, obey the centerless Witt algebra.

Using the graded Leibniz rule, $s^{2}A=D(sc)+g(Dc)\times c=0$ because $D(c\times c)=2(Dc)\times c$. The graded Jacobi identity gives $s^{2}c=g^2(c\times c)\times c/2=0$. BRST nilpotence on the antighost and Nakanishi-Lautrup field is immediate. No field equations are required.