HIERARCHICALLY HYPERBOLIC SPACES I:
CURVE COMPLEXES FOR CUBICAL GROUPS

arXiv:1412.2171v4 [math.GT] 11 Nov 2016

JASON BEHRSTOCK, MARK F. HAGEN, AND ALESSANDRO SISTO

Abstract. In the context of CAT(0) cubical groups, we develop an analogue of the theory
of curve complexes and subsurface projections. The role of the subsurfaces is played by a
collection of convex subcomplexes called a factor system, and the role of the curve graph
is played by the contact graph. There are a number of close parallels between the contact
graph and the curve graph, including hyperbolicity, acylindricity of the action, the existence
of hierarchy paths, and a Masur–Minsky-style distance formula.
We then define a hierarchically hyperbolic space; the class of such spaces includes a wide
class of cubical groups (including all virtually compact special groups) as well as mapping
class groups and Teichmüller space with any of the standard metrics. We deduce a number
of results about these spaces, all of which are new for cubical or mapping class groups,
and most of which are new for both. We show that the quasi-Lipschitz image from a ball
in a nilpotent Lie group into a hierarchically hyperbolic space lies close to a product of
hierarchy geodesics. We also prove a rank theorem for hierarchically hyperbolic spaces;
this generalizes results of Behrstock–Minsky, Eskin–Masur–Rafi, Hamenstädt, and Kleiner.
We finally prove that each hierarchically hyperbolic group admits an acylindrical action on
a hyperbolic space. This acylindricity result is new for cubical groups, in which case the
hyperbolic space admitting the action is the contact graph; in the case of the mapping class
group, this provides a new proof of a theorem of Bowditch.

Contents
1. Introduction
2. Background
Part
3.
4.
5.
6.
7.

2
8

1. Geometry of the contact graph
Hierarchy paths
Projection to the contact graph
Weak proper discontinuity of the action on the contact graph
Contractibility
Automorphisms of the contact graph

Part 2. Factor systems, projections, and the distance formula
8. Factored contact graphs
9. The distance formula
10. Projection of parallelism classes
11. Efficient embeddings into products of trees
12. Consistency and realization

Behrstock was supported as an Alfred P. Sloan Fellow, a Simons Fellowship, and by the National Science
Foundation under Grant Number NSF 1006219.
Hagen was supported by the National Science Foundation under Grant Number NSF 1045119.
Sisto was supported by the Swiss National Science Foundation project 144373.
1

13
13
14
15
16
17
18
18
25
28
30
34

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

Part 3. Hierarchically hyperbolic spaces
13. Quasi-boxes in hierarchically hyperbolic spaces
14. Acylindricity
References

2

37
37
44
48

1. Introduction
Cube complexes and groups that act on them are fundamental objects in geometric group
theory. Examples of cubical groups — groups acting geometrically on CAT(0) cube complexes — are right-angled (and many other) Coxeter groups [Dav08, NR03], right-angled
Artin groups [CD95], and, more generally, graph products of abelian groups [RW]. Other examples of cubical groups include: groups satisfying sufficiently strong small-cancellation conditions [Wis04]; many 3–manifold groups, including all hyperbolic ones [KM09, BW13, Wis]
and some graph manifold groups [HP13]; hyperbolic free-by-Z groups [HW14]; etc. Despite
the attention cubical groups have attracted in recent years, their large-scale geometry has
remained rather opaque, with a few salient exceptions, notably the resolution of the Rank
Rigidity Conjecture [CS11], characterizations of linear divergence, relative hyperbolicity, and
thickness in terms of combinatorial data [BC12, Hag13, BH16], analysis of quasiflats in the
2–dimensional case [BKS] and top-dimensional quasiflats in general [Hua].
Recently, there has been enormous progress in understanding the mapping class group and
related spaces. Highlights have included resolutions of the Ending Lamination Conjecture
[BCM12], the Rank Conjecture [BM08], quasi-isometric rigidity [BKMM12], finite asymptotic
dimension [BBFb], and a number of others. Proofs of each of these results have featured the
curve complex in a central position.
Motivated by the vital role the curve complex has played in unveiling the geometry of
the mapping class group, in this work we develop analogues of those tools in the context of
cubical groups. In particular, for cubical groups we develop versions of the machinery of curve
complex projections and hierarchies initiated by Masur–Minsky in [MM99, MM00] as well as
subsequent tools including the consistency and realization theorems [Beh06, BKMM12]. We
note that right-angled Artin groups are a particularly interesting class of groups to which the
tools we develop can be applied. Finally, we define hierarchically hyperbolic spaces, which
provide a framework that encompasses mapping class groups, Teichmüller space, and a large
class of cubical groups including the class of compact special groups of Haglund–Wise [HW08].
This allows us to prove new results in both the mapping class group and cubical contexts.
1.1. Geometry of contact graphs. In Part 1, we develop a number of basic aspects of the
geometry of contact graphs, extending a study which was initiated in [Hag14]. The contact
graph CX of the CAT(0) cube complex X is the intersection graph of the hyperplane carriers;
in other words, there is a vertex for each hyperplane of X , and two vertices are adjacent if the
corresponding hyperplanes are not separated by a third. Since the contact graph is always
hyperbolic (in fact, a quasi-tree) [Hag14], it is a natural candidate for a “curve complex” in the
context of cubical groups. The main results of Part 1 are summarized below. Recall that the
WPD property, as defined in [BF02], is a form of properness of an action “in the direction” of
particular elements; see Section 5 for the precise definition. It has important applications to
bounded cohomology (see e.g., [BBFa]), is closely related to the Bestvina-Bromberg-Fujiwara
construction [BBFb], and provides an equivalent characterization of acylindrical hyperbolicity
[Osi14] which is used in a number of applications.
Theorem A. Let X be a CAT(0) cube complex and CX its contact graph. Then:

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

3

(1) (WPD property.) If X is uniformly locally finite and g P AutpX q is rank-one with
the property that no positive power of g stabilizes a hyperplane, then g acts as a
loxodromic WPD element on CX .
(2) (Hierarchy paths.) Let x, y P X be 0-cubes. Then there exist hyperplanes H0 , . . . , Hk
with x P N pH0 q, y P N pHk q and combinatorial geodesics γi Ñ N pHi q such that
H0 , H1 , . . . , Hk is a geodesic of CX and γ0 γ1 ¨ ¨ ¨ γk is a geodesic joining x, y.
(3) (Contractibility.) If the set of 1–cubes of X is countable and non-empty, then the flag
complex spanned by CX is contractible.
In the case of mapping class groups, analogues of Theorem A.(1) and Theorem A.(2) were
proved in [BF02] and [MM00]. The curve complex is not contractible, so Theorem A.(3)
provides a way in which the contact graph is simpler than the curve complex.
Theorem A has applications to random walks. In particular, from Theorem A.(1),(2) and
the main result of [MS], when the non-elementary group G ă AutpX q contains a rank-one
element, random paths in G stay close to geodesics with high probability. Further, this
property has applications to various parameters associated with the random walk, including
rate of escape and entropy.
1.2. Factor systems. The mapping class group, MCGpSq, of a surface S is associated with
the curve complex of S, together with the collection of curve complexes of subsurfaces of S;
this association underlies the hierarchy machinery of [MM00]. Analogously, a CAT(0) cube
complex X contains a profusion of convex subcomplexes, each of which is itself a CAT(0) cube
complex, and the judicious choice of a family of convex subcomplexes enables the creation of
hierarchy machinery. The role of the collection of subsurfaces is played by a factor system F
in X , which is a particular uniformly locally finite collection of convex subcomplexes. Table 1
summarizes the analogy between the mapping class group and a CAT(0) cube complex with
a geometric group action and a factor system. We emphasize that although the tools and
the results we obtain have parallels for mapping class groups the techniques that we employ
are very different.
Mapping class group MCGpSq
Curve complex CS is hyperbolic [MM99]

Cube complex X with factor system F and G-action
p are hyContact graph CX and factored contact graph CX

MCGpSq acts on CS acylindrically [Bow08]
Nielsen-Thurston classification [Thu88]
D quasi-geodesics in MCGpSq shadowing geodesics
in CS [MM00]
Subsurfaces
Projections to subsurfaces [MM00]
Formula computing distance in MCGpSq in terms
of curve complex distances [MM00]
Bounded Geodesic Image [MM00]
Nested, disjoint, overlapping subsurfaces
Large Link Lemma [MM00]
Consistency and realization [Beh06],[BKMM12]

perbolic, indeed, are quasi-trees (Thm. 2.8, Prop. 8.25)
p acylindrically (Cor. 14.5)
G acts on CX , CX
Loxodromic/reducible/generalized reducible (Thm. 2.9)
p
D geodesics in X shadowing geodesics in CX , CX
(Prop. 3.1, Prop. 8.23)
Subcomplexes in F (Defn. 8.1)
p for F P F (Sec. 8.3)
Projection to CF
Formula computing distance in X in terms of factored contact graph distances (Thm. 9.1)
Bounded Geodesic Image, Prop. 8.20
Parallel into, orthogonal, transverse elements of F
Large Link Lemma, Prop. 9.4
Consistency and realization (Thm. 12.4)

Table 1.

The collection of subcomplexes which constitute a factor system F in X includes X , as well
as all combinatorial hyperplanes of X , further, this collection is closed under the following
operation: if F, F 1 P F and F has (combinatorial) projection onto F 1 of diameter more
than some specified threshold, then the projection of F onto F 1 lies in F. This implies that
sufficiently large hyperplanes of any codimension belong to any factor system, and indeed

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

4

