A homology vanishing theorem for Kac-Moody algebras with coefficients in the category \(\mathcal O\) (Q1096002): Difference between revisions

Let \(\mathfrak g\) be a symmetrizable Kac-Moody Lie algebra and \(M\) be a \(\mathfrak g\)-module in the category \(\mathcal O\). The author proves that \(H_*(\mathfrak g,M)=(0)\) when the Casimir operator \(\Omega\) acts as an automorphism on \(M\). When \(\mathfrak g\) is a finite-dimensional semisimple Lie algebra the proof is almost trivial. Here the main difficulty comes from the fact that \(\Omega\) is not a central element in the enveloping algebra \(U(\mathfrak g)\). Therefore, the author has to use the Chari-Ilangovan completion \(\hat U(\mathfrak g)\) which contains \(\Omega\) in the center: he proves that \[ \text{Tor}_*^{U(\mathfrak g)}(k,M)\simeq\text{Tor}_*^{\hat U(\mathfrak g)}(k,M) \] and then applies the classical argument. The next result is the computation of \(H_*(\mathfrak g,M(\lambda))\) for a Verma module \(M(\lambda)\). This was done by \textit{Chiu Sen} [J. Algebra 90, 10--17 (1984; Zbl 0544.17008)]. They both follow the methods of \textit{F. L. Williams} [Trans. Am. Math. Soc. 240, 115--127 (1978; Zbl 0389.17003)] and \textit{D. King} [The \(g\)-cohomology of a generalized Verma module (Univ. San-Diego, unpublished)]. The last result is \(H_*(\mathfrak g,L(\lambda))=(0)\) for an integrable highest weight module \(L(\lambda)\) by using the first result and a BGG resolution. This was obtained by \textit{M. Duflo} (unpublished, private communication to Kac). The reader should also consult the author's continuation of this paper [J. Algebra 108, 472--491 (1987; Zbl 0625.17009)].