Boundaries and automorphisms of hierarchically hyperbolic spaces

Durham, Matthew¹ ; Hagen, Mark² ; Sisto, Alessandro³

¹ Department of Mathematics, University of Michigan, Ann Arbor, MI, United States
² Department of Pure Maths and Math. Stat., University of Cambridge, Cambridge, United Kingdom
³ Departement Mathematik, ETH Zürich, Zürich, Switzerland

Geometry & topology, Tome 21 (2017) no. 6, pp. 3659-3758.

Résumé

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 bordification of $\mathcal{X}$ compatible with its hierarchically hyperbolic structure.

If $\mathcal{X}$ is proper, eg a hierarchically hyperbolic group such as the mapping class group, 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 hierarchically hyperbolic groups in terms of boundary embeddings.

As primary examples of geometrical finiteness, we prove that the natural inclusions of finitely generated Veech groups and the Leininger–Reid combination subgroups extend to continuous embeddings of their Gromov boundaries into the boundary of the mapping class group, both of which fail to happen with the Thurston compactification of Teichmüller space.

Our second main set of applications are dynamical and structural, built upon our classification of automorphisms of hierarchically hyperbolic spaces and analysis of how the various types of automorphisms act on the boundary.

We prove a generalization of the Handel–Mosher “omnibus subgroup theorem” for mapping class groups to all hierarchically hyperbolic groups, obtain a new proof of the Caprace–Sageev rank-rigidity theorem for many $CAT\left(0\right)$ cube complexes, and identify the boundary of a hierarchically hyperbolic group as its Poisson boundary; these results rely on a theorem detecting irreducible axial elements of a group acting on a hierarchically hyperbolic space (which generalize pseudo-Anosov elements of the mapping class group and rank-one isometries of a cube complex not virtually stabilizing a hyperplane).

Détail

DOI : 10.2140/gt.2017.21.3659

Classification : 20F65, 20F67, 30F60
Keywords: mapping class groups, cubical groups, hierarchically hyperbolic spaces

Bibliographie

[1] T Aougab, Uniform hyperbolicity of the graphs of curves, Geom. Topol. 17 (2013) 2855 | DOI

[2] W Ballmann, On the Dirichlet problem at infinity for manifolds of nonpositive curvature, Forum Math. 1 (1989) 201 | DOI

[3] J A Behrstock, Asymptotic geometry of the mapping class group and Teichmüller space, Geom. Topol. 10 (2006) 1523 | DOI

[4] J Behrstock, M F Hagen, Cubulated groups: thickness, relative hyperbolicity, and simplicial boundaries, Groups Geom. Dyn. 10 (2016) 649 | DOI

[5] J Behrstock, M F Hagen, A Sisto, Hierarchically hyperbolic spaces, I: Curve complexes for cubical groups, preprint (2014)

[6] J Behrstock, M F Hagen, A Sisto, Hierarchically hyperbolic spaces, II: Combination theorems and the distance formula, preprint (2015)

[7] J Behrstock, M F Hagen, A Sisto, Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups, preprint (2015)

[8] J Behrstock, B Kleiner, Y Minsky, L Mosher, Geometry and rigidity of mapping class groups, Geom. Topol. 16 (2012) 781 | DOI

[9] N Bergeron, D T Wise, A boundary criterion for cubulation, Amer. J. Math. 134 (2012) 843 | DOI

[10] B H Bowditch, Cut points and canonical splittings of hyperbolic groups, Acta Math. 180 (1998) 145 | DOI

[11] B H Bowditch, Tight geodesics in the curve complex, Invent. Math. 171 (2008) 281 | DOI

[12] B H Bowditch, Uniform hyperbolicity of the curve graphs, Pacific J. Math. 269 (2014) 269 | DOI

[13] B H Bowditch, Large-scale rank and rigidity of the Weil–Petersson metric, preprint (2015)

[14] B H Bowditch, Large-scale rank and rigidity of the Teichmüller metric, J. Topol. 9 (2016) 985 | DOI

[15] J F Brock, The Weil–Petersson metric and volumes of 3–dimensional hyperbolic convex cores, J. Amer. Math. Soc. 16 (2003) 495 | DOI

[16] J Brock, C Leininger, B Modami, K Rafi, Limit sets of Teichmüller geodesics with minimal nonuniquely ergodic vertical foliation, II, preprint (2016)

