Lifting of to superalgebra

Let be the part of involving only the ghosts of even generators of (essentially, all the ghosts of odd generators all put to zero). The of Eq. (16) is annihilated by . What happens if we act on with the full , including the terms containing odd indices? Can we extend to a cocycle of ?

To answer this question, let us look at the spectral sequence corresponding to . At the first page we have (in these formulas we put ):

Our belongs to . The first obstacle lives in

We actually know that the SUGRA solution exist. Therefore this obstacle automatically vanishes. But there is another obstacle, which arizes when we go to the second page. It lives in:

We used the fact that relative cochains are -invariant, therefore the cocycles automatically fall into the finite-dimensional . In fact, this obstacle does not have to be zero, because there is something that can cancel it. Remember that is generally speaking not annihilated by , but rather satisfies Eq. (7). And, in fact, there is a nontrivial cocycle:

(18)

We conjecture that the supersymmetric extension of indeed exists, but instead of satisfying satisfies:

This conjecture should be verified by explicit computations, which we leave for future work. It may happen that the obstacle which would take values in the cohomology group of Eq. (18) actually vanishes for some reason.

We will now describe of Eq. (18).