En topologie de dimension trois, les invariants de type fini se caractérisent par leur comportement polynomial vis-à-vis de certaines opérations chirurgicales qui préservent l'homologie des variétés. Motivée par l'approche perturbative des "invariants quantiques", la notion d'invariant de type fini a été initialement formulée par T. Ohtsuki qui en contruisit les premiers exemples ; les fondements théoriques des invariants de type fini ont ensuite été posés par plusieurs auteurs dont M. Goussarov et K. Habiro. Grâce à une construction de T. Le, J. Murakami & T. Ohtsuki basée sur l'intégrale de Kontsevich, on dispose pour les sphères d'homologie d'un invariant de type fini universel à valeurs diagrammatiques. Ce mémoire expose d'une manière synthétique certains aspects de la théorie des invariants de type fini, pour les variétés de dimension trois en général, et pour les cylindres d'homologie en particulier. Nous présentons notamment une extension fonctorielle de l'invariant LMO à une certaine catégorie de cobordismes, et nous appliquons ce foncteur à l'étude du monoïde des cylindres d'homologie. Nous expliquons comment nos constructions et résultats se relient aux travaux antérieurs de D. Johnson, S. Morita et R. Hain sur le groupe de Torelli d'une surface. Nous concluons par quelques problèmes et perspectives de recherche. Certains des travaux exposés dans ce mémoire ont été réalisés en collaboration avec D. Cheptea, K. Habiro et J.-B. Meilhan.

Cette thèse se propose d'étudier des problèmes de classification des groupes quantiques via des invariants issus de leur théorie de représentation. Plus précisément, nous classifions les algèbres de Hopf possédant un semi-anneau de fusion isomorphe à un groupe algébrique réductif donné G. De tels groupes quantiques sont alors appelés G-déformations. Dans cette thèse, nous étudions les cas GL(2) et SO(3). Nous donnons une classification complète des GL(2)-déformations en construisant une famille d'algèbres de Hopf indexées par des matrices inversibles. Nous décrivons leurs catégories de comodules et donnons certains résultats de classification quant à leurs objets de Hopf-Galois. Ensuite, nous donnons une classification des SO(3)-déformations compactes tout en étudiant le cas non-compact. Finalement, la dernière partie de la thèse est une étude de l'algèbre sous-jacente à une certaine famille d'algèbres de Hopf, dont nous exhibons une base. Cette base nous permet de calculer le centre des ces algèbres ainsi que quelques groupes de (co)homologie.

Invariants topologiques quantiques non semi-simples. La théorie des nœuds (courbes simples plongées dans R³, à déformation continue près) se développe au début du XXième siècle avec notamment les travaux d'Alexander et de Reidemeister. Elle a connu un tournant avec la topologie quantique née en 1984 par la découverte par Vaughan Jones d'une manière d'associer à chaque nœuds un polynôme. Vladimir Turaev et Nicolai Reshetikhin interprètent et généralisent ce procédé en terme de représentations des groupes quantiques. Aujourd'hui encore, la compréhension géométrique de ces invariants est ténue. Toujours dans les années 80, Edward Witten donne une interprètation physique du polynôme de Jones et suggère une généralisation aux variétés de dimension trois. Vladimir Turaev avec Nicolai Reshetikhin puis avec Oleg Viro réalise rigoureusement ces invariants nouveaux pour les variétés de dimension trois. Dans de nombreux cas, ces constructions s'avèrent triviales. Ceci est lié à la présence de représentations des groupes quantiques qui ne sont pas semi-simples. Mes travaux, en collaboration avec Nathan Geer, Vladimir Turaev, Francesco Costantino et Alexis Virelizier ont consisté, pour une grande part, à modifier les constructions précédentes pour définir des invariants non triviaux dans ce cadre non semi-simple. Ces travaux m'ont amené a développer, avec Nathan Geer et Jonathan Kujawa, des techniques algébriques qui présentent un intérêt propre en théorie des représentations. Relier les constructions de la topologie quantique et les invariants d'origine plus géométriques constitue un vrai challenge des mathématiques modernes pour lequel les invariants non semi-simples que j'ai définis offrent un point de vue prometteur.

