Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity (2009.14053v5)
Abstract: We relate three classes of nonpositively curved metric spaces: hierarchically hyperbolic spaces, coarsely injective spaces, and strongly shortcut spaces. We show that every hierarchically hyperbolic space admits a new metric that is coarsely injective. The new metric is quasi-isometric to the original metric and is preserved under automorphisms of the hierarchically hyperbolic space. We show that every coarsely injective metric space of uniformly bounded geometry is strongly shortcut. Consequently, hierarchically hyperbolic groups -- including mapping class groups of surfaces -- are coarsely injective and coarsely injective groups are strongly shortcut. Using these results, we deduce several important properties of hierarchically hyperbolic groups, including that they are semihyperbolic, have solvable conjugacy problem, have finitely many conjugacy classes of finite subgroups, and that their finitely generated abelian subgroups are undistorted. Along the way we show that hierarchically quasiconvex subgroups of hierarchically hyperbolic groups have bounded packing.
- Semihyperbolic groups. Proc. London Math. Soc. (3), 70(1):56–114, 1995.
- Conjugator lengths in hierarchically hyperbolic groups. arXiv preprint arXiv:1808.09604, 2018.
- Largest acylindrical actions and stability in hierarchically hyperbolic groups. arXiv preprint arXiv:1705.06219, 2017.
- Intersection properties of stable subgroups and bounded cohomology. Indiana Univ. Math. J., 68(1):179–199, 2019.
- Hierarchically hyperbolic groups and uniform exponential growth. arXiv preprint arXiv:1909.00439, 2019.
- N. Aronszajn and P. Panitchpakdi. Extension of uniformly continuous transformations and hyperconvex metric spaces. Pacific J. Math., 6:405–439, 1956.
- Divergence, thick groups, and short conjugators. Illinois J. Math., 58(4):939–980, 2014.
- Metric spaces of non-positive curvature, volume 319 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999.
- A combinatorial take on hierarchical hyperbolicity and applications to quotients of mapping class groups. arXiv preprint arXiv:2005.00567, 2020.
- Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups. Proc. Lond. Math. Soc. (3), 114(5):890–926, 2017.
- Hierarchically hyperbolic spaces, I: Curve complexes for cubical groups. Geom. Topol., 21(3):1731–1804, 2017.
- Quasiflats in hierarchically hyperbolic spaces. arXiv preprint arXiv:1704.04271, 2017.
- Hierarchically hyperbolic spaces II: Combination theorems and the distance formula. Pacific J. Math., 299(2):257–338, 2019.
- Centroids and the rapid decay property in mapping class groups. J. Lond. Math. Soc. (2), 84(3):765–784, 2011.
- Brian H. Bowditch. Coarse median spaces and groups. Pacific J. Math., 261(1):53–93, 2013.
- Brian H. Bowditch. Convex hulls in coarse median spaces. http://www.warwick.ac.uk/~masgak/papers/hulls-cms.pdf, 2019.
- Brian H. Bowditch. Quasiflats in coarse median spaces. http://www.warwick.ac.uk/~masgak/papers/quasiflats.pdf, 2019.
- Brian H. Bowditch. Median and injective metric spaces. Math. Proc. Cambridge Philos. Soc., 168(1):43–55, 2020.
- A refined combination theorem for hierarchically hyperbolic groups. arXiv preprint arXiv:1810.06476, 2018.
- Hierarchical hyperbolicity of graph products. arXiv preprint arXiv:2006.03085, 2020.
- Martin R. Bridson. Finiteness properties for subgroups of GL(n,𝐙)GL𝑛𝐙{\rm GL}(n,\mathbf{Z})roman_GL ( italic_n , bold_Z ). Math. Ann., 317(4):629–633, 2000.
- Martin R. Bridson. Semisimple actions of mapping class groups on CAT(0)CAT0{\rm CAT}(0)roman_CAT ( 0 ) spaces. In Geometry of Riemann surfaces, volume 368 of London Math. Soc. Lecture Note Ser., pages 1–14. Cambridge Univ. Press, Cambridge, 2010.
- Martin R. Bridson. Semihyperbolicity. In Beyond hyperbolicity, volume 454 of London Math. Soc. Lecture Note Ser., pages 25–64. Cambridge Univ. Press, Cambridge, 2019.
- Superextensions and the depth of median graphs. J. Combin. Theory Ser. A, 57(2):187–202, 1991.
- Helly groups. arXiv preprint arXiv:2002.06895, 2020.
- Yves Cornulier and Pierre de la Harpe. Metric geometry of locally compact groups, volume 25 of EMS Tracts in Mathematics. European Mathematical Society (EMS), Zürich, 2016.
- Core congestion is inherent in hyperbolic networks. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 2264–2279. SIAM, Philadelphia, PA, 2017.
- Packing and covering δ𝛿\deltaitalic_δ-hyperbolic spaces by balls. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pages 59–73. Springer, 2007.
- Victor Chepoi. Separation of two convex sets in convexity structures. J. Geom., 50(1-2):30–51, 1994.
- Victor Chepoi. Graphs of some CAT(0)CAT0{\rm CAT}(0)roman_CAT ( 0 ) complexes. Adv. in Appl. Math., 24(2):125–179, 2000.
- Generosity helps or an 11111111-competitive algorithm for three servers. J. Algorithms, 16(2):234–263, 1994.
- Rank rigidity for CAT(0) cube complexes. Geom. Funct. Anal., 21(4):851–891, 2011.
- Extensions of Veech groups are hierarchically hyperbolic. arXiv preprint arXiv:2006.16425, 2020.
- Boundaries and automorphisms of hierarchically hyperbolic spaces. Geom. Topol., 21(6):3659–3758, 2017.
- Convex geodesic bicombings and hyperbolicity. Geom. Dedicata, 177:367–384, 2015.
- Stable cubulations, bicombings and barycenters. arXiv preprint arXiv:2009.13647, 2020.
- Andreas W. M. Dress. Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: a note on combinatorial properties of metric spaces. Adv. in Math., 53(3):321–402, 1984.
- Convex cocompactness and stability in mapping class groups. Algebr. Geom. Topol., 15(5):2839–2859, 2015.
- Word processing in groups. Jones and Bartlett Publishers, Boston, MA, 1992.
- Coronas for properly combable spaces. arXiv preprint arXiv:1711.06836, 2017.
- A coarse Cartan-Hadamard theorem with application to the coarse Baum-Connes conjecture. J. Topol. Anal., 12(3):857–895, 2020.
- Anthony Genevois. A cubical flat torus theorem and some of its applications. arXiv preprint arXiv:1902.04883, 2019.
- Anthony Genevois. Hyperbolicities in CAT(0) cube complexes. Enseign. Math., 65(1-2):33–100, 2020.
- Widths of subgroups. Trans. Amer. Math. Soc., 350(1):321–329, 1998.
- Thomas Haettel. Hyperbolic rigidity of higher rank lattices. Ann. Sci. Éc. Norm. Supér. (4), 53(2):439–468, 2020.
- Ursula Hamenstädt. Geometry of the mapping class group II: A biautomatic structure. arXiv preprint arXiv:0912.0137, 2009.
- Helly meets garside and artin. arXiv preprint arXiv:1904.09060, 2019.
- Nima Hoda. Shortcut graphs and groups. arXiv preprint arXiv:1811.05036, 2018.
- Nima Hoda. Crystallographic Helly groups. arXiv preprint arXiv:2010.07407, 2020.
- Nima Hoda. Strongly shortcut spaces. arXiv preprint arXiv:2010.07400, 2020.
- Projection complexes and quasimedian maps. arXiv:2108.13232. To appear in Alg. Geom. Topol., 2019.
- On hierarchical hyperbolicity of cubical groups. Israel J. Math., 236(1):45–89, 2020.
- Commensurating HNN-extensions: hierarchical hyperbolicity and biautomaticity. arXiv preprint arXiv:2203.11996, 2022.
- Packing subgroups in relatively hyperbolic groups. Geom. Topol., 13(4):1945–1988, 2009.
- Finiteness properties of cubulated groups. Compos. Math., 150(3):453–506, 2014.
- J. R. Isbell. Six theorems about injective metric spaces. Comment. Math. Helv., 39:65–76, 1964.
- Steven P. Kerckhoff. The Nielsen realization problem. Ann. of Math. (2), 117(2):235–265, 1983.
- Actions of discrete groups on nonpositively curved spaces. Math. Ann., 306(2):341–352, 1996.
- Urs Lang. Injective hulls of certain discrete metric spaces and groups. J. Topol. Anal., 5(3):297–331, 2013.
- Marissa Miller. Stable subgroups of the genus two handlebody group. arXiv preprint arXiv:2009.05067, 2020.
- Geometry of the complex of curves. II. Hierarchical structure. Geom. Funct. Anal., 10(4):902–974, 2000.
- Lee Mosher. Mapping class groups are automatic. Ann. of Math. (2), 142(2):303–384, 1995.
- The geometry of cube complexes and the complexity of their fundamental groups. Topology, 37(3):621–633, 1998.
- Coxeter groups act on CAT(0)CAT0{\rm CAT}(0)roman_CAT ( 0 ) cube complexes. J. Group Theory, 6(3):399–413, 2003.
- A four point characterisation for coarse median spaces. Groups Geom. Dyn., 13(3):939–980, 2019.
- Paul Plummer. Some graph manifold groups are not hierarchically hyperbolic groups. Preprint, 2020.
- Unbounded domains in hierarchically hyperbolic groups. arXiv:2007.12535. To appear in Groups Geom. Dyn., 2020.
- Martin Roller. Poc sets, median algebras and group actions. Habilitationsschrift, Universität Regensburg, 1998. Available on the arXiv at arXiv:1607.07747.
- Intersection patterns of essential surfaces in 3333-manifolds. Topology, 38(6):1281–1291, 1999.
- Hierarchical hyperbolicity of hyperbolic-2-decomposable groups. arXiv preprint arXiv:2007.13383, 2020.
- Convexity in hierarchically hyperbolic spaces. arXiv preprint arXiv:1809.09303, 2018.
- Michah Sageev. Codimension-1111 subgroups and splittings of groups. J. Algebra, 189(2):377–389, 1997.
- Alessandro Sisto. Quasi-convexity of hyperbolically embedded subgroups. Math. Z., 283(3-4):649–658, 2016.
- Jing Tao. Linearly bounded conjugator property for mapping class groups. Geom. Funct. Anal., 23(1):415–466, 2013.
- Hung Cong Tran. On strongly quasiconvex subgroups. Geom. Topol., 23(3):1173–1235, 2019.
- Kate M Vokes. Hierarchical hyperbolicity of graphs of multicurves. arXiv preprint arXiv:1711.03080, 2017.