A construction of generalized Harish-Chandra modules for locally reductive Lie algebras (Q1024617)

A locally reductive Lie algebra is a union \(\mathfrak g=\bigcup_{n=1}^{\infty}\mathfrak g_n\) of nested finite dimensional reductive Lie algebras \(\mathfrak g_n\) such that \(\mathfrak g_n\) is reductive in \(\mathfrak g_{n+1}\), i.\,e., \(\mathfrak g_{n+1}\) is semisimple as a \(\mathfrak g_n\)-module with the adjoint action. Two relatively well-understood families of such Lie algebras are the root-reductive Lie algebras (e.\,g., \(\mathfrak {gl}(\infty)\)), and the locally simple diagonal Lie algebras (e.\,g., \(\mathfrak {gl}(2^{\infty})\)). Given \(\mathfrak g\) and a finite dimensional reductive in \(\mathfrak g\) subalgebra \(\mathfrak k_0\), let \(\mathfrak k=\mathfrak k_0+C_{\mathfrak g}(\mathfrak k_0)\), with \(C_{\mathfrak g}(\mathfrak k_0)\) the centralizer of \(\mathfrak k_0\) in \(\mathfrak g\). In this paper, the authors provide a construction of \((\mathfrak g,\mathfrak k)\)-modules of finite type over \(\mathfrak k\). When \(\mathfrak g\) is root-reductive, \(\mathfrak k\) can be the set of fixed points of an involution on \(\mathfrak g\); in this sense, these modules generalize Harish-Chandra modules. The construction is a form of cohomological induction which is a generalization of the fundamental series construction, and uses the derived functor of the functor of locally finite \(\mathfrak k_0\)-vectors. The authors prove a general nonvanishing and \(\mathfrak k\)-finiteness theorem for the output. The finiteness follows from a general theorem for cohomological induction which asserts \(\mathfrak k\)-finiteness of the output whenever the input is \((\mathfrak k\cap\mathfrak m)\)-finite, for \(\mathfrak m\) the reductive part of the compatible parabolic subalgebra. In both the root-reductive and the diagonal case, one can construct reasonably large families of parabolically induced modules that are \((\mathfrak k\cap\mathfrak m)\)-finite. In addition, the authors give sufficient conditions under which the constructed \((\mathfrak g,\mathfrak k)\)-module \(M\) is strict; i.\,e., when \(\mathfrak k\) coincides with the subalgebra of all elements of \(\mathfrak g\) which act locally finitely on \(M\) (the Fernando-Kac subalgebra of \(M\)).