Hierarchically Hyperbolic Spaces

Updated 23 January 2026

Hierarchically hyperbolic spaces are metric spaces defined by canonical projections to Gromov-hyperbolic spaces with nesting, orthogonality, and transversality relations.
They generalize key structures in mapping class groups, CAT(0) cube complexes, and right-angled Artin groups through a unified distance formula and hierarchical framework.
This theory supports rigorous analysis of boundaries, combinatorial criteria, and relative hyperbolicity, advancing our understanding of coarse geometry and rigidity phenomena.

A hierarchically hyperbolic space (HHS) is a metric space equipped with a canonical package of projections to an indexed family of Gromov-hyperbolic spaces, structured by nesting, orthogonality, and transversality relations. These structures abstract and generalize the features of such spaces as mapping class groups, Teichmüller space, right-angled Artin groups, many cubical groups, and most closed 3-manifold groups. The axiomatic framework of HHS simultaneously encodes product decompositions, projection consistency, hyperbolicity, and a global distance formula, and supports a theory unifying their coarse geometry, boundaries, and rigidity phenomena.

1. Formal Definition and Axioms

Let $(X, d_X)$ be a quasi-geodesic metric space. A hierarchically hyperbolic structure on $X$ comprises:

Index set $\mathfrak S$ : domains, equipped with a unique maximal element $S$ .
Hyperbolic spaces: For each $U \in \mathfrak S$ , a Gromov-hyperbolic space $\mathcal C U$ .
Projections: Coarse Lipschitz maps

$\pi_U : X \to 2^{\mathcal C U}, \qquad \operatorname{diam}(\pi_U(x)) \leq E$

Relations on $\mathfrak S$ :
- Nesting: partial order $\sqsubseteq$ with unique maximal $S$ .
- Orthogonality: symmetric, anti-reflexive relation $\perp$ ; if $V \perp U$ and $U \sqsubseteq W$ , then $V \perp W$ .
- Transversality: for $U, V$ neither nested nor orthogonal, written $U \pitchfork V$ .
Relative projections $\rho^U_V \subset \mathcal C V$ , $\rho^V_U \subset \mathcal C U$ , of uniformly bounded diameter, defined for each nested or transverse pair.

The axioms, following (Behrstock et al., 2014, Behrstock et al., 2015, Durham et al., 2016), and others, are:

Projections: Each $\pi_U$ is coarsely Lipschitz with quasiconvex image of uniformly bounded diameter.
Nesting and Relative Projections: If $V \sqsubseteq U$ , relative projections $\rho^V_U$ and $\rho^U_V$ satisfy diameters $\leq E$ .
Orthogonality: $U \perp V$ iff neither is nested in the other; nesting respects orthogonality; every family of orthogonal subdomains is contained in a "container" domain.
Transversality and Consistency: Relative projections for transverse pairs, and for all $x \in X$ ,

$\min\{ d_U(\pi_U(x),\rho^V_U),\, d_V(\pi_V(x),\rho^U_V) \} \leq E$

and similar relations for nested and transverse/nested triples.

Finite Complexity: Every $\sqsubseteq$ -descending chain in $\mathfrak S$ has bounded length.
Large Links: The number of subdomains in which a pair $x, y$ projects far apart, controlled linearly in their projection to larger domains.
Bounded Geodesic Image: For $V \sqsubsetneq U$, any geodesic in $\mathcal C U$ avoiding $\rho^V_U$ projects to a bounded set in $\mathcal C V$ .
Partial Realization: Any bounded tuple of points in pairwise orthogonal domains is coarsely realized as projections of a single point in $X$ .
Uniqueness: If all projections are close, then the points are close in $X$ .

The structure admits a distance formula: $d_X(x,y) \asymp_K \sum_{U \in \mathfrak S} [d_U(\pi_U(x),\pi_U(y))]_s,$ where $[a]_s = \max\{0, a-s\}$ and constants depend only on the HHS data (Behrstock et al., 2014, Behrstock et al., 2015).

2. Product Structure, Rank, and Hierarchical Properties

Standard product regions in $X$ are encoded by the orthogonality relation on $\mathfrak S$ . For a domain $U$ , the standard product region

