This paper overviews recent developments in the classification up to quasi-isometry of finitely generated groups, and more specifically of relatively hyperbolic groups.
We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S); a characterization of the image of the curve-complex projection map from MCG(S) to the product of the curve complexes of essential subsurfaces of S; and a construction of Sigma-hulls in MCG(S), an analogue of convex hulls.
We show that mapping class groups of surfaces of genus at least two contain elements of infinite order that are not conjugate to their inverses, but whose powers have bounded torsion lengths. In particular every homogeneous quasi-homomorphism vanishes on such an element, showing that elements of infinite order not conjugate to their inverses cannot be separated by quasi-homomorphisms.
Given a 2-manifold, a fundamental question to ask is which groups can be realized as the isometry group of a Riemannan metric of constant curvature on the manifold. In this paper, we give a nearly complete classification of such groups for infinite-genus 2-manifolds with no planar ends. Surprisingly, we show there is an uncountable class of such 2-manifolds where every countable group can be realized as an isometry group (namely, those with self-similar end spaces). We apply this result to obtain obstructions to standard group theoretic properties for the groups of homeomorphisms, diffeomorphisms, and the mapping class groups of such 2-manifolds. For example, none of these groups satisfy the Tits Alternative; are coherent; are linear; are cyclically or linearly orderable; or are residually finite. As a second application, we give an algebraic rigidity result for mapping class groups.
We prove that any action of a higher rank lattice on a Gromov-hyperbolic space is elementary. More precisely, it is either elliptic or parabolic. This is a large generalization of the fact that any action of a higher rank lattice on a tree has a fixed point. A consequence is that any quasi-action of a higher rank lattice on a tree is elliptic, i.e. it has Mannings property (QFA). Moreover, we obtain a new proof of the theorem of Farb-Kaimanovich-Masur that any morphism from a higher rank lattice to a mapping class group has finite image, without relying on the Margulis normal subgroup theorem nor on bounded cohomology. More generally, we prove that any morphism from a higher rank lattice to a hierarchically hyperbolic group has finite image. In the Appendix, Vincent Guirardel and Camille Horbez deduce rigidity results for morphisms from a higher rank lattice to various outer automorphism groups.
Let $n, k geq 3$. In this paper, we analyse the quotient group $B_n/Gamma_k(P_n)$ of the Artin braid group $B_n$ by the subgroup $Gamma_k(P_n)$ belonging to the lower central series of the Artin pure braid group $P_n$. We prove that it is an almost-crystallographic group. We then focus more specifically on the case $k=3$. If $n geq 5$, and if $tau in N$ is such that $gcd(tau, 6) = 1$, we show that $B_n/Gamma_3 (P_n)$ possesses torsion $tau$ if and only if $S_n$ does, and we prove that there is a one-to-one correspondence between the conjugacy classes of elements of order $tau$ in $B_n/Gamma_3 (P_n)$ with those of elements of order $tau$ in the symmetric group $S_n$. We also exhibit a presentation for the almost-crystallographic group $B_n/Gamma_3 (P_n)$. Finally, we obtain some $4$-dimensional almost-Bieberbach subgroups of $B_3/Gamma_3 (P_3)$, we explain how to obtain almost-Bieberbach subgroups of $B_4/Gamma_3(P_4)$ and $B_3/Gamma_4(P_3)$, and we exhibit explicit elements of order $5$ in $B_5/Gamma_3 (P_5)$.