Relative cohomologyLet us consider the BRST cohomology:where . The cohomology of this complex will be called:

On the other hand, consider the relative cohomology group:We claim that (42) coincides with (41):

In fact (41) is the usual (slightly generalized) BRST cohomology of the Berkovits formalism.

And (42) is a new description.