[17] P E Caprace, Y Cornulier, N Monod, R Tessera, Amenable hyperbolic groups, J. Eur. Math. Soc. 17 (2015) 2903 | DOI

[18] P E Caprace, M Sageev, Rank rigidity for CAT(0) cube complexes, Geom. Funct. Anal. 21 (2011) 851 | DOI

[19] J Chaika, H Masur, M Wolf, Limits in PMF of Teichmüller geodesics, preprint (2014)

[20] M T Clay, C J Leininger, J Mangahas, The geometry of right-angled Artin subgroups of mapping class groups, Groups Geom. Dyn. 6 (2012) 249 | DOI

[21] M Clay, K Rafi, S Schleimer, Uniform hyperbolicity of the curve graph via surgery sequences, Algebr. Geom. Topol. 14 (2014) 3325 | DOI

[22] C B Croke, B Kleiner, Spaces with nonpositive curvature and their ideal boundaries, Topology 39 (2000) 549 | DOI

[23] F Dahmani, V Guirardel, D Osin, Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces, 1156, Amer. Math. Soc. (2017) | DOI

[24] R J Daverman, Decompositions of manifolds, 124, Academic Press (1986)

[25] M J Dunwoody, M E Sageev, JSJ-splittings for finitely presented groups over slender groups, Invent. Math. 135 (1999) 25 | DOI

[26] M G Durham, The augmented marking complex of a surface, J. Lond. Math. Soc. 94 (2016) 933 | DOI

[27] M G Durham, S J Taylor, Convex cocompactness and stability in mapping class groups, Algebr. Geom. Topol. 15 (2015) 2839 | DOI

[28] R Edwards, Approximating certain cell-like maps by homeomorphisms, Notices Amer. Math. Soc 24 (1977)

[29] A Eskin, H Masur, K Rafi, Large-scale rank of Teichmüller space, Duke Math. J. 166 (2017) 1517 | DOI

[30] B Farb, A Lubotzky, Y Minsky, Rank-1 phenomena for mapping class groups, Duke Math. J. 106 (2001) 581 | DOI

[31] B Farb, L Mosher, Convex cocompact subgroups of mapping class groups, Geom. Topol. 6 (2002) 91 | DOI

[32] K Fujiwara, Subgroups generated by two pseudo-Anosov elements in a mapping class group, I : Uniform exponential growth, from: "Groups of diffeomorphisms" (editors R Penner, D Kotschick, T Tsuboi, N Kawazumi, T Kitano, Y Mitsumatsu), Adv. Stud. Pure Math. 52, Math. Soc. Japan (2008) 283

[33] K Fujiwara, P Papasoglu, JSJ-decompositions of finitely presented groups and complexes of groups, Geom. Funct. Anal. 16 (2006) 70 | DOI

[34] H Furstenberg, Noncommuting random products, Trans. Amer. Math. Soc. 108 (1963) 377 | DOI

[35] M Gromov, Hyperbolic groups, from: "Essays in group theory" (editor S M Gersten), Math. Sci. Res. Inst. Publ. 8, Springer (1987) 75 | DOI

[36] M F Hagen, The simplicial boundary of a CAT(0) cube complex, Algebr. Geom. Topol. 13 (2013) 1299 | DOI

[37] M F Hagen, Weak hyperbolicity of cube complexes and quasi-arboreal groups, J. Topol. 7 (2014) 385 | DOI

[38] M F Hagen, T Susse, Hierarchical hyperbolicity of all cubical groups, preprint (2016)

[39] F Haglund, Isometries of CAT(0) cube complexes are semi-simple, preprint (2007)

[40] U Hamenstädt, Word hyperbolic extensions of surface groups, preprint (2005)

[41] U Hamenstädt, Geometric properties of the mapping class group, from: "Problems on mapping class groups and related topics" (editor B Farb), Proc. Sympos. Pure Math. 74, Amer. Math. Soc. (2006) 215 | DOI

[42] M Handel, L Mosher, Subgroups of mapping class groups, revisited, preprint (2010)

[43] S Hensel, P Przytycki, R C H Webb, 1–slim triangles and uniform hyperbolicity for arc graphs and curve graphs, J. Eur. Math. Soc. 17 (2015) 755 | DOI

[44] C Horbez, A short proof of Handel and Mosher’s alternative for subgroups of Out(FN), Groups Geom. Dyn. 10 (2016) 709 | DOI

