Le problème de scindement pour les groupes de tresses du plan projectif et un quotient remarquable des groupes de tresses soudées

Abstract

Cette thèse est divisée en deux parties. La première partie concerne des groupes de tresses des surfaces, tandis que la deuxième traite des groupes de tresses soudées et des groupes de tresses virtuelles sans restrictions.Soient $n,m\in\mathbb{N}^*$ et $B_{n,m}(\mathbb{R}P^2)$ l'ensemble des $(n+m)$-tresses du plan projectif dont la permutation associée appartient au sous-groupe $S_n\times S_m$ du groupe symétrique $S_{n+m}$. Dans la première partie de cette thèse, nous étudions le problème de scindement de la suivante suite exacte courte généralisée de Fadell--Neuwirth:1\rightarrow B_m(\mathbb{R}P^2 \setminus \{x_1,\dots,x_n\})\rightarrowB_{n,m}(\mathbb{R}P^2)\xrightarrow{\bar{q}} B_n(\mathbb{R}P^2)\rightarrow 1,où l'application $\bar{q}$ peut être considérée géométriquement comme l'épimorphisme qui oublie les $m$ derniers brins, ainsi que l'existence d'une section de la fibration correspondante $q:F_{n+m}(\mathbb{R}P^2)/S_n\times S_m\to F_{n}(\mathbb{R}P^2)/S_n$, où on note par $F_n(\mathbb{R}P^2)$ le $n-$ème espace de configurations ordonnées du plan projectif $\mathbb{R}P^2$.Nos principaux résultats sont les suivants : si $n=1$ l'homomorphisme $\bar{q}$ et la fibration correspondante $q$ n'admettent aucune section, tandis que si $n=2$, alors $\bar{q}$ et $q$ admettent une section. Pour $n\geq 3$, on montre que si $\bar{q}$ et $q$ admettent une section alors $m\equiv 0, (n-1)^2\ \textrm{mod}\ n(n-1)$. De plus, l'homomorphisme $\bar{q}$ et la fibration $q$ admettent une section pour $m=kn(2n-1)(2n-2)$, où $k\geq1$, et pour $m=2n(n-1)$.En outre, nous prouvons que pour $m\geq3$, $B_m(\mathbb{R}P^2\setminus\{x_1,\dots,x_n\})$ n’est pas résiduellement nilpotent et pour $m\geq5$, il n’est pas résiduellement résoluble.Soit $n\in \mathbb{N}$. Dans la deuxième partie de la thèse, nous étudions les groupes de tresses soudées $WB_n$ et les groupes de tresses virtuelles sans restrictions $UVB_n$, ainsi que leurs sous-groupes purs, c'est-à-dire les groupes de tresses pures soudées $WP_n$ et les groupes de tresses pures virtuelles sans restrictions $UVP_n$.Nos principaux résultats sont les suivants : pour $n\geq 5$, nous donnons une description complète, à conjugaison près, des homomorphismes possibles de $WB_n$ et $UVB_n$ dans le groupe symétrique $S_n$. Pour $n\geq 3$, on donne une caractérisation complète des homomorphismes de $UVB_n$ dans tout groupe fini $G$. Pour $n\geq 5$, nous montrons que $WP_n$ et $UVP_n$ sont des sous-groupes caractéristiques de $WB_n$ et $UVB_n$ respectivement. De plus, nous déterminons le groupe des automorphismes de $UVP_n$, et nous prouvons que $\mathbb{Z}_2\times\mathbb{Z}_2$ est un sous-groupe du groupe des automorphismes extérieurs de $UVB_n$. Enfin, nous montrons que $UVB_n$ et $UVP_n$ sont résiduellement finis et Hopfiens mais pas co-Hopfiens.This thesis is divided into two parts. The first part concerns surface braid groups, while the second deals with welded and unrestricted virtual braid groups.Let $n,m\in \mathbb{N}$, and let $B_{n,m}(\mathbb{R}P^2)$ be the set of $(n + m)$-braids of the projective plane whose associated permutation lies in the subgroup $S_n\times S_m$ of the symmetric group $S_{n+m}$.In the first part of this work, we study the splitting problem of the following generalised Fadell--Neuwirth short exact sequence:1\rightarrow B_m(\mathbb{R}P^2 \setminus \{x_1,\dots,x_n\})\rightarrowB_{n,m}(\mathbb{R}P^2)\xrightarrow{\bar{q}} B_n(\mathbb{R}P^2)\rightarrow 1,where the map $\bar{q}$ can be considered geometrically as the epimorphism that forgets the last $m$ strands, as well as the existence of a section of the corresponding fibration $q:F_{n+m}(\mathbb{R}P^2)/S_n\times S_m\to F_{n}(\mathbb{R}P^2)/S_n$, where we denote by $F_n(\mathbb{R}P^2)$ the $n^{th}$ ordered configuration space of the projective plane $\mathbb{R}P^2$.Our main results are the following: if $n=1$ the homomorphism $\bar{q}$ and the corresponding fibration $q$ admits no section, while if $n=2$, then $\bar{q}$ and $q$ admit a section. For $n\geq 3$, we show that if $\bar{q}$ and $q$ admit a section then $m\equiv 0, (n-1)^2\ \textrm{mod}\ n(n-1)$. Moreover, using geometric constructions, we show that the homomorphism $\bar{q}$ and the fibration $q$ admit a section for $m=kn(2n-1)(2n-2)$, where $k\geq1$, and for $m=2n(n-1)$.In addition, we show that for $m\geq3$, $B_m(\mathbb{R}P^2\setminus\{x_1,\dots,x_n\})$ is not residually nilpotent and for $m\geq 5$, it is not residually solvable.Let $n\in \mathbb{N}$. In the second part of this work, we study the welded braid groups $WB_n$, the unrestricted virtual braid groups $UVB_n$, as well as their pure subgroups, namely the welded pure braid groups $WP_n$ and unrestricted virtual pure braid groups $UVP_n$.Our main results are as follows: for $n\geq 5$, we give a complete description, up to conjugation, of all possible homomorphisms from $WB_n$ and $UVB_n$ to the symmetric group $S_n$. For $n\geq 3$, we give a complete characterisation of any group homomorphism from $UVB_n$ to any finite group $G$. For $n\geq 5$, we prove that $WP_n$ and $UVP_n$ are characteristic subgroups of $WB_n$ and $UVB_n$ respectively. In addition, we determine the automorphism group of $UVP_n$, and we prove that $\mathbb{Z}_2\times\mathbb{Z}_2$ is a subgroup of the outer automorphism group of $UVB_n$. Lastly, we show that $UVB_n$ and $UVP_n$ are residually finite and Hopfian but not co-Hopfian