Classification of irreducible weight modules
type: Item
instance of: scholarly article
title: Classification of irreducible weight modules
zbMATH Open document ID: 0962.17002
publication date: 2000-05-17T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/75429
review text: Let \(\mathfrak g\) be a reductive algebra over an algebraically closed field of characteristic zero. The author classifies all simple weight \(\mathfrak g\)-modules (in which each weight space is finite dimensional). By Fernando's Theorem, the problem reduces to a classification of cuspidal modules, { e.g.}, non-parabolically induced modules. For simpe Lie algebras \(\mathfrak g\), such modules exist only if \(\mathfrak g\) is of type \(A\) or \(C\). The heart of the paper is therefore an explicit classification of cuspidal modules for Lie algebras of type \(A\) and \(C\). The central technique is the study of coherent families. Write \(\mathcal A\) for the commutant of the Cartan subalgebra in the universal enveloping algebra of \(\mathfrak g\). A coherent family of degree \(d\) is a weight module \(\mathcal M\) such that each weight space, \({\mathcal M}_\lambda\), has dimension \(d\) and the function \(\lambda\rightarrow Tr(u|_{{\mathcal M}_\lambda})\) is a polynomial in \(\lambda\) for each \(u\in\mathcal A\). For any \(t\) in the dual torus, write \({\mathcal M}[t]\) for the \(\mathfrak g\)-submodule \(\bigoplus_{\lambda\in t} {\mathcal M}_\lambda\). The author shows that any cuspidal module is isomorphic to \({\mathcal M}[t]\) for a unique \(t\) in the dual torus and a unique irreducible semi-simple coherent family \(\mathcal M\). In turn, any irreducible semi-simple coherent family \(\mathcal M\) contains certain infinite dimensional simple highest weight modules that, in fact, determine \(\mathcal M\). Such highest weight modules are in fact admissible, { i.e.}, the weight multiplicities are uniformly bounded. Therefore the author first classifies all admissible highest weight modules and then uses this information to classify irreducible semi-simple coherent families. The last step is to identify all cuspidal submodules from each of these coherent families. It turns out that the complement of this set corresponds to a union of finitely many codimension one…
Mathematics Subject Classification ID: 17B10
zbMATH DE Number: 1448500
zbMATH Keywords: semisimple Lie algebras
zbMATH Keywords: weight modules
zbMATH Keywords: reductive algebra
zbMATH Keywords: simple weight \(\mathfrak g\) modules
zbMATH Keywords: cuspidal modules
zbMATH Keywords: Lie algebras of type \(A\) and \(C\)
zbMATH Keywords: coherent families
author: Olivier Mathieu
reviewed by: Mark R. Sepanski
MaRDI profile type: Publication
OpenAlex ID: W2076391924
cites work: Modules with bounded weight multiplicities for simple Lie algebras
cites work: Simple \(C_n\) modules with multiplicities \(1\) and applications
cites work: Simple A2-modules with a finite dimensional weight space
cites work: A Classification of Simple Lie Modules Having a 1-Dimensional Weight Space
cites work: On modules of bounded multiplicities for the symplectic algebras
cites work: The Torsion Free Pieri Formula
cites work: On the structure of weight modules
cites work: Q4065692
cites work: Lie Algebra Modules with Finite Dimensional Weight Spaces, I
cites work: Towards the Kazhdan-Lusztig conjecture
cites work: Differential formes over the projective real space under a general linear group action
cites work: Moduln mit einem höchsten Gewicht
cites work: Q3199611
cites work: Q4010757
cites work: Lie algebra cohomology and the generalized Borel-Weil theorem
cites work: On Lie algebras and some special functions of mathematical physics
cites work: Kategorie O , Perverse Garben Und Moduln Uber Den Koinvariantez Zur Weylgruppe
DOI: 10.5802/AIF.1765
published in: Annales de l’institut Fourier
description: scientific article; zbMATH DE number 1448500