BRST cohomology of Type IIB in 

We want to construct some analogue of (15), (16) where the algebra
would be replaced with the superconformal algebra
.


where now
is the space of
-th degree polynomials of two pure spinors
and
and the operator
is defined just as a sum of two expressions like (16):





This is almost correct, except for such an operator would not be nilpotent:
The way out is to impose some condition of
-invariance, either this:

or maybe this:
There is a subtle difference between these two definitions.
Here
is the space of
-invariants,
while
are ``co-invariants''. When
is finite-dimensional, they are the same.
But we often need infinite-dimensional
such as
. In this case, we typically need (19).






Imposing such an invariance condition makes
nilpotent. For example, in case of (18):

This is zero because of the Jacobi identity and pure spinor constraints.
Eq. (19) is the correct definition of the BRST complex, and the one which actually comes from the pure spinor formalism.