Polynôme de Kazhdan-Lusztig

En mathématiques, plus précisément en théorie des représentations, un polynôme de Kazhdan-Lusztig $P_{y,w}(q)$ est l'un des éléments d'une famille de polynômes à coefficients entiers introduite par David Kazhdan et George Lusztig en 1979. Ils sont indexés par les couples d'éléments (y, w) d'un groupe de Coxeter W, qui peut notamment être le groupe de Weyl d'un groupe de Lie.

Motivation et historique

Au printemps 1978, Kazhdan et Lusztig étudient les représentations de Springer du groupe de Weyl d'un groupe algébrique sur les groupes de cohomologie $\ell$-adique associés aux classes de conjugaison unipotentes. Ils trouvent une nouvelle construction de ces représentations sur le corps des complexes Modèle:Référence Harvard. La représentation admet deux bases naturelles et la matrice de transition entre ces deux bases est essentiellement donnée par les polynômes de Kazhdan-Lusztig. La construction réelle par Kazhdan et Lusztig de leurs polynômes est plus élémentaire. Kazhdan et Lusztig l'ont utilisé pour construire une base canonique dans l'algèbre de Hecke du groupe de Coxeter et ses représentations.

Dans leur premier article, Kazhdan et Lusztig mentionnent que leurs polynômes étaient liés au défaut de dualité de Poincaré locale pour les variétés de Schubert. Dans Kazhdan & Lusztig (1980b), ils réinterprètent cela en termes de la Modèle:Lien définie par Mark Goresky et Robert MacPherson, et donnent une autre définition d'une telle base en termes de dimensions de certains groupes de cohomologie d'intersection.

Les deux bases de la représentation de Springer ont rappelé à Kazhdan et Lusztig les deux bases du groupe de Grothendieck de certaines représentations de dimension infinie des algèbres de Lie semi-simple, données par les Modèle:Lien et les modules simples. Cette analogie, et les travaux de Jens Carsten Jantzen et Anthony Joseph reliant les Modèle:Lien des algèbres enveloppantes aux représentations des groupes de Weyl, ont conduit aux conjectures de Kazhdan-Lusztig.

Définition

Fixons un groupe de Coxeter W ayant pour système générateur S, et notons $\ell (w)$ la longueur d'un élément w (la plus petite longueur d'une expression pour w en tant que produit d'éléments de S). L'algèbre de Hecke de W a une base d'éléments $T_w$ pour $w\in W$ sur l'anneau $\mathbb{Z}[q^{1/2},q^{-1/2}]$, avec multiplication définie par

$\begin{array}{cccc}{T}_y{T}_w& =T_{yw},& & \text{si }\ell (yw)=\ell (y)+\ell (w);\\ (T_s+1)(T_s-q)& =0,& & \text{si }s\in S.\end{array}$

La deuxième relation quadratique implique que chaque générateur Modèle:Mvar est inversible dans l'algèbre de Hecke, l'inverse étant Modèle:Formule . Ces inverses satisfont à la relation Modèle:Formule (obtenue en multipliant la relation quadratique pour Modèle:Mvar par Modèle:Mvar⁻²q⁻¹), ainsi que la relation de tresse. Il en résulte que l'algèbre de Hecke a un automorphisme D qui envoie q^1/2 sur q^−1/2 et chaque Modèle:Mvar sur Modèle:Mvar. Plus généralement, on a $D(T_w)=T_{w^{-1}}^{-1}$ ; de plus, on voit que D est une involution.

Les polynômes de Kazhdan–Lusztig P_yw(q) sont indexés par une paire d'éléments y, w de W, et déterminés de manière unique par les propriétés suivantes.