$P_U \approx \mathbf{F}_U \times \mathbf{E}_U$

is constructed from collections of consistent tuples on nested and orthogonal domains, and is quasi-isometric to the product of lower-complexity HHSs (Behrstock et al., 2017).

The rank of an HHS is the supremum of the size of pairwise orthogonal collections $U_i$ for which projections $\pi_{U_i}(X)$ are unbounded. A fundamental theorem asserts that the maximal rank equals the highest dimension of Euclidean quasi-flats in $X$ : every quasi-isometrically embedded $\mathbb{R}^n$ lies in finite neighborhood of a union of standard product orthants, and $n$ cannot exceed the rank (Behrstock et al., 2014, Behrstock et al., 2017).

HHS are coarse median spaces: there exists a ternary operation $\mu \colon X^3 \to X$ such that the space is coarsely modeled by finite median algebras of rank equal to the maximal orthogonal family size. This allows for tight control of combinatorial convexity, isoperimetric inequality, and quasiflat structure (Vokes, 2017).

3. Boundaries, Compactification, and Dynamics

The boundary of an HHS, introduced by Durham–Hagen–Sisto (Durham et al., 2016) and further developed in (Tomar, 30 Aug 2025), is the space of formal convex combinations of points in the Gromov boundaries of the top-level and orthogonal hyperbolic factor spaces: $\partial X = \left\{ \sum_{i} a_i p_{U_i} \mid U_i \text{ pairwise orthogonal, } p_{U_i} \in \partial \mathcal C(U_i), a_i > 0, \sum a_i = 1 \right\}$ The compactification $X \cup \partial X$ carries a natural topology. For proper, one-ended HHS, the boundary $\partial X$ is connected. The connectedness of the HHS boundary is equivalent to one-endedness for hierarchically hyperbolic groups; boundaries of free products decompose as wedges of factor boundaries plus isolated points indexed by ends of the Bass–Serre tree (Tomar, 30 Aug 2025). In the case of mapping class groups, the boundary recovers the Hamenstädt boundary, and embeddings such as those of convex cocompact or Veech subgroups are continuous (Durham et al., 2016). Automorphism groups act via boundary homeomorphisms respecting the hierarchical structure.

4. Combinatorial and Categorical Perspectives

The combinatorial HHS criterion provides a construction of HHS on graphs derived from flag simplicial complexes, via control of link hyperbolicity, join/edge conditions, and projection closeness. Conversely, under weak wedge, clean container, orthogonals for non-split, and dense product region properties, any HHS admits a combinatorial model as a quasi-isometric image of an appropriate blow-up complex and associated graph (Hagen et al., 2023).

Categorically, every HHS can be realized (up to quasi-isometry) as the Rips graph of the space of coarsely consistent tuples in the product of its factor spaces, unifying all models as universal quasigeodesic cones over diagrams of pairwise constraints (Tang, 20 Nov 2025). This approach yields canonical global models and local-to-global extension principles for hierarchical retractions.

5. Relative Hyperbolicity and Hierarchically Hyperbolic Groups

A dichotomy governs the relationship between HHS structure and (relative) hyperbolicity. If the index set $\mathfrak S$ of an HHS admits isolated orthogonality—i.e., for each pair of orthogonal domains $V \perp W$ , there is a unique peripheral $U \in I \subset \mathfrak S$ containing both—the space is relatively hyperbolic with peripherals the associated standard product regions $P_U$ . A rank-1 HHS is hyperbolic, and the combinatorial relations on $\mathfrak S$ alone detect relative hyperbolicity via this isolated orthogonality criterion (Russell, 2019). For clean HHGs (those with strong container properties), relative hyperbolicity coincides with the existence of an HHS structure with isolated orthogonality.

This structure underpins the analysis of curve graphs, pants graphs, and associated moduli spaces, as well as low-complexity Teichmüller spaces, encoding their known relative hyperbolic decompositions (Russell, 2019).

6. Subclasses, Hierarchical Quasiconvexity, and Structural Phenomena

