BRST cohomology for
BRST operator acts on the functions which are invariant under :

(16)


The Koszul property of pure spinors implies that the cohomology of the complex (16) can be computed as the relative Lie algebra cohomology of :

where .