On the sl3-homology for tangle; Khovanov -- Kuperberg algebras - Archive ouverte HAL
Thèse Année : 2013

On the sl3-homology for tangle; Khovanov -- Kuperberg algebras

Sur l'homologie sl(3) des enchevêtrements; algèbres de Khovanov -- Kuperberg

Résumé

This thesis is concerned with the Khovanov-Kuperberg algebras $K^\epsilon$ and to their categories of modules. They are analogous, in the $\mathfrak{sl}_3$ context, to the $H^n$ algebras used by Khovanov to extend the $\mathfrak{sl2}_2$-homology (or Khovanov homology) to tangles. They appear as images of the 0-objects by a (0+1+1)-TQFT. They allow to define a $\mathfrak{sl}_3$-homology for tangles. The categories of modules over these algebras are especially interesting: from their own construction they are deeply connected to bases in some representations of the quantum group $U_q(\sll_3)$. It is hence natural to ask for a classification of the projective indecomposable modules over these algebras. We study web modules which are projective $K^\epsilon$-modules. It has been conjectured that these modules constitute a complete family of indecomposable projective $K^\epsilon$-modules, but Khovanov and Kuperberg have exhibited a web module which decomposes as a direct sum. In this thesis we give two conditions on the indecomposability of web modules: a geometric sufficient condition and an algebraic necessary and sufficient condition. The results are proven on the one hand, through a combinatorial analysis of webs which are plane bicubic graphs, and of a Laurent polynomial associated with each web called the Kuperberg bracket. And on the other hand, thanks to foams which plays the role of cobordisms for webs.
Cette thèse est consacrée aux algèbres de Khovanov-Kuperberg $K^\epsilon$ et à leurs catégories de modules. Ce sont les analogues dans le cas $\mathfrak{sl}_3$, des algèbres $H^n$ utilisées par Khovanov pour étendre l'homologie $\mathfrak{sl}_2$ (ou homologie de Khovanov) aux enchevêtrements. Elles apparaissent comme les images des 0-objets par une (0+1+1)-TQFT. Elles permettent de définir une homologie $\mathfrak{sl}_3$ aux enchevêtrements. Ces algèbres ont des catégories de modules particulièrement intéressantes: du fait même de leurs constructions, elles sont profondément liées à l'étude des bases de certaines représentations du groupe quantique $U_q(\sll_3)$. Il est alors naturel de vouloir classifier les modules projectifs indécomposables sur ces algèbres. Nous étudions les modules de toiles qui sont des $K^\epsilon$-modules projectifs. Il a été conjecturé que ces modules formaient une famille complète de représentants des classes d'isomorphismes de $K^\epsilon$-modules projectifs indécomposables, mais Khovanov et Kuperberg ont exhibé un module de toile qui se décompose. Dans cette thèse nous donnons deux conditions sur l'indécomposabilité des modules de toiles: une condition suffisante de nature géométrique, et une condition nécessaire et suffisante de nature algébrique. Les résultats sont prouvés d'une part grâce à une étude combinatoire des toiles, qui sont des graphes trivalents bipartites plan et d'un polynôme de Laurent qui leur est associé, le crochet de Kuperberg. Et d'autre part, grâce à l'étude des mousses qui jouent le rôle de cobordismes pour les toiles.
Fichier principal
Vignette du fichier
these.pdf (1.39 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-02496964 , version 1 (03-03-2020)

Identifiants

  • HAL Id : tel-02496964 , version 1

Citer

Louis-Hadrien Robert. On the sl3-homology for tangle; Khovanov -- Kuperberg algebras. Geometric Topology [math.GT]. Université Paris 7 – Denis Diderot, 2013. English. ⟨NNT : ⟩. ⟨tel-02496964⟩
70 Consultations
36 Téléchargements

Partager

More