On the ansatz (3) the BRST operatoracts as follows:
The cohomology of this complex will be denoted. This depends on the representation
.
A representation
is present in the spectrum of massless SUGRA on
if and only if
is nontrivial. This is determined in terms of the structure of the representation.