Cette thèse porte sur les phénomènes critiques survenant dans les modèles bidimensionnels sur réseau. Les résultats sont l'objet de deux articles : le premier porte sur la mesure d'exposants critiques décrivant des objets géométriques du réseau et, le second, sur la construction d'idempotents projetant sur des modules indécomposables de l'algèbre de Temperley-Lieb pour la chaîne de spins XXZ. Le premier article présente des expériences numériques Monte Carlo effectuées pour une famille de modèles de boucles en phase diluée. Baptisés "dilute loop models (DLM)", ceux-ci sont inspirés du modèle O(n) introduit par Nienhuis (1990). La famille est étiquetée par les entiers relativement premiers p et p' ainsi que par un paramètre d'anisotropie. Dans la limite thermodynamique, il est pressenti que le modèle DLM(p,p') soit décrit par une théorie logarithmique des champs conformes de charge centrale c(\kappa)=13-6(\kappa+1/\kappa), où \kappa=p/p' est lié à la fugacité du gaz de boucles \beta=-2\cos\pi/\kappa, pour toute valeur du paramètre d'anisotropie. Les mesures portent sur les exposants critiques représentant la loi d'échelle des objets géométriques suivants : l'interface, le périmètre externe et les liens rouges. L'algorithme Metropolis-Hastings employé, pour lequel nous avons introduit de nombreuses améliorations spécifiques aux modèles dilués, est détaillé. Un traitement statistique rigoureux des données permet des extrapolations coïncidant avec les prédictions théoriques à trois ou quatre chiffres significatifs, malgré des courbes d'extrapolation aux pentes abruptes. Le deuxième article porte sur la décomposition de l'espace de Hilbert \otimes^nC^2 sur lequel la chaîne XXZ de n spins 1/2 agit. La version étudiée ici (Pasquier et Saleur (1990)) est décrite par un hamiltonien H_{XXZ}(q) dépendant d'un paramètre q\in C^\times et s'exprimant comme une somme d'éléments de l'algèbre de Temperley-Lieb TL_n(q). Comme pour les modèles dilués, le spectre de la limite continue de H_{XXZ}(q) semble relié aux théories des champs conformes, le paramètre q déterminant la charge centrale. Les idempotents primitifs de End_{TL_n}\otimes^nC^2 sont obtenus, pour tout q, en termes d'éléments de l'algèbre quantique U_qsl_2 (ou d'une extension) par la dualité de Schur-Weyl quantique. Ces idempotents permettent de construire explicitement les TL_n-modules indécomposables de \otimes^nC^2. Ceux-ci sont tous irréductibles, sauf si q est une racine de l'unité. Cette exception est traitée séparément du cas où q est générique. Les problèmes résolus par ces articles nécessitent une grande variété de résultats et d'outils. Pour cette raison, la thèse comporte plusieurs chapitres préparatoires. Sa structure est la suivante. Le premier chapitre introduit certains concepts communs aux deux articles, notamment une description des phénomènes critiques et de la théorie des champs conformes. Le deuxième chapitre aborde brièvement la question des champs logarithmiques, l'évolution de Schramm-Loewner ainsi que l'algorithme de Metropolis-Hastings. Ces sujets sont nécessaires à la lecture de l'article "Geometric Exponents of Dilute Loop Models" au chapitre 3. Le quatrième chapitre présente les outils algébriques utilisés dans le deuxième article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2", constituant le chapitre 5. La thèse conclut par un résumé des résultats importants et la proposition d'avenues de recherche qui en découlent. / This thesis is concerned with the study of critical phenomena for two-dimensional models on the lattice. Its results are contained in two articles: A first one, devoted to measuring geometric exponents, and a second one to the construction of idempotents for the XXZ spin chain projecting on indecomposable modules of the Temperley-Lieb algebra. Monte Carlo experiments, for a family of loop models in their dilute phase, are presented in the first article. Coined "dilute loop models (DLM)", this family is based upon an O(n) model introduced by Nienhuis (1990). It is defined by two coprime integers p,p' and an anisotropy parameter. In the continuum limit, DLM(p,p') is expected to yield a logarithmic conformal field theory of central charge c(\kappa)=13-6(\kappa+1/\kappa), where the ratio \kappa=p/p' is related to the loop gas fugacity \beta=-2\cos\pi/\kappa. Critical exponents pertaining to valuable geometrical objects, namely the hull, external perimeter and red bonds, were measured. The Metropolis-Hastings algorithm, as well as several methods improving its efficiency, are presented. Despite the extrapolation of curves presenting large slopes, values as close as three to four digits from the theoretical predictions were attained through rigorous statistical analysis. The second article describes the decomposition of the XXZ spin chain Hilbert space \otimes^nC^2 using idempotents. The model of interest (Pasquier & Saleur (1990)) is described by a parameter-dependent Hamiltonian H_{XXZ}(q), q\in C^\times, expressible as a sum of elements of the Temperley-Lieb algebra TL_n(q). The spectrum of H_{XXZ}(q) in the continuum limit is also believed to be related to conformal field theories whose central charge is set by q. Using the quantum Schur-Weyl duality, an expression for the primitive idempotents of End_{TL_n}\otimes^nC^2, involving U_qsl_2 elements, is obtained. These idempotents allow for the explicit construction of the indecomposable TL_n-modules of \otimes^nC^2, all of which are irreducible except when q is a root of unity. This case, and the case where q is generic, are treated separately. Since a wide variety of results and tools are required to tackle the problems stated above, this thesis contains many introductory chapters. Its layout is as follows. The first chapter introduces theoretical concepts common to both articles, in particular an overview of critical phenomena and conformal field theory. Before proceeding to the article entitled \emph{Geometric Exponents of Dilute Loop Models} constituting Chapter 3, the second chapter deals briefly with logarithmic conformal fields, Schramm-Loewner evolution and the Metropolis-Hastings algorithm. The fourth chapter defines some algebraic concepts used in the second article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2" of Chapter 5. A summary of the main results, as well as paths to unexplored questions, are suggested in a final chapter.

Une approche inductive est développée pour la théorie des représentations de la chaîne des algèbres de Hecke cyclotomiques de type G(m,1,n). Cette approche repose sur l'étude du spectre d'une famille commutative maximale, formée par les analogues des éléments de Jucys-Murphy. Les représentations irréductibles, paramétrées par les multi-partitions, sont construites avec l'aide d'une nouvelle algèbre associative, dont l'espace vectoriel sous-jacent est le produit tensoriel de l'algèbre de Hecke cyclotomique avec l'algèbre associative libre engendrée par les multi-tableaux standards. L'analogue de cette approche est présentée pour la limite classique, c'est-à-dire la chaîne des groupes de réflexions complexes de type G(m,1,n). Dans une seconde partie, une base des algèbres de Hecke cyclotomiques est donnée et la platitude de la déformation est montrée sans utiliser la théorie des représentations. Ces résultats sont généralisés aux algèbres de Hecke affines de type A. Ensuite, une procédure de fusion est présentée pour les groupes de réflexions complexes et les algèbres de Hecke cyclotomiques de type G(m,1,n). Dans les deux cas, un ensemble complet d'idempotents primitifs orthogonaux est obtenu par évaluation consécutive d'une fonction rationnelle. Dans une troisième partie, une nouvelle présentation est obtenue pour les sous-groupes alternés de tous les groupes de Coxeter. Les générateurs sont reliés aux arêtes orientées du graphe de Coxeter. Cette présentation est ensuite étendue, pour tous les types, aux extensions spinorielles des groupes alternés, aux algèbres de Hecke alternées et aux sous-groupes alternés des groupes de tresses.

Ce mémoire présente une nouvelle approche pour le calcul de temps d'exécution au pire (WCET) de tâche temps-réel critique, en particulier en ce qui concerne les aléas dus aux caches mémoire. Le point général est fait sur la problématique et l'état de l'art en la matière, mais l'accent est mis sur la théorie elle-même et son formalisme, d'abord dans le cadre monotâche puis dans le cadre multitâche. La méthode utilisée repose sur une technique d'interprétation abstraite, comme la plupart des autres méthodes de calcul de WCET, mais le formalisme est dans une approche probabiliste (bien que déterministe dans le cadre monotâche) de par l'utilisation de chaînes de Markov. La généralisation au cadre multitâche utilise les propriétés proba- bilistes pour faire une évaluation pessimiste d'un WCET et d'un écart type au pire, grâce à une modification astucieuse du propagateur dans ce cadre. Des premières évaluations du modèle, codées à la main à partir des résultats de compilation d'applications assez simples montrent des résultats promet- teurs quant à l'application du modèle sur des programmes réels en vraie grandeur.

Cette thèse est consacrée à l'étude des représentations modulaires des algèbres d'Ariki-Koike, et des liens avec la théorie des cristaux et des bases canoniques de Kashiwara via le théorème de catégorification d'Ariki. Dans un premier temps, on étudie, grâce à des outils combinatoires, les matrices de décomposition de ces algèbres en généralisant les travaux de Geck et Jacon. On classifie entièrement les cas d'existence et de non-existence d'ensembles basiques, en construisant explicitement ces ensembles lorsqu'ils existent. On explicite ensuite les isomorphismes de cristaux pour les représentations de Fock de l'algèbre affine quantique de type A affine. On construit alors un isomorphisme particulier, dit canonique, qui permet entre autres une caractérisation non-récursive de n'importe quelle composante connexe du cristal. On souligne également les liens avec la combinatoire des mots sous-jacente à la structure cristalline des espaces de Fock, en décrivant notamment un analogue de la correspondance de Robinson-Schensted-Knuth pour le type A affine.

Cette thèse porte sur les phénomènes critiques survenant dans les modèles bidimensionnels sur réseau. Les résultats sont l'objet de deux articles : le premier porte sur la mesure d'exposants critiques décrivant des objets géométriques du réseau et, le second, sur la construction d'idempotents projetant sur des modules indécomposables de l'algèbre de Temperley-Lieb pour la chaîne de spins XXZ. Le premier article présente des expériences numériques Monte Carlo effectuées pour une famille de modèles de boucles en phase diluée. Baptisés "dilute loop models (DLM)", ceux-ci sont inspirés du modèle O(n) introduit par Nienhuis (1990). La famille est étiquetée par les entiers relativement premiers p et p' ainsi que par un paramètre d'anisotropie. Dans la limite thermodynamique, il est pressenti que le modèle DLM(p,p') soit décrit par une théorie logarithmique des champs conformes de charge centrale c(\kappa)=13-6(\kappa+1/\kappa), où \kappa=p/p' est lié à la fugacité du gaz de boucles \beta=-2\cos\pi/\kappa, pour toute valeur du paramètre d'anisotropie. Les mesures portent sur les exposants critiques représentant la loi d'échelle des objets géométriques suivants : l'interface, le périmètre externe et les liens rouges. L'algorithme Metropolis-Hastings employé, pour lequel nous avons introduit de nombreuses améliorations spécifiques aux modèles dilués, est détaillé. Un traitement statistique rigoureux des données permet des extrapolations coïncidant avec les prédictions théoriques à trois ou quatre chiffres significatifs, malgré des courbes d'extrapolation aux pentes abruptes. Le deuxième article porte sur la décomposition de l'espace de Hilbert \otimes^nC^2 sur lequel la chaîne XXZ de n spins 1/2 agit. La version étudiée ici (Pasquier et Saleur (1990)) est décrite par un hamiltonien H_{XXZ}(q) dépendant d'un paramètre q\in C^\times et s'exprimant comme une somme d'éléments de l'algèbre de Temperley-Lieb TL_n(q). Comme pour les modèles dilués, le spectre de la limite continue de H_{XXZ}(q) semble relié aux théories des champs conformes, le paramètre q déterminant la charge centrale. Les idempotents primitifs de End_{TL_n}\otimes^nC^2 sont obtenus, pour tout q, en termes d'éléments de l'algèbre quantique U_qsl_2 (ou d'une extension) par la dualité de Schur-Weyl quantique. Ces idempotents permettent de construire explicitement les TL_n-modules indécomposables de \otimes^nC^2. Ceux-ci sont tous irréductibles, sauf si q est une racine de l'unité. Cette exception est traitée séparément du cas où q est générique. Les problèmes résolus par ces articles nécessitent une grande variété de résultats et d'outils. Pour cette raison, la thèse comporte plusieurs chapitres préparatoires. Sa structure est la suivante. Le premier chapitre introduit certains concepts communs aux deux articles, notamment une description des phénomènes critiques et de la théorie des champs conformes. Le deuxième chapitre aborde brièvement la question des champs logarithmiques, l'évolution de Schramm-Loewner ainsi que l'algorithme de Metropolis-Hastings. Ces sujets sont nécessaires à la lecture de l'article "Geometric Exponents of Dilute Loop Models" au chapitre 3. Le quatrième chapitre présente les outils algébriques utilisés dans le deuxième article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2", constituant le chapitre 5. La thèse conclut par un résumé des résultats importants et la proposition d'avenues de recherche qui en découlent. / This thesis is concerned with the study of critical phenomena for two-dimensional models on the lattice. Its results are contained in two articles: A first one, devoted to measuring geometric exponents, and a second one to the construction of idempotents for the XXZ spin chain projecting on indecomposable modules of the Temperley-Lieb algebra. Monte Carlo experiments, for a family of loop models in their dilute phase, are presented in the first article. Coined "dilute loop models (DLM)", this family is based upon an O(n) model introduced by Nienhuis (1990). It is defined by two coprime integers p,p' and an anisotropy parameter. In the continuum limit, DLM(p,p') is expected to yield a logarithmic conformal field theory of central charge c(\kappa)=13-6(\kappa+1/\kappa), where the ratio \kappa=p/p' is related to the loop gas fugacity \beta=-2\cos\pi/\kappa. Critical exponents pertaining to valuable geometrical objects, namely the hull, external perimeter and red bonds, were measured. The Metropolis-Hastings algorithm, as well as several methods improving its efficiency, are presented. Despite the extrapolation of curves presenting large slopes, values as close as three to four digits from the theoretical predictions were attained through rigorous statistical analysis. The second article describes the decomposition of the XXZ spin chain Hilbert space \otimes^nC^2 using idempotents. The model of interest (Pasquier & Saleur (1990)) is described by a parameter-dependent Hamiltonian H_{XXZ}(q), q\in C^\times, expressible as a sum of elements of the Temperley-Lieb algebra TL_n(q). The spectrum of H_{XXZ}(q) in the continuum limit is also believed to be related to conformal field theories whose central charge is set by q. Using the quantum Schur-Weyl duality, an expression for the primitive idempotents of End_{TL_n}\otimes^nC^2, involving U_qsl_2 elements, is obtained. These idempotents allow for the explicit construction of the indecomposable TL_n-modules of \otimes^nC^2, all of which are irreducible except when q is a root of unity. This case, and the case where q is generic, are treated separately. Since a wide variety of results and tools are required to tackle the problems stated above, this thesis contains many introductory chapters. Its layout is as follows. The first chapter introduces theoretical concepts common to both articles, in particular an overview of critical phenomena and conformal field theory. Before proceeding to the article entitled \emph{Geometric Exponents of Dilute Loop Models} constituting Chapter 3, the second chapter deals briefly with logarithmic conformal fields, Schramm-Loewner evolution and the Metropolis-Hastings algorithm. The fourth chapter defines some algebraic concepts used in the second article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2" of Chapter 5. A summary of the main results, as well as paths to unexplored questions, are suggested in a final chapter.

Dans cette thèse on développe une théorie générale des objets tressés et on l'applique à une étude de structures algébriques et topologiques. La partie I contient une théorie homologique des espaces vectoriels tressés et modules tressés, basée sur le coproduit de battage quantique. La construction d'un tressage structurel qui caractérise diverses structures - auto-distributives (AD), associatives, de Leibniz - permet de généraliser et unifier des homologies familières. Les hyper-bords de Loday, ainsi que certaines opérations homologiques, apparaissent naturellement dans cette interprétation. On présente ensuite des concepts de système tressé et module multi-tressé. Appliquée aux bigèbres, bimodules, produits croisés et (bi)modules de Hopf et de Yetter-Drinfel'd, cette théorie donne leurs interprétations tressées, homologies et actions adjointes. La no- tion de produits tensoriels multi-tressés d'algèbres donne un cadre unificateur pour les doubles de Heisenberg et Drinfel'd, ainsi que les algèbres X de Cibils-Rosso et Y et Z de Panaite. La partie III est orientée vers la topologie. On propose une catégorification des groupes de tresses virtuelles en termes d'objets tressés dans une catégorie symétrique (CS). Cette approche de double tressage donne une source de représentations de V Bn et un traitement catégorique des racks virtuels de Manturov et de la représentation de Burau tordue. On définit ensuite des structures AD dans une CS arbitraire et on les munit d'un tressage. Les techniques tressées de la partie I amènent alors à une théorie homologique des structures AD catégoriques. Les algèbres associatives, de Leibniz et de Hopf rentrent dans ce cadre catégorique.

Mémoire par articles. / Ce mémoire contient trois articles reliés par l'idée sous-jacente d'une généralisation de la dualité de Schur-Weyl. L'objectif principal est d'obtenir une description algébrique du centralisateur de l'image de l'action diagonale de U_q(sl_2) dans le produit tensoriel de trois représentations irréductibles, lorsque q n'est pas une racine de l'unité. La relation entre une algèbre de Askey-Wilson étendue AW(3) et ce centralisateur est examinée à cet effet. Dans le premier article, les éléments du centralisateur de l'action de U_q(sl_2) dans son produit tensoriel triple sont définis à l'aide de la matrice R universelle de U_q(sl_2). Il est montré que ces éléments respectent les relations définissantes de AW(3). Dans le deuxième article, la matrice R universelle de la superalgèbre de Lie osp(1|2) est utilisée de manière similaire avec l'algèbre de Bannai-Ito BI(3). Dans ce cas, le formalisme de la matrice R permet de définir l'algèbre de Bannai-Ito de rang supérieur BI(n) comme le centralisateur de l'action de osp(1|2) dans son produit tensoriel n-fois. Le troisième article propose une conjecture qui établit un isomorphisme entre un quotient de AW(3) et le centralisateur de l'image de l'action diagonale de U_q(sl_2) dans le produit tensoriel de trois représentations irréductibles quelconques. La conjecture est prouvée pour plusieurs cas, et les algèbres de Temperley-Lieb, Birman-Murakami-Wenzl et Temperley-Lieb à une frontière sont retrouvées comme quotients de l'algèbre de Askey-Wilson. / This master thesis contains three articles related by the underlying idea of a generalization of the Schur-Weyl duality. The main objective is to obtain an algebraic description of the centralizer of the image of the diagonal action of U_q(sl_2) in the tensor product of three irreducible representations, when q is not a root of unity. The connection between a centrally extended Askey-Wilson algebra AW(3) and this centralizer is examined for this purpose. In the first article, the elements of the centralizer of the action of U_q(sl_2) in its threefold tensor product are defined with the help of the universal R-matrix of U_q(sl_2). These elements are shown to satisfy the defining relations of AW(3). In the second article, the universal R-matrix of the Lie superalgebra osp(1|2) is used in a similar fashion with the Bannai-Ito algebra BI(3). In this case, the formalism of the R-matrix allows to define the higher rank Bannai-Ito algebra BI(n) as the centralizer of the action of osp(1|2) in its n-fold tensor product. The third article proposes a conjecture that establishes an isomorphism between a quotient of AW(3) and the centralizer of the image of the diagonal action of U_q(sl_2) in the tensor product of any three irreducible representations. The conjecture is proved for several cases, and the Temperley-Lieb, Birman-Murakami-Wenzl and one-boundary Temperley-Lieb algebras are recovered as quotients of the Askey-Wilson algebra.