Generalized Harish-Chandra modules with generic minimal k-type

DOI10.4310/AJM.2004.V8.N4.A25MaRDI QIDQ2484142zbMATH OpenFDO

Authors Ivan Penkov, Gregg J. Zuckerman

Publication date 3 August 2005

Published in The Asian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0409285

zbMATH Keywords

algebraic reductive pair of complex Lie algebrasfundamental seriesgeneralized Harish-Chandra module

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10)

Abstract: We make a first step towards a classification of simple generalized Harish-Chandra modules which are not Harish-Chandra modules or weight modules of finite type. For an arbitrary algebraic reductive pair of complex Lie algebras $(g,k)$, we construct, via cohomological induction, the fundamental series $F^{c}dot(p,E)$ of generalized Harish-Chandra modules. We then use $F^{c}dot(p,E)$ to characterize any simple generalized Harish-Chandra module with generic minimal $k$-type. More precisely, we prove that any such simple $(g,k)$-module of finite type arises as the unique simple submodule of an appropriate fundamental series module $F^s(p,E)$ in the middle dimension $s$. Under the stronger assumption that $k$ contains a semisimple regular element of $g$, we prove that any simple $(g,k)$-module with generic minimal $k$-type is necessarily of finite type, and hence obtain a reconstruction theorem for a class of simple $(g,k)$-modules which can a priori have infinite type. We also obtain generic general versions of some classical theorems of Harish-Chandra, such as the Harish-Chandra admissibility theorem. The paper is concluded by examples, in particular we compute the genericity condition on a $k$-type for any pair $(g,k)$ with $ksimeqsell(2)$.

Review text

Let \(\mathfrak g\) be a complex semisimple Lie algebra and \(\mathfrak k\) an algebraic subalgebra of \(\mathfrak g\) which is reductive in \(\mathfrak g\). A generalized Harish-Chandra \((\mathfrak g,\mathfrak k)\)-module \(M\) is a \(\mathfrak g\)-module such that \(M\) as the \(\mathfrak k\)-module is a direct sum of finite-dimensional isotypic components \(M[\mu ]\neq 0\), where \(\mu \) is the highest weight of an irreducible summand \(V(\mu )\) of \(M[\mu ]\) (\(V(\mu )\) is called a \(\mathfrak k\)-type) and \(\dim M[\mu ]\neq \infty \). The classical theory of Harish-Chandra modules deals with the symmetric pair \((\mathfrak g,\mathfrak k)\), that is \(\mathfrak k\) is a subalgebra consisting of fixed elements with respect to an involutive automorphism of the semisimple Lie algebra \(\mathfrak g\). In the paper for the pair \((\mathfrak g,\mathfrak k)\) the minimal compatible reductive subalgebra \(\mathfrak p\) is defined. Using coinduction from \(\mathfrak p\)-modules, the functor of \(\mathfrak k\)-locally finite vectors on the category of \((\mathfrak g,\mathfrak t)\)-modules where \(\mathfrak t\) is a fixed Cartan subalgebra in \(\mathfrak k\), and cohomological induction the authors construct the fundamental series of generalized Harish-Chandra modules such that any module of the series has the unique minimal generic \(\mathfrak k\)-type \(V(\mu)\) and the corresponding isotypic component generates the unique simple \(\mathfrak g\)-submodule. It is proved that any simple generalized Harish-Chandra \((\mathfrak g, \mathfrak k)\)-module with minimal generic \(\mathfrak k\)-type \(V(\mu )\) is canonically isomorphic to the unique simple \((\mathfrak g,\mathfrak k)\)-submodule of an appropriate module of the fundamental series. Moreover, the analogue of Harish-Chandra's admissibility theorem for simple \((\mathfrak g,\mathfrak k)\)-modules with a generic minimal \(\mathfrak k\)-type under the assumption that the Cartan subalgebra of \(\mathfrak k\) contains a regular element of \(\mathfrak g\) is proved. As an illustration at the end of the paper the case when \(\mathfrak k=sl(2)\) is considered.

Recommendations

• On the structure of the fundamental series of generalized Harish-Chandra modules
• Algebraic methods in the theory of generalized Harish-Chandra modules
• Construction of Generalized Harish-Chandra Modules with Arbitrary Minimal -Type
• scientific article; zbMATH DE number 3953016
• scientific article; zbMATH DE number 1916827

Cited in

(22)

• A construction of generalized Harish-Chandra modules for locally reductive Lie algebras
• On the existence of infinite-dimensional generalized Harish-Chandra modules
• Generalized Harish-Chandra modules: a new direction in the structure theory of representations
• A structure theorem for Harish-Chandra bimodules via coinvariants and Golod rings
• On the structure of the fundamental series of generalized Harish-Chandra modules
• Generalized Harish-Chandra Modules
• Harish Chandra modules of rank one Lie groups with admissible restriction to some reductive subgroup
• Construction of Generalized Harish-Chandra Modules with Arbitrary Minimal -Type
• A generating function for Blattner’s formula
• Supports of \((\mathfrak g,\mathfrak k)\)-modules of finite type
• Homomorphismes de Harish-Chandra liés aux K-types minimaux des séries principales généralisées des groupes de Lie réductifs connexes
• scientific article; zbMATH DE number 139472 (Why is no real title available?)
• scientific article; zbMATH DE number 139480 (Why is no real title available?)
• Bounded reductive subalgebras of \(\mathfrak{sl}_n\)
• On bounded generalized Harish-Chandra modules
• scientific article; zbMATH DE number 1916827 (Why is no real title available?)
• Algebraic characters of Harish-Chandra modules
• Algebraic methods in the theory of generalized Harish-Chandra modules
• Construction of irreducible \(\mathcal{U}(\mathfrak{g})^{G'}\)-modules and discretely decomposable restrictions
• On categories of admissible \(( \mathfrak{g}, \mathrm{sl}(2))\)-modules
• The n-homology of Harish-Chandra modules: Generalizing a theorem of Kostant
• \(K\)-finite matrix elements of irreducible Harish-Chandra modules are hypergeometric functions

This page was built for publication: Generalized Harish-Chandra modules with generic minimal \({\mathfrak k}\)-type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2484142)