The first cohomology of a Kac-Moody algebra with coefficients in an integrable category \(\mathcal O\) module (Q1102369): Difference between revisions

Let \(\mathfrak g\) be a Kac-Moody algebra, let \(\mathfrak h\) be its Cartan subalgebra and \(M\) be an \(\mathfrak h\)-module. If for each \(\lambda\in {\mathfrak h}^*\) the space \(M_{\lambda}=\{m\in M\mid h\cdot m=\lambda (h)m\) for all \(h\in\mathfrak h\}\) is finite dimensional, then \(M=\oplus_{\lambda\in\mathfrak h^*}M_{\lambda}\) is called a weight module. Suppose also that \(M\) is integrable, i.e. \(e_ i\) and \(f_ i\) act locally nilpotently on \(M\). In the paper for such module the cohomology space \(H^ 1(\mathfrak g,M)\) is determined and is proved that the relative cohomology \(H^ 1(\mathfrak g,\mathfrak h,M)\) is zero.