---
title: Hierarchically Hyperbolic Spaces
url: https://www.emergentmind.com/topics/hierarchically-hyperbolic-spaces
type: topic
---

# Hierarchically Hyperbolic Spaces

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 [1412.2171], [1509.00632], [1604.01061], and others, are:

1. **Projections**: Each \(\pi_U\) is coarsely Lipschitz with quasiconvex image of uniformly bounded diameter.
2. **Nesting and Relative Projections**: If \( V \sqsubseteq U \), relative projections \(\rho^V_U\) and \(\rho^U_V\) satisfy diameters \( \leq E \).
3. **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.
4. **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.
5. **Finite Complexity**: Every \( \sqsubseteq \)-descending chain in \( \mathfrak S \) has bounded length.
6. **Large Links**: The number of subdomains in which a pair \( x, y \) projects far apart, controlled linearly in their projection to larger domains.
7. **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 \).
8. **Partial Realization**: Any bounded tuple of points in pairwise orthogonal domains is coarsely realized as projections of a single point in \( X \).
9. **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 [1412.2171], [1509.00632].

## 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 [1704.04271].

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 [1412.2171], [1704.04271].

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 [1711.03080].

## 3. Boundaries, Compactification, and Dynamics

The boundary of an HHS, introduced by Durham–Hagen–Sisto [1604.01061] and further developed in [2509.00321], 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 [2509.00321]. 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 [1604.01061]. 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 [2308.16335].

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 [2511.16463]. 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 [1905.12489]. 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 [1905.12489].

## 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 [1704.04271], [2308.13689].

**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 [1809.09303].

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 [2009.14053].

## 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 [1412.2171], [1711.03080], [2311.04356].

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 [2308.13689], [1704.04271]. 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 [1801.04867].

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 [1509.00632], [1810.06476].

---

**References** (arXiv identifiers):
- [1412.2171] Behrstock-Hagen-Sisto, HHS I: Curve complexes for cubical groups
- [1509.00632] Behrstock-Hagen-Sisto, HHS II: Combination theorems and the distance formula
- [1604.01061] Durham-Hagen-Sisto, Boundaries and automorphisms of HHS
- [1704.04271] Behrstock-Hagen-Sisto, Quasiflats in HHS
- [1707.00053] Hagen, What is a hierarchically hyperbolic space?
- [1711.03080] Vokes, Hierarchical hyperbolicity of graphs of multicurves
- [1801.04867] Mousley-Russell, HHS determined by their Morse boundaries
- [1809.09303] Russell-Spriano-Tran, Convexity in HHS
- [1810.06476] Berlai-Robbio, Refined combination theorem for HHG
- [1905.12489] Hagen-Vokes, From hierarchical to relative hyperbolicity
- [2009.14053] Clay-Kazachkov, Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity
- [2308.13689] Durham, Cubulating infinity in HHS
- [2308.16335] Hagen-Mangioni-Sisto, A combinatorial structure for many HHS
- [2311.04356] Kopreski, Multiarc and curve graphs are hierarchically hyperbolic
- [2509.00321] Tomar, On the connectedness of the boundary of HHS
- [2511.16463] Tang, The metric Rips filtration, universal quasigeodesic cones, and HHS
- [1512.06071] Behrstock-Hagen-Sisto, Asymptotic dimension and small-cancellation for HHS

Source: https://www.emergentmind.com/topics/hierarchically-hyperbolic-spaces