Hierarchically quasiconvex subsets are quantified via the quasiconvexity of coordinate projections and controlled realization of consistent coordinate tuples. These subsets generalize classical quasiconvexity and encompass coarse hulls of finite sets in the HHS hull/cubulation theory (Behrstock et al., 2017, Durham, 2023).

Strongly quasiconvex subsets (contracting in the sense of Morse) are characterized in HHS by hierarchical quasiconvexity plus an orthogonal-projection dichotomy: for all orthogonal $U \perp V$ , if $\pi_U(Y)$ is large, then $\mathcal C(V)$ is contained in a bounded neighborhood of $\pi_V(Y)$ . This yields a precise detection of hyperbolically embedded subgroups, with strong malnormality and contracting properties necessary and sufficient (Russell et al., 2018).

Every HHS admits a coarsely injective metric, preserved by automorphisms and supporting a coarse Helly property for hierarchically quasiconvex subsets, leading to semihyperbolicity, bounded packing, undistorted abelian subgroups, and related algebraic properties in HHGs (Haettel et al., 2020).

7. Examples, Hulls, and Rigidity

Major examples of HHSs and HHGs include:

Mapping class groups of finite type surfaces, with index set given by isotopy classes of essential subsurfaces, curve complex projections, and usual subsurface projections.
CAT(0) cube complexes with standard factor systems, modeling domains on convex subcomplexes and projections to contact graphs.
Right-angled Artin/Coxeter groups, via cosets of standard parabolics and associated extension graphs.
Teichmüller space, with index set of subsurfaces and projections realized via closest curve projections (Behrstock et al., 2014, Vokes, 2017, Kopreski, 2023).

Hierarchical hulls of finite collections admit canonical cubical models (finite-dimensional CAT(0) cube complexes), and the combinatorics of hyperplane separation in these models coarsely encode top-level hyperbolic distances, including in curve graphs (Durham, 2023, Behrstock et al., 2017). Such hulls and their boundaries admit explicit correspondence with the HHS boundary structure, and this machinery supports explicit quasi-isometric rigidity theorems: for example, the quasi-isometric classification of mapping class groups, right-angled Artin/Coxeter groups, and closed 3-manifold groups is determined by their Morse or HHS boundaries (Mousley et al., 2018).

The general theory provides tools for analyzing group extensions, combinations (amalgams, free products), and small-cancellation quotients; in each case, the hierarchical structure is preserved under bounded complexity and container/consistency conditions (Behrstock et al., 2015, Berlai et al., 2018).

References (arXiv identifiers):

(Behrstock et al., 2014) Behrstock-Hagen-Sisto, HHS I: Curve complexes for cubical groups
(Behrstock et al., 2015) Behrstock-Hagen-Sisto, HHS II: Combination theorems and the distance formula
(Durham et al., 2016) Durham-Hagen-Sisto, Boundaries and automorphisms of HHS
(Behrstock et al., 2017) Behrstock-Hagen-Sisto, Quasiflats in HHS
(Sisto, 2017) Hagen, What is a hierarchically hyperbolic space?
(Vokes, 2017) Vokes, Hierarchical hyperbolicity of graphs of multicurves
(Mousley et al., 2018) Mousley-Russell, HHS determined by their Morse boundaries
(Russell et al., 2018) Russell-Spriano-Tran, Convexity in HHS
(Berlai et al., 2018) Berlai-Robbio, Refined combination theorem for HHG
(Russell, 2019) Hagen-Vokes, From hierarchical to relative hyperbolicity
(Haettel et al., 2020) Clay-Kazachkov, Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity
(Durham, 2023) Durham, Cubulating infinity in HHS
(Hagen et al., 2023) Hagen-Mangioni-Sisto, A combinatorial structure for many HHS
(Kopreski, 2023) Kopreski, Multiarc and curve graphs are hierarchically hyperbolic
(Tomar, 30 Aug 2025) Tomar, On the connectedness of the boundary of HHS
(Tang, 20 Nov 2025) Tang, The metric Rips filtration, universal quasigeodesic cones, and HHS
(Behrstock et al., 2015) Behrstock-Hagen-Sisto, Asymptotic dimension and small-cancellation for HHS