La théorie des groupes de Coxeter, qui a pour origine l'étude des groupes<br /> d'isométries, permet de relier entre eux divers domaines d'algèbre et de<br /> géométrie, allant de la théorie des representations (des groupes de Coxeter<br /> et de Lie, des algèbres de Lie et de Hecke) et de la géométrie algébrique<br /> (variétés de Schubert) à la combinatoire (ordre de Bruhat). Les polynômes<br /> de Kazhdan-Lusztig apparaissent sous des formes assez différentes dans plusieurs<br /> de ces domaines : ces polynômes <br /> peuvent être définis comme coordonnées d'une base<br /> remarquable de l'algèbre de Hecke (ce qui donne une représentation non triviale<br /> de cette algèbre), leur valeur au point 1 intervient dans la décomposition de certains<br /> modules de Verma, et leur coefficients peuvent être interprétés comme des dimensions<br /> de certains espaces d'homologie locale. La définition originale de ces polynômes<br /> se traduit par une formule de récurrence compliquée qui conduit naturellement à<br /> s'interroger sur une éventuelle définition purement combinatoire. Ce rapport essaye<br /> de montrer quelques développements récents dans les tentatives de réponse à cette<br /> question. Notre résultat principal est le suivant : un isomorphisme entre<br /> deux intervalles initiaux préserve les polynômes de Kazhdan-Lusztig. Nous explicitons <br /> également des arguments (théoriques et calculatoires)<br /> tendant à confirmer la conjecture que cela reste vrai pour un isomorphisme entre des intervalles<br /> complètement compressibles dans des groupes de Coxeter finis.\newline<br /><br /> Mots-clés : groupe de Coxeter, polynôme de Kazhdan-Lusztig,<br /> sous-groupe de réflections, intervalle de Bruhat, couplage distingué,<br /> intervalle complètement compressible

Ce mémoire révèle la structure des représentations des algèbres de Temperley-Lieb affines aTLN(β) sur les espaces propres CN(q,v,d) (du spin total Sz) des chaînes de spins XXZ périodiques. En particulier, on y démontre que ces représentations, introduites dans Martin/Saleur et Morin-Duchesne/Saint-Aubin, admettent toujours une structure similaire à celle des représentations de Feigin-Fuchs de l’algèbre de Virasoro Vir et que les différentes possibilités, pour la structure d’un Vir-module de Feigin-Fuchs, sont toutes réalisées par un espace propre donné. On introduit aussi une pléthore d’applications aTLN(β)-linéaires entre différents espaces propres en considérant une action naturelle de l’extension de Lusztig LUqsl2 sur les chaînes XXZ périodiques et on caractérise entièrement le noyau ainsi que l’image de ces applications à l’aide de longues suites exactes et d’une décomposition de Clebsch-Gordan généralisée. Finalement, on identifie l’image du morphisme iNd(q,v) défini par Morin-Duchesne/Saint-Aubin et on donne également une nouvelle réalisation explicite pour les couvertures projectives de la catégorie modLUqsl2. / This master’s thesis reveals the structure of the representations of the affine Temperley-Lieb algebras aTLN(β) on the eigenspaces CN(q,v,d) (of the total spin Sz) of the periodic XXZ spin chains. In particular, we show that these representations, introduced by Martin/Saleur and Morin-Duchesne/Saint-Aubin, always admit a structure akin that of the Feigin-Fuchs representations of the Virasoro Vir algebra and that the different possibilities, for the structure of a Feigin-Fuchs Vir-module, are all realized by a given eigenspace. We also give a plethora of aTLN(β)-linear maps between different eigenspaces by considering a natural action of the Lusztig extension LUqsl2 on the periodic XXZ chains and we then fully characterize the kernel and image of these morphisms by means of long exact sequences and a generalized Clebsch-Gordan decomposition. Finally, we explicitly give the image of the intertwiner iNd(q,v) defined by Morin-Duchesne/Saint-Aubin and we also introduce a new explicit realization for the projective covers in the category modLUqsl2.