• Ils valent 0 sauf si y ≤ w (dans l'ordre de Bruhat de W), 1 si y = w, et pour y < w leur degré est au plus (ℓ(w) − ℓ(y) − 1)/2.
• Les éléments

$C{\text{'}}_w=q^{-\frac{\ell (w)}{2}}\sum _{y\le w}{P}_{y,w}{T}_y$

sont invariants par l'involution D de l'algèbre de Hecke. Les éléments $C{\text{'}}_w$ forment une base de l'algèbre de Hecke en tant que $\mathbb{Z}[q^{1/2},q^{-1/2}]$-module, appelé la base de Kazhdan-Lusztig.

Pour établir l'existence des polynômes de Kazhdan-Lusztig, Kazhdan et Lusztig ont donné une procédure récursive simple pour calculer les polynômes P_yw(q) en termes de polynômes plus élémentaires notés R_yw(q), qui sont définis par

$T_{y^{-1}}^{-1}=\sum _{x}D(R_{x,y})q^{-\ell (x)}{T}_x.$

Ces derniers polynômes peuvent être calculés en utilisant les relations de récurrence

$R_{x,y}=\{\begin{array}{cc}0& \text{si }x\le ̸y;\\ 1& \text{si }x=y;\\ R_{sx,sy}& \text{si }sx<x\text{ et }sy<y;\\ R_{xs,ys}& \text{si }xs<x\text{ et }ys<y;\\ (q-1)R_{sx,y}+q{R}_{sx,sy}& \text{si }sx>x\text{ et }sy<y.\end{array}$

Les polynômes de Kazhdan-Lusztig peuvent alors être calculés de manière récursive en utilisant la relation

$q^{\frac{1}{2}(\ell (w)-\ell (x))}D(P_{x,w})-q^{\frac{1}{2}(\ell (x)-\ell (w))}{P}_{x,w}=\sum _{x<y\le w}(-1{)}^{\ell (x)+\ell (y)}{q}^{\frac{1}{2}(-\ell (x)+2\ell (y)-\ell (w))}D(R_{x,y})P_{y,w}$

en utilisant le fait que les deux termes de gauche sont des polynômes en q^1/2 et q^−1/2 sans termes constants. Ces formules sont fastidieuses à utiliser à la main pour un rang supérieur à 3 environ mais elles sont bien adaptées aux ordinateurs, et la seule limite au calcul des polynômes de Kazhdan-Lusztig avec elles est que pour un rang élevé, le nombre de ces polynômes dépasse la capacité de stockage des ordinateurs.

Exemples

• Si y ≤ w alors P_y,w a un terme constant égal à 1.
• Si y ≤ w et Modèle:Formule alors P_y,w = 1.
• Si w = w₀ est l'Modèle:Lien alors P_y,w = 1 pour tout y.
• Si W est le groupe de Coxeter de type A₁ ou A₂ (ou plus généralement n'importe quel groupe de Coxeter de rang au plus 2) alors P_y,w vaut 1 si y ≤ w et 0 sinon.
• Si W est le groupe de Coxeter de type A₃, avec pour générateurs S = {a, b, c} où a et c commutent, alors P_b,bacb = 1 + q et P_ac,acbca = 1 + q, ce qui donne des exemples de polynômes non constants.
• Les valeurs simples des polynômes de Kazhdan – Lusztig pour les groupes de petit rang ne sont pas typiques des groupes de rang élevé. Par exemple, pour la forme scindée de E₈, le polynôme de Lusztig-Vogan le plus compliqué (une variante des polynômes de Kazhdan-Lusztig, voir ci-dessous) est

$\begin{array}{cc}152q^{22}& +3472q^{21}+38791q^{20}+293021q^{19}+1370892q^{18}+4067059q^{17}+7964012q^{16}\\ & +11159003q^{15}+11808808q^{14}+9859915q^{13}+6778956q^{12}+3964369q^{11}+2015441q^{10}\\ & +906567q^9+363611q^8+129820q^7+41239q^6+11426q^5+2677q^4+492q^3+61q^2+3q\end{array}$

• Modèle:Harvard démontre que n'importe quel polynôme ayant des coefficients entiers naturels et un terme constant égal à 1 est le polynôme de Kazhdan-Lusztig d'un certain couple d'éléments d'un groupe symétrique convenable.

Conjectures de Kazhdan-Lusztig

Les polynômes de Kazhdan-Lusztig apparaissent comme des coefficients de transition entre la base canonique et la base standard de l'algèbre de Hecke. L'article dans Inventiones contient également deux conjectures équivalentes, connues maintenant sous le nom de conjectures de Kazhdan-Lusztig, qui relient les valeurs de leurs polynômes en 1 avec des représentations de groupes de Lie et d'algèbres de Lie semi-simples complexes, proposant ainsi une solution à un vieux problème en théorie des représentations.

Soit W un groupe de Weyl fini. Pour chaque w ∈ W, notons Modèle:Mvar le Modèle:Lien de plus haut poids Modèle:Formule, où ρ est la demi-somme des racines positives (ou vecteur de Weyl), et soit Modèle:Mvar son unique quotient irréductible, le Modèle:Lien Modèle:Formule. Alors Modèle:Mvar et Modèle:Mvar sont tous deux des modules de poids localement finis sur l'algèbre de Lie complexe semi-simple g ayant pour groupe de Weyl W, de sorte qu'ils admettent un Modèle:Lien. On note ch(X) le caractère d'un g-module X. Les conjectures de Kazhdan-Lusztig affirment :

$\mathrm{ch}(L_w)=\sum _{y\le w}(-1{)}^{\ell (w)-\ell (y)}{P}_{y,w}(1)\mathrm{ch}(M_y),$

$\mathrm{ch}(M_w)=\sum _{y\le w}{P}_{w_{0}w,w_{0}y}(1)\mathrm{ch}(L_y),$

où Modèle:Formule est l'élément de longueur maximale du groupe de Weyl.

Ces conjectures ont été prouvées indépendamment sur des corps algébriquement clos de caractéristique zéro par Alexander Beilinson et Joseph Bernstein et indépendamment par Jean-Luc Brylinski et Masaki Kashiwara. Les méthodes introduites dans le cours de la preuve ont guidé le développement de la théorie des représentations tout au long des années 1980 et 1990, sous le nom de théorie des représentations géométrique.

Remarques

1. On sait que les deux conjectures sont équivalentes. De plus, le principe de translation de Modèle:Lien-Jantzen implique que Modèle:Formule peut être remplacé par Modèle:Formule pour n'importe quel poids entier dominant Modèle:Mvar. Ainsi, les conjectures de Kazhdan-Lusztig décrivent les multiplicités de Jordan-Hölder des modules de Verma dans tout bloc entier régulier de la catégorie O de Bernstein-Gelfand-Gelfand.

2. Une interprétation similaire de tous les coefficients des polynômes de Kazhdan-Lusztig découle de la conjecture de Jantzen, qui dit en gros que les coefficients individuels de Modèle:Mvar sont des multiplicités de Modèle:Mvar dans un certain sous-quotient du module de Verma déterminé par une filtration canonique, la filtration de Jantzen. La conjecture de Jantzen dans le cas entier régulier a été prouvée dans un article ultérieur de Modèle:Harvard.

3. David Vogan a montré comme conséquence des conjectures que

$P_{y,w}(q)=\sum _i{q}^i\dim ({\mathrm{Ext}}^{\ell (w)-\ell (y)-2i}(M_y,L_w))$

et que ${\mathrm{Ext}}^j(M_y,L_w)$ est trivial si $j+\ell (w)+\ell (y)$ est impair, de sorte que les dimensions de tous ces groupes Ext dans la catégorie O sont déterminées en termes de coefficients de polynômes de Kazhdan-Lusztig. Ce résultat démontre que tous les coefficients des polynômes de Kazhdan-Lusztig d'un groupe de Weyl fini sont des entiers naturels. Cela dit, la positivité pour le cas d'un groupe de Weyl fini W était déjà connue à partir de l'interprétation des coefficients des polynômes de Kazhdan-Lusztig comme dimensions des groupes de cohomologie d'intersection, indépendamment des conjectures. À l'inverse, la relation entre les polynômes de Kazhdan-Lusztig et les groupes Ext peut théoriquement être utilisée pour prouver les conjectures, bien que cette approche pour les prouver se soit avérée plus difficile à mettre en œuvre.

4. Certains cas particuliers des conjectures de Kazhdan-Lusztig sont faciles à vérifier. Par exemple, M₁ est le module de Verma anti-dominant, dont on sait qu'il est simple. Cela signifie que M₁ = L₁, ce qui établit la deuxième conjecture pour w = 1, puisque la somme se réduit à un seul terme. D'autre part, la première conjecture pour w = w₀ découle de la formule des caractères de Weyl et de la formule de caractère d'un module de Verma, ainsi que du fait que tous les polynômes de Kazhdan-Lusztig $P_{y,w_0}$ sont égaux à 1.

5. Modèle:Harvard a prouvé une généralisation des conjectures de Kazhdan-Lusztig aux algèbres de Kac-Moody symétrisables.

Relation avec la cohomologie d'intersection des variétés de Schubert

Par la décomposition de Bruhat l'espace des drapeaux G/B du groupe algébrique G qui a pour groupe de Weyl W est une réunion disjointe d'espaces affines Modèle:Mvar paramétrée par les éléments w de W. Les fermetures de ces espaces Modèle:Mvar sont appelées variétés de Schubert, et Kazhdan et Lusztig, suivant une suggestion de Pierre Deligne, ont montré comment exprimer les polynômes de Kazhdan-Lusztig en termes des groupes de cohomologie d'intersection de variétés de Schubert.

Plus précisément, le polynôme de Kazhdan-Lusztig P_y,w(q) est égal à

$P_{y,w}(q)=\sum _i{q}^i\dim {\mathrm{I}\mathrm{H}}_{X_y}^{2i}(\overline{X_w}),$

où chaque terme dans le membre de droite signifie : prendre le complexe IC des faisceaux dont l'hyperhomologie est l'homologie d'intersection de la variété de Schubert de w (la fermeture de la cellule Modèle:Mvar), prendre sa cohomologie de degré Modèle:Formule, puis prendre la dimension de la fibre de ce faisceau en n'importe quel point de la cellule Modèle:Mvar dont la fermeture est la variété de Schubert de y. Les groupes de cohomologie de dimension impaire n'apparaissent pas dans la somme car ils sont tous nuls.

Cela a donné la première preuve que tous les coefficients des polynômes de Kazhdan-Lusztig pour les groupes de Weyl finis sont des entiers naturels.

Généralisation aux groupes réels

Les polynômes de Lusztig-Vogan (également appelés polynômes de Kazhdan-Lusztig ou polynômes de Kazhdan–Lusztig–Vogan) ont été introduits dans Lusztig & Vogan (1983). Ils sont analogues aux polynômes de Kazhdan-Lusztig, mais sont adaptés aux représentations de groupes de Lie semi-simples réels et jouent un rôle majeur dans la description conjecturale de leur dual unitaire. Leur définition est plus compliquée, ce qui reflète la complexité relative des représentations des groupes réels par rapport aux groupes complexes.

La distinction, dans les cas directement liés à la théorie des représentations, s'explique au niveau des doubles classes ; ou, en d'autres termes, d'actions sur les analogues des variétés de drapeaux complexes G/B où G est un groupe de Lie complexe et B un sous-groupe de Borel. Le cas d'origine (KL) décrit alors les détails de la décomposition

$B\mathrm{\setminus }G/B$,

un thème classique de la décomposition de Bruhat, incarné pour le groupe linéaire dans la géométrie des cellules de Schubert dans une grassmannienne. Le cas LV part d'une Modèle:Lien Modèle:Mvar de G, d'un sous-groupe compact maximal Modèle:Mvar dans ce groupe semi-simple Modèle:Mvar, et de la Modèle:Lien K de Modèle:Mvar. Alors, l'objet d'étude pertinent est

$K\mathrm{\setminus }G/B$ .

En mars 2007, une équipe dirigée par Vogan a annoncé que les polynômes de Lusztig-Vogan avaient été calculés pour la forme scindée de E₈.

Généralisation à d'autres objets en théorie des représentations

Le deuxième article de Kazhdan et Lusztig établit un cadre géométrique pour la définition des polynômes de Kazhdan-Lusztig, à savoir la géométrie des singularités des variétés de Schubert dans la variété des drapeaux. Une grande partie des travaux ultérieurs de Lusztig consiste à explorer des analogues des polynômes de Kazhdan-Lusztig dans le contexte d'autres variétés algébriques singulières naturelles apparaissant dans la théorie des représentations, en particulier les fermetures d'orbites nilpotentes et les variétés de carquois. Il s'est avéré que la théorie de la représentation des groupes quantiques, les algèbres de Lie modulaires et les algèbres de Hecke affines sont toutes étroitement contrôlées par des analogues appropriés des polynômes de Kazhdan-Lusztig. Ces analogues admettent une description élémentaire, mais leurs propriétés plus profondes nécessaires pour la théorie des représentations découlent de techniques sophistiquées de géométrie algébrique moderne et d'algèbre homologique, telles que l'utilisation de la cohomologie d'intersection, les faisceaux pervers et théorème de décomposition de Beilinson–Bernstein–Deligne.

On conjecture que les coefficients des polynômes de Kazhdan-Lusztig sont les dimensions de certains espaces d'homomorphismes dans la catégorie des bimodules de Soergel. C'est la seule interprétation positive connue de ces coefficients pour des groupes de Coxeter arbitraires.

Théorie combinatoire

Les propriétés combinatoires des polynômes de Kazhdan-Lusztig et leurs généralisations font l'objet de recherches actuelles actives. Compte tenu de leur importance dans la théorie des représentations et la géométrie algébrique, des tentatives ont été entreprises pour développer la théorie des polynômes de Kazhdan-Lusztig de manière purement combinatoire, en s'appuyant dans une certaine mesure sur la géométrie, mais sans référence à la cohomologie d'intersection et à d'autres techniques avancées. Cela a conduit à des développements passionnants en combinatoire algébrique, tels que le phénomène d'évitement de motifs. Certaines références sont données dans le manuel de Modèle:Harvard. Un livre de niveau recherche sur le sujet est Modèle:Harvard.

En 2005, on ne connaît aucune interprétation combinatoire de tous les coefficients des polynômes de Kazhdan-Lusztig (en tant que cardinaux de certains ensembles naturels), même dans le cas des groupes symétriques, bien qu'il existe des formules explicites dans de nombreux cas particuliers.

Inégalité

Modèle:Harvard a démontré que les valeurs des polynômes de Kazhdan-Lusztig en $q=1$ pour les groupes de Coxeter cristallographiques satisfont une certaine inégalité stricte. Soit $(W,S)$ un système de Coxeter cristallographique et soient $P_{uw}(q)$ ses polynômes de Kazhdan-Lusztig. Si $u<w$ et $P_{uw}(1)>1$, alors il existe une réflexion $t$ tel que $P_{uw}(1)>P_{tu,w}(1)>0$ .

Références

• Modèle:Article.
• Modèle:Article.
• Modèle:Ouvrage.
• Modèle:Ouvrage.
• Modèle:Article.
• Modèle:Article.
• Modèle:Chapitre.
• Modèle:Article.
• Modèle:Article.
• Modèle:Chapitre.
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.

Liens externes

• Notes du cours du printemps 2005 sur la théorie de Kazhdan-Lusztig à UC Davis par Monica Vazirani.
• Modèle:Lien web
• Les programmes GAP pour le calcul des polynômes de Kazhdan-Lusztig.
• Logiciel Coxeter de Fokko du Cloux pour le calcul des polynômes de Kazhdan-Lusztig pour tout groupe de Coxeter.
• Logiciel Atlas pour le calcul des polynômes de Kazhdan-Lusztig-Vogan.