Catégorie O

Dans la théorie des représentations des algèbres de Lie semi-simples, la catégorie O (ou catégorie ${\mathcal {O}}$ ) est une catégorie dont les objets sont certaines représentations d'une algèbre de Lie semi-simple et les morphismes sont les morphismes de représentations.

Comme elle contient les modules de plus haut poids (et en particulier les représentations de dimension finie) et les modules de Verma, elle est appropriée pour le calcul des caractères des modules de plus haut poids irréductibles et le lien avec les conjectures de Kazhdan-Lusztig.

Notations

Soit ${\mathfrak {g}}$ une algèbre de Lie semi-simple (généralement complexe) dans laquelle on choisit une sous-algèbre de Cartan ${\mathfrak {h}}$ . On note $\Phi$ le système de racines associé et on fixe un système de racines positives $\Phi ^{+}$ . On note ${\mathfrak {g}}_{\alpha }$ l'espace radiciel correspondant à une racine $\alpha \in \Phi$ et ${\mathfrak {n}}=\bigoplus _{\alpha \in \Phi ^{+}}{\mathfrak {g}}_{\alpha }$ la sous-algèbre nilpotente (en) maximale correspondante.

Pour un ${\mathfrak {g}}$ -module $M$ et $\lambda \in {\mathfrak {h}}^{*}$ , on note $M_{\lambda }$ l'espace de poids

M_{\lambda }=\{v\in M:\forall h\in {\mathfrak {h}}\,\,h\cdot v=\lambda (h)v\}.

Définition de la catégorie O

Les objets de catégorie ${\mathcal {O}}$ sont les ${\mathfrak {g}}$ -modules $M$ tels que

$M$ est de type fini ;
$M=\bigoplus _{\lambda \in {\mathfrak {h}}^{*}}M_{\lambda }$ ;
$M$ est localement ${\mathfrak {n}}$ -fini, c'est-à-dire que pour tout $v\in M$ , le ${\mathfrak {n}}$ -module engendré par $v$ est de dimension finie.

Les morphismes de cette catégorie sont les morphismes de représentations entre ces ${\mathfrak {g}}$ -modules.

Premières propriétés

Tout module d'une catégorie O est la somme directe de ses espaces de poids, qui sont de dimension finie.
Tout module de la catégorie O est noethérien (en).
La catégorie O est une catégorie abélienne
La catégorie O a suffisamment de projectifs et d'injectifs (en) ; en exploitant cette propriété, (Bernstein, Gelfand et Gelfand 1975) construisent une résolution projective (en) qui est une sorte de catégorification avant l'heure de la formule des caractères de Weyl.
La catégorie O est stable par passage aux sous-modules, aux quotients et aux sommes directes finies.
La catégorie O est munie d'un foncteur de dualité – involutif – qui fixe les objets irréductibles.
Les objets de O sont $Z({\mathfrak {g}})$ -finis, c'est-à-dire que pour un objet $M$ et un vecteur $v\in M$ , le sous-espace $Z({\mathfrak {g}})v\subseteq M$ engendré par $v$ sous l'action du centre de l'algèbre universelle enveloppante est de dimension finie.

Exemples

Les ${\mathfrak {g}}$ -modules de dimension finie et leurs ${\mathfrak {g}}$ -morphismes sont dans la catégorie O.
Les modules de Verma (en) et les modules de Verma généralisés (en) munis de leurs ${\mathfrak {g}}$ -morphismes sont dans la catégorie O.

Articles connexes

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Category O » (voir la liste des auteurs).
I. N. Bernshtein, I. M. Gelfand et S. I. Gelfand, « Structure of representations generated by highest weights », Funktsional. Anal. i Prilozhen, vol. 5, n^o 1,‎ 1971, p. 1-9 ; « traduction en anglais », Funct. Anal. Appl., vol. 5,‎ 1971, p. 1-8 (lire en ligne)
I. N. Bernstein, I. M. Gelfand et S. I. Gelfand, « Differential Operators on the Base Affine Space and a Study of g-Modules », dans I. M. Gelfand (éd.), Lie Groups and Their Representations, Londres, Adam Hilger, 1975, 726 p. (ISBN 0-85274-296-7)
I. N. Bernshtein, I. M. Gelfand et S. I. Gelfand, « On a category of g-modules », Funktsional. Anal. i Prilozhen, vol. 10, n^o 2,‎ 1976, p. 1-8 ; « traduction en anglais », Funct. Anal. Appl., vol. 10,‎ 1976, p. 87-92 (lire en ligne)
James E. Humphreys, Representations of semisimple Lie algebras in the BGG category O, American Mathematical Society, coll. « Graduate Studies in Mathematics » (n^o 94), 2008, xvi+289 p. (ISBN 978-0-8218-4678-0, SUDOC 128063629, lire en ligne [archive du 21 mars 2012]) ; « errata »