Thèse soutenue

Quasimorphismes sur les groupes de tresses et forme de Blanchfield

FR  |  
EN
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

FR  |  
EN

Mots clés contrôlés

Résumé

FR  |  
EN

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.