A characterization of the differential in semi-infinite cohomology (Q1320177)

The author shows the existence and uniqueness of a canonical zero-square differential operator \(d\) of a complex \(M\otimes \Lambda^{\infty/ 2+*} {\mathcal G}'\) defining the semi-infinite cohomology [\textit{B. Feigin}, Russ. Math. Surv. 39, No. 2, 155-156 (1984); translation from Usp. Mat. Nauk 39, No. 2, 195-196 (1984; Zbl 0544.17009)]. Given a \(\mathbb{Z}\)-graded Lie algebra \({\mathcal G}= \bigoplus_{n\in \mathbb{Z}} {\mathcal G}_ n\) over a field \(K\) of characteristic 0, with \(\dim ({\mathcal G}_ n)< \infty\) for all \(n\in \mathbb{Z}\), and a certain central extension \(\widetilde {\mathcal G}\) of \({\mathcal G}\), he considers an associative algebra \(Y^ \infty {\mathcal G}\) and the \(Y^ \infty {\mathcal G}\)-module \(M\otimes \Lambda^{\infty/ 2+*} {\mathcal G}'\), where \(M\) is a smooth \(\widetilde {\mathcal G}\)-module and \(\Lambda^{\infty/ 2+*} {\mathcal G}'\) is the space of the semi-infinite forms, with \({\mathcal G}'= \bigoplus_{n\in \mathbb{Z}} {\mathcal G}_ n^ \prime\) and \({\mathcal G}_ n^ \prime= \underline {\Hom}_ K ({\mathcal G}_{-n}, K)\). The differential \(d\) is defined using only the language of derivations.