Algèbre de Hecke

L'algèbre de Hecke d'un groupe de Coxeter est une déformation à un paramètre de son algèbre de groupe, qui présente un intérêt théorique dans l'étude des nœuds notamment au travers du polynôme de Jones : ces algèbres apparaissent comme quotients des algèbres de groupes de tresses artiniens. L'étude des représentations des algèbres de Hecke a permis à Michio Jimbo de formuler une théorie générale des groupes quantiques. En tant que déformations du groupe de Coxeter, on parle également d'algèbre d'Iwahori-Hecke, en l'honneur des mathématiciens Erich Hecke et Nagayoshi Iwahori.

Algèbre d'Iwahori-Hecke des groupes de Coxeter

On se donne un système de Coxeter $(W,S)$ de matrice $M=(m_{s,t})$, $R$ un anneau (commutatif, unitaire), ${q_{s}\,|\,s\in S}$ un système d'unités de $R$ tel que, si s et t sont conjugués dans W, alors $q_{s}=q_{t}$. Enfin on note $A$ l'anneau des polynômes de Laurent à coefficients entiers d'indéterminées $q_{s}$ : $A=\mathbb {Z} \left[q_{s}^{\pm 1}\right]$.

On définit l'algèbre $H_{R}(W,S,q)$ par générateurs $T_{s}$ pour tout $s\in S$ et relations :

• $T_{s}T_{t}T_{s}\cdots =T_{t}T_{s}T_{t}\cdots$ où on a de part et d'autre $m_{s,t}<\infty$ termes et $s,t\in S$ (« relations de tresses ») ;
• $(T_{s}-q_{s}^{1/2})(T_{s}+q_{s}^{1/2})=0$ pour tout $s\in S$ (« relations quadratiques »).

Si R = A, on peut reconstruire (« spécialiser ») toute algèbre $H_{R}$ au moyen de l'unique homomorphisme d'anneaux $A\to R$ qui envoie l'indéterminée $q_{s}\in A$ sur l'unité $q_{s}\in R$. R est alors muni d'une structure de A-algèbre et l'extension des scalaires $H_{A}(W,S,q)\otimes _{A}R$ est canoniquement isomorphe à $H_{R}(W,S,q)$. La théorie des diagrammes de Dynkin pour les groupes de Coxeter montre que toute paire de générateur de Coxeter est conjuguée. Une conséquence est notamment que l'on peut spécialiser toutes les indéterminées $q_{s}$ sur un unique élément q, la « déformation », sans perte de généralité.

Représentation des algèbres de Hecke

Les représentations complexes des algèbres de Hecke de type fini sont liées aux séries principales sphériques des groupes de Chevalley finis. George Lusztig a montré qu'on pouvait en fait décrire la plupart des caractères des groupes de Lie finis à partir de la théorie des représentations des algèbres de Hecke. Les représentations modulaires et les représentations aux racines de l'unité sont liées aux bases canoniques des groupes quantiques affines.

Articles connexes

• Algèbre de Hecke d'un groupe localement compact
• Algèbre de Hecke affine
• Algèbre de Hecke doublement affine
• Polynôme de Kazhdan-Lusztig