On étudie le groupe modulaire G du plan privé d'un ensemble de Cantor et les classes de Brouwer du groupe modulaire du plan privé de Z. Ces objets apparaîssent naturellement en dynamique topologique sur les surfaces. Dans le premier chapitre, on s'intéresse au groupe G et à son action sur le graphe des rayons, qui est un analogue déni par Danny Calegari du complexe des courbes pour le plan privé d'un ensemble de Cantor. En particulier, on montre que ce graphe est de diamètre infini et hyperbolique. On utilise ensuite l'action de G sur ce graphe hyperbolique pour exhiber un quasi-morphisme non trivial explicite sur G et pour montrer que le deuxième groupe de cohomologie bornée de G est dedimension infinie. Enfin, on donne un exemple d'un élément hyperbolique de G dont la longueur stable des commutateurs est nulle. Dans le second chapitre, on développe de nouveaux outils pour la théorie de Brouwer homotopique. En particulier, on décrit un ensemble canonique de droites de réduction, l'ensemble des murs, qui sépare le plan en zones de translation maximales et en zones irréductibles. On se restreint ensuite au cas des classes de Brouwer relativement à quatre orbites, et on les décrit explicitement en ajoutant au diagramme de Handel et à l'ensemble des murs un emmêlement, qui est essentiellement une classe d'isotopie de courbes sur le cylindre privé de deux points. / We study the mapping class group G of the complement of a Cantor set in the plane and the Brouwer mapping classes of the mapping class group of the complement of Z in the plane. These objects arise naturally in topological dynamics on surfaces. In the first chapter, we study the group G and its action on the ray graph, which is the analog dened by Danny Calegari of the complex of curves for the complement of a Cantor set in the plane. In particular, we show that this graph has infinite diameter and is hyperbolic. We use the action of G on this graph to find an explicit non trivial quasimorphism on G and to show that this group has infinite dimensional second bounded cohomology. We give an example of a hyperbolic element of G with vanishing stable commutator length. In the second chapter, we give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set, the set of "walls", which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes relatively to four orbits and describe them explicitly by adding to Handel's diagram and to the set of walls a "tangle", which is essentially an isotopy class of simple closed curves in the cylinder minus two points.

Dans la première partie de cette thèse on étudiera la conjecture de généricité: dans le graphe de Cayley du groupe modulaire d'une surface fermée on regarde une boule centrée à l'identité et on s'intéresse à la proportion de sommets pseudo-Anosov dans cette boule. La conjecture de généricité affirme que cette proportion doit tendre vers 1 quand le rayon de la boule tend vers l'infini. On montre qu'elle est bornée inférieurement par un nombre strictement positif et on montre des résultats similaires pour une grande classe de sous-groupes du groupe modulaire. On présente aussi des résultats analogues pour des groupes d'Artin-Tits de type sphérique, en sachant que dans ce cas, être pseudo-Anosov est analogue à agir loxodromiquement sur un complexe delta-hyperbolique convenable. Dans la deuxième partie on donne des résultats sur les sous-groupes paraboliques des groupes d'Artin-Tits de type sphérique: le standardisateur minimal d'une courbe dans le disque troué est la tresse minimale positive qui la fait devenir ronde. On construit un algorithme pour le calculer d'une façon géométrique. Ensuite, on généralise le problème pour les groupes d'Artin-Tits de type sphérique. On montre aussi que l'intersection de deux sous-groupes paraboliques est un sous-groupe parabolique et que l'ensemble de sous-groupes paraboliques est un treillis par rapport à l'inclusion. Finalement, on définit le complexe simplicial des sous-groupes paraboliques irréductibles, et on le propose comme l'analogue du complexe de courbes. / In the first part of this thesis we study the genericity conjecture: In the Cayley graph of the mapping class group of a closed surface we look at a ball of large radius centered on the identity vertex, and at the proportion of pseudo-Anosov vertices among the vertices in this ball. The genericity conjecture states that this proportion should tend to one as the radius tends to infinity. We prove that it stays bounded away from zero and prove similar results for a large class of subgroups of the mapping class group. We also present analogous results for Artin--Tits groups of spherical type, knowing that in this case being pseudo-Anosov is analogous to being a loxodromically acting element. In the second part we provide results about parabolic subgroups of Artin-Tits groups of spherical type: The minimal standardizer of a curve on a punctured disk is the minimal positive braid that transforms it into a round curve. We give an algorithm to compute it in a geometrical way. Then, we generalize this problem algebraically to parabolic subgroups of Artin--Tits groups of spherical type. We also show that the intersection of two parabolic subgroups is a parabolic subgroup and that the set of parabolic subgroups forms a lattice with respect to inclusion. Finally, we define the simplicial complex of irreducible parabolic subgroups, and we propose it as the analogue of the curve complex for mapping class groups.

