Quasimorphismes sur les groupes de tresses et forme de Blanchfield
Auteur / Autrice : | Maxime Bourrigan |
Direction : | Étienne Ghys |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 05/09/2013 |
Etablissement(s) : | Lyon, École normale supérieure |
Ecole(s) doctorale(s) : | École doctorale en Informatique et Mathématiques de Lyon |
Partenaire(s) de recherche : | Laboratoire : Unité de Mathématiques Pures et Appliquées (Lyon ; 1991-....) |
Jury : | Président / Présidente : Michel Boileau |
Examinateurs / Examinatrices : Étienne Ghys, Michel Boileau, Jean Barge, Emmanuel Giroux, Louis Funar | |
Rapporteurs / Rapporteuses : Jean Barge, Andrew Ranicki |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
En 2004, motivés par des constructions de quasimorphismes sur des groupes d'homéomorphismes et de difféomorphismes, Gambaudo et Ghys démontrèrent une formule liant les ω-signatures d'un entrelacs et les propriétés symplectiques d'une représentation du groupe de tresses.Le but de la thèse est d’étendre le résultat de Gambaudo et Ghys en termes d’un invariant algébrique associé à une tresse : la classe de Witt de sa forme de Blanchfield. Il est en effet possible de définir des invariants d'entrelacs en étudiant l'homologie des revêtements cycliques. Les groupes d’homologie et de cohomologie mis en jeu sont munis de structures de modules sur l’anneau du groupe Λ = Z[π].La forme de Blanchfield d’un entrelacs est ainsi la généralisation de la forme d’enlacement définie sur la partie de torsion du premier groupe d’homologie d’une variété fermée de dimension 3. Elle définit alors pour chaque tresse β une classe L(β) dans un groupe de Witt WT(Λ) .Théorème. Soit α et β deux tresses. On a l’égalité suivante, dans WT(Λ) : L(αβ) - L(α) - L(β) = -∂ Meyer(Burau(α), Burau(β)), où le cocycle de Meyer est maintenant défini sur le sous-groupe des éléments de GLn(Λ) préservant la forme de Squier, à valeurs dans le groupe de Witt W(Q(t)). On retrouve essentiellement le résultat original en spécifiant t = ω dans la formule précédente.