Ce mémoire porte sur la structure des centralisateurs de l'action de l'extension de Lusztig LUqsl2 du groupe quantique Uqsl2 sur les produits tensoriels de la forme \(M\otimes L_q(1)^{\otimes n}\) en q une racine de l'unité. Ici, n est un entier positif, Lq(1) est la représentation fondamentale de dimension 2 de LUqsl2 et M est un LUqsl2-module simple ou projectif. Dans le cas des modules simples, on analyse l'action du groupe de tresses de type B sur les modules \(L_q(i)\otimes L_q(1)^{\otimes n}\) via les matrices R et on identifie sa structure comme quotient de l'algèbre de Temperley-Lieb à une frontière TLbn. Dans le cas des modules projectifs, on utilise les idempotents de (l,p)-Jones--Wenzl [BLS19, MS22, STWZ23] pour exprimer \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(P_q(i)\otimes L_q(1)^{\otimes n})\) comme une algèbre de Temperley-Lieb valencée [Spe21]. Le chapitre 1 introduit les algèbres de Temperley-Lieb et de Temperley-Lieb à une frontière, par générateurs et relations et de façon diagrammatique, en faisant le lien avec le langage des algèbres cellulaires. Le chapitre 2 présente, après une courte introduction au langage des algèbres de Hopf, le groupe quantique Uqsl2 et l'extension de Lusztig LUqsl2 en q une racine de l'unité. Une partie de sa théorie de la représentation est présentée, ainsi que les matrices R et la dualité de Schur-Weyl quantique. Le chapitre 3 se penche sur l'étude de l'algèbre \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(L_q(i)\otimes L_q(1)^{\otimes n})\). En particulier, il montre que l'action du groupe de tresses de type B sur cet espace se factorise par l'algèbre TLbn, puis montre que le noyau de cette représentation est un idéal engendré par un préidempotent de Jones-Wenzl. Le chapitre 4 présente la construction des idempotents de (l,p)-Jones-Wenzl et la preuve de leurs propriétés clés. Il fait ensuite le lien avec l'algèbre \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(P_q(i)\otimes L_q(1)^{\otimes n})\) et montre qu'elle est isomorphe à un sandwich de l'algèbre de Temperley-Lieb par ces idempotents. / This thesis studies the structure of the centralizers of the action of Lusztig's extension LUqsl2 of the quantum group Uqsl2 on tensor products of the form \(M\otimes L_q(1)^{\otimes n}\) when q is a root of unity. Here, n is a positive integer, Lq(1) is the 2-dimensional fundamental representation of LUqsl2 and M is a simple or projective module over LUqsl2. In the case of simple modules, we analyze the action of the type B braid group on the modules \(L_q(i)\otimes L_q(1)^{\otimes n}\) via the R-matrices and we identify its structure as a quotient of the one-boundary Temperley-Lieb algebra TLbn. In the case of projective modules, we use the (l,p)-Jones-Wenzl idempotents [BLS19, MS22, STWZ23] to write \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(P_q(i)\otimes L_q(1)^{\otimes n})\) as a valenced Temperley-Lieb algebra [Spe21]. Chapter 1 introduces the Temperley-Lieb algebras and the one-boundary Temperley-Lieb algebras, both by generators and relations and diagrammatically, also exhibiting their cellular structure. Chapter 2 gives an introduction to the language of Hopf algebras, then presents the quantum group Uqsl2 and Lusztig's extension LUqsl2 at q a root of unity. Part of its representation theory is given, as well as its R-matrices and quantum Schur-Weyl duality. Chapter 3 focuses on the study of the algebra \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(L_q(i)\otimes L_q(1)^{\otimes n})\). In particular, it shows that the type B braid group action factorizes through the algebra TLbn, then shows that the kernel of this representation is an ideal generated by a Jones-Wenzl preidempotent. Chapter 4 gives the construction of (l,p)-Jones-Wenzl idempotents and proves their key properties. It then makes explicitly the link with the algebra \(\text{End}_{\mathcal{L}U_q(\mathfrak{sl}_2)}(P_q(i)\otimes L_q(1)^{\otimes n})\) and shows that it is isomorphic to a sandwich of the Temperley-Lieb algebra by those idempotents.