Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups

Abstract

We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the mapping class group of a finite type surface: improving the bound from exponential to at most quadratic in the complexity of the surface. We also apply the main result to various other hierarchically hyperbolic groups and spaces. We also prove a small-cancellation result namely: if $G$ is a hierarchically hyperbolic group, $H\le G$ is a suitable hyperbolically embedded subgroup, and $N◃H$ is "sufficiently deep" in $H$, then $G/⟨⟨N⟩⟩$ is a relatively hierarchically hyperbolic group. This new class provides many new examples to which our asymptotic dimension bounds apply. Along the way, we prove new results about the structure of HHSs, for example: the associated hyperbolic spaces are always obtained, up to quasi-isometry, by coning off canonical coarse product regions in the original space (generalizing a relation established by Masur--Minsky between the complex of curves of a surface and Teichmüller space).

Minor revisions in Section 6. This is the version accepted for publication

Cited by in corpus (12)

• Stability and the Morse boundary
• Stable cubulations, bicombings, and barycenters
• Lattices in a product of trees, hierarchically hyperbolic groups, and virtual torsion-freeness
• Coarse medians and Property A
• A characterization for asymptotic dimension growth
• Automorphisms of contact graphs of $\mathrm{CAT}(0)$ cube complexes
• Rigidity of mapping class groups mod powers of twists
• Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups
• Extensions of multicurve stabilizers are hierarchically hyperbolic
• A Combinatorial Structure for Many Hierarchically Hyperbolic Spaces
• $L^p$ coarse Baum-Connes conjecture via $C_0$ coarse geometry
• Asymptotic dimensions of the arc graphs and disk graphs