On suppose que S=Sg,n est un surface connexe orientable de type topologique fini, de genre g≥3 et n≥0 épointements. Dans les chapitres 1 et 2 on décrit l'ensemble principal d'une surface et prouve que en utilisant expansions rigides itérés, on peut créer suites croissantes d'ensembles finis qui sa réunion est le complexe des courbes de la surface C(S). Dans le 3ème chapitre on introduit l'ensemble rigide X(S) de Aramayona et Leininger et l'utilise pour montrer que la suite des chapitres précédents est eventuellement une suite d'ensembles rigides. On utilise cela pour prouver que si Si=Sgi,ni pour i=1,2 sont surfaces telles que k(S1)≥k(S2) et g1≥3, toute application qui préserve les arêtes de C(S1) dans C(S2) est induite par un homéomorphisme. Ceci est utilisé pour montrer un résultat similaire pour les homomorphismes de sous-groupes de Mod*(S1) dans Mod*(S2). Dans le 4ème chapitre on utilise les résultats précédents pour prouver que l'unique façon d'obtenir une application qui préserve les arêtes et qui est alternante du graphe de Hatcher-Thurston de S1, HT(S1), dans soi de S2, HT(S2) est en utilisant un homéomorphisme de S1 et puis piquer la surface n fois pour obtenir S2. Ceci implique que toute application qui préserve les arêtes et qui est alternante de HT(S) dans soi même et aussi tous les automorphismes de HT(S), sont induits par homéomorphismes. Dans le 5ème chapitre on montre que toute application super-injective du graphe des courbes qui ne sépare pas et courbes extérieures de S1, NO(S1), dans soi de S2, NO(S2), est induite par un homéomorphisme. Finalement, dans les conclusions on discute la signifiance des résultats et les façons possibles d'étendre leur. / Suppose S = Sg,n is an orientable connected surface of finite topological type, with genus g ≥ 3 and n ≥ 0 punctures. In the first two chapters we describe the principal set of a surface, and prove that through iterated rigid expansions we can create an increasing sequence of finite sets whose union in the curve complex of the surface C(S). In the third chapter we introduced Aramayona and Leininger's finite rigid set X(S) and use it to prove that the increasing sequence of the previous two chapters becomes an increasing sequence of finite rigid sets after, at most, the fifth iterated rigid expansion. We use this to prove that given S1 = Sg1,n1 and S2 = Sg2,n2 surfaces such that k(S1) ≥ k(S2) and g1 ≥ 3, any edge-preserving map from C(S1) to C(S2) is induced by a homeomorphism from S1 to S2. This is later used to prove a similar statement using homomorphisms from certain subgroups of Mod*(S1) to Mod*(S2). In the fourth chapter we use the previous results to prove that the only way to obtain an edge-preserving and alternating map from the Hatcher-Thurston graph of S1 = Sg,0, HT(S1), to the Hatcher-Thurston graph of S2 = Sg,n, HT(S2), is using a homeomorphism of S1 and then make n punctures to the surface to obtain S2. As a consequence, any edge-preserving and alternating self-map of HT(S) as well as any automorphism is induced by a homeomorphism. In the fifth chapter we prove that any superinjective map from the nonseparating and outer curve graph of S1, NO(S1), to that of S2, NO(S2), is induced by a homeomorphism assuming the same conditions as in the previous chapters. Finally, in the conclusions we discuss the meaning of these results and possible ways to expand them.