Largest acylindrical actions and stability in hierarchically hyperbolic groups

We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including mapping class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces, so it is natural to search for a best one. The set of all cobounded acylindrical actions on hyperbolic spaces admits a natural poset structure; in this paper we prove that all hierarchically hyperbolic groups admit a unique action which is the largest in this poset. The action we construct is also universal in the sense that every element which acts loxodromically in some acylindrical action on a hyperbolic space does so in this one. Special cases of this result are themselves new and interesting. For instance, this is the first proof that right-angled Coxeter groups admit universal acylindrical actions. The notion of quasigeodesic stability of subgroups provides a natural analogue of quasiconvexity outside the context of hyperbolic groups. We provide a complete classification of stable subgroups of hierarchically hyperbolic groups, generalizing and extending results that are known for mapping class groups and right-angled Artin groups. We also provide a characterization of contracting quasigeodesics; interestingly, in this generality the proof is much simpler than in the special cases where it was already known. In the appendix, it is verified that any space satisfying the a priori weaker property of being an almost hierarchically hyperbolic space is actually a hierarchically hyperbolic space. The results of the appendix are used to streamline the proofs in the main text.

Combinatorial higher dimensional isoperimetry and divergence

In this paper we provide a framework for the study of isoperimetric problems in finitely generated group, through a combinatorial study of universal covers of compact simplicial complexes. We show that, when estimating filling functions, one can restrict to simplicial spheres of particular shapes, called round and unfolded, provided that a bounded quasi-geodesic combing exists. We prove that the problem of estimating higher dimensional divergence as well can be restricted to round spheres. Applications of these results include a combinatorial analogy of the Federer--Fleming inequality for finitely generated groups, the construction of examples of $CAT(0)$--groups with higher dimensional divergence equivalent to $x^d$ for every degree d [arXiv:1305.2994], and a proof of the fact that for bi-combable groups the filling function above the quasi-flat rank is asymptotically linear [Behrstock-Drutu].

Higher dimensional divergence for mapping class groups

In this paper we investigate the higher dimensional divergence functions of mapping class groups of surfaces and of CAT(0)--groups. We show that, for mapping class groups of surfaces, these functions exhibit phase transitions at the rank (as measured by thrice the genus plus the number of punctures minus 3). We also provide inductive constructions of CAT(0)--spaces with co-compact group actions, for which the divergence below the rank is (exactly) a polynomial function of our choice, with degree arbitrarily large compared to the dimension.

Divergence, thick groups, and short conjugators

In this paper we explore relationships between divergence and thick groups, and with the same techniques we estimate lengths of shortest conjugators. We produce examples, for every positive integer n, of CAT(0) groups which are thick of order n and with polynomial divergence of order n+1, both these phenomena are new. With respect to thickness, these examples show the non-triviality at each level of the thickness hierarchy defined by Behrstock-Drutu-Mosher. With respect to divergence our examples resolve questions of Gromov and Gersten (the divergence questions were also recently and independently answered by Macura. We also provide general tools for obtaining both lower and upper bounds on the divergence of geodesics and spaces, and we give the definitive lower bound for Morse geodesics in the CAT(0) spaces, generalizing earlier results of Kapovich-Leeb and Bestvina-Fujiwara. In the final section, we turn to the question of bounding the length of the shortest conjugators in several interesting classes of groups. We obtain linear and quadratic bounds on such lengths for classes of groups including 3-manifold groups and mapping class groups (the latter gives new proofs of corresponding results of Masur-Minsky in the pseudo-Anosov case and Tao in the reducible case).

Homomorphisms into mapping class groups. An addendum

This is an addendum to arXiv: 0810.5376. We show, using our methods and an auxiliary result of Bestvina-Bromberg-Fujiwara, that a finitely generated group with infinitely many pairwise non-conjugate homomorphisms to a mapping class group virtually acts non-trivially on an $R$-tree, and, if it is finitely presented, it virtually acts non-trivially on a simplicial tree

Geometry and rigidity of mapping class 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.

Growth of intersection numbers for free group automorphisms

For a fully irreducible automorphism phi of the free group F_k we compute the asymptotics of the intersection number n mapsto i(T,Tphi^n) for trees T,T in Outer space. We also obtain qualitative information about the geometry of the Guirardel core for the trees T and Tphi^n for n large.