each factor system F contains a minimal factor system consisting of X , all combinatorial
hyperplanes, and the closure of this family under the above projection. This minimal factor
system is AutpX q–invariant since each automorphism preserves the set of hyperplanes.
The reader should have in mind the following example, which already shows that the class
of groups G acting geometrically on cube complexes with G–invariant factor systems is very
large. Let Γ be a finite simplicial graph and let SrΓ be the universal cover of the Salvetti
complex of the corresponding right-angled Artin group AΓ , so that SrΓ is a CAT(0) cube
complex on which AΓ acts properly with a single orbit of 0–cubes [CD95]. Each induced
subgraph Λ of Γ yields a monomorphism AΛ Ñ AΓ and an AΛ –equivariant embedding
SrΛ ãÑ SrΓ . The set of all such subcomplexes of SrΓ , and all of their AΓ –translates, forms a
factor system for SrΓ , described in detail in Section 8.2. This, and the fact that the existence
of a factor system is inherited by convex subcomplexes (Lemma 8.5), enables the study of
groups that are virtually special in the sense of Haglund–Wise [HW08] using factor systems:
Proposition B. Let X be a special cube complex with finitely many hyperplanes. Then the
universal cover X of X contains a factor system, and hence contains a factor system that is
invariant under the action of π1 X .
In Corollary 8.8, for special cube complexes, we describe the factor system explicitly in
terms of the hyperplanes of X . Proposition B also enables one to study many cubical groups
which are far from being special: in Section 11, using Proposition 8.3 together with Burger–
Mozes [BM00] and Wise [Wis07] we show there exists many non-virtually special groups
G which act geometrically on a CAT(0) cube complex X with a factor system. Moreover,
we produce many examples which, unlike those of Burger–Mozes and Wise, do not admit
equivariant embeddings into products of trees; these will be used in Section 11.
Each F P F is a convex subcomplex, and is thus a CAT(0) cube complex whose hyperplanes have the form H X F , where H is a hyperplane of X . This gives a natural injective
graph homomorphism CF Ñ CX , whose image is an induced subgraph [Hag14]. Just as the
elements of the factor system stand in analogy to the subsurfaces, the graphs CF , where
F P F, essentially play the role of the curve complexes of the subsurfaces. In order to obtain
Theorem 9.1 — our analogue of the Masur–Minsky distance formula — we must modify each
CF slightly, by coning off each subgraph which is the contact graph of some smaller element
p that actually play the role of curve comof F. It is the resulting factored contact graphs CF
plexes. In Section 8.5, we show that factored contact graphs are all quasi-trees. Moreover,
p and CX are quasi-isometric.
when F is the minimal factor system described above, then CX
In Section 9, we prove the following analogue for cubical groups of the celebrated Masur–
Minsky distance formula [MM00, Theorem 6.12]. Their formula has become an essential tool
in studying the geometry of the mapping class group. Later, we will take the existence of
such a formula as one of the characteristic features of a hierarchically hyperbolic space.
Theorem C (Distance formula). Let X be a CAT(0) cube complex with a factor system F.
Let F contain exactly one representative of each parallelism class in F. Then there exists
s0 ě 0 such that for all s ě s0 , there are constants K ě 1, C ě 0 such that for all x, y P X p0q ,
ÿ
((
dX px, yq —K,C
dCF
p pπF pxq, πF pyqq s .
F PF

(Here, t Auus “ A if A ě s and 0 otherwise. The notation —K,C means “up to bounded
multiplicative and additive error”.)
In Theorem C, we use the notion of parallelism: two convex subcomplexes F, F 1 of X are
parallel if for all hyperplanes H, we have H XF ‰ H if and only if H XF 1 ‰ H. Equivalently,
F, F 1 are parallel if and only if CF, CF 1 are the same subgraph of CX ; parallel subcomplexes

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

5

are isomorphic. Just as the Masur–Minsky distance formula involves summing over all curve
complexes of subsurfaces, by identifying parallel elements of the factor system, our sum is
over all factored contact graphs without repetition.
Another important property of the curve complex CS is that the action of MCGpSq on CS
is acylindrical, by a result of Bowditch [Bow08]. We obtain an analogous result for actions
on (factored) contact graphs arising from actions on cube complexes, and, in Section 14 we
will show this holds in considerably greater generality . The statement in the cubical case is:
Theorem D (Acylindrical hyperbolicity from factor systems). Let the group G act properly
and cocompactly on the CAT(0) cube complex X and suppose that X contains a factor system.
Then the induced action of G on the contact graph CX of X is acylindrical.
Theorem D and the results of [MT14] combine to yield the following, which is related to
work of Nevo-Sageev on Poisson boundaries of cube complexes [NS13]:
Corollary E (Poisson boundary). Let the group G act properly and cocompactly on the
CAT(0) cube complex X and suppose that X contains a factor system. Let µ be a probability
distribution on G with finite entropy whose support generates a non-elementary group acting
on CX and let ν be the hitting measure on BCX . Then pBCX , νq is isomorphic to the Poisson
boundary of pG, µq.
Theorem D also allows one to produce free subgroups of G freely generated by finite collections of high powers of elements, each of which acts loxodromically on CX (Corollary 14.6).
Using Theorem C, together with the tools in [BBFb], the fact that factored contact graphs
are quasi-trees, and the machinery we develop in Section 10, we prove:
Theorem F. Let G act properly and cocompactly on the CAT(0) cube complex X and suppose
that X contains a G–invariant factor system. If the action of G is hereditarily flip-free, then
G quasi-isometrically embeds in the product of finitely many quasi-trees.
Moreover, there exist such G, X such that, for all finite-index subgroups G1 ď G, there is
no G1 –equivariant isometric embedding of X in the product of finitely many simplicial trees.
Hereditary flip-freeness is a mild technical condition on the factor system F which holds for
most of the examples we have discussed. For the second assertion of the theorem, we exploit
the existence of cocompactly cubulated groups with no finite quotients [BM00, Wis07]. These
groups are lattices in products of trees stabilizing the factors; this property gives rise to a
factor system. The space for this example is assembled from these pieces in such a way that
the existence of a factor system persists, but there is no longer a finite equivariant coloring
of the hyperplanes with intersecting hyperplanes colored differently. This lack of a coloring
precludes the existence of an isometric embedding in a product of finitely many trees.
1.3. Comparison to the theory of the extension graph of a right-angled Artin
group. In the special case where X “ SrΓ is the universal cover of the Salvetti complex SΓ
of a right-angled Artin group AΓ , the machinery of factor systems and contact graphs is not
the first attempt to define an analogue of the curve complex and the attendant techniques.
In [KK13], Kim–Koberda introduced the extension graph Γe associated to the finite simplicial
graph Γ (and thus to AΓ ). This graph has a vertex for each conjugate of each standard
generator of AΓ (i.e., vertex of Γ), with adjacency recording commutation. In the same
paper it is shown that, like C SrΓ , the extension graph is always quasi-isometric to a tree, and
in [KK14], the analogy between MCGpSq, with its action on CS, and AΓ , with its action on
Γe , is extensively developed: it is shown, for instance, that this action is acylindrical and
obeys a loxodromic-elliptic dichotomy. It is observed in [KK14] that, except in exceptional
cases, there is a surjective graph homomorphism C SrΓ Ñ Γe , where SrΓ is the universal cover

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

6

of the Salvetti complex of AΓ , which is also a quasi-isometry, so many such geometric results
about the action of AΓ on Γe can be deduced from the results of the present paper about the
action of AΓ on C SrΓ . It should be strongly emphasized that the papers [KK14, KK13] also
explore interesting and less purely geometric issues, particular to right-angled Artin groups,
that cannot be treated with factor system tools.
The authors of [KK14] also set up some version of hierarchy machinery, with the role of
subsurfaces being played by subgroups of AΓ of the form ALkpvq , where v is a vertex of Γ,
and their conjugates. When Γ has girth at least 5, they obtain a distance formula [KK14,
Proposition 65], but, as they note, the formula they give has significant differences with the
Masur–Minsky distance formula for the mapping class group. For example, the sum is taken
over specified projections, which depend on the points whose distance is being estimated,
rather than over all projections. Another significant distinction is that their distance formula
does not measure distance in the right-angled Artin group AΓ , but rather it measures the
syllable length in that space (although not a perfect analogy: their metric is more similar
to the Weil–Petersson metric on Teichmüller space than to the word metric on the mapping
class group). The extension graph seems unable to capture distance in the right-angled Artin
group via a hierarchical construction, since the extension graph is bounded when AΓ “ Z. In
the present paper, the geometric viewpoint afforded by factor systems, and in particular the
existence of hierarchy paths (Proposition 8.23) and a Large Link Lemma (Proposition 8.20)
allows us to overcome these issues.
1.4. Hierarchically hyperbolic spaces. Our aim in the last part of the paper is to develop
a unified framework to study mapping class group and CAT(0) cube complexes from a common perspective. To this end, we axiomatize the machinery of factored contact graphs/curve
complexes, distance formula, etc., to obtain the definition of a hierarchically hyperbolic space,
which is formally stated in Definition 13.1. This notion includes the two classes of groups
just mentioned and allows one to prove new results for both of these classes simultaneously.
Hierarchically hyperbolic spaces come with a notion of complexity: complexity 0 corresponds
to bounded spaces, infinite diameter δ–hyperbolic spaces have complexity 1, and higher complexity hierarchically hyperbolic spaces coarsely contain direct products.
Roughly, a space X is hierarchically hyperbolic if X can be equipped with a set S of
uniformly Gromov-hyperbolic spaces, and projections X Ñ W , with W P S. These projections are required to satisfy various properties reminiscent of those satisfied by subsurface
projections in the mapping class group case and projections to factored contact graphs in the
case of CAT(0) cube complexes with factor systems. Hence a space X may be hierarchically
hyperbolic in multiple ways, i.e., with respect to projections to distinct families of hyperbolic
spaces.
Remark (HHS is a QI-invariant property). It is easily seen from Definition 13.1 that, if X
is hierarchically hyperbolic by virtue of its projections to a set S of hyperbolic spaces, and
Y Ñ X is a quasi-isometry, then we can compose each projection with the quasi-isometry
and conclude that Y is hierarchically hyperbolic with respect to the same set S.
The motivating examples of hierarchically hyperbolic spaces are as follows:
Theorem G (Hierarchically hyperbolic spaces).
(1) A CAT(0) cube complex with a factor system F is hierarchically hyperbolic with respect
p , with W P F. (This is summarized in
to the set of factored contact graphs CW
Remark 13.2.)
(2) Let S be a connected, oriented hyperbolic surface of finite type. Then MCGpSq is hierarchically hyperbolic with respect to the collection of curve complexes of subsurfaces
of S [MM99, MM00, Beh06, BKMM12].

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

7

(3) Teichmüller space T pSq with the Weil-Petersson metric is hierarchically hyperbolic
with respect to curve complexes of non-annular subsurfaces of S [MM99, MM00,
Bro03, Beh06, BKMM12].
(4) T pSq with the Teichmüller metric is hierarchically hyperbolic with respect to curve
complexes of non-annular subsurfaces and combinatorial horoballs associated to annuli [MM99, Raf07, Dur, EMR].
In a forthcoming paper we will show that fundamental groups of non-geometric 3-manifolds
are also hierarchically hyperbolic, and that a metric space that is hyperbolic relative to a
collection of hierarchically hyperbolic subspaces is hierarchically hyperbolic [BHS15]. We
note that it is already known that relatively hyperbolic groups admit a distance formula
[Sis13]. Another interesting question is whether a right-angled Artin group endowed with
the syllable length metric is a hierarchically hyperbolic space.
In Section 13, after defining hierarchically hyperbolic spaces, we study quasi-Lipschitz
maps from balls in Rn , and more general nilpotent Lie groups, into these spaces. The next
three results will all follow directly from our Theorem 13.11 which provides a single unifying
statement in terms of asymptotic cones. Our first result is a generalization of a result from
[EMR, Theorem A] which is about mapping class groups and Teichmüller spaces.
Theorem H (Quasi-boxes in hierarchically hyperbolic spaces). Let X be a hierarchically
hyperbolic space. Then for every n P N and every K, C, R0 , 0 the following holds. There
exists R1 so that for any ball B Ď Rn of radius at least R1 and f : B Ñ X a pK, Cq–quasiLipschitz map, there is a ball B 1 Ď B of radius R1 ě R0 such that f pB 1 q lies inside the
0 R1 –neighborhood of a standard box.
In Theorem H, we do not require B, B 1 to be centered at the same point in Rn .
Our proof uses methods different from those used in [EMR]. Our approach is much shorter
and does not rely on partitions of the set of subsurfaces (or an analogue thereof), which plays
an important role in their proof. In particular, we do not rely on the results from [BBFb];
this is one reason why our results can be applied in the case of CAT(0) cube complexes
where the techniques of [EMR] would fail. However, our approach and theirs share some
commonalities, for instance, we use Rademacher’s Theorem (applied to maps that arise at
the level of asymptotic cones), while in [EMR], the authors use a coarse differentiation result.
Using a generalization of Rademacher’s theorem due to Pansu, we consider the case of
quasi-Lipschitz maps from more general nilpotent Lie groups.
Theorem I (Restriction on nilpotent groups in hierarchically hyperbolic spaces). Let X be
a hierarchically hyperbolic space. Then for every simply connected nilpotent Lie group N ,
with a left-invariant Riemannian metric, and every K, C there exists R with the following
property. For every pK, Cq–quasi-Lipschitz map f : B Ñ X from a ball in N into X and
for every n P N we have diampf pB X nrN , N sqq ď R. In particular, if a finitely generated
nilpotent group admits a quasi-isometric embedding into X then it is virtually abelian.
The final conclusion of Theorem I is known in the case where X is a CAT(0) space [Pau01].
Although it does not appear to be in the literature, the conclusion of Theorem I for MCG
can be alternatively proved using [Hum] and the results of [Pau01].
The following theorem generalizes the Rank Theorems from [BM08, EMR, Ham, Kle99]:
Theorem J (Rank). Let X be a hierarchically hyperbolic space with respect to a set S. If
there exists a quasi-isometric embedding Rn Ñ X then n is at most the maximal cardinality
of a set of pairwise-orthogonal elements of S and, in particular, at most the complexity of X .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

8

When X is a CAT(0) cube complex with a factor system and AutpX q acts cocompactly,
then such a space naturally has two hierarchically hyperbolic structures. One of these structures has hierarchy paths that are combinatorial geodesics and one with CAT(0) geodesics;
the first is obtained explicitly in Section 8.3 and the existence of the latter follows from the
first via a simple argument about projections of CAT(0) geodesics and convex hulls of `1
geodesics to factored contact graphs. By Theorem H and cocompactness, the existence of a
quasi-isometric embedding Rn Ñ X then implies that X contains both an `1 –isometrically
embedded copy of Rn with the standard tiling and, in the CAT(0) metric, an isometrically
embedded flat of dimension n. We thus recover the cubical version of a theorem of Kleiner,
see [Kle99, Theorem C]. We also note that, in the special case of top-dimensional quasiflats in CAT(0) cube complexes, Huang has very recently proved a stronger statement [Hua,
Theorem 1.1].
Finally, we relate hierarchically hyperbolic groups to acylindrically hyperbolic groups, as
studied in [Osi14]. Although natural, the definition of an automorphism of a hierarchically
hyperbolic space is technical, but includes, in the relevant cases, all elements of MCG and
p
all isometries of a cube complex with a factor system. The “maximal element” S and CS
referred to below are X and its factored contact graph in case X is a CAT(0) cube complex,
while they are the surface S and its curve complex when G is the mapping class group of S.
Theorem K. Let X be hierarchically hyperbolic with respect to the set S of hyperbolic spaces
and let G ď AutpSq act properly and cocompactly on X . Let S be the maximal element of S
p the corresponding hyperbolic space. Then G acts acylindrically on CS.
p
and denote by CS
In the case of the acylindricity of the action of MCG on the curve complex, our argument
provides a new proof of a result of Bowditch [Bow08]. We note that our proof is substantially
different and is also rather short (although it does relies on some amount of machinery).
Throughout the section on hierarchically hyperbolic spaces, we make use of a notion of
“gate,” which, in addition to the uses in this paper, we believe will be very useful for other
applications as well. This notion simultaneously generalizes gates/projections on (certain)
convex subspaces in the cubical context and coarsely Lipschitz retractions of the marking
complex on its natural subspaces associated with subsurfaces. Nonetheless, the definition we
give exploits a different point of view, which turns out to be very convenient and allows us
to give different (and concise) proofs than previously existing ones for a number of results
about mapping class groups and CAT(0) cube complexes.
Acknowledgements. The authors thank Matthew Durham, Jingyin Huang, Sang-hyun
Kim, Bruce Kleiner, Thomas Koberda, Urs Lang, and Kasra Rafi for stimulating discussions
and Chris O’Donnell for a helpful correction. We also thank those that have given us helpful feedback on this paper, especially Jacob Russell and the anonymous referees for their
numerous useful comments.
2. Background
We assume that the reader is familiar with basic properties of CAT(0) cube complexes,
hyperplanes, median graphs, etc., and refer the reader to e.g., [BC08, CN05, Che00, Hag14,
Hag13, Hag08, Wis, Wis11] for background on these concepts as they are used in this paper.
Nonetheless, in Section 2.1 and Section 2.2, we will review cubical convexity and make explicit
the notions of gate, projection, and parallelism, since they play a fundamental role, and recall
several useful facts about the contact graph. In Section 2.3, we briefly discuss background
on right-angled Artin groups. Since, in Section 13, we will use asymptotic cones, we refer
the reader to [Dru02] for the relevant background.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

9

2.1. Convex subcomplexes, combinatorial hyperplanes, gates, and parallelism.
Throughout, X is a CAT(0) cube complex and H is the set of hyperplanes. Unless stated
otherwise, we work in the 1–skeleton of X , and we denote by dX the graph metric on X p1q .
The contact graph CX , defined in [Hag14], is the graph whose vertex set is H, with two
vertices adjacent if the corresponding hyperplanes are not separated by a third.
The subcomplex K Ă X is full if K contains each cube of X whose 1–skeleton
appears in
Ş
K. A subcomplex K Ă X is isometrically embedded if K is full and K X i Hi is connected
for all tHi u Ă H. In this case, we say that H P H crosses K when K X H ‰ H. The
term “isometrically embedded” is justified by the well-known fact (see e.g., [Hag14]) that, if
K Ă X is isometrically embedded in this sense, then K p1q ãÑ X p1q is an isometric embedding
with respect to graph metrics. The isometrically embedded subcomplex K Ă X is convex if
any of the following equivalent conditions is met:
(1) K coincides with the intersection of all combinatorial halfspaces (see below) containing K.
(2) Let x, y, z P X be 0-cubes with x, y P K. Then the median of x, y, z lies in K.
(3) K p1q contains every geodesic of X p1q whose endpoints lie in K p1q .
(4) Let c be an n–cube of X , with n ě 2. Suppose that c has n codimension-1 faces that
lie in K. Then c Ă K.
(5) The inclusion K Ñ X is a local isometry.
(Recall that a combinatorial map φ : K Ñ X of cube complexes, with X nonpositivelycurved, is a local isometry if φ is locally injective and, for each x P K p0q , the map induced
by φ on the link of x is injective and has image a full subcomplex of the link of φpxq;
see [HW08, Wis, Wis11] for more on local isometries and local convexity.)
A convex subcomplex K Ď X is itself a CAT(0) cube complex, whose hyperplanes are the
subspaces of the form H X K, where H P H. A useful mantra, following from the definition
of convexity, is: “if K is convex, then any two hyperplanes that cross K and cross each other
must cross each other inside of K”. The convex hull of Y Ď X is the intersection of all convex
subcomplexes containing Y .
It follows immediately from the definition that if K Ď X is convex, then for all x P X p0q ,
there exists a unique closest 0-cube gK pxq, called the gate of x in K. The gate is characterized
by the property that H P H separates gK pxq from x if and only if H separates x from K.
As discussed in [Hag14], it follows from the definition of convexity that the inclusion
K ãÑ X induces an injective graph homomorphism CK Ñ CX whose image is a full subgraph:
just send each H X K to H. This allows us to define a projection gK : X Ñ K. The map
x ÞÑ gK pxq extends to a cubical map gK : X Ñ K as follows. Let c be a cube of X and let
H1 , . . . , Hd be the collection of pairwise-crossing hyperplanes crossing c. Suppose that these
are labeled so that H1 , . . . , Hs cross K, for some 0 ď s ď d, and suppose that Hs`1 , . . . , Hd do
not cross K. Then the 0-cubes of c map by gK to the 0-cubes of a uniquely determined cube
gK pcq of K in which the hyperplanes H1 , . . . , Hs intersect, and there is a cubical collapsing
map c – r´1, 1sd Ñ r´1, 1ss – gK pcq extending the gate map on the 0-skeleton. This map
is easily seen to be compatible with the face relation for cubes, yielding the desired cubical
map gK : X Ñ K, whose salient property is that for all x P X , a hyperplane H separates x
from K if and only if H separates x from gK pxq. The next lemma follows easily from the
definitions and is used freely throughout this paper:
Lemma 2.1. Let X be a CAT(0) cube complex, let A Ď B Ď X be convex subcomplexes, and
let x, y P X be 0-cubes. Then any hyperplane separating gA pxq, gA pyq separates gB pxq, gB pyq
(and hence separates x, y).

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

10

Definition 2.2 (Parallel). Convex subcomplexes F, F 1 Ď X are parallel if for each hyperplane
H, we have H X F ‰ H if and only if H X F 1 ‰ H. Parallelism is clearly an equivalence
relation.
Hyperplanes lead to important examples of parallel subcomplexes. For each hyperplane
H P H, let N pHq denote its carrier, i.e., the union of all closed cubes intersecting H. Then
there is a cubical isometric embedding H ˆ r´1, 1s – N pHq ãÑ X , and we denote by H ˘ be
the images of H ˆ t˘1u. These convex subcomplexes are combinatorial hyperplanes. Observe
that H ` and H ´ are parallel: a hyperplane crosses H ˘ if and only if it crosses H. (Very
occasionally, it will be convenient to refer to combinatorial halfspaces — a combinatorial
halfspace associated to H P H is a component of X ´ H ˆ p´1, 1q. A component of the
boundary of such a combinatorial halfspace is one of H ` or H ´ .)
Remark 2.3 (Parallelism and dual cube complexes). The reader accustomed to thinking
of cube complexes using Sageev’s construction of the cube complex dual to a space with
walls [Sag95, CN05] might appreciate the following characterization of parallelism: the convex
subcomplex F can be viewed as the dual to a wallspace whose underlying set is X p0q and
whose walls are the hyperplanes in the vertex set of CF – one must check that in this case,
the restriction quotient X Ñ F is split by a cubical isometric embedding F Ñ X . In general,
the splitting need not be unique, depending on a choice of basepoint, and the images of the
various embeddings are exactly the representatives of the parallelism class of F .
Observe that F, F 1 are parallel if and only if their contact graphs are the same subgraph
of CX . Parallel subcomplexes are isomorphic and in fact, the following stronger statement
holds, and we shall use it throughout the paper.
Lemma 2.4. Let F, F 1 Ď X be convex subcomplexes. The following are equivalent:
(1) F and F 1 are parallel;
(2) there is a cubical isometric embedding F ˆ r0, as Ñ X whose restrictions to F ˆ
t0u, F ˆ tau factor as F ˆ t0u – F ãÑ X and F ˆ tau – F 1 ãÑ X , and r0, as is
a combinatorial geodesic segment crossing exactly those hyperplanes that separate F
from F 1 .
Hence there exists a convex subcomplex EF such that there is a cubical embedding F ˆ EF
with convex image such that for each F 1 in the parallelism class of F , there exists a 0-cube
id
e P EF such that F ˆ teu Ñ X factors as F ˆ teu Ñ F 1 ãÑ F .
Proof. Let F, F 1 be parallel, let HpF q be the set of hyperplanes crossing F (hence HpF 1 q “
HpF q) and let S be the finite set of hyperplanes separating F from F 1 . Let E be the cubical
convex hull of F YF 1 . Then every element of HpF q crosses E, and the same is true of S, since
any geodesic starting on F and ending on F 1 must contain a 1–cube dual to each element of
S. Conversely, let H P H cross the hull of F Y F 1 and suppose that H R HpF q Y S. Then
Ð
Ý
either H crosses F but not F 1 , which is impossible, or F and F 1 lie in the same halfspace H
Ð
Ý
Ð
Ý˚
associated to H. But then H contains a combinatorial halfspace H that contains F, F 1 , so
Ð
Ý˚
E X H is a convex subcomplex containing F Y F 1 and properly contained in E (since H does
Ð
Ý˚
not cross E X H ). This contradicts that E is the convex hull. Hence the set of hyperplanes
crossing E is precisely HpF q Y S. Each hyperplane in HpF q crosses each hyperplane in S,
and it follows from [CS11, Proposition 2.5] that E – F ˆ I for some convex subcomplex I
such that the set of hyperplanes crossing I is precisely S. It is easily verified that I is the
convex hull of a geodesic segment. This proves p1q ñ p2q; the other direction is obvious.
The “hence” assertion follows from an identical argument, once S is taken to be the set of
hyperplanes H with the property that for some F 1 , F 2 in the parallelism class of F , we have
that H separates F from F 1 .


HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

11

Lemma 2.5. For each convex subcomplex F Ď X , either F is unique in its parallelism class,
or F is contained in a combinatorial hyperplane.
Proof. If F is parallel to some F 1 ‰ F , then as discussed above, there is a cubical isometric
embedding F ˆ r0, as Ñ X , with a ě 1, whose restriction to F ˆ t0u is the inclusion F ãÑ X .
Cubical isometric embeddings take combinatorial hyperplanes to subcomplexes of combinatorial hyperplanes, and F ˆ t0u is a combinatorial hyperplane of F ˆ r0, as since a ě 1, so
the claim follows.

The following will be used often starting in Section 8.1.
Lemma 2.6. If F, F 1 are convex subcomplexes, then gF pF 1 q and gF 1 pF q are parallel subcomplexes. Moreover, if F X F 1 ‰ H, then gF pF 1 q “ gF 1 pF q “ F X F 1 ;
Proof. Suppose that H is a hyperplane crossing gF pF 1 q. Then H separates gF pxq, gF pyq for
some x, y P F 1 . By Lemma 2.1, H separates x, y and hence crosses F 1 . Thus H crosses both
F and F 1 . Conversely, suppose that a hyperplane H crosses F and F 1 , separating x, y P F 1 .
Then H cannot separate x from gF pxq or y from gF pyq, so H separates gF pxq and gF pyq, and
in particular crosses gF pF 1 q. Thus the set of hyperplanes crossing gF pF 1 q is precisely the set
of hyperplanes H that cross both F and F 1 . Similarly, the set of hyperplanes crossing gF 1 pF q
is the set of hyperplanes H that cross both F and F 1 . Hence gF pF 1 q, gF 1 pF q are parallel.
Suppose that F X F 1 ‰ H and let x P F X F 1 . Then gF pxq “ x, by definition, so
gF pF 1 q Ě F X F 1 . On the other hand, let y P gF pF 1 q, so y “ gF py 1 q for some y 1 P F 1 . Let
m be the median of y, y 1 , x for some x P F X F 1 . By convexity of F and of F 1 , we have
m P F X F 1 and dX py, y 1 q ě dX py 1 , mq. Hence y “ m, so y P F X F 1 . Thus gF pF 1 q Ď F X F 1 ,
as required.

The following lemmas concern the projection of geodesics onto hyperplanes:
Lemma 2.7. Let α Ď X be a combinatorial geodesic and let K Ď X be a convex subcomplex.
Then gK pαq is a geodesic in K. Moreover, suppose that there exists R such that dX pa, Kq ď
R, dX pa1 , Kq ď R where a, a1 are the initial and terminal 0-cubes of α. Then dX pt, Kq ď 2R
for all 0-cubes t of α.
Proof. Let α1 “ gK pαq. Any hyperplane separating t, t1 P α1 separates s, s1 P α with gK psq “
t, gK ps1 q “ t1 , by the definition of gates. Hence the set of hyperplanes crossing α1 has the
following properties: if H, H 1 cross α1 and are separated by H 2 , then H 2 crosses α1 ; if
H, H 1 , H 2 are pairwise-disjoint hyperplanes crossing α1 , then one of them separates the other
two. Hence, if a0 , . . . , am is an ordered sequence of 0-cubes of α, then gK pa0 q, . . . , gK pam q
has the property that gK pai q, gK pai`1 q are either equal or adjacent for all i. If a hyperplane
H separates gK pai q from gK pai`1 q and also separates gK paj q from gK paj`1 q, then H must
separate ai from ai`1 and aj from aj`1 , a contradiction. This proves the first assertion.
To prove the second assertion, let α1 “ gK pαq. Let H be the set of hyperplanes separating
α from gK pαq. For all t P α, any hyperplane V separating t from K must not cross K. Hence
V separates a or a1 from K. The total number of such V is at most 2R ´ |H|.

2.2. Contact and crossing graphs and complexes. As before, X is an arbitrary CAT(0)
cube complex and CX its contact graph. Recall that hyperplanes H, H 1 represent adjacent
vertices of CX if N pHqXN pH 1 q ‰ H, which occurs if either H XH 1 ‰ H (in which case H, H 1
cross, denoted HKH 1 ), or if there are 1-cubes, dual to H, H 1 respectively, with a common
0-cube that do not form the corner of a 2-cube, in which case H, H 1 osculate. If H, H 1 are
adjacent in CX , we say that they contact, denoted H !
K H 1 . As we just did, we often abuse
notation by saying a pair of hyperplanes are adjacent, when we really mean that the vertices
represented by these hyperplanes are adjacent; similarly, we will talk about a sequence of

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

12

hyperplanes forming a geodesic, etc. We sometimes refer to the crossing graph C7 X of X , the
spanning subgraph of CX formed by removing open edges that record osculations.
The following statements are the beginning of the analogy between, on one hand, X and
its contact graph and, on the other hand, MCGpSq and the curve complex of the surface S.
Theorem 2.8 (Hyperbolicity of contact graphs; [Hag14]). For any CAT(0) cube complex X ,
there is a simplicial tree T and a p10, 10q–quasi-isometry CX Ñ T .
Under fairly mild geometric hypotheses, whether or not the quasi-tree CX is actually a
quasi-point can be detected by examining the simplicial boundary; moreover, if X admits an
essential, proper, cocompact group action, then CX is either a join of infinite subgraphs, or is
unbounded [Hag13]. This is closely related to the action of rank-one elements on CX (recall
that g P AutpX q is rank-one if it is hyperbolic and no axis bounds a half-flat in X ). As for
the extension graph of a right-angled Artin group, there is a “Nielsen-Thurston classification”
describing how elements of AutpX q act on the contact graph.
Theorem 2.9 (“Nielsen-Thurston classification”; [Hag13]). Let X be a CAT(0) cube complex
such that every clique in CX is of uniformly bounded cardinality. Let g P AutpX q. Then one
of the following holds:
(1) (“Reducible”) There exists n ą 0 and a hyperplane H such that g n H “ H.
(2) (“Reducible”) There exists a subgraph Λ of CX such that gΛ Ă Λ and the following
holds: Λ “ Λ0 \ Λ1 , and each vertex of Λ0 is adjacent to all but finitely many vertices
of Λ1 . In this case, g is not a rank-one element.
(3) (“Loxodromic”) g has a quasigeodesic axis in CX .
In the last case, g is contracting and no positive power of g stabilizes a hyperplane.
We will not use the subgraph Λ in the rest of this paper; that description follows from
Theorem D of [Hag13]. We will use the following: if g P AutpX q is not rank-one, then it
either stabilizes a cube in X and thus has a bounded orbit in CX , or its combinatorial axis
lies uniformly close to a half-flat F in X . As explained in [Hag13, Proposition 5.1], the set of
hyperplanes crossing F has uniformly bounded diameter in CX , and hence the same is true
of the xgy orbit in CX .
2.3. Special cube complexes, right-angled Artin groups, and the extension graph.
The right-angled Artin group AΓ presented by the graph Γ is the group with presentation:
xVerticespΓq | trv, ws : v, w P VerticespΓq, tv, wu P EdgespΓuy ,
i.e., the generators are the vertices of Γ and two generators commute if and only if the
corresponding vertices span an edge of Γ. The Salvetti complex SΓ is the nonpositivelycurved cube complex with a single 0-cube and an n–cube for each set of n pairwise-commuting
generators, for n ě 1. Note that SΓ is compact, and AΓ finitely generated, if and only if Γ
is finite. See the survey [Cha07] for more details.
The universal cover SrΓ is a CAT(0) cube complex with special features. For each induced
subgraph Λ of Γ, the inclusion Λ ãÑ Γ induces an injective local isometry SΛ Ñ SΓ , lifting to
a AΛ –equivariant convex embedding SrΛ ãÑ SrΓ . In particular, when Λ is the link of a vertex
v, then SrΛ is a combinatorial hyperplane in SrΓ which is a copy of a hyperplane whose dual
1–cubes are labeled by the generator v. Moreover, when Λ is the star of v, the subcomplex
SrΛ – R ˆ SrLkpvq , where R is a convex subcomplex isometric to R and stabilized by xvy.
The extension graph Γe associated to Γ, introduced by Kim–Koberda in [KK13] is the
graph with a vertex for each AΓ conjugate of each generator v with v P Γp0q and an edge
joining the distinct vertices corresponding to v g , wh if and only if rv g , wh s “ 1. Like the
contact graph of a cube complex, Γe is always a quasi-tree [KK13], and in fact in many
situations, Γe is quasi-isometric to C SrΓ , as explained in [KK14].

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

13

Part 1. Geometry of the contact graph
We now discuss projection to the contact graph and identify “hierarchy paths” in a cube
complex. These results will be reworked in Part 2 once we have introduced factor systems.
Disc diagram techniques, originating in unpublished notes of Casson and developed in [Che00,
Sag95, Wis], have proven to be a useful tool in studying the geometry of CX (see [CH13,
Hag14, Hag13]), and we will continue to make use of these here.
3. Hierarchy paths
The next proposition establishes Theorem A.(2).
Proposition 3.1 (“Hierarchy paths”). Let X be a CAT(0) cube complex with contact graph
CX and let x, y P X be 0-cubes. Then there exist hyperplanes H0 , . . . , Hk with x P N pH0 q, y P
N pHk q, and combinatorial geodesics γi Ñ N pHi q, such that H0 !H
K 1!
K . . . !H
K k is a geodesic
of CX and γ0 γ1 ¨ ¨ ¨ γk is a geodesic joining x, y.
Proof. Since the set of hyperplane carriers covers X , there exist hyperplanes H, H 1 with
x P N pHq, y P N pH 1 q. Let k “ dCX pH, H 1 q, and let H “ H0 , H1 , . . . , Hk “ H 1 be a geodesic
sequence of hyperplanes in CX , so that N pHi q X N pHi`1 q ‰ H for 0 ď i ď k ´ 1 and
N pHi q X N pHj q “ H for |i ´ j| ą 1. Let γ0 be a combinatorial geodesic of N pH0 q joining
x to a 0-cube in N pH0 q X N pH1 q. For 1 ď i ď k ´ 1, let γi be a geodesic of N pHi q joining
the terminal 0-cube of γi´1 to a 0-cube of N pHi q X N pHi`1 q. Finally, let γk be a geodesic
of N pHk q joining the terminal 0-cube of γk´1 to y. Since hyperplane carriers are convex
subcomplexes of X , each γi is a geodesic of X and in particular contains at most one 1-cube
dual to each hyperplane. Let γ “ γ0 ¨ ¨ ¨ γk .
We now show that the above choices can be made in such a way that the path γ is immersed
in X , i.e., γ has no self-intersections. Since N pHi q X N pHj q “ H for |i ´ j| ą 1 we can
restrict our attention to intersections between γi and γi`1 . Any such point of intersection
1 , where
must lie in N pHi q X N pHi`1 q and we can then replace γi and γi`1 by γi1 and γi`1
1
1
γi1 Ă γi and γi`1
Ă γi`1
are the geodesic subpaths obtained by restricting to the subpath
before, respectively, after, the intersection point. Applying this procedure for each i to the
first intersection point ensures that γ is immersed.
Let τ be a combinatorial geodesic of X joining y to x, so that γτ is a closed path in X
and let D Ñ X be a disc diagram with boundary path γτ . Suppose that D has minimal
area among all disc diagrams with this boundary path, and that the choice of geodesic of
CX , and the subsequent choice of paths γi , were made in such a way as to minimize the area
of D. See Figure 1.

Figure 1. The diagram D, showing some possible (in orange) and impossible
(in pink) dual curves.
Note that for all i, if K, L are dual curves emanating from γi , then K, L do not intersect.
Otherwise, convexity of N pHi q would enable a new choice of γi , lowering the area of D.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

14

Let K be a dual curve in D emanating from γ. It suffices to show that K must end on
τ . Indeed, it will then follow that |γ| ď |τ |, whence γ is a geodesic of the desired type. To
this end, suppose that K emanates from a 1-cube of γi . Then K cannot end on γi , since γi
contains exactly one 1-cube dual to the hyperplane to which K maps. K cannot end on γj
with |i ´ j| ą 2, for then CX would contain a path pHi , V, Hj q, where V is the hyperplane
to which K maps, contradicting the fact that dCX pHi , Hj q “ |i ´ j|. If K ends on γi˘2 , then
γi˘1 could be replaced by a path in N pV q that is the image of a path in the interior of D,
contradicting our minimal-area choices. Indeed, recall that we chose the CX –geodesic, and
the associated geodesics γi , so that the resulting diagram D (which can be constructed given
any such choices) is of minimal area among all diagrams constructible by any choice of such
CX and X geodesics.
Finally, suppose K ends on γi`1 . Then no dual curve emanating from the part of γi γi`1
subtended by the 1-cubes dual to K can cross K. Hence the 1-cube of γi dual to K is equal
to the 1-cube of γi`1 dual to K, contradicting the fact that γ is immersed.

Definition 3.2. A geodesic γ “ γ1 . . . γn such that γi Ñ N pHi q for 1 ď i ď n and
H1 !
K ... !
K Hn is a geodesic of CX is a hierarchy path. The geodesic H1 !
K ... !
K Hn
carries γ, and each γi is a syllable of γ.
The following is immediate from the product structure of hyperplane-carriers:
Proposition 3.3. Let γ “ γ1 ¨ ¨ ¨ γn be a hierarchy path carried by H1 !
K ... !
K Hn .
Then there exists a hierarchy path γ 1 “ γ11 ¨ ¨ ¨ γn1 , joining the endpoints of γ and carried by
H1 !
K . . . !H
K n , such that for each i, we have γi1 “ Ai e, where the combinatorial geodesic Ai
lies in Hi ˆ t˘1u Ă Hi ˆ r´1, 1s – N pHi q and e is either a 0-cube or a 1-cube dual to Hi .
A hierarchy path satisfying the conclusion of Proposition 3.3 is reduced. A reduced hierarchy path γ1 ¨ ¨ ¨ γn is a hereditary hierarchy path if it is trivial or if for each i, the subpath
path Ai Ñ Hi ˆ t˘1u of γi is a hereditary reduced hierarchy path in Hi ˆ t˘1u. From
Proposition 3.3 and the definition of a hereditary reduced hierarchy path, we obtain:
Corollary 3.4. Let X be a finite-dimensional CAT(0) cube complex and let x, y P X p0q .
Then x and y are joined by a hereditary reduced hierarchy path.
4. Projection to the contact graph
The notion of projecting geodesics in X to CX was discussed in [Hag13, Section 2], motivating the following definition:
Definition 4.1 (Projection to the contact graph). Let K be a convex subcomplex of X .
For each k P K, let tHi X KuiPI be the maximal collection of hyperplanes of K with k P
XiPI N pHi q. Define ρK : K Ñ 2CK by setting ρK pkq “ tHi uiPI . The projection of X on CK
is the map πK “ ρK ˝ gK : X Ñ 2CK . Note that πK assigns to each point of X a clique in
the contact graph of K and hence a clique in CX .
If H is a hyperplane, let H ˘ be H ˆ t˘1u Ă N pHq – H ˆ r´1, 1s. There is a bijection
between hyperplanes which intersect H ` and ones which intersect H ´ ; moreover, associated
hyperplanes contact [respectively, cross] in H ` if and only if they contact [respectively, cross]
in H ´ , whence CH ` and CH ´ are both the same subset of CX . Abusing notation slightly,
we let πH denote the projection from X to CH ` “ CH ´ Ă CX . This map is defined
as in Definition 4.1 since H ˘ is a convex subcomplex, and it is not hard to see that it is
independent of whether we took gates in H ` or H ´ (another option is to pass to the first
cubical subdivision and just project to H and then to its contact graph, since subdividing
makes H into a subcomplex).

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

15

Let x, y P X be 0-cubes, and let H be a hyperplane that does not separate x from y.
Let H ` be the copy of H bounding N pHq that lies in the component of X ´ H containing
tx, yu. It is easily checked that any hyperplane that separates gH ` pxq from gH ` pyq must
separate x from y. In particular, if H does not separate x from y and it does not cross any
hyperplane separating x from y, then πH pxq “ πH pyq. In other words, if γ Ă X is a geodesic
C X
with πX pγq X B1 7 pHq “ H, then πH pxq “ πH pyq, where x, y are the endpoints of γ. Let
x1 P γ be a 0-cube and suppose that the hyperplane U crosses H and separates the pair
x, x1 , hence separating gH ` pxq from gH ` px1 q. Then U separates x, y, and hence belongs to
C X
πX pγq X B1 7 pHq, contradicting our assumption. Hence πH pγq “ πH pxq “ πH pyq. Thus:
Proposition 4.2 (Bounded geodesic image). For any H P CX and any geodesic γ Ď X
C X
whose image in CX is disjoint from B1 7 pHq, the projection πH pγq is a clique.
5. Weak proper discontinuity of the action on the contact graph
We now consider the elements which act weakly properly discontinuously (WPD), in the
sense of [BF02]. In particular, we study the WPD elements of a group G acting on X , and
prove Theorem A.(1). By definition, as an isometry of CX , some h P G is WPD if for all
 ě 1 and hyperplanes H, there exists N ą 0 such that
ˇ
ˇ
ˇtg P G : dCX pH, gHq ă , dCX phN H, ghN Hq ă uˇ ă 8.
In the presence of a factor system and a cocompact group action, we achieve a stronger
conclusion in Section 14, namely that the action on the contact graph is acylindrical.
Proposition 5.1. Let X be a CAT(0) cube complex on which the group G acts metrically
properly by isometries. Suppose that h P G is loxodromic on CX . Then h is WPD.
Proof. Fix  ě 1 and let H be a hyperplane. By hypothesis, xhyH is a quasigeodesic in CX .
It follows, c.f., [Hag13, Theorem 2.3], that there exists M “ M ph, H, X q such that for all
N ě 0, and any hierarchy path γ “ γ1 ¨ ¨ ¨ γp joining some x P H to hN x P hN H and carried
on a geodesic H “ H0 !
K H1 !
K ... !
K Hp “ hN H of CX , we have |γi | ď M for 0 ď i ď p.
(Recall that γ is a geodesic, being a hierarchy path; hence γ contains at most one 1–cube
dual to each hyperplane.)
Suppose that g P G has the property that dCX pH, gHq ă  and dCX phN H, ghN Hq ă .
Suppose, moreover, that N has been chosen so that p ą 2`12 and choose i so that | p2 ´i| ď 2.
Choose a point y P γi and let Hpyq be the set of hyperplanes separating y from gy P gγi .
We claim that each W P Hpyq intersects γ and gγ. Indeed, suppose that W intersects γ
but not gγ. Suppose that W intersects γj with j ě i. Then W separates x, hN x (since γ is
a geodesic) but not gx, ghN x, so W separates x, gx or hN x, ghN x. Since W also separates
y, gy, the former must hold. Hence p “ dCX pH, hN Hq ď  ` |p ´ i| ď p{2 ` , contradicting
our choice of N . The case where W intersects γj , j ă i is similar.
Hence, if W crosses γs with s ě i, then W crosses gγt , with t ď i. (We have the reverse
conclusion if s ď i.) The fact that H0 !H
K 1!
K . . . !H
K p and its g–translate are CX –geodesics
implies that W intersects γs with |i ´ s| ď  ` 6. Hence dX py, gyq ď M p ` 6q, whence the
number of such g is finite since the action of G on X is proper.

We say that a group is nonelementary if it does not contain a cyclic subgroup of finite
index, and that an action of the group G is WPD if it admits a WPD element and G is
nonelementary.
Corollary 5.2 (Characterization of WPD elements). Let X be a uniformly locally finite
CAT(0) cube complex. Then for any nonelementary group G acting properly on X , one of
the following holds:

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

16

(1) The induced action of G on CX is WPD, and the WPD elements are precisely those
h P G that are rank-one and do not have positive powers that stabilize hyperplanes.
(2) Every h P G is either not rank-one, or has a positive power stabilizing a hyperplane.
Proof. Apply Proposition 5.1 and Theorem 2.9.



The following is an application to determining acylindrical hyperbolicity. Following [CS11],
we say that the action of the group G on the CAT(0) cube complex X is essential if every
halfspace contains points in a fixed G–orbit arbitrarily far away from the associated hyperplane.
Corollary 5.3. Let G be a nonelementary group acting properly and essentially on a uniformly locally finite CAT(0) cube complex, X . Suppose that X is not a product of unbounded
subcomplexes and at least one of the following two holds:
(1) G acts cocompactly on X .
(2) G acts with no fixed point in the simplicial boundary B4 X in the sense of [Hag13].
Then G is acylindrically hyperbolic.
Proof. By [Osi14, Theorem 1.2] it suffices to find a hyperbolic space on which G acts with a
loxodromic WPD element. By [Hag13, Theorem 5.4] there exists a rank-one element g P G
no positive power of which stabilizes a hyperplane. The conclusion follows from Corollary
5.2.

A major motivation for studying WPD actions arises from a result of Bestvina-Fujiwara
Ą
relating WPD actions to bounded cohomology. Recall that the space QHpGq,
which is
the quotient of the space of quasimorphisms of G by the subspace generated by bounded
functions and homomorphisms G Ñ R, coincides with the kernel of the map H2b pG, Rq Ñ
Ą
H2 pG, Rq. Theorem 7 of [BF02] asserts that if G admits a WPD action, then QHpGq
is
infinite-dimensional. This yields an alternative proof of the dichotomy obtained by CapraceSageev in [CS11, Theorem H], as a consequence of rank-rigidity: a group G admitting a
sufficiently nice action on a CAT(0) cube complex X that is not a product has infiniteĄ
dimensional QHpGq;
instead of using rank-rigidity and results of [BM02, CM09, Mon01],
one can deduce their result from rank-rigidity, Corollary 5.2, and [BF02].
6. Contractibility
We now prove Theorem A.(3). The contact complex C‚ X of the CAT(0) cube complex X
is the flag complex with 1-skeleton CX .
Theorem 6.1. Let X be a CAT(0) cube complex with countable 0-skeleton and at least one
1-cube. Then C‚ X is contractible.
Proof. For each n ě 0, choose a convex, compact subcomplex Bn in such a way that Bm Ď Bn
for m ď n and Yně0 Bn “ X . This choice is possible since X p0q may be written as an increasing
union of finite sets; Bn can then be taken to be the cubical convex hull of the nth one.
Since each Bn is convex in X , it is itself a CAT(0) cube complex whose hyperplanes have
the form H X Bn , where H is a hyperplane of X . Moreover, the map H X Bn Ñ H induces an
embedding C‚ Bn Ñ C‚ X whose image is a full subcomplex (i.e., any k ` 1 0-simplices of C‚ Bn
span a k–simplex of C‚ Bn if and only if their images in C‚ X span a k–simplex of C‚ X ). Thus
the set tC‚ Bn uně0 provides a filtration of C‚ X by full subcomplexes, each of which is the
contact complex of a compact CAT(0) cube complex. Indeed, every hyperplane intersects all
but finitely many of the Bn , and hence appears as a 0-simplex in all but finitely many of the
subcomplexes C‚ Bn .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

17

For any m ě 0 and any continuous map f : Sm Ñ C‚ X , compactness of im f implies that
there exists n ě 0 such that im f Ď C‚ Bn . By Lemma 6.2, C‚ Bn`1 is contractible, since it is
the contact complex of a compact CAT(0) cube complex. Hence the inclusion C‚ Bn ãÑ C‚ Bn`1
f

is null-homotopic, whence Sm ÝÑ C‚ Bn ãÑ C‚ Bn`1 ãÑ C‚ X is null-homotopic. It then follows
from Whitehead’s theorem [Whi49a, Whi49b] that X is contractible.

Lemma 6.2. Let X be a compact CAT(0) cube complex with at least one 1-cube. Then C‚ X
is contractible.
Proof. We will argue by induction on n “ |C‚ X p0q |, i.e., the number of hyperplanes in X .
When n “ 1, the cube complex X is necessarily a single 1-cube, so C‚ X is a 0-simplex.
Let n ě 1. Since X has finitely many hyperplanes, there exists a hyperplane H Ă X such
that one of the components of X ´ H has closure H ˆ r0, 1s, where N pHq is identified with
H ˆ r´1, 1s and H with H ˆ t0u. This generalizes the case in which X is a tree and H is the
midpoint of an edge containing a degree-1 vertex; accordingly, such a hyperplane H will be
called a leaf hyperplane. When H is a leaf hyperplane, we always denote by H ` the halfspace
H ˆ r0, 1s and by H ´ the other closed halfspace.
By Lemma 6.3, A “ Cl pX ´ N pHqq is a convex proper subcomplex of X , so that C‚ A
embeds in C‚ X as a full subcomplex. Moreover, by Lemma 6.4, there is a convex proper
subcomplex H 1 Ă X such that C‚ X – C‚ A YL pL ‹ tHuq , where L is a subcomplex of
C‚ Cl pX ´ N pHqq isomorphic to C‚ H 1 . Each of A and H 1 is a CAT(0) cube complex whose set
of hyperplanes corresponds bijectively to a subset of X p0q ´ tHu, so by induction, C‚ A and L
are contractible. Since L is contractible, there is a homotopy equivalence f : L‹tHu Ñ L that
is the identity on L, whence the pasting lemma yields a homotopy equivalence C‚ X Ñ C‚ A.
Since A is contractible, the same is therefore true of C‚ X .

Lemma 6.3. Let H be a leaf hyperplane of the CAT(0) cube complex X . Then Cl pX ´ N pHqq
is a convex subcomplex of X .
Proof. Since H ` Ă N pHq, the subcomplex Cl pX ´ N pHqq is exactly the convex hull of the
halfspace H ´ X X p0q of the 0-skeleton induced by H.

Lemma 6.4. Let H be a leaf hyperplane of the compact CAT(0) cube complex X . Then there
is convex subcomplex H 1 Ĺ X such that there is an isomorphism
C‚ X – C‚ Cl pX ´ N pHqq YL pL ‹ tHuq ,
where L is a subcomplex of C‚ Cl pX ´ N pHqq isomorphic to C‚ H 1 .
Proof. Let A “ Cl pX ´ N pHqq. Let tV1 , . . . , Vs u be the hyperplanes of X that contact H,
and let L be the full subcomplex of C‚ X generated by tV1 , . . . , Vs u. Lemma 7.11 of [Hag14]
implies that there is an isometrically embedded subcomplex H 1 Ă X such that a hyperplane
intersects H 1 if and only if that hyperplane belongs to tV1 , . . . , Vk u. By replacing H 1 if
necessary by its convex hull, we may assume that H 1 is convex, and hence C‚ H 1 – L. The
decomposition is obvious from the definitions.

7. Automorphisms of the contact graph
We now provide a short example which shows that the analogue of Ivanov’s Theorem,
that the mapping class group is the automorphism group of the curve graph [Iva97], fails to
hold for the contact graph. Indeed, the example below shows that this failure holds even if
one considers an edge-colored version of the contact graph differentiating edges associated to
crossing hyperplanes from those associated to osculating ones. We note that in the case of
RAAGs, the fact that the automorphism group of the contact graph may be much larger than

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

18

the RAAG itself is familiar from the case of the extension graph, where Kim–Koberda prove
that the automorphism of the extension graph is often uncountable [KK14, Theorem 66].
Example 7.1. In the cube complex pictured in Figure 7.1 one sees that the automorphism
group of the cube complex is virtually cyclic, and in particular, pairs of valence zero vertices,
such as those labelled a, b can not be permuted willy-nilly. Whereas in the contact graph,
the pair of simplices (labelled a1 , b1 ), one for each hyperplane separating off such a vertex,
can be swapped arbitrarily; thus the contact graph contains a pZ{2Zq8 subgroup.
a

a1

b
b1
p
X
CX
Figure 2. Cube complex drawn at left; its associated contact graph at right.

Part 2. Factor systems, projections, and the distance formula
Throughout, X is a CAT(0) cube complex. The setting in which we will work is established
in Definition 8.1 and forces X to be uniformly locally finite.

8. Factored contact graphs
8.1. Factor systems.
Definition 8.1 (Factor system). A set of subcomplexes, F, which satisfies the following is
called a factor system in X :
X P F.
Each F P F is a nonempty convex subcomplex of X .
There exists ∆ ě 1 such that for all x P X p0q , at most ∆ elements of F contain x.
Every nontrivial convex subcomplex parallel to a combinatorial hyperplane of X is
in F.
(5) There exists ξ ě 0 such that for all F, F 1 P F, either gF pF 1 q P F or diampgF pF 1 qq ă ξ.

(1)
(2)
(3)
(4)

Convexity of each F P F implies that each F is a CAT(0) cube complex whose hyperplanes
have the form H X F , where H is a hyperplane of X , and the map H X F ÞÑ H induces an
injective graph homomorphism CF ãÑ CX whose image is an induced subgraph, which, by
an abuse of notation, we also denote CF .
If F is a factor system for X , then for each F P F, the set FF “ tH P F : H Ď F u is a factor
system in F such that each point in F lies in at most ∆ ´ 1 elements of FF . (The distinction
between FF and tH X F : H P Fu is small: the latter consists of the former, together with
some subcomplexes of diameter at most ξ. It is mainly for convenience that we choose to
work, everywhere, with FF rather than tH X F : H P Fu.)
8.2. Examples of factor systems.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

19

8.2.1. Special groups. Universal covers of special cube complexes, defined in [HW08], contain
factor systems provided the co-special action has finitely many orbits of hyperplanes, as we
shall show below. This provides a very large class of groups for which the distance formula
from Section 9 holds. Let us start by studying universal covers of Salvetti complexes.
The following definition is tailored to the proof of Proposition 8.3.
Definition 8.2. Let Γ be a simplicial graph. A collection R of subgraphs of Γ is rich if
(1) Γ P R,
(2) all links of vertices of Γ are in R, and
(3) if A, B P R then A X B P R.
The collection of all subgraphs of Γ is a rich family. Also, any graph admits a minimal
rich family, consisting of Γ together with all nonempty intersections of links of vertices.
Proposition 8.3. Let Γ be a finite simplicial graph, ApΓq a right-angled Artin group, and
SrΓ the universal cover of its Salvetti complex. Let R be a rich family of subgraphs of Γ.
Let F be the (ApΓq–invariant) collection of convex subcomplexes of SrΓ containing all lifts
of the sub-Salvetti complexes SΛ of SΓ , for all Λ P R. Then F is a factor system.
In other words, F contains a subcomplex stabilized by each conjugate of ApΛq, for each
subgraph Λ of Γ.
Proof of Proposition 8.3. In the definition of a factor system, item (1) holds because Γ P R.
Items (2) and (3) are clear. Item (4) holds because combinatorial hyperplanes in SrΓ are
exactly lifts of sub-Salvetti complexes of SΓ corresponding to links of vertices. More precisely,
if a hyperplane H is dual to a 1-cube corresponding to the generator v P Γp0q , then the
combinatorial hyperplanes on the two sides of H are lifts of SLkpvq Ď SΓ .
The content of the proposition is hence that Item (5) holds (for ξ “ 0). To simplify the
notation, we will identify the 0-skeleton of SrΓ with ApΓq. Under this identification, the 0skeleton of each F P F corresponds to a coset of ApΛq ă ApΓq for some subgraph Λ P R, and
each such coset is the 0-skeleton of some F P F.
Let F, F 1 P F, whose 0-skeleta are (possibly after applying an element of ApΓq) ApΛ0 q and
gApΛ1 q, for some subgraphs Λ0 , Λ1 of Γ and g P ApΓq. We can assume, using the action
of some g P ApΓ0 q, that 1 P gF pF 1 q. Recall from Lemma 2.4 and Lemma 2.6 that gF pF 1 q
is in a natural way one of the factors in a product region R of SrΓ , the other factor being
(naturally identified with) a possibly trivial geodesic γ from 1 to g, up to changing the choice
of g within the same coset of ApΛ1 q. Also, gF pF 1 q ˆ t1u is contained in F and gF pF 1 q ˆ tgu
is contained in F 1 . Let Λ2 be the link in Λ of the set of vertices of Λ that label some 1-cube
along γ. The following claim concludes the proof.
Ş
Claim: The 0-skeleton of gF pF 1 q is ApΛq, where Λ “ i“0,1,2 Λi P R.
Let us first show gF pF 1 qp0q Ď ApΛq. Consider a geodesic δ joining 1 to h P gF pF 1 qp0q . Any
1-cube e of δ is contained in F as well as parallel to a 1-cube of F 1 , which implies that the
label v of e belongs to Λ0 X Λ1 . Let us now show that e also belongs to Λ2 . Once we have
done that, it is clear that h can be written as a product of generators each belonging to ApΛq.
Fix any 1-cube e1 of γ. The product region R contains a square with two 1-cubes parallel
to e and two 1-cubes parallel to e1 . This means that the labels of e, e1 commute and are
distinct. As this holds for any e1 , the label of e belongs to Λ2 , as required.
We are left to show ApΛq Ď gF pF 1 qp0q . If h P ApΛq, there exists a geodesic δ from 1 to h
whose 1-cubes are labeled by elements of γ. It is then easy to see that SrΓ (and in fact R)
contains a product region naturally identified with δ ˆ γ with the property that δ ˆ t1u is
contained in F and δ ˆ tgu is contained in F 1 . In particular, δ, and thus h, is contained in
gF pF 1 q, as required.


HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

20

Definition 8.4 (Induced factor system). Let X be a CAT(0) cube complex with a factor
system F and let Y Ď X be a convex subcomplex. The induced factor system FY be the set
of nonempty subcomplexes of Y of the form F X Y, F P F.
Lemma 8.5. Let X be a CAT(0) cube complex with a factor system F and let Y Ď X be a
convex subcomplex. Then FY is a factor system in Y.
Proof. Item (1) of Definition 8.1 holds since X X Y “ Y. Item (2) follows since intersections
of convex subcomplexes are convex. Item (3) follows since F is a uniformly locally finite
collection. To verify Item (4), let H ` be a combinatorial hyperplane of Y and let H be the
(genuine) hyperplane whose carrier contains H ` as one of its bounding copies. By convexity
of Y, the hyperplane H has the form W X Y for some hyperplane W of X , and hence
H ` “ W ` X Y, where W ` is one of the combinatorial hyperplanes bounding the carrier of
W . But W ` P F, by item (4), so W ` X Y “ H ` P FY .
It suffices to verify item (5), namely that FY is closed under (large) projection. To that end,
let F, F 1 P F and suppose that diampgF XY pF 1 X Yqq ě ξ, where ξ is the constant associated
to F by Definition 8.1. Then, by item (5), applied to F, we have gF pF 1 q P F. It thus suffices
to show that gF pF 1 q X Y “ gF XY pF 1 X Yq. For convenience, let A “ F X Y, A1 “ F 1 X Y.
Since A Ď Y, we have gA pA1 q Ď Y. Since A Ď F and A1 Ď F 1 , we have gA pA1 q Ď gF pF 1 q.
Hence gA pA1 q Ď gF pF 1 q X Y.
Conversely, suppose that x P gF pF 1 q X Y. Then x P A, since x P F X Y. Since x P gF pF 1 q,
there exists x1 P F 1 such that a hyperplane H separates x1 from F if and only if H separates
x1 from x. Let z “ gY px1 q. Note that convexity of Y is used here to make z well-defined. Let
V be a hyperplane separating z from x. Then either V separates x1 from x, and hence from
F , whence V separates z from A, or V separates x, x1 from z. Suppose the latter. Since V
separates x1 from z, it must separate x1 from Y since z “ gY px1 q. But then V cannot cross
Y, and hence cannot separate z P Y from x P Y, a contradiction. Thus V separates z from x
if and only if V separates z from A, so x “ gA pzq. It remains to show that z P A1 , but this
follows from Lemma 8.6.

Lemma 8.6. Let X be a CAT(0) cube complex and let Y, Z be convex subcomplexes, with
A “ Y X Z. Then for all x P Z, we have gY pxq P A.
Proof. Let y “ gY pxq, let a “ gA pxq, and let m be the median of x, a, and z. Then m P Z
since it lies on a geodesic from x to a, and x, a P Z, and Z is convex. Similarly, m lies
on a geodesic from y to a, and thus m P Y. It follows that m P A, whence m “ a since
dX px, mq ď dX px, aq. But then dX px, aq ď dX px, yq, so y “ a.

If C is a special cube complex then C admits a local isometry into some Salvetti complex
by [HW08, Theorem 1.1], and this is the Salvetti complex of a finitely-generated right-angled
Artin group when C has finitely many immersed hyperplanes (e.g., when C is compact
special). Such a local isometry lifts to a convex embedding at the level of universal covers,
whence Proposition 8.3 and Lemma 8.5 immediately imply that the universal cover of C
admits a factor system. (Note that finite generation of the right-angled Artin group is
important, since otherwise the universal cover of the Salvetti complex does not have a factor
system because each 0–cube is contained in infinitely many combinatorial hyperplanes in this
case.) We will now describe such factor systems.
Definition 8.7. Let C be a special cube complex whose set H of immersed hyperplanes is
finite. For every A Ď H and 1-cubes e, e1 of C, write e „A e1 if there is a path e “ e0 . . . en “ e1
in the 1-skeleton of C so that each ei is dual to some immersed hyperplane from A. Let CA
be the collection of full subcomplexes of C whose 1-skeleton is an equivalence class of 1-cubes
with respect to the equivalence relation „A .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

21

Notice that each D P CA is locally convex.
Corollary 8.8 (Factor systems for special groups). Let X be the universal cover of a special
cube complex, C, with finitely many immersed hyperplanes,
H. Then X admits a factor
Ť
system: the collection of all lifts of subcomplexes in AĎH CA is a factor system for X .
Proof. Let Γ be the crossing graph of C, which has a vertex for each immersed hyperplane,
with two vertices adjacent if the corresponding immersed hyperplanes have nonempty intersection. Then for each immersed hyperplane H of C there is a corresponding 1-cube eH in
SΓ . In [HW08, Theorem 1.1] it is shown that there is a local isometry φ : C Ñ SΓ so that if
the 1-cube e is dual to the immersed hyperplane H then it gets mapped isometrically to eH .
The local isometry φ lifts to a convex embedding φ̃ : X Ñ SrΓ (see e.g. [Wis11, Lemma 3.12]),
so in view of Proposition 8.3 and Lemma 8.5 there is a factor system on X consisting of all
preimages of elements of the factor system F for SrΓ , where F is the factor system associated
to the collection of all subgraphs of Γ described in Proposition 8.3.
From now on we identify the 0-skeleton of SrΓ with ApΓq, and regard the 1-cubes of SrΓ as
labeled by an immersed hyperplane of C (they are naturally labeled by vertices of Γ, which
are immersed hyperplanes of C).
Let us consider an element of F P F that intersects φ̃pX q in, say, g P ApΓq. We want to
r of some D P Ť CA .
show that F 1 “ F X φ̃pX q is the image via φ̃ of the lift D
The 0-skeleton of F is gApΛq for some subgraph Λ of Γ whose set of vertices will be denoted
A. By convexity of F 1 we know that we can connect g to any element of the 0-skeleton of
F 1 (that is to say gApΛq X φ̃pX q) by a path in the 1-skeleton of F 1 all whose 1-cubes are
labeled by elements of A. On the other hand, if we can connect g to, say, h by a path in
the 1-skeleton of F 1 all whose 1-cubes are labeled by elements of A, then h P gApΛq. These
r for some
facts easily imply that the 0-skeleton of F 1 coincides with the 0-skeleton of φ̃pDq
r “ F X φ̃pX q.
D P CA , which in turn implies φ̃pDq
Ť
r is of the form
It can be similarly shown that for any D P AĎH CA , we have that φpDq
F X φ̃pX q for some F P F, and this concludes the proof.

The same proof goes through to show the following more general version of the corollary:
Corollary 8.9. Let X be the universal cover of the special cube complex C, whose set of
immersed hyperplanes is finite, and let Γ be the crossing graph of the immersed hyperplanes
of C.
Ť If R is a rich collection of subgraphs of Γ, then the collection of all lifts of subcomplexes
in ΛPR CΛp0q is a factor system for X .
8.2.2. A non-special example.
Example 8.10. Let S, T be wedges of finitely many circles and let D be a compact, 2dimensional, nonpositively-curved cube complex with the following properties:
(1) Dp1q “ S Y T .
r of D is Sr ˆ Tr.
(2) The universal cover D
(3) H “ π1 D has no nontrivial finite quotient.
Such D were constructed by Burger-Mozes [BM00], whose complex actually has simple fundamental group, and by Wise [Wis07]. Let α̃ Ñ Sr and β̃ Ñ Tr be nontrivial combinatorial
r Tr is
geodesics mapping to immersed closed combinatorial paths α, β Ñ D. Since each of S,
r
r
convex in S ˆ T , each of the maps α Ñ D, β Ñ D is a local isometry of cube complexes.
Hence rαs, rβs P H ´ t1u respectively lie in the stabilizers of the hyperplanes Sr ˆ tou, to1 u ˆ Tr
of Sr ˆ Tr, where po1 , oq is a basepoint chosen so that o1 , o are arbitrary midpoints of 1-cubes
r Tr. Suppose moreover that |α| “ |β| “ r ě 1.
of S,

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

22

Let R “ r0, rs ˆr0, 2s. Regard R as a 2-dimensional non-positively-curved cube complex in
the obvious way, and form a complex Z0 from R\D by identifying t0uˆr0, 2s with truˆr0, 2s
and identifying the images of r0, rs ˆ t0u and r0, rs ˆ t2u with α and β respectively. Since α
and β are locally convex in both R and D, the complex Z0 is nonpositively-curved, and its
fundamental group is H˚xrαsyt “xrβsy .
Let A “ r0, 1sˆr0, rs with the obvious cubical structure, and attach A to Z0 by identifying
t0u ˆ r0, rs with the “meridian” in R, i.e., the image of r0, rs ˆ t1u. Finally, attach a square by
gluing a length-2 subpath of its boundary path to the image of r0, 1s ˆ t0u Y r0, 1s ˆ tru Ă A
in A Y Z0 . The resulting complex is Z. Since C is locally convex in Z0 and t0u ˆ r0, rs is
locally convex in A, the complex Z is a nonpositively-curved cube complex. See Figure 3.
T
Dp2q

S

R

A

Figure 3. A complex Z with r “ 7. The square at left represents the 2skeleton of D. Note that A is the carrier of a self-intersectign hyperplane,
A is attached to R by identifying the “inner” boundary component with the
waist of R, and R is attached to S Y T by a local isometry of its boundary.

The following properties of Z will be needed in Section 11.
Proposition 8.11. The universal cover Zr of Z has a factor system.
Proof. Let Z 1 be constructed exactly as in the construction of Z in Example 8.10, except
beginning with S ˆ T instead of with the complex D. The 1-skeleta of D and S ˆ T are
identical, so the paths α, β exist in S ˆ T , rendering this construction possible. It is easily
verified that the universal cover of Z 1 is isomorphic to Zr and that Z 1 has a finite-sheeted
special cover. The claim follows from Corollary 8.8.

r and g P G such
Proposition 8.12. Let G ďf.i. π1 Z. Then there exists a hyperplane H of D
that gH crosses H.
Proof. Let W Ñ Z be the immersed hyperplane dual to the image of r0, 1s ˆ t0u Ă A in Z.
Then W self-crosses. Moreover, if Zp Ñ Z is a finite-sheeted cover such that some component
p of the preimage of the meridian C has the property that C
p Ñ C is bijective, then some lift
C
p
of W to Z is again a self-crossing immersed hyperplane. But C is homotopic into D, whose
fundamental group has no finite quotients. Hence any finite cover of Z has a self-crossing
immersed hyperplane.

Having shown that there are many interesting groups with factor systems, below we show
the utility of these systems. First though, we propose the following question to which we
expect a positive answer; we believe that a proof of this will require significant work.
Question 8.13. Does every CAT(0) cube complex which admits a proper, cocompact group
action contain a factor system?

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

23

8.3. Factored contact graphs.
Definition 8.14 (Factored contact graphs, projection to the factored contact graph). Let
F be a factor system for X . For each convex subcomplex F Ď X , the factored contact graph
p is obtained from CF as follows.
CF
Let F 1 P FF ´ tF u and suppose that F 1 is either parallel to a combinatorial hyperplane
or has diameter ě ξ, and let rF 1 s be its parallelism class. We add a vertex vF 1 to CF ,
corresponding to this parallelism class rF 1 s, and join vF 1 by an edge to each vertex of CF 1 Ă
CF , i.e., each newly added vertex vF 1 gets connected to each vertex of CF which corresponds
to a hyperplane of F that intersect F 1 . We repeat this for each such F 1 P FF ´ tF u. We
p consists of CF , together with a cone-vertex for each parallelism class of
emphasize that CF
subcomplexes in FF ´ tF u that are parallel to combinatorial hyperplanes or have diameter
p .
ě ξ (or both). Also, observe that CF is an induced subgraph of CF
p p0q
CF
p
The projection of X to CF is the map πF : X Ñ 2
obtained by composing the projecp . Recall that this map assigns
tion to CF given in Definition 4.1 with the inclusion CF ãÑ CF
p
to each point of X a clique in CF consisting of the vertices corresponding to the hyperplanes
whose carriers contain the given point.
p p0q
p “ H. Hence |2CF
Remark 8.15. When F P F is a single 0-cube, CF “ H, so CF
|“1
and πF is defined in the obvious way. When the constant ξ from Definition 8.1 is at least 1,
no F P F is a single point.

Lemma 8.16. Let F, F 1 be parallel. Then there is a bijection f : FF Ñ FF 1 so that f pHq is
parallel to H for all H P FF .
Proof. If F 2 P F is contained in F , then there is a parallel copy F 3 of F 2 in F 1 . Provided
either F 2 is a combinatorial hyperplane or has diameter at least ξ, we have F 3 P F. The
existence of f now follows easily.

The next lemma is immediate.
Lemma 8.17. Let F P F and let F 1 be a convex subcomplex parallel to F . Then, CF “ CF 1
and the bijection f : FF Ñ FF 1 from Lemma 8.16 descends to a bijection of parallelism
p Ñ CF
p 1 that extends the identity CF Ñ CF 1 . Moreover,
classes inducing an isomorphism CF
πF “ πF 1 .
Remark 8.18 (Crossing, osculation, and coning). In the case where F is the factor system
obtained by closing the set of subcomplexes parallel to hyperplanes under diameter-ě ξ
p is quasi-isometric to CX . This is because we are coning off contact
projections, then CX
graphs of intersections of hyperplane-carriers, and these subgraphs are already contained in
vertex-links in CX . More generally, let HI “ XiPI Hi` be an intersection of combinatorial
hyperplanes. The hyperplanes of HI have the form W X HI , where W is a hyperplane that
crosses each of the hyperplanes Hi . Coning off CpW ˘ X HI q in CHI does not affect the quasiisometry type, since CpW ˘ X HI q is the link of a vertex of CHI . It is when W is disjoint
from HI but exactly one of W ˘ is not — i.e., precisely when W osculates with each Hi —
that coning off CpW ` X HI q Ă CHI affects the geometry.
The crucial property of projections to factored contact graphs is:
Lemma 8.19 (Bounded projections). Let F be a factor system for X and let ξ be the constant
from Definition 8.1. Let F, F 1 P F. Then one of the following holds:
1
(1) diamCF
p pπF pF qq ă ξ ` 2.
(2) F is parallel to a subcomplex of F 1 .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

p or gF pF 1 q “ F .
Proof. If diampgF pF 1 qq ě ξ, then either πF pF 1 q is coned off in CF

24



We also note the following version of Proposition 4.2 for factored contact graphs:
Proposition 8.20 (Bounded Geodesic Image II: The Factoring). Let F P F and let γ Ñ F
p
be a combinatorial geodesic. Suppose U P FF and that dCF
p pπF pγq, CU q ě 1. Then gU pγq
consists of a single 0–cube. Hence πU pγq is a clique.
Proof. Suppose that gU pγq contains distinct 0-cubes x, y and let H be a hyperplane separating
p Ď CF
p . On the other
them. Then H crosses U and thus corresponds to a vertex of CU Ă CU
hand, H cannot separate any 0-cube of γ from U and thus separates the endpoints of γ.
Hence H is a vertex of πF pγq.

8.4. Hierarchy paths revisited. Let F be a factor system for X and let F P F. The
p are naturally associated to subcomplexes of X : to each vertex V of CF
vertices of CF
p
(Ă CF ), we associate one of the two combinatorial hyperplanes V ˘ bounding N pV q. The
remaining vertices are cone points corresponding to parallelism classes of subcomplexes in
p is a sequence pv0 , . . . , vn q of vertices with consecutive vertices adjacent. A
FF . A path of CF
p if γ “ γ0 e0 γ1 e1 ¨ ¨ ¨ γn en ,
combinatorial path γ Ñ F is carried by the path pv0 , . . . , vn q of CF
where for 0 ď i ď n, we have γi Ñ Ti with Ti associated to vi and |ei | ď 1. In this situation,
we say that the sequence T0 , . . . , Tn carries γ and represents pv0 , . . . , vn q.
p and let x P T0 , y P Tr be 0-cubes, where
Proposition 8.21. Let v0 , v1 , . . . , vr be a path in CX
T0 , Tr are subcomplexes associated to v0 , vr . Then for 1 ď i ď r ´ 1, we can choose for each
vertex vi an associated subcomplex Ti so that T0 , . . . , Tr carries a path in X joining x to y.
Proof. We argue by induction on r. If r “ 0, then the claim follows by path-connectedness
of T0 . Now let r ě 1. Suppose first that vr is a cone-vertex, so that vr´1 is a hyperplanevertex, and let V be the corresponding hyperplane. Since V crosses Tr , either combinatorial
hyperplane Tr´1 bounding the carrier of V intersects Tr . There exists a 0–cube y 1 P Tr´1 X
Tr . On the other hand, if vr is a hyperplane-vertex, then Tr is a specified combinatorial
hyperplane parallel to a hyperplane crossing each subcomplex Tr´1 associated to vr´1 , if vr´1
is a cone-vertex. If vr´1 is also a hyperplane-vertex, then at least one of the possible choices
of Tr´1 is a combinatorial hyperplane intersecting the combinatorial hyperplane Tr . Again,
we have a 0-cube y 1 P Tr X Tr´1 . In either case, by induction, we can choose T1 , . . . , Tr´2 to
carry a path joining x to y 1 , which we concatenate with a path in Tr joining y 1 to y. The
path er´2 is nontrivial if vr´1 corresponds to a hyperplane separating Tr from every possible
choice of Tr´2 .

Remark 8.22 (Explicit description of paths carried by geodesics). In the proof of Propop has the property that, if vi is
sition 8.21, we used the fact that a path v0 , v1 , . . . , vr in CF
a cone-vertex, associated to some U P FF , then vi˘1 are hyperplane vertices, associated to
˘
hyperplanes Hi˘1 that cross U , so that all four combinatorial hyperplanes Hi˘1
intersect U .
Hence we can and shall always assume that |ei˘1 | “ 0 when vi is a cone-vertex, see Figure 4.
This enables us to use the proof of Proposition 3.1 verbatim in the proof of Proposition 8.23.
p as
In view of the previous proposition, we will use the same notation for a vertex of CF
for some representative subcomplex. A hierarchy path is a geodesic of F that is carried by a
p .
geodesic of CF
Proposition 8.23. Let F P F. Then any 0-cubes x, y P F are joined by a hierarchy path.
Proof. Let τ be a combinatorial geodesic of X joining x to y; since F is convex, τ Ď F . Let
T P FF contain x (such T exists because every 0–cube of F is contained in a combinatorial

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

25

Figure 4. The two round regions are elements of F; the ladders represent
carriers of hyperplanes. The dotted path is carried by a geodesic in the
factored contact graph. Transitions between various γi and ei are indicated
by bold vertices. Notice that there are numerous such paths, but we choose
paths with ei trivial whenever possible.
p .
hyperplane of F ) and let T 1 P FF contain y. Let T “ T0 , T1 , . . . , Tn “ T 1 be a geodesic of CF
Then we can choose the Ti in their parallelism classes so that N1 pTi q X N1 pTi`1 q ‰ H for
0 ď i ď n´1. Using Proposition 8.21, for each i, let γi Ñ Ti be a geodesic segment, chosen so
that γ1 e1 . . . γn en is a piecewise-geodesic path joining x to y, with each |ei | ď 1 and |ei | “ 0
except possibly if γi , γi`1 lie in disjoint combinatorial hyperplanes representing vertices of
CF (i.e., non-cone-vertices). The disc diagram argument from the proof of Proposition 3.1
can now be repeated verbatim to complete the proof, because FF satisfies property (4) from
Definition 8.1.

8.5. Factored contact graphs are quasi-trees. In this section, we will use the following
criterion of Manning, that determines if a geodesic metric space is quasi-isometric to a tree:
Proposition 8.24 (Bottleneck criterion; [Man05]). Let pZ, dq be a geodesic metric space.
Suppose that there exists δ ě 0 such that for all x, y P Z, there exists m “ mpx, yq such that
dpx, mq “ dpy, mq “ 21 dpx, yq and every path joining x to y intersects the closed δ–ball about
m. Then pZ, dq is p26δ, 16δq–quasi-isometric to a tree.
p is p78, 48q–quasi-isometric to a simplicial tree.
Proposition 8.25. Let F P F. Then CF
p corresponding to hyperplanes of F and by
Proof. Denote by H the set of vertices of CF
1
p (regarded
V the set of cone-vertices. Let T, T be complexes associated to vertices of CF
as representatives, to be chosen, of parallelism classes of subcomplexes in FF ). Let T “
p joining T to T 1 and let m be the midpoint of this
T0 , T1 , . . . , Tn “ T 1 be a geodesic of CF
geodesic. Suppose, moreover, that T0 , . . . , Tn carries a hierarchy path γ “ γ0 ¨ ¨ ¨ γn such that
each hyperplane intersecting γ separates T from T 1 ; indeed we can choose γ to connect a
point p P gT pT 1 q to its gate gT 1 ppq. We may assume that n ě 4, for otherwise Proposition 8.24
is satisfied by m with δ “ 23 . Hence, since every vertex adjacent to an element of V is in H,
1
there exists i so that Ti is a combinatorial hyperplane and dCF
p pTi , mq ď 1. Let Ti be the
1
1
1
hyperplane such that Ti is in the image of Ti ˆ t˘1u under Ti ˆ r´1, 1s – N pTi q ãÑ F . Since
every hyperplane crossing γi separates T from T 1 , we have that either Ti1 separates T from
T 1 , or Ti1 crosses a hyperplane that separates T from T 1 . Hence, there is a hyperplane H
1
such that H separates T, T 1 and dCF
p pH, mq ď 2. Let T “ S0 , . . . , Sk “ T be another path
p joining T to T 1 . Then, there exists j such that either Sj is a combinatorial copy of H,
in CF
or H crosses Sj . Thus dCF

p pm, Sj q ď 3, and the claim follows from Proposition 8.24.
9. The distance formula
The main theorem of this section is:
Theorem 9.1 (Distance formula). Let X be a CAT(0) cube complex and let F be a factor
system. Let F contain exactly one representative of each parallelism class in F. Then there

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

26

exists s0 ě 0 such that for all s ě s0 , there are constants K ě 1, C ě 0 such that for all
x, y P X p0q ,
ÿ
((
dX px, yq —K,C
dCF
p pπF pxq, πF pyqq s .
F PF

The rest of this section is devoted to proving Theorem 9.1. Throughout, X and F are as
in the statement of the theorem. The constants ξ ě 1, ∆ ě 1 are those from Definition 8.1.
For convenience, if F P F and x, y P X , we write dCF
p px, yq :“ dCF
p pπF pxq, πF pyqq.
9.1. Projection lemmas.
Lemma 9.2. Let X be a CAT(0) cube complex, let A Ď B Ď X be convex subcomplexes, and
let x, y P X be 0-cubes. Then dCA
p pπA pxq, πA pyqq ď dX pgA pxq, gA pyqq ď dX pgB pxq, gB pyqq.
Proof. The first inequality follows since projection to the factored contact graph is distance
non-increasing. The second inequality is Lemma 2.1.

p with x P T0 , y P
Lemma 9.3. Let x, y P X p0q and let T0 , T1 , . . . , Tr represent a geodesic in CX
Tr . For 0 ď i ď r, let xi “ gTi pxq, yi “ gTi pyq. Then
r
ÿ
dX px, yq ´ dCX
dTi pxi , yi q ď 3dX px, yq.
p px, yq ď
i“0

Proof. For 0 ď i ď r, let Si be the set of hyperplanes separating xi , yi , so that |Si | “
dX pxi , yi q “ dTi pxi , yi q. For each i, observe that if the hyperplane U separates x from y and
crosses Ti , then U separates xi from yi . Otherwise, U would separate xi from x (say), but
the only such hyperplanes are those separating x from Ti , so this situation would contradict
the fact that U crosses Ti . Hence the set of hyperplanes separating x from y and crossing
some Ti is Yri“0 Si . Each hyperplane H separating x, y either crosses some Ti , or there exists
i so that N pHq contains Ti in one of the bounding copies of H. Hence
r
ÿ
dX px, yq ď |Yri“0 Si | ` r ď
|Si | ` r,
i“0

which establishes the first inequality.
For some i ‰ j, let U P Si X Sj . Then |i ´ j| ď 2, since otherwise Ti , U, Tj would provide
a shortcut contradicting the fact that dCpX
p ,Pq pT0 , Tr q “ r. Hence at most three elements of
řr
r
tSi ui“0 contain U . Thus i“0 |Si | ď 3| Yri“0 Si |, and the second inequality follows.

p between 0Proposition 9.4 (Large Link Lemma). Let T0 , T1 , . . . , Tr be a geodesic in CX
cubes x P T0 and y P Tr . Let F P F ´ tX u have the property that dCF
p px, yq ě 4ξ ` 10. Then
there exists i P t0, 1, . . . , ru such that F is parallel to some F 1 P FTi . Moreover, any geodesic
of X contained in Yi Ti that joins x, y passes through a subcomplex of Ti parallel to F 1 .
Proof. Recall that we can choose Ti within its parallelism class for 1 ď i ď r ´ 1 so that
N1 pTi q X Ti`1 ‰ H. We first exhibit J ď 3 and i ď r such that for some j satisfying
1
1
1
0 ď j ď J we have diamCF
p pπF pTi`j qq ě ξ and for all i satisfying i ă i or i ą i ` J we have
diamCF
p pπF pTi1 qq “ 0.
Let V be a hyperplane separating gF pxq from gF pyq. Then V intersects F and hence V
cannot separate x or y from their gates in F . Hence V must separate x from y; and thus V
intersects some N1 pTi q. Either V separates gTi pxq from gTi pyq, or V is the unique hyperplane
separating Ti from Ti˘1 . Let G be the set of hyperplanes V of the former type.
Let V P G. Then V intersects Ti for at least 1 and at most 3 values of i. If some other
hyperplane V 1 P G separates gF pxq from gF pyq, then V 1 separates gTj pxq from gTj pyq for
at least 1 and at most 3 values of j, and for any such i, j, we have |i ´ j| ď 4; otherwise

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

27

p . Let
Ti , V, F, V 1 , Tj would be a shortcut from Ti to Tj , since F ‰ X represents a vertex in CX
i, i ` 1, . . . , i ` J be the indices for which Ti`j is crossed by a hyperplane separating gF pxq
from gF pyq; equivalently, the indices so that gTk pF q is trivial if k ă i or k ą i ` J.
The graph πF pYJj“0 gF pTi`j qq “ πF pYrj“0 gF pTi qq has diameter at least 4ξ ` 10, since it
contains πF pxq, πF pyq, whence diamCF
p pgF pTi`j qq ě ξ for some j. Indeed, there is at most
one hyperplane separating Ti`j from Ti`j`1 , whence at most one hyperplane separates their
gates in F . We then have that F is parallel to a subcomplex of Ti`j by Lemma 8.19.
Let γ Ă Yk Tk be a geodesic joining x, y and let γi`j “ gTi`j pγq. Then γi`j has a subpath
τ joining gTi`j pgF pxqq to gTi`j pgF pyqq. The path τ is parallel to a path in F and hence
belongs to some parallel copy of F in Ti`1 .

Lemma 9.5. There exist s0 ě 0 such that for all x, y P X p0q and any hierarchy path
p , one of the followγ0 e0 ¨ ¨ ¨ γr er joining x to y and carried by a geodesic T0 , . . . , Tr of CX
ing holds for all F P F:
(1) there exists i ď r and F 1 P FTi such that F is parallel to F 1 ;
(2) dCF
p px, yq ă s0 ;
(3) F “ X .
Proof. Let s0 “ 4ξ ` 10 and let F ‰ X be an element of F with dCF
p px, yq ě s0 . By
Proposition 9.4, there exists i so that F is parallel to some F 1 P FTi , as required.

9.2. Proof of the distance formula. We have now assembled all ingredients needed for:
Proof of Theorem 9.1. For each F P F, let FF consist of exactly one element from each parallelism class in FF . We will argue by induction on ∆, which we recall is the maximal number
of elements in the factor system which can contain any given vertex.
Base case: When ∆ “ 1, the fact that X and each combinatorial hyperplane belongs
to F ensures that X consists of a single 0–cube, so we are summing over the empty set of
projections, and we are done.
Induction hypothesis: Assume ∆ ě 2. For each F P F ´ tX u, the set FF is a factor
system in F . Every 0–cube of F is contained in at most ∆ ´ 1 elements of FF , since each
0–cube of F lies in at most ∆ elements of F, one of which is X (which is not contained in F ).
We can therefore assume, by induction on ∆, that for all s ě s0 , where s0 ě 2 is the constant
from Lemma 9.5, there exist K 1 ě 1, C 1 ě 0 so that for all F P F ´ tX u and all x, y P X we
have
ÿ
((
dF pgF pxq, gF pyqq —K 1 ,C 1
dCT
p pgF pxq, gF pyqq s .
T PFF

Choosing a hierarchy path: By Proposition 8.23, there exists a hierarchy path γ “
p from T0 to Tr .
γ0 e0 ¨ ¨ ¨ γr er that joins x to y and is carried on a geodesic T0 , . . . , Tr in CX
For each i, let xi “ gTi pxq and yi “ gTi pyq. Recall that each γi lies in N1 pTi q. At the cost of
adding 1 to our eventual multiplicative constant K, we can assume that each ei is trivial.
Enumeration of the nonvanishing terms: Let s ě s0 and let F P F be such that
1
dCF
p px, yq ě s. By Lemma 9.5, either F is parallel to some F P FTi for some i, or F “ X .
Let FtTi u be the set of all F P F that are parallel to a proper subcomplex of some Ti , and
let FtTi u contain exactly one representative for each parallelism class of elements of FtTi u .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

28

1
Recalling that dCF
p px, yq “ dCF
p 1 px, yq when F is parallel to F , we get
ÿ
((
us ,
dCF
p px, yq s “ I ` II ` t ru
F PF

where
I“

r !
!
))
ÿ
dCT
px,
yq
p i

s

i“0

and
II “

ÿ

ÿ
((
dCF
p px, yq s —3,0

ÿ

((
dCF
p px, yq s .

i F PFT ´tTi u
i

F PFtTi u

The estimate of II follows since no factor is parallel to both Ti and Ti1 when |i ´ i1 | ě 3.
The upper bound: By the inductive hypothesis,
r
ÿ
dTi pgTi pxq, gTi pyqq.
I ` II —K 1 ,C 1
i“0

Hence, by Lemma 9.3,
dX px, yq ´ r
´ C 1 ď I ` II,
3K 1
and we obtain the upper bound
dX px, yq

3K 1 pI ` II ` rq ` 3C 1 K 1
ÿ
((
1
1 1
dCF
3K 1
p px, yq s ` 3K dCX
p px, yq ` 3C K

ď
“

F PF´tX u

ÿ
—1,s

((
((
1
1 1
dCF
dCX
p px, yq s ` 3K
p px, yq s ` 3C K .

F PF´tX u

The lower bound: We have that dX px, yq ě r and we have the estimate I ` II ď
3K 1 dX px, yq ` C 1 r, by the induction hypothesis and Lemma 9.3. Hence
I ` II ` t ruus ď p3K 1 ` C 1 ` 1qdX px, yq,


and we are done.
10. Projection of parallelism classes

Let X be CAT(0) cube complex with a factor system F, and let F be the set of parallelism classes of elements of F. We have previously defined projections from X to factored
p is independent of the choice
contact graphs of elements of F, and noted that πF : X Ñ CF
of representative of the parallelism class rF s. However, care must be taken in order to define
projections of parallelism classes:
Proposition 10.1 (Projections of parallelism classes are bounded or cover). Let F 1 , F 2 P F
with F 1 parallel to F 2 . Then one of the following holds for each F P F:
1
2
(1) dCF
p pπF pF q, πF pF qq ď ξ ` 2, where ξ is a constant of the factor system;
(2) there is a cubical isometric embedding F 1 ˆ F Ñ X such that for some f 1 , f 2 P F , the
subcomplexes F 1 , F 2 are the images of F 1 ˆ tf 1 u, F 1 ˆ tf 2 u, and for some f P F 1 , the
p .
subcomplex F is the image of tf u ˆ F . In particular, YF1 PrF 1 s πF pF1 q “ CF
Moreover, whether assertion (1) or (2) holds for F 1 , F 2 with respect to F is independent of
the choice of parallelism class representative of F .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

29

Proof. By Lemma 2.4, there is a convex subcomplex B and a cubical isometric embedding
F 1 ˆ B Ñ X with the following properties: B is the convex hull of a shortest geodesic r0, bs
joining F 1 to F 2 and F 1 , F 2 are respectively the images of F 1 ˆ t0u and F 1 ˆ tbu, and in fact
r0, bs joins gF 1 pF 2 q to gF 2 pF 1 q (the fact that r0, bs is shortest and joins gF 1 pF 2 q to gF 2 pF 1 q
follows from the fact that it only crosses the hyperplanes that separate F 1 from F 2 , which
is part of Lemma 2.4). Since B is, at minimum, contained in a combinatorial hyperplane
(indeed, cubical isometric embeddings take hyperplanes to hyperplanes), it is contained in
some minimal Y P F. If b ď ξ, then the first assertion holds. Hence suppose b ě ξ. Then
either πF pY q has diameter at most ξ ` 2, in which case the first assertion again holds, or
by Lemma 8.19, F is parallel to a subcomplex F1 of Y containing B. By minimality of Y ,
we have F1 “ Y . Similarly, for all f P F 1 , we have a parallel copy tf u ˆ F1 of F containing
tf u ˆ B. Item (2) follows.

Definition 10.2 (Orthogonal). Let rF1 s, rF2 s P F. If there are F11 , F12 P rF1 s such that
Proposition 10.1.(2) holds for F11 , F12 projected to F2 , then rF1 s and rF2 s (and F1 and F2 )
are said to be orthogonal.
Remark 10.3. Lemma 8.19 implies that either F is parallel to a subcomplex of F 1 or πF pF 1 q
has uniformly bounded diameter. In the latter case, Proposition 10.1 implies that either
YF1 PrF 1 s πF pF1 q is uniformly bounded, or rF s and rF1 s are orthogonal. In fact, Lemma 8.19
says that if F is not parallel to a subcomplex of F 1 , then πF pF 2 q has diameter bounded by
ξ ` 2 for each F 2 parallel to F 1 . On the other hand, whenever πF pF 2 q has diameter bounded
by ξ ` 2 for each F 2 parallel to F 1 , Proposition 10.1 implies that either YF1 PrF 1 s πF pF1 q has
diameter bounded by 3ξ ` 6 or rF s and rF 1 s are orthogonal.
Motivated by the remark, we give the following two definitions. Definition 10.5 provides
projections between parallelism classes; as explained in Remark 10.3, Proposition 10.1 gives
conditions ensuring that these projections are coarsely well-defined.
Definition 10.4 (Transverse). Parallelism classes rF s, rF 1 s P F are transverse if they are not
orthogonal and if F is not parallel to a subcomplex of F 1 , or vice versa, for some (hence all)
F P rF s, F 1 P rF 1 s.
Definition 10.5 (Projection of parallelism classes, projection distances). Let rF s P F. The
p , which depends only on the parallelism class) is the map
projection to rF s (really to CF
p
F ´ trF su Ñ 2CF given by πrF s prF 1 sq “ YF1 PrF 1 s πF pF1 q.
`
˘2
For each rY s P F, define a function dπY : F ´ trY su Ñ r0, 8s by
1
dπY prF s, rF 1 sq “ diamCY
p pπrY s prF sq Y πrY s prF sqq.

We fix, until the end of the section, any subset Ftr Ă F with the property that for each
distinct pair rF s, rF 1 s P Ftr we have that rF s is transverse to rF 1 s.
Observe that for each F P Ftr , the restriction of dπF to Ftr takes uniformly bounded values.
From the definition, it is obvious that dπF prF 1 s, rF 2 sq “ dπF prF 2 s, rF 1 sq and dπF prF 1 s, rF 2 sq `
dπF prF 2 s, rF 3 sq ě dπF prF 1 s, rF 3 sq for all rF s, rF 1 s, rF 2 s, rF 3 s P Ftr . Moreover, the fact that
the right-hand side of the distance formula (Theorem 9.1) is finite shows that, for a suitable
η, we have |tF : dπF prF 1 s, rF 2 sq ě ηu| ă 8 for all rF 1 s, rF 2 s P Ftr .
1
Proposition 10.6. For all rF s ‰ rF 1 s in Ftr , we have diamCF
p pπF pF qq ď ξ ` 2.

Proof. This is just Lemma 8.19 combined with the fact that F cannot be parallel to a
subcomplex of F 1 by our assumptions on Ftr .


HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

30

The next result is the analogue for cubical groups of the inequality that Behrstock established in [Beh06] for the mapping class group. Versions of this inequality in other contexts
have appeared in [BBFb, BF, SS, Tay]
Proposition 10.7 (Behrstock inequality). For all rF s, rF 1 s, rF 2 s P Ftr ,
mintdπF prF 1 s, rF 2 sq, dπF 1 prF s, rF 2 squ ď 3ξ ` 6.
Proof. Let F, F 1 , F 2 satisfy dπF prF 1 s, rF 2 sq ą 3ξ ` 6. Let x P F 1 . We claim that there exists
Y parallel to F and y P Y so that gF 2 pxq “ gF 2 pyq, which will conclude the proof.
Let γ be a geodesic from x to gF 2 pxq. By Lemma 10.8, there exists Y parallel to F such
that γ intersects Y , say at y. Since y is on γ, we have gF 2 pxq “ gF 2 pyq, as required.

Lemma 10.8. Let F P F and let x, y P X p0q satisfy dCF
p pπF pxq, πF pyqq ą 2ξ ` 4. Then any
geodesic from x to y enters a parallel copy of F .
Proof. Let γ be a geodesic from x to y. By Lemma 8.17 — which implies dCF
p pπF paq, πF pbqq “
1
dCF
p 1 pπF 1 paq, πF 1 pbqq for all a, b P X whenever F, F are parallel — we can assume that F was
chosen within its parallelism class so that dX pF, γq is minimal.
Observe that no hyperplane separates γ from F . Indeed, suppose that H is such a hyperplane. Then gF pxq, gF pyq Ă gF pHq. By our assumption that dCF
p pπF pxq, πF pyqq ą 2ξ ` 4,
we have diamCF
p pgF pHqq ą 2ξ ` 4 ą ξ ` 2, whence, by Lemma 8.19, F is parallel to a
subcomplex F 1 of the combinatorial hyperplane H ´ on N pHq which is separated from F
by H. For any z P γ, any hyperplane separating z from F 1 separates z from F , whence
dX pγ, F 1 q ă dX pγ, F q, contradicting our choice of F .
Let L be the set of hyperplanes separating x from tyu Y F and let R be the set of
hyperplanes separating y from txu Y F . If L “ H, then either x P F , since no hyperplane
separates x and y from F (for otherwise, by convexity of halfspaces, that hyperplane would
separate γ from F ). Similarly, R ‰ H.
Let L P L be closest to y and let R P R be closest to x. Suppose that L X R “ H. Then
there exists a 0–cube z P γ so that no hyperplane in L Y R separates z from F . Hence any
hyperplane separating z from F separates tx, yu, and thus γ, from F , which is impossible.
Thus L and R cross. Since gF pxq, gF pyq P gF pLq Y gF pRq, arguing as above yields, say,
diamCF

p pgF pLqq ą ξ ` 2, so F is parallel into L, violating our choice of F as above.
Observe that Propositions 10.6 and 10.7, together with the discussion preceding them,
imply the following, which we record for later convenience:
Corollary 10.9 (BBF Axioms). Let F be a factor system and let F be the set of parallelism
classes in F. Let Ftr be a subset of F such that rF s, rF 1 s are transverse for all distinct
rF s, rF 1 s P Ftr . Then tdπY : rY s P Ftr u satisfies Axioms p0q ´ p4q of [BBFb, Section 2.1].
11. Efficient embeddings into products of trees
We now let X be a CAT(0) cube complex with a proper cocompact action by a group G,
and we let F be a G–invariant factor system (recall that the existence of any factor system
ensures the existence of a G–invariant one). In this section we produce a very particular
G–equivariant quasi-isometric embedding of X into the product of finitely many quasi-trees.
We begin with the following fact which is well-known in the study of cubical groups:
Proposition 11.1 (Embeddings in products of trees). Suppose that there exists G1 ďf.i. G
such that no hyperplane in X crosses its G1 –translates. Then there exists a finite collecś
tion tT1 , . . . , Tk u of simplicial trees, a G–action on ki“1 Ti , and a G–equivariant isometric
śk
embedding X Ñ i“1 Ti .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

31

Conversely, suppose that G acts properly and cocompactly on a CAT(0) cube complex X ,
ś
and that there is a G–equivariant cubical isometric embedding X Ñ ki“1 Ti with each Ti a
simplicial tree. Then there exists a finite-index subgroup G1 ď G such that for all hyperplanes
H of X and all g P G1 , the hyperplanes gH and H do not cross.
Proof. By passing to the normal core, we can assume G1 is normal. Let H1 , . . . , Hk be a
complete list of representatives of G1 –orbits of hyperplanes. For each i, the cube complex
dual to the wallspace pX p0q , G1 ¨ Hi q is a simiplicial tree Ti on which G1 acts by isometries,
ś
and G acts on ki“1 Tk , permuting the factors, with G1 stabilizing each factor (if h P G1 and
g P G and Hj “ gHi , then hHj “ hgHi “ gpg ´1 hgqHi “ gHi since G1 is normal). The
existence of the embedding follows from [CH13, Corollary 1]; equivariance is easily checked.
ś
Conversely, let X Ñ ki“1 Ti be a G–equivariant embedding, and let G1 be the kernel of the
ś
ś
action of G on the factors of ki“1 X . Since X Ñ ki“1 Ti sends hyperplanes to hyperplanes,
andśsends crossing hyperplanes to crossing hyperplanes, the coloring of the hyperplanes
of ni“1 Ti by the tree factor that they cross pulls back to a G1 –invariant coloring of the
hyperplanes of X by k colors, with the property that hyperplanes of like color do not cross.
By definition, two hyperplanes in the same G1 orbit have the same color.

An element of F ´ tX u is maximal if it is not properly contained in an element of F ´ tX u.
Definition 11.2 (Hereditarily flip-free). Let G act properly and cocompactly on the cube
complex X . The action is flip-free (with respect to F) if for each cubical isometric embedding
A ˆ B Ñ X such that A, B P F ´ tX u and each of A, B is parallel to a maximal element of
F ´ tX u, no g P G has gA parallel to B. The action is hereditarily flip-free with respect to
F if for each H P F, the action of StabG pHq on H is flip-free with respect to FH .
Lemma 11.3 (Coloring the factor system). Let G act properly and cocompactly on X , let F
be a G–invariant factor system, and suppose that there exists G1 ďf.i. G such that the action
of G1 on X is hereditarily flip-free with respect to F. Then there exists k P N and a coloring
χ : F Ñ t1, . . . , ku such that:
(1) if F, F 1 P F are parallel, then χpF q “ χpF 1 q;
(2) χpgF q “ χpF q for all F and all g P G1 ;
(3) if F is parallel to a proper subcomplex of F 1 , then χpF q ‰ χpF 1 q;
(4) if rF s and rF 1 s are orthogonal, then χpF q ‰ χpF 1 q.
Hence there is a G1 –invariant coloring χ : F Ñ t1, . . . , ku such that for 1 ď i ď k, the set
Fi “ χ´1 piq is a G1 –invariant collection satisfying the hypotheses of Corollary 10.9.
Proof. For n ě 1 and tqi uni“1 determined below, let tc01 , . . . , c0qn u, tc11 , . . . , c1q1 u . . . , tcn1 , . . . , cnqn u
be disjoint sets of colors, and let ε be an extra color.
Define the relation „ on F to be the transitive closure of the union of the following two
relations: F „ F 1 if F, F 1 are parallel; F „ F 1 if there exists g P G1 such that F “ gF . Since
the G–action preserves parallelism, if F „ F 1 , then there exists g P G1 with F, gF 1 parallel.
We say that F P F´tX u is maximal if it is not parallel to a proper subcomplex of any other
1
F P F ´ tX u. Notice that maximal elements exist. In fact, if we had a chain F1 , . . . , FN ,
with N larger than the local finiteness constant ∆ of the factor system,Şso that Fi is parallel
to a proper subcomplex of Fi`1 , then there would be some 0–cube in i gFN pFi q, violating
local finiteness. Let F1 , . . . , Fn P F be maximal elements of F ´ tX u, chosen so that any other
maximal F P F ´ tX u satisfies F „ Fi for some unique i; there are finitely many „-classes
since our hypotheses ensure that there are finitely many G-orbits in F. Let F0 Ď F consist
of those F such that F „ Fi for some i, so that each maximal factor subcomplex is in F0 .
Define χ0 : F0 Ñ tc01 , . . . , c0n u by χ0 pF q “ c0i , where i is the unique index with F „ Fi . The
coloring χ0 of F0 satisfies items (1), (2), (3) by definition (in particular, maximality ensures

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

32

that item (3) holds). Item (4) follows from the assumption that the action of G1 is flip-free.
Indeed, if rF s and rF 1 s are orthogonal then, by definition, we can choose F, F 1 within their
parallelism classes so that F ˆ F 1 ãÑ X isometrically. But if χ0 pF q “ χ0 pF 1 q, then F is
parallel to gF 1 for some g P G1 , contradicting flip-freeness since each of F, F 1 is parallel to a
maximal element, namely a translate of some Fi .
Note that since F0 is a locally finite collection and G1 acts on X cocompactly, G1F :“
StabG1 pF q acts cocompactly on F for each F P F. For each F P F, let FF be the induced
factor system, so that YF FF “ F. By hereditary flip-freeness of the overall action of G1
on X , the action of G1F on each F is flip-free with respect to FF . Hence, by induction, for
1 ď i ď n, we have a coloring χ1Fi : FFi Ñ tci1 , . . . , ciqi u satisfying all four conclusions of the
proposition with respect to the G1Fi –action.
We define χi : YF „Fi FF Ñ tci1 , . . . , ciqi u as follows. If F is parallel to Fi , then each F 1 P FF
is parallel to some Fi1 P FFi , and if F 1 is also parallel to Fi2 P FFi , then χ1Fi pFi1 q “ χ1Fi pFi2 q.
Hence let χi pF 1 q “ χFi pFi1 q. We now extend G1 –equivariantly to obtain χi . More precisely,
for each F „ Fi , choose g P G1 so that gF is parallel to Fi , and define χi on FF so that
χi pF 1 q “ χi pgF 1 q for all F 1 P FF . This is independent of the choice of gF because of how χi
was defined on the subcomplexes parallel to Fi . Moreover, since χ1Fi is G1Fi –invariant, and
parallel complexes have identical stabilizers, this is independent of the choice of g.
Let F „ Fi and let F 1 , F 2 P FF . Suppose that χi pF 1 q “ χi pF 2 q. Choose g P G1 so that
gF is parallel to Fi . Then χi pgF 1 q “ χi pgF 2 q “ χi pFi1 q “ χi pFi2 q, where Fi1 , Fi2 P FFi are
parallel to gF 1 , gF 2 respectively. Hence neither of Fi2 nor Fi1 is parallel to a subcomplex of
the other, and they are not orthogonal, by our induction hypothesis. Hence the same is true
of F 1 , F 2 , so that χi correctly colors FF .
For i ě 0, we extend χi to the rest of F by letting χi pHq “ ε when H R YF „Fi FF (or
H R F0 when i “ 0). We finally define the coloring χ on F by
χpF q “ pχ0 pF q, χ1 pF q, . . . , χn pF qq .
ś
(The total number of colors is pn ` 1q ni“1 pqi ` 1q.)
Let F, F 1 P F. If the set of i for which F is contained in FH for some H „ Fi differs from
the corresponding set for F 1 , then χpF q ‰ χpF 1 q since there is at least one coordinate in
χpF q equal to ε for which the corresponding coordinate in χpF 1 q is not ε, or vice versa. It
follows from the definition of the χi that F cannot be parallel to a proper subcomplex of F 1 ,
and they cannot be orthogonal, if χpF q “ χpF 1 q. Hence χ is the desired coloring.

We can now prove Theorem F:
Proposition 11.4 (Embedding in a product of quasi-trees). Let G, X , and F be as in
Lemma 11.3. Then there is a partition FYtrX su “ \ki“1 Fi such that each CpFi q is a quasi-tree,
ś
G acts by isometries on ki“1 CpFi q, and there is a G–equivariant quasi-isometric embedding
śk
X Ñ i“1 CpFi q.
Proof. Lemma 11.3 allows us to finitely and equivariantly color the elements of F so that
elements of the same color are transverse. By Corollary 10.9 and [BBFb, Theorem A], each
color gives rise to a quasi-tree and a map from X to each quasi-tree. Comparing Theorem 9.1
to the distance estimate [BBFb, Theorem 4.13] shows, as in [BBFb, Section 5.3], that these
maps give the desired quasi-isometric embedding in the product of the quasi-trees associated
to the various colors.

Remark 11.5. Proposition 11.6 shows that Proposition 11.1 does not imply Proposition 11.4.
Any stipulation that no hyperplane crosses its G1 –translates is satisfied when, for example,
hyperplane-stabilizers are separable (this uses Scott’s criterion for separability [Sco78]). Such

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

33

separability occurs when the action of G on X is virtually cospecial (e.g., when G is wordhyperbolic [Ago13]); this is stronger than assuming the action of G on X is virtually flip-free.
Proposition 11.6. There exists a group G acting properly and cocompactly on a CAT(0)
cube complex X in such a way that X admits a G–equivariant quasi-isometric embedding into
the product of finitely many quasi-trees, but X does not admit a G1 –equivariant isometric
embedding in a finite product of trees for any finite-index G1 ď G.
Proof. We will actually find G and X such that the following three properties hold:
(1) X admits a factor system F.
(2) For every finite-index subgroup G1 ď G, there exists a hyperplane H of X and some
g P G1 such that the hyperplanes H, gH cross.
(3) The action of G2 on X is hereditarily flip-free for some G2 ďf.i. G.
Let Z be the complex from Example 8.10, whose notation we will use throughout this
r Property (1) is Proposition 8.11 and Property (2) is
proof, let G “ π1 Z, and let X “ Z.
Proposition 8.12. Thus, by Proposition 11.1, X has no G–equivariant isometric embedding in
a finite product of trees. The existence of the desired quasi-isometric embedding will follow
from Proposition 11.4 once we have established property (3).
To that end, it will be convenient to compute an explicit factor system for X . We take
ξ ě r ` 1 and let F be the smallest subset containing X , all combinatorial hyperplanes of X ,
and gF pF 1 q whenever F, F 1 P F and diampgF pF 1 qq ě ξ.
We first describe the combinatorial hyperplanes in X . We can and shall assume that the
paths α, β : r0, rs Ñ S, T from Example 8.10 are surjective. This is for convenience only; it
reduces the number of isomorphism types of hyperplane that we need to consider. Let X0
be the universal cover of Z0 , which decomposes as a tree of spaces whose vertex-spaces are
copies of Sr ˆ Tr and whose edge-spaces are lines. Then X is formed from X0 by attaching
all lifts of the carrier of the self-crossing hyperplane W (which is a segment of length r ` 2)
along a segment of length r.
X thus has compact hyperplanes, all of which are lifts of W . Each corresponds to a
cardinality-2 parallelism class of combinatorial hyperplanes. The projection of such a combinatorial hyperplane W ` onto some other hyperplane is either an isomorphism or has image
of diameter at most r, whence this projection is excluded from F by our choice of ξ. The
projection of any other hyperplane onto W ` also has diameter at most r and is similarly
excluded. Every product subcomplex of the form W ` ˆ E with W ` a compact combinatorial
hyperplane has the property that E is contained in a 1–cube and thus is not a combinatorial
hyperplane. Hence the compact hyperplanes do not affect whether the action of G is flip-free.
The remaining combinatorial hyperplanes are of two types: there are two-ended combinar and bushy hyperplanes, that are trees of
torial hyperplanes, which are parallel to lifts of C,
r attaching a path of length
the following type. Each is formed by beginning with a copy of S,
r
2 to each vertex, attaching a copy of T to the end of each of these paths, etc. Then, at the
midpoint of each of the length-2 paths (i.e., the points at which the hyperplane intersects a
r attach a single 1-cube (dual to a compact hyperplane). Observe that any subcomlift of C),
plex parallel to a bushy hyperplane is a bushy hyperplane, but that two-ended hyperplanes
are parallel to lines properly contained in bushy hyperplanes.
Let T, T 1 be subcomplexes parallel to two-ended hyperplanes and let B, B 1 be bushy hyperplanes. If B, B 1 intersect some lift of Sr ˆ Tr but do not intersect, then B and B 1 are parallel,
so that gB pB 1 q “ B. If B, B 1 are distinct and intersect, then gB pB 1 q is a single point. If
B, B 1 do not intersect a common vertex-space, then gB pB 1 q “ gB pT q for some two-ended
hyperplane separating B from B 1 . But gB pT q is either a single point or is a parallel copy of

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

34

T for any bushy B and two-ended T . Hence F consists of X , combinatorial hyperplanes and
r
their parallel copies. Maximal elements of F ´ tX u are bushy hyperplanes or lifts of C.
2
Let G be the unique index-2 subgroup of G (this is the kernel of the map G Ñ Z2 sending
the element represented by C to 1). Then the action of G2 on X is flip-free. Indeed, X does
not contain the product of two bushy hyperplanes, so we need only consider the case of a
r ˆ βr in some Sr ˆ Tr. But any G2 –translate of βr is either in the same product piece
product α
— and thus parallel to β — or at even distance from βr in the Bass–Serre tree, and hence is
r. To verify hereditary
again a component of the preimage of β, and hence not parallel to α
flip-freeness, it suffices to note that each element of F ´ tX u is a tree, and thus contains no
nontrivial products.

12. Consistency and realization
In this section, we prove an analogue in the cubical context of the Consistency Theorem
in the mapping class group; see [BKMM12, Theorem 4.3]. (For an analogue of this theorem
in Teichmüller space with the Teichmüller metric, see [EMR, Section 3].) For the purposes
of this section, X is an arbitrary CAT(0) cube complex with a factor system F. Let ξ be the
constant from Definition 8.1. For each F P F, let BF “ tS Ď CF p0q : diamCF
p pSq ď 1u.
If U, V P F, and V is parallel to a proper subcomplex of U , then there is a map ρU
V : BU Ñ
p0q
p
CV
U
2
defined as follows: let b P BU be a clique in CU and let ρV pbq “ YW πV pW q, where
W varies over all combinatorial hyperplanes parallel to hyperplanes of U in the clique b.
ś
Let ~b P rF sPF BF be a tuple, whose rF s–coordinate we denote by bF . The tuple ~b is
realized if there exists x P X such that πF pxq “ bF for all rF s P F; note that by Lemma 8.17
bF is independent of the choice of representative F P rF s. In this section we first give a
set of consistency conditions on coordinate projections which hold for any element of x P X
(for the analogue in the mapping class group see [Beh06]). We then show that this set of
necessary consistency conditions on a vector of coordinates is, essentially, also sufficent for
that vector to be realized by an element of X .
Remark 12.1. In this section, we use the sets BF , simply because the projection of a point
to the contact graph is always a clique. In the more general context introduced
ś in Section 13
— specifically in Definition 13.1 — we abstract the conditions on tuples in rF sPF BF proś
vided by the next several results, in terms of tuples in SPS 2S , where S is some set of uniformly hyperbolic spaces, and the tuple restricted to each coordinate is a uniformly bounded
(though not necessarily diameter–1) set. In the cubical setting, instead of doing this using
p , we instead use BF because it yields more refined statements.
S “ CF
Recall that the parallelism classes rF s, rF 1 s P F are transverse if they are not orthogonal
and if F is not parallel to a subcomplex of F 1 , or vice versa, for some (hence all) F P
rF s, F 1 P rF 1 s. We begin with the consistency conditions, which take the form of the following
inequalities:
ś
Proposition 12.2 (Realized tuples are consistent). Let ~b P rF sPF BF be realized by x P X .
There exists κ0 “ κ0 pξq such that for all U, V P F, the following hold:
(1) If U and V are transverse, then
(
min dCU
p pbU , πU pV qq, dCV
p pbV , πV pU qq ď κ0 ;
(2) If V is parallel to a proper subcomplex of U , then
(
U
min dCU
p pbU , πU pV qq, diamCV
p pbV Y ρV pbU qq ď κ0 .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

35

A tuple ~b (realized or otherwise) satisfying the conclusions of the above proposition is
said to be κ0 –consistent. More generally, a tuple ~b satisfying inequalities (1) and (2) from
Proposition 12.2, with κ0 replaced by some κ ě κ0 , will be called κ-consistent.
Proof of Proposition 12.2. First suppose that neither U nor V is parallel to a subcomplex
of the other. Suppose that dCU
p pbU , πU pV qq ą 2ξ ` 4. Then dU pgU pxq, gU pV qq ą ξ, so that
the set HU of hyperplanes crossing U and separating x from V has cardinality at least ξ.
Suppose also that dCV
p pbV , πV pU qq ą 2ξ ` 4, so that the set HV of hyperplanes crossing
V and separating x from U has cardinality at least ξ. Let W P HV and let W ` be an
associated combinatorial hyperplane not separated from x by any hyperplane crossing V .
Notice that πU pW ` q contains πU pxq “ bU (because W separates x from U ) and intersects
`
πU pV q. In particular diamCU
p pπU pW qq ą ξ ` 2 and hence, by Lemma 8.19, U is parallel to a
1
1
`
subcomplex U of W containing gW ` pxq. We have diamCV
p pπV pU qq ď ξ ` 2 for otherwise V
1
1
would be parallel into U which is impossible since U is parallel to U . Also, πV pU 1 q contains
1
πV pxq “ bV and hence dCV
p pπV pU q, πV pU qq ą ξ ` 2, i.e., Proposition 10.1.(1) does not hold,
so U and V are orthogonal by Proposition 10.1.
Let V be parallel to a proper subcomplex of U and let tWi u be the set of combinatorial
hyperplanes of U containing gU pxq. Suppose that dCU
p pbU , πU pV qq ą ξ`2. Then for each i, we
have that gV pWi q is a single point (since otherwise there would be a hyperplane intersecting
gV pWi q and hence intersecting both V and Wi ), hence gV pWi q “ gV pxq, whence bV “ ρU
V pbU q.
In either case, κ0 “ ξ ` 2 suffices.

Remark 12.3. We note that Proposition 10.7 can alternatively be proven as an immediate
consequence of Proposition 12.2 and Lemma 8.19. The formulation here is very close to that
in the mapping class group, see [Beh06] and [BKMM12].
Theorem 12.4 (Consistency and realization). Let κ0 ě 1 be the constant from Proposiś
tion 12.2. For each κ ě κ0 , there exists θ ě 0 such that, if ~b P rF sPF BF is κ–consistent,
then there exists y P X such that for all rF s P F, we have dCF
p pbF , πF pyqq ď θ.
Proof. For each rU s P F, let EU be the smallest convex subcomplex of X with the property
p . By Lemma 8.17, we have
that y P EU if πU pyq intersects the 2κ–neighborhood of bU in CU
1
EU “ EU 1 if rU s “ rU s.
Moreover, we claim that πU pEU q has diameter at most 5κ. Indeed, let E be the set of all
0–cubes x so that πU pxq X N2κ pbU q ‰ H. Given x, y P E, let H1 , . . . , Hk and V1 , . . . , V` be
p , so that x P H1 , y P V` , and Hk , V1
sequences of subcomplexes, representing geodesics in CU
correspond
to
points
of
b
.
Hence
there
is
a
combinatorial
path from x to y and carried on
U
Ť
Ť
i Hi Y
j Vj ; by construction, each 0–cube on this path lies in E. Hence E is 1–coarsely
connected. Now let z P EU ´ E be a 0–cube and let H be a hyperplane whose carrier contains
z and which crosses a geodesic from z to a point of E. Since EU is the convex hull of E, the
hyperplane H separates two 0–cubes of E lying in N pHq. Hence dCU
p pπU pzq, bU q ď 2κ ` 1
and thus πU pEU q ď 5κ.
Suppose rU s, rV s P F are transverse. By κ–consistency and Lemma 8.19, we have that
either V Ď EU or U Ď EV . If V is parallel to a proper subcomplex of U , then the same is
true, by κ–consistency. Finally, if U ˆ V isometrically embeds in X , then some representative
of rV s lies in EU and some representative of rU s lies in EV . Hence, in all cases, at least one
representative subcomplex corresponding to one of the cliques bU or bV belongs to EU X EV ,
i.e., EU X EV ‰ H for all U, V . Thus, by the Helly property, for any finite collection
rF1 s, . . . , rFn s of elements of F, we can find an x P X so that dCF
p i pπFi pxq, bFi q ď 5κ for each i.
Fix any 0-cube x0 P X and let θ1 be a (large) constant to be chosen later. Also, denote
by Fmax the set of all rF s P F ´ tX u so that

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

36

‚ dCF
p pπF px0 q, bF q ą θ1 , and
‚ F is not parallel to a proper subcomplex of a representative of rF 1 s P F ´ tX u for
which dCF
p 1 pπF 1 px0 q, bF 1 q ą θ1 .
Let l “ dCX
p pπX px0 q, bX q. We claim that Fmax has finitely many elements. Suppose not, and
let rF1 s, . . . , rFppl`5κq`1 s P Fmax , for some p to be determined below so that dCF
p pπFi px0 q, bFi q ą
θ1 for 1 ď i ď ppl ` 5κq ` 1. Consider x P X satisfying dCF
pπ
pxq,
b
q
ď
5κ
for each i and
Fi
p i Fi
such that dCX
p pπX pxq, bX q ď 5κ. The existence of such a point x was established above.
Thus, there exists m ď l ` 5κ such that rT0 s, . . . , rTm s P F ´ tX u is a sequence, with T0
a combinatorial hyperplane parallel to a hyperplane representing a vertex of πX px0 q and Tm
p joining πX px0 q
enjoying the same property with x replacing x0 , representing a geodesic in CX
to πX pxq. Suppose that we have chosen constants θ1 and κ so that θ1 ě 6κ´6 ě 5κ`4ξ `10.
Hence, for each i, we have dCF
p i pπFi px0 q, πFi pxqq ě θ1 ´ 5κ ě 4ξ ` 10. Proposition 9.4 now
implies that each Fi is parallel to a subcomplex of Tj for some j P t0, . . . , mu. Hence
Fi P Fmax X FTj , so that it suffices to show that the latter is finite.
Note that for each j, the set Fmax X FTj is the set of maximal elements H P FTj with
dCH
p pπH pπTj px0 qq, bH q ą θ1 . This follows from the fact that gH pgTj px0 qq “ gH px0 q. Either
Fmax X FTj “ tTj u, or dCT
p j pπTj px0 q, bTj q ď θ1 and, by induction on ∆, there exists p ě 1
with |Fmax X FTj | ď p. Hence |Fmax | ď ppl ` 5κq.
The finiteness of Fmax holds for any choice of x0 , but it will be convenient for what follows
to assume that x0 has been chosen so that πX px0 q contains the clique bX .
1
As before, choose x P X so that dCF
p pπF pxq, bF q ď 5κ for each rF s P Fmax . Let Fmax be
the set of all rF s P Fmax with the property that for each rF 1 s P Fmax transverse to rF s, the
closest parallel copy of F to x is closer in X than the closest parallel copy of F 1 to x.
Claim 1. Let rF1 s, rF´1 s P Fmax be transverse. Then there exists a unique i P t˘1u such
that dCF
p i pπFi px0 q, πFi pF´i qq ď κ. Moreover, dX pFi , xq ă dX pF´i , xq, assuming F˘i is the
closest representative of rF˘i s to x.
Proof of Claim 1. Suppose first dCF
p 1 pπF1 px0 q, πF1 pF´1 qq ą κ. Then, by Proposition 12.2, we
have dCF
p ´1 pπF´1 px0 q, πF´1 pF1 qq ď κ and we are done. If dCF
p 1 pπF1 px0 q, πF1 pF´1 qq ď κ, then
dCF
p 1 pπF1 pxq, πF1 pF´1 qq ą κ. Proposition 12.2 implies that dCF
p ´1 pπF´1 pxq, πF´1 pF1 qq ď κ.
But then dCF
p ´1 pπF´1 px0 q, πF´1 pF1 qq ě θ1 ´ κ ´ ξ ´ 2 ą κ.
To prove the “moreover” clause, notice that dCF
p i pπFi pxq, πFi pF´i qq ą 4ξ ` 10. Hence, by
1
Proposition 9.4, for any point x on any parallel copy of F´i there is a geodesic from x1 to x
passing through a parallel copy of Fi .

1

If Fmax “ H then we can choose y “ x0 . Otherwise, Fmax ‰ H, and Claim 1 implies
ś
1
that the elements of Fmax are pairwise-orthogonal; hence X contains P “ rF sPF1 F . By
max
Lemma 2.4, there is a convex subcomplex Q Ă X such that the convex hull of the union of
all subcomplexes parallel to P is isomorphic to P ˆ Q. Since |P | ą 1 by our choice of θ1 ,
there is at least one hyperplane crossing P , whence Q is not unique in its parallelism class
and hence lies in a combinatorial hyperplane U . By induction on ∆, there exists yU P U such
that dCW
p pπW pyU q, bW q ď θ2 for some fixed θ2 and all rW s P FU . Let yQ “ gQ pyU q.
1
By induction on ∆, for each rF s P Fmax , we can choose F P rF s and a point yF P F such
that dCH
p pπH pyF q, bH q ď θ2 for all rHs P FF and some θ2 . Importantly, θ2 can be chosen to
depend only on κ, ξ and ∆ ´ 1, i.e., θ2 is independent of Fmax , and we can thus assume that
θ1 ą θ2 ` 2κ. By pairwise-orthogonality, there exists y P P ˆ Q such that gF pyq “ yF for all
1
rF s P Fmax and gQ pyq “ yQ . We now choose θ so that dCW
p pπW pyq, bW q ď θ for all rW s P F.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

37

1

First, if W is parallel to a proper subcomplex of some rF s P Fmax , then any θ ě θ2 suffices.
1
Second, suppose that some rF s P Fmax is parallel to a proper subcomplex of W . Suppose dCW
p pbW , πW pF qq ď κ ` 2θ1 . Notice that πW pyq “ πW pyF q because F is parallel to
a subcomplex of W , and hence dCW
p pbW , πW pyqq ď 2κ ` 2θ1 . Hence
p pbW , πW pyF qq “ dCW
W
suppose dCW
p pbF Y ρF pbW qq ď κ. Since, up to parallelism,
p pbW , πW pF qq ą κ ` 2θ1 , so diamCF
W properly contains F and rF s P Fmax , we can conclude that if W ‰ X then we have
dCW
p pbW , πW px0 qq ď θ1 , while the same inequality also holds in the case W “ X because of
our choice of x0 . Hence dCW
p pπW px0 q, πW pF qq ą κ ` θ1 . By Proposition 9.4, and the fact
that a hierarchy path joining gW px0 q to a point in W projecting to bW cannot pass through
an element of rF s (because dCW
p pπW px0 q, bW q), we have
p pπW px0 q, πW pF qq ą κ ` θ1 ě dCW
W pb qq ď 4ξ ` 10. Hence d pπ px q, b q ď 4ξ ` 10 ` κ, which contradicts
pπ
px
q,
ρ
dCF
0
0
F
F
F
W
p
p
F
CF
F P Fmax , so that this case does not arise.
1
Third, suppose that rW s is transverse to some rF s P Fmax . If dCF
p pπF pyq, πF pW qq ą κ ` θ2 ,
~
then by consistency of b, Proposition 12.2, and the fact πW pyq P πW pF q (since y lies in a
parallel copy of F ), we have dCW
p pπW pyq, bW q ď κ. Hence, suppose dCF
p pπF pyq, πF pW qq ď
κ ` θ2 . In this case dCF
pπ
px
q,
π
pW
qq
ą
θ
´
θ
´
κ,
whence
d
pπ
0
1
2
F
F
W px0 q, πW pF qq ď κ.
p
p
CW
Now, since y belongs to (a parallel copy of) F , we have dCW
pπ
pyq,
πW pF qq “ 0. We
W
p
now wish to argue that the inequality dCW
p pπW pyq, bW q ě θ1 ` ξ ` 2 ` κ is impossible, thus
concluding the proof in this case. In fact, if it holds, then
dCW
p pπW px0 q, bW q ě dCW
p pπW pyq, bW q ´ diampπW pF qq ´ dCW
p pπW pF q, πW px0 qq ě θ1 .
Hence W is contained in some W 1 with rW 1 s P Fmax . Notice that rW 1 s must be transverse
to rF s, since F cannot be parallel into W nor vice versa, by maximality of F and W 1 , and
since, if rW 1 s was orthogonal to rF s, then rW s would be as well.
1
Note dCF
p pπF pyq, πF pW qq ď κ, since this holds for W . Thus dCW
p 1 pπW 1 px0 q, πW 1 pF qq ď κ,
by an argument above. But then, by Claim 1, the closest parallel copy of W 1 to x is closer
1
than the closest parallel copy of F , in contradiction with rF s P Fmax .
1
The only case left is when W is orthogonal to all rF s P Fmax , which implies that W is, up
to parallelism, contained in Q. In this case, πW pyq “ πW pgQ pyQ qq “ πW pyQ q, whence we are
done by the choice of yQ .

Remark 12.5. Let κ ě κ0 and let ~b be a κ–consistent tuple. Theorem 12.4 yields a constant θ
and a 0–cube x P X p0q such that dCF
p px, bF q ď θ for all F P F. By Theorem 9.1, any other
0–cube y with this property is at a uniformly bounded distance — depending on κ and ξ —
from x. The definition of a factor system implies that X is uniformly locally finite, so the
number of such 0–cubes y is bounded by a constant depending only on κ, ξ, and the growth
function of X p0q .
Part 3. Hierarchically hyperbolic spaces
13. Quasi-boxes in hierarchically hyperbolic spaces
In this section, we work in a level of generality which includes both mapping class groups
and each CAT(0) cube complex X with a factor system F.
Definition 13.1 (Hierarchically hyperbolic space). The metric space pX , dX q is a hierarp | W P Su of
chically hyperbolic space if there exists δ ě 0, an index set S, and a set tCW
δ–hyperbolic spaces, such that the following conditions are satisfied:
(1) (Projections.) There is a set tπW : X Ñ 2CW | W P Su of projections sending
p P S.
points in X to sets of diameter bounded by some ξ ě 0 in the various CW
p

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

38

(2) (Nesting.) S is equipped with a partial order Ď, and either S “ H or S contains
a unique Ď–maximal element; when V Ď W , we say V is nested in W . We require
that W Ď W for all W P S. For each W P S, we denote by SW the set of V P S
such that V Ď W . Moreover, for all V, W P S with V properly nested into W there
p with diam p pρV q ď ξ. There is also a projection
is a specified subset ρVW Ă CW
CW W
p
p Ñ 2CV
ρW
.
(The
similarity
in
notation
is justified by viewing ρVW as a coarsely
:
CW
V
p
p Ñ 2CW
.)
constant map CV
(3) (Orthogonality.) S has a symmetric and anti-reflexive relation called orthogonality:
we write V KW when V, W are orthogonal. Also, whenever V Ď W and W KU , we
require that V KU . Finally, we require that for each T P S and each U P ST for
which tV P ST | V KU u ‰ H, there exists W P ST ´ tT u, so that whenever V KU
and V Ď T , we have V Ď W . Finally, if V KW , then V, W are not Ď–comparable.
(4) (Transversality and consistency.) If V, W P S are not orthogonal and neither is
nested in the other, then we say V, W are transverse, denoted V &W . There exists
p and ρW Ď CV
p each of
κ0 ě 0 such that if V &W , then there are sets ρVW Ď CW
V
diameter at most ξ and satisfying:
(
V
W
min dCW
p pπW pxq, ρW q, dCV
p pπV pxq, ρV q ď κ0
for all x P X ; alternatively, in the case V Ď W , then for all x P X we have:
(
V
W
min dCW
p pπW pxq, ρW q, diamCV
p pπV pxq Y ρV pπW pxqqq ď κ0 .
Suppose that: either U Ĺ V or U &V , and either U Ĺ W or U &W . Then we have: if
V &W , then
(
U
V
U
W
min dCW
p pρW , ρW q, dCV
p pρV , ρV q ď κ0
and if V Ĺ W , then
(
U
V
U
W U
min dCW
p pρW , ρW q, diamCV
p pρV Y ρV pρW qq ď κ0 .
V
U
Finally, if V Ď U or U KV , then dCW
p pρW , ρW q ď κ0 whenever W P S ´ tU, V u
satisfies either V Ď W or V &W and either U Ď W or U &W .
(5) (Finite complexity.) There exists n ě 0, the complexity of X (with respect to S),
so that any sequence pUi q with Ui properly nested into Ui`1 has length at most n.
(6) (Distance formula.) There exists s0 ě ξ such that for all s ě s0 there exist
constants K, C such that for all x, x1 P X ,
ÿ
((
1
dX px, x1 q —pK,Cq
dCW
p pπW pxq, πW px qq s .
W PS

px, x1 q

We often write σX ,s
to denote the right-hand side of Item (6); more generally,
given W P S, we denote by σW,s px, x1 q the corresponding sum taken over SW .
(7) (Large links.) There exists λ ě 1 such that the following holds. Let W P S and let
1
x, x1 P X . Let N “ λdCW
p pπW pxq, πW px qq ` λ. Then there exists tTi ui“1,...,tN u Ď
SW ´ tW u such that for all T P SW ´ tW u, either T P STi for some i, or
Ti
1
dCT
p pπT pxq, πT px qq ă s0 . Also, dCW
p pπW pxq, ρW q ď N for each i.
(8) (Bounded geodesic image.) For all W P S, all V P SW ´ tW u, and all geodesics
p , either diam p pρW pγqq ď B or γ X NE pρV q ‰ H for some uniform B, E.
γ of CW
V
W
CV
(9) (Realization.) For each κ there exists θe , θu such that the following holds. Let
p
CW
~b P ś
p of diameter at
have each coordinate correspond to a subset of CW
W PS 2
p –coordinate of ~b. Suppose that whenever
most κ; for each W , let bW denote the CW
V &W we have
(
V
W
min dCW
p pbW , ρW q, dCV
p pbV , ρV q ď κ

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

39

and whenever V Ď W we have
(
W
V
min dCW
p pbV Y ρV pbW qq ď κ.
p pbW , ρW q, diamCV
p
Then there the set of all x P X so that dCW
p pbW , πW pxqq ď θe for all CW P S is
non-empty and has diameter at most θu . (A tuple ~b satisfying the inequalities above
is called κ–consistent.)
(10) (Hierarchy paths.) There exists D ě 0 so that any pair of points in X can be
joined by a pD, Dq–quasi-geodesic γ with the property that, for each W P S, the
projection πW pγq is at Hausdorff distance at most D from any geodesic connecting
πW pxq to πW pyq. We call such quasi-geodesics hierarchy paths.
We say that the metric spaces tXi u are uniformly hierarchically hyperbolic if each Xi satisfies
the axioms above and all constants can be chosen uniformly.
Observe that a space X is hierarchically hyperbolic with respect to S “ H, i.e., hierarchically hyperbolic of complexity 0, if and only if X is bounded. Similarly, X is hierarchically
hyperbolic of complexity 1, with respect to S “ tX u, if and only if X is hyperbolic.
Remark 13.2 (Cube complexes with factor systems are hierarchically hyperbolic spaces).
In the case where X is a CAT(0) cube complex with a factor system, we take S to be a
subset of the factor system containing exactly one element from each parallelism class. We
p | W P Su to be the set of factored contact graphs of elements of S. All of the
take tCW
properties required by Definition 13.1 are satisfied: given U, V P S, we have U Ď V if and
only if U is parallel into V ; orthogonality is defined as in Section 10. The last condition
on orthogonality is satisfied since each element of a factor system is either unique in its
parallelism class or is contained in a hyperplane. The first two inequalities in Item (4) follow
from Proposition 10.7; the second two follow from the first two since each ρU
V is the image
of the convex subcomplex U P S under the projection πV . Finiteness of complexity follows
from the definition of a factor system (specifically, uniform local finiteness of the family of
factors). Item (6) is provided by Theorem 9.1, Item (7) by Proposition 9.4, Item (8) is
Proposition 8.20, Item (9) is Theorem 12.4, and Item (10) is Proposition 8.23. In order to
ensure that nesting and orthogonality are mutually exclusive, we require that elements of the
factor system S are not single points.
Remark 13.3. The Bounded Geodesic Image constant E from Definition 13.1 can be taken
to be 1 for cube complexes with factor systems, as well as for the mapping class group.
However, we allow an arbitrary (fixed) constant in the general definition for greater flexibility.
Remark 13.4. In the case of a factor system, the constant in Item (1) of Definition 13.1 is 1,
since points of X project to cliques in each factored contact graph. The constant in Item (2)
is ξ ` 2, where ξ is the constant from Definition 8.1. For simplicity, in Definition 13.1, we
use a single constant to fulfill both of these roles.
13.1. Product regions and standard boxes. Let X be a hierarchically hyperbolic space
ś
p
and let U P S. With κ0 as in Definition 13.1, we say that the tuple ~aĎ P W ĎU 2CW or
ś
p
~aK P W KU 2CW , is κ0 –consistent if the inequalities from Item (4) are satisfied for each pair
of coordinates aW and aV in the tuple with the relevant πW pxq term replaced by aW (and
similarly for V ).
ś
p
CW
Let ~aĎ and ~aK be κ0 –consistent. Let ~a P CW
be the tuple with aW “ ρU
p PS 2
W for each
W &U or U Ď W , and so that aW otherwise agrees with the relevant coordinate of ~aĎ or
~aK , depending on whether W Ď U or W KU . We claim that ~a is κ0 –consistent. Indeed, all
inequalities involving some W &U or U Ď W are satisfied because of the last three inequalities
in Definition 13.1.(4). Otherwise, if W Ď U or W KU , then, if V Ď W , we have that V, W are

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

40

either both nested into or both orthogonal to U , and in both cases the consistency inequality
holds by assumption.
Item 9 of Definition 13.1 (realization) combines with the above discussion to yield a natural
coarsely defined map φU : EU ˆFU Ñ X , where EU (resp. FU ) is the set of consistent elements
ś
ś
p
p
of W KU 2CW (resp. W ĎU 2CW ).
Remark 13.5. When X is a cube complex with a factor system S, the space FU can be taken
to be the subcomplex U P S, we can take EU to be the complex provided by Lemma 2.4,
and φU to be the inclusion, which is a cubical isometric embedding.
We will denote PU “ φU pEU ˆ FU q. In this context we define a gate, gPU : X Ñ PU , in the
following way. Given x P X , we let gPU pxq be a point that coarsely realizes the coordinates
aW “ πW pxq for W nested into or orthogonal to U and πW pxq “ ρU
W for W &U or U Ď W .
By Definition 13.1.(6) (distance formula), for each fixed U the subspaces φU pEU ˆ tbĎ uq
of X are pairwise uniformly quasi-isometric, and similarly for FU . Abusing notation slightly,
we sometimes regard EU as a metric space by identifying it with some φU pEU ˆ tbĎ uq,
and similarly for FU . Moreover, EU is a hierarchically hyperbolic space, with respect to
tV P S : V KU u Y tW u, where W is some non-maximal element of S into which each element
orthogonal to U is nested; and, similarly, FU is a hierarchically hyperbolic space with respect
to SU . It is straightforward to check that tEU uU PS are uniformly hierarchically hyperbolic
with respect to the index set described above, with constants depending only on the constants
for X .
Remark 13.6 (How to induct on complexity). Observe that if U is not Ď–maximal, then
any Ď–chain in SU is strictly contained in a Ď–chain of S, so that the complexity of FU is
strictly less than that of X . Moreover, by definition, there exists W P S, not Ď–maximal,
such that each V with V KU satisfies V Ď W . Hence EU has complexity strictly less than
that of X . We will make use of these observations when inducting on complexity in the proof
of Theorem 13.11.
A standard 1–box is a hierarchy path I Ñ FU where U P S. We then inductively define
a standard n–box to be a map of the kind ι : pB ˆ I Ď Rn´1 ˆ Rq Ñ X , with ιpb, tq “
φU pι1 pbq, γptqq where ι1 : B Ñ EU is a standard box and γ : I Ñ FU is a hierarchy path. It
is straightforward to show inductively that a standard box is a quasi-isometric embedding.
13.2. Results. The goal of this section is to establish the following three theorems:
Theorem 13.7. Let X be a hierarchically hyperbolic space. Then for every n P N and every
K, C, R0 , 0 the following holds. There exists R1 so that for any ball B Ď Rn of radius at least
R1 and f : B Ñ X a pK, Cq–quasi-Lipschitz map, there is a ball B 1 Ď B of radius R1 ě R0
such that f pB 1 q lies inside the 0 R1 –neighborhood of a standard box.
Remark. In Theorem 13.7, we do not require B, B 1 to be centered at the same point in Rn .
Theorem 13.8. Let X be a hierarchically hyperbolic space. Then for every simply connected
nilpotent Lie group N , with a left-invariant Riemannian metric, and every K, C there exists
R with the following property. For every pK, Cq–quasi-Lipschitz map f : B Ñ X from a ball
in N into X and for every h P N we have diampf pB X hrN , N sqq ď R. In particular, any
finitely generated nilpotent group which quasi-isometrically embeds into X is virtually abelian.
Theorem 13.9. Let X be a hierarchically hyperbolic space with respect to a set S. If there
exists a quasi-isometric embedding f : Rn Ñ X then n is bounded by the maximal cardinality
of a set of pairwise-orthogonal elements of S, and in particular by the complexity of X .

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

41

Notation 13.10. Let ω be a non-principal ultrafilter, which will be arbitrary, but fixed for
the rest of the paper. For a sequences of spaces pXm q, we denote their ultralimit limω Xm
by X, similarly for sequences of maps limω fm “ f , etc. For scaling constants, we will
have sequences of positive real numbers prm q; when comparing two such sequences we write
1 q if r ă r 1 for ω–a.e. m. Also, we write pr q ! pr 1 q if lim r 1 {r “ 8.
prm q ă prm
m
ω m m
m
m
m
Each of the above theorems follows from:
Theorem 13.11. Let tXm u be uniformly hierarchically hyperbolic spaces and let N be a
simply connected nilpotent Lie group endowed with a left-invariant Riemannian metric. Let
pfm : Bm Ñ Xm q be a sequence of quasi-Lipschitz maps with uniformly bounded constants,
1 . Then:
where Bm Ď N is a ball of radius rm
(1) For every ultralimit X of pXm q and corresponding ultralimit map f : B Ñ X , the
map f is constant along ultralimits of cosets of rN , N s.
0 q satisfy pr 0 q ! pr 1 q. Then there exist sequences
(2) Suppose that N is abelian and let prm
m
m
0 q ! pr q ď pr 1 q and Bpp , r q Ď B
ppm q and prm q with prm
m
m m
m so that the following
m
holds. Let X be the ultralimit of pXm q with scaling factor prm q and observation point
pf ppm qq and let B be the ultralimit of the sequence Bppm , rm q with observation point
ppm q and scaling factors prm q. Then there exists an ultralimit F of standard boxes so
that the ultralimit map f : B Ñ X satisfies f pBq Ď F .
We first deduce the other theorems from Theorem 13.11.
Proof of Theorem 13.7. Fix n, K, C, 0 , R0 ą 0. If the statement was false then there would
exist a sequence of maps fm : Bm Ñ X where
1 about 0 P Rn , each f is pK, Cq–quasi-Lipschitz and
‚ each Bm is a ball of radius rm
m
1
rm Ñ 8,
‚ no ball B 1 Ď Bm of radius R1 ě R0 is so that fm pB 1 q is contained in the 0 R1 –
neighborhood of a standard box.
In the notation of Theorem 13.11.(2), if ppm q is the observation point of B, then it is
readily checked that, ω–a.e., we have fm pBppm , rm qq Ď N0 rm pFm q, where r “ prm q, F “
1 {2. Letting s
pFm q. By the proof of Theorem 13.11.(2), we have that dRn ppm , 0q ď rm
m “
1
1
m
mintrm , rm {2u, and recalling that limω rm “ limω r “ `8, we have sm ě R0 ω–a.e.; thus
for sufficiently large m, taking B 1 “ Bppm , sm q contradicts the second item above.

Proof of Theorem 13.8. This follows directly from Theorem 13.11.(1). The statement about
nilpotent groups follows from the well-known fact that every finitely generated nilpotent
group is virtually a lattice in a simply-connected nilpotent Lie group. [Mal49]

Proof of Theorem 13.9. Using Theorem 13.11.(2), we see that some rescaled ultralimit f of
f maps an asymptotic cone of Rn , which is itself a copy of Rn , into a rescaled ultralimit of
standard boxes, whence the claim follows.

13.3. Proof of Theorem 13.11. We now complete the proofs of Theorems 13.7, 13.8,
and 13.9 by proving Theorem 13.11. Throughout, X is a hierarchically hyperbolic space;
below we use the notation from Definition 13.1.
Fix W P S and let γ : I Ñ FW be a hierarchy path: we now define the “projection” from
p -distance
X to γ. Roughly speaking, we map x P X to any point in γ that minimizes the CW
p
from x. Let β “ πW pγpIqq and let cβ : CW Ñ β be closest-point projection. Define a map
qγ : X Ñ γ as follows: for each z P β, let tpzq be an arbitrary point of γ so that πW ptpzqq “ z,
and then, for each x P X , let qγ pxq “ tpcβ pπW pxqqq.
Let PW denote the image in X of the restriction of φW to EW ˆ pim γq.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

42

Lemmas 13.12 and 13.13 accomplish in the hierarchically hyperbolic setting an analog of
a result in the mapping class group proven in [BM08, Theorems 3.4 and 3.5]; note that in
[BM08] the results are formulated in the asymptotic cone, rather than in the original space.
Lemma 13.12. Let pX , dq be a hierarchically hyperbolic space. There exists a constant ` ě 1
depending only on the constants from Definition 13.1 so that the following holds. Suppose
that γ : I Ñ FW is a hierarchy path connecting x to y and let M “ supU PSW ´tW u σU,s0 px, yq.
Let z P X and let R “ dX pz, PW q. Then
diamX pqγ pBpz, R{`qqq ď `M ` `.
Proof. For a suitable constant `, we will prove the following: given v, w P X , if dpqγ pvq, qγ pwqq ą
`M ` `, then any hierarchy path α from v to w intersects the `M –neighborhood of PW ; then
the the lemma will follow by increasing `.
p
First, fix a hierarchy path α from v to w. For ` large enough, the δ–hyperbolicity of CW
and the fact that α is a hierarchy path guarantee the existence of points t1 , t, t2 , appearing
in this order along α, so that:
(1) dCW
p pt, γq ď 2δ ` 2D,
(2) dCW
p pt, cβ pπW pvqqq, dCW
p pt, cβ pπW pwqqq ě 100δ ` 100D,
(3) dCW
pt,
t
q
ą
10κ
for
i P t1, 2u.
i
0
p
p –coordinate is κ–
Using Definition 13.1.(9) (Realization) we pick any t1 P PW whose CU
p –coordinate is κ–close to that of t
close to that of cβ ptq whenever U Ď W and whose CU
whenever U KW .

By choice of t1 and taking the threshold in the distance formula larger than κ we have
that any term in the distance formula contributing to dX pt, t1 q comes from some U P S
which is either nested in W or transverse to it. We will first argue that the latter terms are
uniformly bounded. This is because if U &W contributes to the distance formula with any
W
U
threshold ě κ0 `κ, we have dCU
p pρW , πW ptqq ď κ0 by the first
p pρU , πU ptqq ą κ0 and hence dCW
U
consistency inequality (see Definition 13.1.(4)). But then we also have dCW
p pρW , πW pti qq ą κ0
W
and hence again by the first consistency condition we have dCU
p pρU , πU pti qq ď κ0 . However,
since πW ˝ α is an unparameterized pD, Dq–quasi-geodesic and t lies between t1 and t2 , there
W
is a bound on dCU
p pρU , πU ptqq in terms of κ0 , D, δ only; this is the uniform bound we wanted.
From now on, we assume that the thresholds used in the distance formula exceed this bound.
We now know that σW,s pt, t1 q coarsely bounds dX pt, t1 q for any sufficiently large threshold s.
By Definition 13.1.(7) (Large Link Lemma), any term that contributes to σW,s0 pt, t1 q is
either W or an element of STi , for at most λp2δ ` 2D ` 1q elements Ti P SW ´ tW u, each
within distance λp2δ ` 2D ` 1q from πW ptq, where λ ě 1 is a uniform constant.
By Definition 13.1.(8) (Bounded Geodesic Image), applied to geodesics joining πW pvq to
πW pxq and from πW pwq to πW pyq (or vice versa), we have dCF
p pv, xq, dCF
p pw, yq ď B for any

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

43

F P STi . Since πF ptq is D–close to a geodesic from πF pvq to πF pwq for F P STi and similarly
for πF pt1 q with respect to πF pvq and πF pwq, we thus have
ÿ
ÿ
((
((
1
dCF
dCF
p px, yq s
p pt, t q s `2D`2B ď R
0

0

F PSTi

F PSTi

where R “ ps0 ` 2D ` 2Bq{s0 . Hence
σW,s0 `2D`2B pt, t1 q ď λp2δ`2D`1q`λp2δ`2D`1qR max
i

$
& ÿ
%

F PSTi

,
(( .
dCF
ď `1 M ``1 .
p px, yq s0
-

We hence get dX pt, t1 q ď `M , as required.



Lemma 13.13. Let tXm u be uniformly hierarchically hyperbolic spaces, with respect to tSm u,
and let X be an ultralimit of pXm q. Also, let x, y be distinct points of X . Then there exists
an ultralimit FU of the seqeunce pFUm q, an ultralimit γ of hierarchy paths γm , contained in
FU and connecting distinct points x1 , y 1 , and a Lipschitz map q γ : X Ñ γ such that
(1) q γ pxq “ x1 , q γ pyq “ y 1 ;
(2) q γ restricted to P U is the projection on the first factor, where P U – E U ˆ γ is an
ultralimit of pPUm q;
(3) q γ is locally constant outside P U .
Proof. We first claim that there exist Um P Sm so that
(1) limω s1m σUm ,s0 pxm , ym q ą 0,
1 PS
(2) for any Um
Um ´ tUm u, we have limω

1
1
sm σUm ,s0 pxm , ym q

“ 0.

p m q satisfying the first property, by the distance
In fact, since x ‰ y, there exists some pCU
p m q satisfies the first property
formula and the existence of a Ď–maximal element. Also, if pCU
p m q satisfying the first
but not the second one, then by definition we have a sequence pCV
property and so that each Vm is ω–a.e. properly nested into Um . By Definition 13.1.(5), in
finitely many steps we find pUm q with the desired property.
1 “ g
Now let γm be a hierarchy path in FUm connecting x1m “ gPUm pxm q to ym
PUm pym q.
We can define q γ to be the ultralimit of the maps qγm as in Lemma 13.12, and all properties
are easily verified.

Proof of Theorem 13.11. The main task is to prove Theorem 13.11.(2). Along the way we
will point out how to adapt the first part of the argument to obtain Theorem 13.11.(1).
We will prove the proposition by induction on complexity, the base case being that of
complexity 0, where the distance formula implies that every ultralimit of pXm q is a point.
1 q and an ultralimit map f 1 : B 1 Ñ
Consider the ultralimit X 1 of pXm q with scaling factor prm
1
X . (For 13.11.(1), we don’t restrict the choice of scaling factors used in forming X 1 .)
If f 1 pB 1 q is a single point, then the conclusion is immediate. Hence, consider x ‰ y
in f 1 pB 1 q. Let γ, U , x1 , y 1 and q γ : X 1 Ñ γ be as in Lemma 13.13. In the situation of
13.11.(1), towards a contradiction, we pick x ‰ y in the same ultralimit of cosets of rN , N s,
which we can do if N is not abelian. It follows by Pansu’s Differentiability Theorem [Pan89,
Theorem 2], which applies because the asymptotic cones of N are Carnot groups [Pan83],
that every Lipschitz map from B 1 to R is constant along cosets of rN , N s; this contradicts
the properties of q γ established in Lemma 13.13 when N is not abelian. Theorem 13.11.(1) is
hence proven, and from now on we focus exclusively on Theorem 13.11.(2). By Rademacher’s
1 q so that g “ q ˝ f 1 is differentiable at p and the differTheorem there exists ppm q P pBm
γ
γ
1 {2. In particular Bpp , r 1 {2q Ď B . Abusing notation
ential is nonzero and dRn ppm , 0q ď rm
m m
m

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

44

slightly, we are regarding γ as an interval in R.
Claim 1. For every  ą 0 there exists l ą 0 so that for any l ď l we have that f 1 pBpp, lqq
is contained in the l–neighborhood of P U .
Proof of Claim 1. We identify a neighborhood of p with a neighborhood of 0 in Rn .
We know that there exists a linear function A so that for any v1 and v2 in this neighborhood
we have |g γ pv1 q´g γ pv2 q| “ |Apv2 ´v1 q|`opmaxt}v1 }, }v2 }uq. Moreover, consider v of norm 1
and set Av “ θ ą 0. Given any v1 with dpf 1 pv1 q, E U ˆ γq ě }v1 }, then, since f 1 is K–
1}
Lipschitz and q γ is constant outside E U ˆγ, we have g γ pv1 q “ g γ pv2 q, where v2 “ v1 ` }v
K v.
Hence
θ}v1 }
0 “ |g γ pv1 q ´ g γ pv2 q| “
` opp1 ` {Kq}v1 }q
K
which cannot happen for }v1 } small enough depending on .

2 q with pr 0 q ď pr 2 q ! pr 1 q so that for all pr q with pr 2 q !
Claim 2. There exists prm
m
m
m
m
m
1
prm q ! prm q we have f pBq Ď E U 1 ˆ γ 1 , where B is the ultralimit of pBm q with observation
point ppm q and scaling factor prm q.

Claim 2 follows from Claim 1 by an application of the principle from nonstandard analysis
called underspill, nonetheless, we provide a proof in the interest of self-containment.
Proof of Claim 2. In view of Claim 1, there exists a function  : N Ñ R` so that pkq Ñ 0 as
k Ñ 8 and so that for every k the set Ak Ď N defined below satisfies ωpAk q “ 1,
1
Ak “ tm|fm pBppm , rm
{2k qq Ď Npkqrm
1 {2k pEUm ˆ γm qu.
Ş
Let kpmq “ maxtk ď m : m P iďk Ai u, which by the above is well-defined ω–a.e. and
1 {2k qq Ď
satisfies limω kpmq “ 8. By definition of kpmq, for ω–a.e. m we have fm pBppm , rm
Npkqrm
1 {2k pEUm ˆ γm q for every k ď kpmq.
2 q “ maxtpr 0 q, pr 1 {2kpmq qu. We claim that if pr 2 q ! pr q ! pr 1 q, then the result
Let prm
m
m
m
m
m
holds for the scaling factor prm q. To do this, we show for each j P N that ωpA1j q “ 1, where:

A1j “ tm|fm pBppm , jrm qq Ď Nrm {j pEUm ˆ γm qu.
1

1

1 {2k pmq`1 ă jr
1
k pmq . For ω–a.e. m we
Fix j. For a given m, let k 1 pmq satisfy rm
m ď rm {2
1 {2kpmq q. In particular for ω–a.e. m we have:
have k 1 pmq ď kpmq since prm q " prm
1

1
fm pBppm , jrm qq Ď fm pBppm , rm
{2k pmq qq Ď Npk1 pmqqr1 {2k1 pmq pEUm ˆγm q Ď N2pk1 pmqqjrm pEUm ˆγm q.
m

Since prm q !
claim follows.

1 q,
prm

we have limω

k 1 pmq

“ 8, and hence 2pk 1 pmqq ď 1{j 2 for ω–a.e. m; the


2 q
By induction on complexity, enabled by Remark 13.6, we know that for some prm q " prm
1
the ultralimit g of gm “ gEUm ˝ fm maps B into some ultralimit F of standard boxes,
whence it is readily deduced that f pBq is contained in the ultralimit F 1 ˆ γ 1 of standard
1 {2, the ultralimit B contains the required ultralimit of
boxes. Note that provided rm ď rm
pBppm , rm qq.
˝

14. Acylindricity
Definition 14.1 (Automorphism of a hierarchically hyperbolic space). Let X be a hierarchically hyperbolic space, with respect to S. An automorphism g of pX , Sq is a bijection
p Ñ CpgU
p
g : S Ñ S and a collection tgU : CU
q : U P Su of isometries such that for all
gU
U
U, V P S we have gV pρV q “ ρgV and such that g preserves K, Ď, and &.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

45

By Definition 13.1.(6),(9), every automorphism g of S induces a quasi-isometry φg : X Ñ
X with uniformly bounded constants. Such a quasi-isometry φg can be described as follows.
For x P X and U P S, πgU pφg pxqq coarsely coincides with gU pπU pxqq. When it will not
introduce confusion, we will use the notation “g” for the quasi-isometry φg as well as for
the element g P AutpSq. In the remainder of this section, we are interested in the situation
where the action of G on X by uniform quasi-isometries is proper and cocompact.
Let S “ SpX , Sq be the unique Ď–maximal element and consider G ď AutpSq. Since
p for
each g P G preserves the nesting relation, G fixes S, and hence gS is an isometry of CS
each g P G. Note that this action coarsely preserves the union of the sets in πS pX q.
p is the
Remark 14.2. When X is a cube complex with a factor system, S “ X and CS
p0q
p
CX
p . The union of sets in the image of πX : X Ñ 2
is coarsely
factored contact graph CX
p
equal to CX , by the definition of πX .
Theorem 14.3. Let the group G ď AutpSq act properly and cocompactly on the hierarchically hyperbolic space X and let S be the unique Ď–maximal element of S. Then
for all  ą 0, there exist constants R, N such that there are at most N elements g P
G such that dCS
p pπS pxq, πS pgxqq ă , dCS
p pπS pyq, πS pgyqq ă  whenever x, y P X satisfy
dCS
p pπS pxq, πS pyqq ě R.
Before proving Theorem 14.3, we note two corollaries. Recall that the action of the group
G on the metric space pM, dq is acylindrical if for all  ą 0, there exist constants R, N such
that there are at most N elements g P G such that dpx, gxq ă , dpy, gyq ă  whenever
x, y P M satisfy dpx, yq ě R. (Note that if M is bounded, then any action on M is automatically acylindrical. In particular, if X is a cube complex decomposing as the product
of unbounded subcomplexes and G acts geometrically on X , then the action of G on CX is
trivially acylindrical.)
Corollary 14.4 (Acylindrical hyperbolicity). Let G ď AutpSq act properly and cocompactly
on the hierarchically hyperbolic
space X . Then G acts acylindrically on a hyperbolic space
Ť
quasi-isometric to U “ xPX πS pxq. In particular, if U is unbounded and G is not virtually
cyclic, then G is acylindrically hyperbolic.
p be the union of all sets of the form πS pxq
Proof. Let S be as in Theorem 14.3. Let T0 Ď CS
with x P X , together with all of their G–orbits, so that T0 is G–invariant and coarsely equal to
the union of the elements of πS pX q. Definition 13.1.(10) thus ensures that T0 is quasiconvex
p so that we can add geodesics of CS
p to T0 to form a G–hyperbolic
in the hyperbolic space CS,
space T that is G–equivariantly quasi-isometric to the union of the elements of πS pX q. The
action of G on T is thus acylindrical by Theorem 14.3.

In the cubical case, acylindricity can be witnessed by the contact graph instead of the
factored contact graph.
Corollary 14.5. Let G act properly and cocompactly on the CAT(0) cube complex X , and
p ,
suppose that X contains a G–invariant factor system. Then G acts acylindrically on CX
and hence on CX .
p is acylindrical by TheoProof. For any G–invariant factor system F, the action of G on CX
rem 14.3 and Remarks 13.2 and 14.2. Let F be a factor-system in X and let ξ be the constant
for F from Definition 8.1. Let F0 be the smallest set of convex subcomplexes of X that contains X and each subcomplex parallel to a combinatorial hyperplane, and has the property
that gF pF 1 q P F0 whenever F, F 1 P F0 and diampgF pF 1 qq ě ξ. By definition, F0 Ď F, so F0
has bounded multiplicity and thus F0 is a factor system. The associated factored contact

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

46

graph of X , on which G acts acylindrically, is G–equivariantly quasi-isometric to CX , and
the result follows.

Proof of Theorem 14.3. Fix  ą 0, and for convenience assume that it is 100 times larger
than all the constants in Definition 13.1. Let R0 ě 1000 and consider x, y P X such that
R “ dCS
p pπS pgxq, πS pxqq ă
p pπS pxq, πS pyqq ě R0 , and let H be the set of all g P G such that dCS
 and dCS
pπ
pgyq,
π
pyqq
ă
.
S
S
p
We will consider, roughly speaking, the set of all U P S so that x, y project far away in
U , the corresponding ρU
S is near the middle of a geodesic from πS pxq to πS pyq, and U is
Ď–maximal with these properties. We do so because these U correspond to product regions
“in the middle” between x and y. Formally, let L1 be the set of all U P S ´ tSu with the
following properties:
(1) dCU
p pπU pxq, πU pyqq ą ;
R
U
(2) |dCS
p pπS pxq, ρS q ´ 2 | ď 10;
(3) U is not properly nested into any U 1 P S ´ tSu with dCU
p 1 pπU 1 pxq, πU 1 pyqq ą .
When applying an element g that moves x, y a bounded amount, any U P L1 gets moved
to some gU with similar properties but slightly worse constants. To capture this, we let L2
be the set of all U P S ´ tSu such that:
(1) dCU
p pπU pxq, πU pyqq ą {2;
R
U
(2) |dCS
p pπS pxq, ρS q ´ 2 | ď 11;
(3) U is not properly nested into any U 1 P S ´ tSu with dCU
p 1 pπU 1 pxq, πU 1 pyqq ą 2.
Bounding |L2 |: Consider a hierarchy path γ from x to y. Then there are x1 , y 1 on γ so that
1
1
‚ dCS
p pπS px q, πS py qq ď 23, and
R
U
‚ whenever U P S ´ tSu is so that dCU
p pπU pxq, πU pyqq ą {2 and |dCS
p pπS pxq, ρS q ´ 2 | ď
1
1
11, then dCU
p pπU px q, πU py qq ą s0 (recall that s0 is the minimal threshold of the
Distance Formula).
The existence of x1 , y 1 follows since we can choose x1 and y 1 projecting close to points on
p
a CS–geodesic
from πS pxq to πS pyq that lie on opposite sides of the midpoint, at distance
slightly larger than 11 from the midpoint. Bounded Geodesic Image (Definition 13.1.(8))
guarantees that the second condition holds because it ensures that πU pxq, πU pyq coarsely
coincide with πU px1 q, πU py 1 q (recall that  is much larger than s0 and all other constants in
Definition 13.1).
By Definition 13.1.(7) (Large Link Lemma), with W “ S and x, x1 replaced by x1 , y 1 , each
U P L2 is nested into one of at most 23λ ` λ elements T of S. For p as in the Claim
below, the number of U P L2 nested into the same such T is bounded by p, for otherwise
some U (the Ui in the conclusion of the Claim) would fail to satisfy the third property in the
definition of L2 . Hence |L2 | ď pλp23 ` 1q.
Claim. There exists p with the following property. Let T P S, let x, y P X , and let
1
tUi upi“1 Ď ST be distinct and satisfy dCU
p i pπUi pxq, πUi pyqq ě . Then there exists U P ST
1
and i so that Ui Ĺ U and dCU
p 1 pπU 1 pxq, πU 1 pyqq ą 2.
Proof of Claim. Define the level of Y P S to be the maximal k so that there exists a Ď–chain
of length k in SY . The proof is by induction on the level k of a Ď–minimal T 1 P ST into
which each Si is nested. For the base case k “ 1 it suffices to take p “ 2 since in this case
there is no pair of distinct U1 , U2 P ST 1 .
Suppose that the statement holds for a given ppkq when the level of T 1 is at most k.
Suppose further that |tUi u| ě ppk ` 1q (where ppk ` 1q is a constant much larger than ppkq

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

47

that will be determined shortly) and there exists a Ď–minimal T 1 P ST of level k ` 1 into
which each Ui is nested. There are two cases.
If dCT
p 1 pπT 1 pxq, πT 1 pyqq ą 2, then we are done (for p ě 2). If not, then Definition 13.1.(7)
(Large Link Lemma) yields K and T1 , . . . , TK , each properly nested into T 1 (and hence of
level ď k), so that any given Ui is nested into some Tj . In particular, if ppk ` 1q ě Kppkq,
there exists j so that at least ppkq elements of tUi u are nested into Tj . By the induction
hypothesis and Definition 13.1.(5) (Finite Complexity), we are done.

L1 ‰ H case: Suppose that there exists U P L1 . In this case the idea is that there actually
are product regions in the middle between x, y, and the action of an element moving x, y not
too much permutes the gates into such product regions, so that there cannot be too many
such elements.
First of all, our choice of R0 and Definition 13.1.(8) (Bounded Geodesic Image) ensure
that for all g P H, we have gU P L2 . Indeed, if U P L1 then dCgU
p pπgU pxq, πgU pyqq ě
dCgU
p pπgU pgxq, πgU pgyqq ´ 2B ě  ´ 2B ą {2, ensuring the first property in the definition
of L2 . The second property follows from the fact that πS pxq gets moved distance ď  by g,
and the third property holds for gU because otherwise, using Bounded Geodesic Image, we
would find a contradiction with the third property of U from the definition of L1 .
Fix any g P H and let P1 “ EU ˆFU , P2 “ EgU ˆFgU be the spaces provided by Section 13.1.
We claim that dX pggP1 pxq, gP2 pxqq is uniformly bounded. From this, properness of the action
and the bound on |L2 | yield a bound on |H|.
Clearly, ggP1 pxq coarsely coincides with gP2 pgxq, since coordinates of gates are defined
equivariantly. Hence we must show that w “ gP2 pgxq coarsely coincides with z “ gP2 pxq.
By Definition 13.1.(6) (Distance Formula), it suffices to show that the projections of w
p for Y P S. By definition of gP , it suffices to consider
and z coarsely coincide in every CY
2
Y P S which is either nested into or orthogonal to gU . For such Y , ρYS coarsely coincides
with ρgU
S by the final part of Definition 13.1.(4) (Transversality and consistency). Moreover,
any geodesic from x to gx stays far from ρYS , so that Definition 13.1.(8) (Bounded Geodesic
Image) gives a uniform bound on dCY
p pπY pxq, πY pgxqq, as required.
L1 “ H case: Suppose now that L1 “ H. In this case, the idea is that a hierarchy path
from x to y does not spend much time in any product region near the middle, and hence it
behaves like a geodesic in a hyperbolic space. Fix a hierarchy path γ in X joining x, y and
R
let p P γ satisfy |dCS
p pπS ppq, πS pxqq ´ 2 | ď . We will produce a constant M3 , depending on
the constants from Definition 13.1 and on  such that dX pp, gpq ď M3 . It will then follow
that |H| is bounded in view of properness of the action of G on X .
We now bound dX pp, gpq using the distance formula. First, note that dCS
p pπS ppq, πS pgpqq ď
p
10δ `  (where δ is the hyperbolicity constant of CS).
If U P S contributes to the sum σX ,s0 pp, gpq with threshold s0 , then, given the bound
U
on dCS
p pp, gpq and Bounded Geodesic Image, dCS
p pπS ppq, ρS q ď 2. Fix now any U satisfying
U
dCS
p pπS ppq, ρS q ď 2. Our goal is now to bound dCU
p pπU ppq, πU pgpqq uniformly. It follows from
the assumption that L1 “ H that dCU
p pπU pxq, πU pyqq ď 3, and also dCU
p pπU pgxq, πU pgyqq “
pπ
pxq,
π
pyqq
ď
3.
Indeed,
if,
say,
U
satisfied
d
pπ
pxq,
πU pyqq ą 3, then
dCg
´1
´1
U
p ´1 U g U
p
g U
CU
1
1
either U or some other U with dCU
p 1 pπU 1 pxq, πU 1 pyqq ą  and U Ď U would belong to L1 ,
1
1
U1
since for U Ď U and U ‰ S, the sets ρU
S and ρS coarsely coincide.
Since γ is a hierarchy path, dCU
p pπU pxq, πU ppqq and dCU
p pπU pgxq, πU pgpqq are bounded by
dCU
pπ
pxq,
π
pyqq`2D
and
d
pπ
pgxq,
π
pgyqq`2D,
respectively,
which are both bounded
U
U
U
U
p
p
CU
by, say, 4. Hence, dCU
p pπU ppq, πU pgpqq ď 9 ` dCU
p pπU pxq, πU pgxqq (where the diameters of

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

48

the projection sets are taken care of by the extra ), and the last term is uniformly bounded
by Bounded Geodesic Image. We then get the desired bound, concluding the proof.

Corollary 14.6. Let G ď AutpSq act properly and cocompactly on the hierarchically hyperbolic space X . Let g, h P G be hyperbolic on the maximal S P S and satisfy g n h ‰ hg n , hn g ‰
ghn for all n ‰ 0. Then there exists N ą 0, depending on g and h, such that xg N , hN y is
freely generated by g N , hN .
Proof. By Corollary 14.4, G acts acylindrically on a hyperbolic space, whence the claim
follows from [Fuj08, Proposition 2.4].

In particular, when G acts properly and cocompactly on a CAT(0) cube complex with a
factor system, e.g., when G is compact special, the conclusion of Corollary 14.6 is satisfied.
Thus acylindricity can be used to find free subgroups of groups acting on cube complexes
by different means than are used in the discussion of the Tits alternative [CS11, SW05].
The above corollary recovers Theorem 47 of [KK14] about subgroups of right-angled Artin
groups generated by powers of elements acting loxodromically on the extension graph once
we observe, as in [KK14], that there is a quasi-isometry from the extension graph to the
contact graph (whenever the right-angled Artin group does not have a free Z factor).
In the case X is a uniformly locally finite cube complex, not necessarily equiped with a
factor system, one can obtain the same conclusion, provided g, h P AutpX q act loxodromically
on CX , by a ping-pong argument.
References
[Ago13]

Ian Agol. The virtual Haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason
Manning). Doc. Math., J. DMV, 18:1045–1087, 2013.
[BBFa]
M. Bestvina, K. Bromberg, and K. Fujiwara. Bounded cohomology via quasi-trees.
arXiv:1306.1542.
[BBFb]
Mladen Bestvina, Kenneth Bromberg, and Koji Fujiwara. Constructing group actions on quasitrees and applications to mapping class groups. arXiv:1006.1939.
[BC08]
H.-J. Bandelt and V. Chepoi. Metric graph theory and geometry: a survey. In J. E. Goodman,
J. Pach, and R. Pollack, editors, Surveys on Discrete and Computational Geometry: Twenty
Years Later, volume 453, pages 49–86. Contemp. Math., AMS, Providence, RI, 2008.
[BC12]
J. Behrstock and R. Charney. Divergence and quasimorphisms of right-angled Artin groups.
Math. Ann., 352:339–356, 2012.
[BCM12]
Jeffrey F. Brock, Richard D. Canary, and Yair N. Minsky. The classification of Kleinian surface
groups, II: The ending lamination conjecture. Ann. of Math. (2), 176(1):1–149, 2012.
[Beh06]
J. Behrstock. Asymptotic geometry of the mapping class group and Teichmüller space. Geometry
& Topology, 10:2001–2056, 2006.
[BF]
M. Bestvina and M. Feighn. Subfactor projections. J. of Topology. To appear.
[BF02]
M. Bestvina and K. Fujiwara. Bounded cohomology of subgroups of mapping class groups. Geometry & Topology, 6:69–89 (electronic), 2002.
[BH16]
J. Behrstock and M.F. Hagen. Cubulated groups: thickness, relative hyperbolicity, and simplicial
boundaries. Geometry, Groups, and Dynamics, 10(2):649–707, 2016. arXiv:1212.0182.
[BHS15]
J. Behrstock, M.F. Hagen, and A. Sisto. Hierarchically hyperbolic spaces II: combination theorems and the distance formula. arXiv:1509.00632, 2015.
[BKMM12] Jason Behrstock, Bruce Kleiner, Yair Minsky, and Lee Mosher. Geometry and rigidity of mapping
class groups. Geom. Topol, 16(2):781–888, 2012.
[BKS]
M. Bestvina, B. Kleiner, and M. Sageev. Quasiflats in CAT p0q complexes. arXiv:0804.2619.
[BM00]
Marc Burger and Shahar Mozes. Lattices in product of trees. Inst. Hautes Études Sci. Publ.
Math., 92(1):151–194, 2000.
[BM02]
Marc Burger and Nicolas Monod. Continuous bounded cohomology and applications to rigidity
theory. Geometric and Functional Analysis, 12(2):219–280, 2002.
[BM08]
Jason A Behrstock and Yair N Minsky. Dimension and rank for mapping class groups. Annals of
Mathematics, 167:1055–1077, 2008.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

[Bow08]
[Bro03]
[BW13]
[CD95]

[CH13]
[Cha07]
[Che00]
[CM09]
[CN05]
[CS11]
[Dav08]
[Dru02]
[Dur]
[EMR]
[Fuj08]
[Hag08]
[Hag13]
[Hag14]
[Ham]
[HP13]
[Hua]
[Hum]
[HW08]
[HW14]
[Iva97]
[KK13]
[KK14]
[Kle99]
[KM09]
[Mal49]
[Man05]
[MM99]

49

Brian H Bowditch. Tight geodesics in the curve complex. Inventiones mathematicae, 171(2):281–
300, 2008.
Jeffrey Brock. The weil-petersson metric and volumes of 3-dimensional hyperbolic convex cores.
Journal of the American Mathematical Society, 16(3):495–535, 2003.
Nicolas Bergeron and Daniel T. Wise. A boundary criterion for cubulation. Amer. J. Math., 2013.
Ruth Charney and Michael W. Davis. Finite Kpπ, 1qs for Artin groups. In Prospects in topology
(Princeton, NJ, 1994), volume 138 of Ann. of Math. Stud., pages 110–124. Princeton Univ. Press,
Princeton, NJ, 1995.
Victor Chepoi and Mark F. Hagen. On embeddings of CAT(0) cube complexes into products of
trees via colouring their hyperplanes. J. Combin. Theor., Ser. B, 103(4):428 – 467, 2013.
Ruth Charney. An introduction to right-angled artin groups. Geometriae Dedicata, 125:141–158,
2007.
Victor Chepoi. Graphs of some CATp0q complexes. Adv. in Appl. Math., 24(2):125–179, 2000.
Pierre-Emmanuel Caprace and Nicolas Monod. Isometry groups of non-positively curved spaces:
structure theory. Journal of Topology, pages 661Ð–700, 2009.
Indira Chatterji and Graham Niblo. From wall spaces to CATp0q cube complexes. Internat. J.
Algebra Comput., 15(5-6):875–885, 2005.
Pierre-Emmanuel Caprace and Michah Sageev. Rank rigidity for CAT(0) cube complexes. Geom.
Funct. Anal., 21:851–891, 2011.
Michael W. Davis. The geometry and topology of Coxeter groups, vol. 32 of London Mathematical
Society Monographs Series. Princeton University Press, 2008.
Cornelia Druţu. Quasi-isometry invariants and asymptotic cones. International Journal of Algebra
and Computation, 12(01n02):99–135, 2002.
Matthew Durham. The augmented marking complex of a surface. arXiv:1309.4065.
Alex Eskin, Howard Masur, and Kasra Rafi. Large scale rank of Teichmuller space.
arXiv:1307.3733.
Koji Fujiwara. Subgroups generated by two pseudo-anosov elements in a mapping class group. i.
uniform exponential growth. Advanced Studies in Pure Mathematics, 20, 2008.
Frédéric Haglund. Finite index subgroups of graph products. Geometriae Dedicata, 135(1):167–
209, 2008.
Mark F. Hagen. The simplicial boundary of a CAT(0) cube complex. Alg. Geom. Topol., 13:1299–
1367, 2013.
Mark F. Hagen. Weak hyperbolicity of cube complexes and quasi-arboreal groups. J. Topol.,
7(2):385–418, 2014.
U. Hamenstädt. Geometry of the mapping class groups III: Quasi-isometric rigidity.
arXiv:math.GT/0512429.
Mark F. Hagen and Piotr Przytycki. Cocompactly cubulated graph manifolds. To appear in Isr.
J. Math. arXiv:1310.1309, 2013.
Jingyin Huang. Top dimensional quasiflats in CAT(0) cube complexes. arXiv:1410.8195.
David Hume. Embedding mapping class groups into finite products of trees. arXiv:1207.2132.
Frédéric Haglund and Daniel T. Wise. Special cube complexes. Geom. Funct. Anal., 17(5):1
551–1620, 2008.
Mark F. Hagen and Daniel T. Wise. Cubulating hyperbolic free-by-cyclic groups: the general
case. To appear in GAFA, 2014.
Nikolai V. Ivanov. Automorphism of complexes of curves and of Teichmüller spaces. International
Mathematics Research Notices, 1997(14):651–666, 1997.
Sang-hyun Kim and Thomas Koberda. Embedability between right-angled Artin groups. Geometry & Topology, 17:493–530, 2013.
Sang-Hyun Kim and Thomas Koberda. The geometry of the curve graph of a right-angled Artin
group. International Journal of Algebra and Computation, 24(02):121–169, 2014.
Bruce Kleiner. The local structure of length spaces with curvature bounded above. Mathematische
Zeitschrift, 231(3):409–456, 1999.
Jeremy Kahn and Vladimir Markovic. Immersing almost geodesic surfaces in a closed hyperbolic
three manifold. Ann. Math., 175:1127–1190, 2009.
A. I. Mal1 cev. On a class of homogeneous spaces. Izvestiya Akad. Nauk. SSSR. Ser. Mat., 13:9–32,
1949.
Jason Fox Manning. Geometry of pseudocharacters. Geometry and Topology, 9:1147–1185, 2005.
Howard A Masur and Yair N Minsky. Geometry of the complex of curves I: Hyperbolicity. Inventiones mathematicae, 138(1):103–149, 1999.

HIERARCHICALLY HYPERBOLIC SPACES I: CURVE COMPLEXES FOR CUBICAL GROUPS

[MM00]
[Mon01]
[MS]
[MT14]
[NR03]
[NS13]
[Osi14]
[Pan83]
[Pan89]
[Pau01]
[Raf07]
[RW]
[Sag95]
[Sco78]
[Sis13]
[SS]
[SW05]
[Tay]
[Thu88]
[Whi49a]
[Whi49b]
[Wis]
[Wis04]
[Wis07]
[Wis11]

50

Howard A Masur and Yair N Minsky. Geometry of the complex of curves II: Hierarchical structure. Geometric and Functional Analysis, 10(4):902–974, 2000.
Nicolas Monod. Continuous bounded cohomology of locally compact groups. Number 1758.
Springer, 2001.
P. Mathieu and A. Sisto. Deviation inequalities for random walks. arXiv:1411.7865.
Joseph Maher and Giulio Tiozzo. Random walks on weakly hyperbolic groups. arXiv:1410.4173,
2014.
G. A. Niblo and L. D. Reeves. Coxeter groups act on CATp0q cube complexes. J. Group Theory,
6(3):399–413, 2003.
Amos Nevo and Michah Sageev. The poisson boundary of cat (0) cube complex groups. Groups,
Geometry, and Dynamics, 7(3):653–695, 2013.
D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc., to appear, 2014.
Pierre Pansu. Croissance des boules et des géodésiques fermées dans les nilvariétés. Ergodic
Theory Dynam. Systems, 3(3):415–445, 1983.
Pierre Pansu. Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de
rang un. Annals of Mathematics, pages 1–60, 1989.
Scott D. Pauls. The large scale geometry of nilpotent Lie groups. Comm. Anal. Geom., 9(5):951–
982, 2001.
Kasra Rafi. A combinatorial model for the teichmüller metric. GAFA Geometric And Functional
Analysis, 17(3):936–959, 2007.
Kim Ruane and Stefan Witzel. CAT(0) cubical complexes for graph products of finitely generated
abelian groups. arXiv:1310.8646.
Michah Sageev. Ends of group pairs and non-positively curved cube complexes. Proc. London
Math. Soc. (3), 71(3):585–617, 1995.
Peter Scott. Subgroups of surface groups are almost geometric. Journal of the London Mathematical Society, 2(3):555–565, 1978.
Alessandro Sisto. Projections and relative hyperbolicity. Enseign. Math. (2), 59(1-2):165–181,
2013.
L. Sabalka and D. Savchuk. Submanifold projection. arXiv:1211.3111.
Michah Sageev and Daniel T. Wise. The Tits alternative for CAT(0) cubical complexes. Bull.
London Math. Soc., 37:706–710, 2005.
Samuel J. Taylor. Right-angled Artin groups and OutpFn q I: quasi-isometric embeddings. Groups,
Geometry, and Dynamics. To appear.
William P Thurston. On the geometry and dynamics of diffeomorphisms of surfaces. Bulletin of
the American Mathematical Society, 19(2):417–431, 1988.
J. H. C. Whitehead. Combinatorial homotopy. I. Bull. Amer. Math. Soc., 55:213–245, 1949.
J. H. C. Whitehead. Combinatorial homotopy. II. Bull. Amer. Math. Soc., 55(5):453–496, 1949.
Daniel T. Wise. The structure of groups with a quasiconvex hierarchy. 205 pp. Preprint 2011.
Daniel T. Wise. Cubulating small cancellation groups. GAFA, Geom. Funct. Anal., 14(1):150–
214, 2004.
Daniel T Wise. Complete square complexes. Commentarii Mathematici Helvetici, 82(4):683–724,
2007.
Daniel T. Wise. From riches to RAAGs: 3-manifolds, right-angled Artin groups, and cubical
geometry. In Lecture notes, NSF-CBMS Conference, CUNY Graduate Center, New York, August
2011.

Lehman College and The Graduate Center, CUNY, New York, New York, USA
Current address: Barnard College, Columbia University, New York, New York, USA
E-mail address: jason@math.columbia.edu
U. Michigan, Ann Arbor, Michigan, USA
E-mail address: markfhagen@gmail.com
ETH, Zürich, Switzerland
E-mail address: sisto@math.ethz.ch

