En mathématiques, plus précisément en théorie des représentations, un polynôme de Kazhdan-Lusztig 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 -adique associés aux classes de conjugaison unipotentes. Ils trouvent une nouvelle construction de ces représentations sur le corps des complexes . 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 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 et les modules simples. Cette analogie, et les travaux de Jens Carsten Jantzen et Anthony Joseph reliant les 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 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 pour sur l'anneau , avec multiplication définie par
La deuxième relation quadratique implique que chaque générateur est inversible dans l'algèbre de Hecke, l'inverse étant . Ces inverses satisfont à la relation (obtenue en multipliant la relation quadratique pour par −2q−1), ainsi que la relation de tresse. Il en résulte que l'algèbre de Hecke a un automorphisme D qui envoie q1/2 sur q−1/2 et chaque sur . Plus généralement, on a ; de plus, on voit que D est une involution.
Les polynômes de Kazhdan–Lusztig Pyw(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
sont invariants par l'involution D de l'algèbre de Hecke. Les éléments forment une base de l'algèbre de Hecke en tant que -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 Pyw(q) en termes de polynômes plus élémentaires notés Ryw(q), qui sont définis par
Ces derniers polynômes peuvent être calculés en utilisant les relations de récurrence
Les polynômes de Kazhdan-Lusztig peuvent alors être calculés de manière récursive en utilisant la relation
en utilisant le fait que les deux termes de gauche sont des polynômes en q1/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 Py,w a un terme constant égal à 1. Si y ≤ w et alors Py,w = 1. Si w = w0 est l' alors Py,w = 1 pour tout y. Si W est le groupe de Coxeter de type A1 ou A2 (ou plus généralement n'importe quel groupe de Coxeter de rang au plus 2) alors Py,w vaut 1 si y ≤ w et 0 sinon. Si W est le groupe de Coxeter de type A3, avec pour générateurs S = {a, b, c} où a et c commutent, alors Pb,bacb = 1 + q et Pac,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 E8, le polynôme de Lusztig-Vogan le plus compliqué (une variante des polynômes de Kazhdan-Lusztig, voir ci-dessous) est
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 le de plus haut poids , où ρ est la demi-somme des racines positives (ou vecteur de Weyl), et soit son unique quotient irréductible, le . Alors et 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 . On note ch(X) le caractère d'un g-module X. Les conjectures de Kazhdan-Lusztig affirment :
où 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 -Jantzen implique que peut être remplacé par pour n'importe quel poids entier dominant . 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 sont des multiplicités de 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 .
3. David Vogan a montré comme conséquence des conjectures que
et que est trivial si 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, M1 est le module de Verma anti-dominant, dont on sait qu'il est simple. Cela signifie que M1 = L1, 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 = w0 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 sont égaux à 1.
5. 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 paramétrée par les éléments w de W. Les fermetures de ces espaces 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 Py,w(q) est égal à
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 ), prendre sa cohomologie de degré , puis prendre la dimension de la fibre de ce faisceau en n'importe quel point de la cellule 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 , 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 de G, d'un sous-groupe compact maximal dans ce groupe semi-simple , et de la K de . Alors, l'objet d'étude pertinent est .
En , 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 E8.
Généralisation à d'autres objets en théorie des représentations