[45] V A Kaimanovich, H Masur, The Poisson boundary of the mapping class group, Invent. Math. 125 (1996) 221 | DOI

[46] M Kalantar, M Kennedy, Boundaries of reduced C∗–algebras of discrete groups, J. Reine Angew. Math. 727 (2017) 247 | DOI

[47] R P Kent Iv, C J Leininger, Subgroups of mapping class groups from the geometrical viewpoint, from: "In the tradition of Ahlfors–Bers, IV" (editors D Canary, J Gilman, J Heinonen, H Masur), Contemp. Math. 432, Amer. Math. Soc. (2007) 119 | DOI

[48] R P Kent Iv, C J Leininger, Shadows of mapping class groups: capturing convex cocompactness, Geom. Funct. Anal. 18 (2008) 1270 | DOI

[49] S P Kerckhoff, The asymptotic geometry of Teichmüller space, Topology 19 (1980) 23 | DOI

[50] T Koberda, Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups, Geom. Funct. Anal. 22 (2012) 1541 | DOI

[51] C Leininger, A Lenzhen, K Rafi, Limit sets of Teichmüller geodesics with minimal non-uniquely ergodic vertical foliation, J. Reine Angew. Math. (2015) | DOI

[52] C J Leininger, A W Reid, A combination theorem for Veech subgroups of the mapping class group, Geom. Funct. Anal. 16 (2006) 403 | DOI

[53] A Lenzhen, Teichmüller geodesics that do not have a limit in PMF, Geom. Topol. 12 (2008) 177 | DOI

[54] J Maher, G Tiozzo, Random walks on weakly hyperbolic groups, preprint (2014)

[55] J Mangahas, Uniform uniform exponential growth of subgroups of the mapping class group, Geom. Funct. Anal. 19 (2010) 1468 | DOI

[56] J Mangahas, A recipe for shortword pseudo–Anosovs, Amer. J. Math. 135 (2013) 1087 | DOI

[57] A Marden, On finitely generated Fuchsian groups, Comment. Math. Helv. 42 (1967) 81 | DOI

[58] H Masur, Two boundaries of Teichmüller space, Duke Math. J. 49 (1982) 183 | DOI

[59] H A Masur, Y N Minsky, Geometry of the complex of curves, I : Hyperbolicity, Invent. Math. 138 (1999) 103 | DOI

[60] H A Masur, Y N Minsky, Geometry of the complex of curves, II : Hierarchical structure, Geom. Funct. Anal. 10 (2000) 902 | DOI

[61] Y N Minsky, Extremal length estimates and product regions in Teichmüller space, Duke Math. J. 83 (1996) 249 | DOI

[62] L Mosher, Problems in the geometry of surface group extensions, from: "Problems on mapping class groups and related topics" (editor B Farb), Proc. Sympos. Pure Math. 74, Amer. Math. Soc. (2006) 245 | DOI

[63] S C Mousley, Non-existence of boundary maps for some hierarchically hyperbolic spaces, preprint (2016)

[64] A Nevo, M Sageev, The Poisson boundary of CAT(0) cube complex groups, Groups Geom. Dyn. 7 (2013) 653 | DOI

[65] D Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016) 851 | DOI

[66] P Przytycki, A Sisto, A note on acylindrical hyperbolicity of mapping class groups, preprint (2015)

[67] K Rafi, Hyperbolicity in Teichmüller space, Geom. Topol. 18 (2014) 3025 | DOI

[68] A W Reid, Surface subgroups of mapping class groups, from: "Problems on mapping class groups and related topics" (editor B Farb), Proc. Sympos. Pure Math. 74, Amer. Math. Soc. (2006) 257 | DOI

[69] E Rips, Z Sela, Cyclic splittings of finitely presented groups and the canonical JSJ decomposition, Ann. of Math. 146 (1997) 53 | DOI

[70] A Sisto, Contracting elements and random walks, preprint (2011)

[71] J Stallings, Group theory and three-dimensional manifolds, 4, Yale University Press (1971)

[72] W P Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bull. Amer. Math. Soc. 19 (1988) 417 | DOI

[73] W A Veech, Teichmüller curves in moduli space, Eisenstein series and an application to triangular billiards, Invent. Math. 97 (1989) 553 | DOI

[74] R C H Webb, A short proof of the bounded geodesic image theorem, preprint (2013)

[75] W Woess, Boundaries of random walks on graphs and groups with infinitely many ends, Israel J. Math. 68 (1989) 271 | DOI