We prove that for every countable group G there exists a hyperbolic 3-manifold M such that the isometry group of M, the mapping class group of M, and the outer automorphism group of the fundamental group of M are isomorphic to G.
We prove that every countable family of countable acylindrically hyperbolic groups has a common finitely generated acylindrically hyperbolic quotient. As an application, we obtain an acylindrically hyperbolic group $Q$ with strong fixed point properties: $Q$ has property $FL^p$ for all $p\in [1, +\infty)$, and every action of $Q$ on a finite dimensional contractible topological space has a fixed point. In addition, $Q$ has other properties which are rather unusual for groups exhibiting "hyperbolic-like" behaviour. E.g., $Q$ is not uniformly non-amenable and has finite generating sets with arbi…
We give a criterion to prove that some groups are not acylindrically hyperbolic. As an application, we prove that the mapping class group of an infinite type surface is not acylindrically hyperbolic.
The aim of this note is to give the simplest possible proof that Mapping Class Groups of closed hyperbolic surfaces are acylindrically hyperbolic, and more specifically that their curve graphs are hyperbolic and that pseudo-Anosovs act on them as loxodromic WPDs.
We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a special case Kleinian groups as well as subgroups of word hyperbolic groups. As an application we calculate the Frattini subgroup in many of these settings, often generalizing results that were only known for finitely generated groups. In particular, we answer a question of G. Higman and B.H. Neumann on the Frattini group of an amalgamated product.
Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we introduce hyperbolic property C, an infinite dimensional version of hyperbolic dimension.
We consider the class of countable groups possessing an action on a finite product of hyperbolic graphs where every infinite order element acts loxodromically. When the graphs are locally finite, we obtain strong structure theorems for the groups in this subclass, so that mapping class groups of genus at least 3 (and $Aut(F_n)$ and $Out(F_n)$ for $n\geq 4$) are not in this subclass. This contrasts with the general case, where Bestvina, Bromberg and Fujiwara showed the existence of proper actions of mapping class groups on a finite product of quasitrees. In particular these quasitrees cannot be…
We prove that the mapping torus group $\FN \rtimes_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN \rtimes_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN \rtimes_α \Z$ has Rapic Decay.
We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces. More precisely, let $Σ$ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that $\mathrm{Map}(Σ)$ admits a continuous nonelementary action on a hyperbolic space if and only if $Σ$ contains a finite-type subsurface which intersects all its homeomorphic translates. When $Σ$ contains such a nondisplaceable subsurface $K$ of finite type, the hyperboli…
We provide negative answers to questions posed by Durham, Hagen, and Sisto on the existence of boundary maps for some hierarchically hyperbolic spaces, namely maps from right-angled Artin groups to mapping class groups. We also prove results on existence of boundary maps for free subgroups of mapping class groups.
This is a (very subjective) survey paper for nonspecialists covering group actions on Gromov hyperbolic spaces. The first section is about hyperbolic groups themselves, while the rest of the paper focuses on mapping class groups and $Out(F_n)$, and the way to understand their large scale geometry using their actions on various hyperbolic spaces constructed using projection complexes. This understanding for $Out(F_n)$ significantly lags behind that of mapping class groups and the paper ends with a few open questions.
We show that the mapping class group of a compact orientable surface with higher complexity has the following extreme rigidity in the sense of measure equivalence: if the mapping class group is measure equivalent to a discrete group, then they are commensurable up to finite kernel. Moreover, we describe all lattice embeddings of the mapping class group into a locally compact second countable group. We also obtain similar results for finite direct products of mapping class groups.
We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptotic cone C has countable but non-trivial fundamental group (in fact C is homeomorphic to the direct product of a tree and a circle, so π_1(C)=Z). We show that the class of lacunary hyperbolic groups conta…
Let $Σ$ be a complete finite-area orientable hyperbolic surface with one cusp, and let $\mathcal{R}$ be the space of complete geodesic rays in $Σ$ emanating from the puncture. Then there is a natural action of the mapping class group of $Σ$ on $\mathcal{R}$. We show that this action is "almost everywhere" wandering.
These notes are the English version of the paper "Hyperbolicité du graphe des rayons et quasi-morphismes sur un gros groupe modulaire". The mapping class group Gamma of the complement of a Cantor set in the plane arises naturally in dynamics. We show that the ray graph, which is the analog of the complex of curves for this surface of infinite type, has infinite diameter and is hyperbolic. We use the action of Gamma on this graph to find an explicit non trivial quasimorphism on Gamma and to show that this group has infinite dimensional second bounded cohomology. Finally we give an example of a …
We study $2$-dimensional Artin groups of hyperbolic type from the viewpoint of measure equivalence, and establish rigidity theorems. We first prove that they are boundary amenable. So is every group acting discretely by simplicial isometries on a connected piecewise hyperbolic $\mathrm{CAT}(-1)$ simplicial complex with countably many simplices in finitely many isometry types, assuming that vertex stabilizers are boundary amenable. Consequently, they satisfy the Novikov conjecture. We then show that measure equivalent $2$-dimensional Artin groups of hyperbolic type have isomorphic fixed set gra…
The theme of this survey is that subgroups of the mapping class group of a finite type surface S can be studied via the geometric/dynamical properties of their action on the Thurston compactification of the Teichmuller space of S, just as discrete subgroups of the isometries of hyperbolic space can be studied via their action on compactified hyperbolic space.
In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a sub…
Let $Γ$ be a countable group acting on a geodesic hyperbolic metric space $X$ and $μ$ a probability measure on $Γ$ which generates a non elementary semi-group. Under the necessary assumption that $μ$ has a finite exponential moment, we establish large deviations results for the distance of a random walk with driving measure $μ$.
We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, $Out(F_n)$, and the Cremona group. Other examples can be found among groups acting geometrically on $CAT(0)$…
In this paper we study the minimum dilatation pseudo-Anosov mapping classes coming from fibrations over the circle of a single 3-manifold, the mapping torus for the "simplest pseudo-Anosov braid". The dilatations that arise include the minimum dilatations for orientable mapping classes for genus g=2,3,4,5,8 as well as Lanneau and Thiffeault's conjectural minima for orientable mapping classes, when g = 2,4 (mod 6). Our examples also show that the minimum dilatation for orientable mapping classes is strictly greater than the minimum dilatation for non-orientable ones when g = 4,6,8.
In this work, we study the asymptotic geometry of the mapping class group and Teichmueller space. We introduce tools for analyzing the geometry of `projection' maps from these spaces to curve complexes of subsurfaces; from this we obtain information concerning the topology of their asymptotic cones. We deduce several applications of this analysis. One of which is that the asymptotic cone of the mapping class group of any surface is tree-graded in the sense of Drutu and Sapir; this tree-grading has several consequences including answering a question of Drutu and Sapir concerning relatively hype…
We are concerned with mapping class groups of surfaces with nonempty boundary. We present a very natural method, due to Thurston, of finding many different left orderings of such groups. The construction involves equipping the surface with a hyperbolic structure, embedding the universal cover in the hyperbolic plane, and extending the action of the mapping class group on it to its limit points on the circle at infinity. We classify all orderings of braid groups which arise in this way. Moreover, restricting to a certain class of ``nonpathological'' orderings, we prove that there are only finit…
Let $Γ$ be a countable group acting on a geodesic Gromov-hyperbolic metric space $X$ and $μ$ a probability measure on $Γ$ whose support generates a non-elementary subsemigroup. Under the assumption that $μ$ has a finite exponential moment, we establish large deviations results for the distance and the translation length of a random walk with driving measure $μ$. From our results, we deduce a special case of a conjecture regarding large deviations of spectral radii of random matrix products.
Let $X$ be the space of isometry classes of ordered sextuples of points in the hyperbolic plane such that the product of the six corresponding rotations of angle $π$ is the identity. This space $X$ is closely related to the PSL$_2(\mathbb{R})$-character variety of the genus 2 surface $Σ$. In this article we study the topology and the natural symplectic structure on $X$, and we describe the action of the mapping class group of $Σ$ on $X$. This completes the classification of the ergodic components of the character variety in genus 2 initiated in our previous work.
The invariant measured foliations of a pseudo-Anosov homeomorphism induce a natural (singular) Sol structure on mapping tori of surfaces with pseudo-Anosov monodromy. We show that when the pseudo-Anosov $ϕ:S\rightarrow S$ has orientable foliations and does not have 1 as an eigenvalue of the induced cohomology action on the closed surface, then the Sol structure can be deformed to nearby cone hyperbolic structures, in the sense of projective structures. The cone angles can be chosen to be decreasing from multiples of $2π$.
We study two actions of big mapping class groups. The first is an action by isometries on a Gromov-hyperbolic graph. The second is an action by homeomorphisms on a circle in which the vertices of the graph naturally embed. The first two parts of the paper are devoted to the definition of objects and tools needed to introduce these two actions; in particular, we define and prove the existence of equators for infinite type surfaces, we define the hyperbolic graph and the circle needed for the actions, and we describe the Gromov-boundary of the graph using the embedding of its vertices in the cir…
The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the "best" hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non-hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, …
We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have complete 4-dimensional real hyperbolic structures. Such bounded locally homeomorphic quasiregular mappings are defined in the unit 3-ball $B^3\subset \mathbb{R}^3$ as mappings equivariant with the standard conformal action of uniform hyperbolic lattices $Γ\subset \operatorname{Is…
Let G be a countable group which acts by isometries on a separable, but not necessarily proper, Gromov hyperbolic space X. We say the action of G is weakly hyperbolic if G contains two independent hyperbolic isometries. We show that a random walk on such G converges to the Gromov boundary almost surely. We apply the convergence result to show linear progress and linear growth of translation length, without any assumptions on the moments of the random walk. If the action is acylindrical, and the random walk has finite entropy and finite logarithmic moment, we show that the Gromov boundary with …
Let M be a closed hyperbolic three manifold. We construct closed surfaces which map by immersions into M so that for each one the corresponding mapping on the universal covering spaces is an embedding, or, in other words, the corresponding induced mapping on fundamental groups is an injection.
Hierarchically hyperbolic spaces provide a common framework for studying mapping class groups of finite type surfaces, Teichmüller space, right-angled Artin groups, and many other cubical groups. Given such a space $\mathcal X$, we build a bordificationcompatible with the hierarchically hyperbolic structure. If $\mathcal X$ is proper, we get a compactification of $\mathcal X$; we also prove that our construction generalizes the Gromov boundary of a hyperbolic space. In our first main set of applications, we introduce a notion of geometrical finiteness for hierarchically hyperbolic subgroups of…
Let $S_{g,n}$ be a surface of genus $g $ with $n$ marked points. Let $X$ be a complete hyperbolic metric on $S_{g,n}$ with $n$ cusps. Every isotopy class $[γ]$ of a closed curve $γ\in π_{1}(S_{g,n})$ contains a unique closed geodesic on $X$. Let $\ell_γ(X)$ denote the hyperbolic length of the geodesic representative of $γ$ on $X$. In this paper, we study the asymptotic growth of the lengths of closed curves of a fixed topological type on $S_{g,n}.$ As an application, one can obtain the asymptotics of the growth of $s^{k}_{X}(L)$, the number of closed curves of length $\leq L$ on $X$ with at mo…
We prove the Farrell-Jones Conjecture for mapping tori of automorphisms of virtually torsion-free hyperbolic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture by Bartels-Lück-Reich, as well as the structure theory of mapping tori by Dahmani-Krishna.
We advocate the use of cluster algebras and their y-variables in the study of hyperbolic 3-manifolds. We study hyperbolic structures on the mapping tori of pseudo-Anosov mapping classes of punctured surfaces, and show that cluster y-variables naturally give the solutions of the edge-gluing conditions of ideal tetrahedra. We also comment on the completeness of hyperbolic structures.
In this paper, we develop the mathematical tools needed to explore isotopy classes of tilings on hyperbolic surfaces of finite genus, possibly nonorientable, with boundary, and punctured. More specifically, we generalize results on Delaney-Dress combinatorial tiling theory using an extension of mapping class groups to orbifolds, in turn using this to study tilings of covering spaces of orbifolds. Moreover, we study finite subgroups of these mapping class groups. Our results can be used to extend the Delaney-Dress combinatorial encoding of a tiling to yield a finite symbol encoding the complexi…
We construct a new type of locally homeomorphic quasiregular mappings in the 3-sphere and discuss their relation to the M.A.Lavrentiev problem, the Zorich map with an essential singularity at infinity, the Fatou's problem and a quasiregular analogue of domains of holomorphy in complex analysis. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have complete 4-dimensional real hyperbolic structures. Such locally homeomorphic quasiregular mappings are defined in the 3-sphere $S^…
We study random elements of subgroups (and cosets) of the mapping class group of a closed hyperbolic surface, in part through the properties of their mapping tori. In particular, we study the distribution of the homology of the mapping torus (with rational, integer, and finite field coefficients, the hyperbolic volume (whenever the manifold is hyperbolic), the dilatation of the monodromy, the injectivity radius, and the bottom eigenvalue of the Laplacian on these mapping tori. We also study mapping tori of punctured surface bundles, and various invariants of their Dehn fillings. We also study …