Algebraic characterisations of negatively-curved special
groups and applications to graph braid groups
Anthony Genevois
September 6, 2017

arXiv:1709.01258v1 [] 5 Sep 2017

Abstract
In this paper, we introduce a combinatorial formalism to study (virtually) special
groups, introduced by Haglund and Wise. As a first application, we recover a result due to
Caprace and Haglund: if the universal cover of a compact special cube complex X contains
an n-dimensional flat, then π1 (X) contains a subgroup isomorphic to Zn . This implies that
a virtually special group is hyperbolic if and only if it does not contain Z2 . As a second
application, we characterize algebraically the acylindrical hyperbolicity of virtually special
groups. More precisely, a virtually special group (which is not virtually cyclic) turns out
to be acylindrically hyperbolic if and only if it does not virtually split as a direct product
of two infinite groups if and only if it contains an infinite-order element whose centraliser
is virtually cyclic. Finally, we prove that a special group is relatively hyperbolic if and
only if it contains a finite collection of proper subgroups which is malnormal and such
that any non cyclic abelian subgroup is included into a conjugate of some subgroup of
this collection. As a consequence, it follows that a special group is hyperbolic relatively to
abelian subgroups if and only if it does not contain F2 × Z. In the second part this paper,
applications of our formalism to graph braid groups are given.

Contents
1 Introduction

2

2 Nonpositively-curved cube complexes

6

3 Formalism: special colorings

10

4 Embedding into a right-angled Artin group

14

5 Periodic flats

16

6 Cartesian decomposition

18

7 Rank-one isometries

19

8 Malnormal subgroups and relative hyperbolicity

23

9 Applications to graph braid
9.1 Cubical geometry . . . . .
9.2 Gromov hyperbolicity . .
9.3 Acylindrical hyperbolicity
9.4 Relative hyperbolicity . .

groups
. . . . .
. . . . .
. . . . .
. . . . .

References

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

31
31
36
40
44
51

1

1

Introduction

The fundamental observation of the geometric group theory is that there exists a strong
link between the algebraic properties of a given group and its geometric properties.
Among the first historical results motivating this idea, one can mention Stallings’ theorem stating that a finitely generated group has at least two ends if and only if it splits non
trivially over a finite subgroup; and Gromov’s theorem stating that a finitely generated
group has polynomial growth if and only if it is virtually nilpotent. These results are even
stronger: they characterize exactly and purely algebraically some geometric properties.
In the same spirit, the goal of this paper is to state and prove algebraic characterizations
of negatively curved properties in the class of (virtually) special groups. This family
of groups, introduced by Haglund and Wise in [HW08a], became famous thanks to the
fundamental role it has played in the proof of the Virtual Haken Conjecture [Ago13], and
includes a large quantity of groups, such as right-angled Artin and Coxeter groups, small
cancellation groups, hyperbolic free-by-cyclic groups, and many 3-manifolds groups.
The starting point of our work is the introduction of a new combinatorial formalism
to study special groups. Our motivation comes from Guba and Sapir’s diagram groups
[GS97], which we studied in [Gen17b, Gen15, Gen16b, Gen17a]. Formally, the key
observation is that a path in a special cube complex is uniquely determined by its
origin and the sequence of (oriented) hyperplanes it crosses, which allows us to color
the hyperplanes of a given special cube complex in order to describe the elements of its
fundamental groupoid as words of colors (modulo a natural equivalence) relation. Such
a coloring is called a special coloring. As a direct consequence of this formalism, we
reprove naturally the following statement, originally proved in [HW08a]. We recall that
the crossing graph of a cube complex is the graph whose vertices are its hyperplanes
and whose edges link two transverse hyperplanes.
Theorem 1.1. Let X be a special cube complex. If ∆ denotes its crossing graph, then
π1 (X) embeds into the right-angled Artin group A(∆).
The first negatively-curved property we consider is the famous Gromov’s hyperbolicity [Gro87]. A famous open problem is to determine whether or not a CAT(0) group
which does not contain Z2 is necessarily hyperbolic. Even in the context of CAT(0)
cube complexes, this problem remains open, although partial results were found in
[CH09, SW11, NTY14]. In particular, a positive answer was proved in [CH09] for (virtually) special groups by studying Davis complexes and their convex subspaces. Thanks
to our formalism, we are able to give a simpler and shorter proof of [CH09, Corollary
4]. More precisely, we prove:
Theorem 1.2. Let X be a compact special cube complex. If its universal cover contain
an n-dimensional combinatorial flat for some n ≥ 1, then π1 (X) contains Zn .
Since the fundamental group of a nonpositively-curved cube complex X is hyperbolic
if and only if the universal cover of X does not contain a (combinatorial) two-dimensional
flat, it follows that:
Corollary 1.3. A virtually cocompact special cube complex is hyperbolic if and only if
it does not contain Z2 .
The next negatively-curved property we are interested in is the acylindrical hyperbolicity, introduced by Osin in [Osi16] unifying several previously studied properties
under a common formalism. Our first result in this direction provides a decomposition
theorem, generalising a similar decomposition we proved for cocompact diagram groups
in [Gen16b] (which are indeed special according to [Gen15]).

2

Theorem 1.4. A virtually special group virtually splits as a direct product
Zn × G1 × · · · × Gm ,
where n, m ≥ 0 and where G1 , . . . , Gm are acylindrically hyperbolic special groups.
It is worth noticing that this statement does not hold for arbitrary groups acting
geometrically on CAT(0) cube complexes. Indeed, Burger and Mozes constructed in
[BM97] torsion-free simple groups acting geometrically on products of trees, and such
groups neither virtually split nor are acylindrically hyperbolic.
Our second result on the acylindrical hyperbolicity of special groups characterizes
algebraically their rank-one elements, or equivalently, their contracting isometries (which
are precisely their generalized loxodromic elements, as defined in [Osi16]).
Theorem 1.5. Let X be a compact special cube complex and let G denote its fundamental group. A loxodromic isometry g ∈ G is contracting if and only if its centraliser
in G is virtually cyclic.
We also noticed this result for cocompact diagram groups in [Gen16b]. However,
we do not know counterexamples among groups acting geometrically on CAT(0) cube
complexes.
Question 1.6. Let G be a group acting geometrically on a CAT(0) cube complex X and
S
g ∈ G an infinite-order element. Define V CG (g) as the union of centralisers
CG (g n ).
n≥1

Is it true that g is a rank-one element of X if and only if V CG (g) is virtually cyclic?
By combining the previous two theorems, one gets the following algebraic characterization of acylindrically hyperbolic (virtually) special groups:
Corollary 1.7. Let G be a virtually special group. The following assertions are equivalent:
• G is acylindrically hyperbolic;
• G is not virtually cyclic and does not virtually split as a direct product of two
infinite groups;
• G is not virtually cyclic and contains an infinite-order element whose centraliser
is virtually cyclic.
Between Gromov’s hyperbolicity and acylindrical hyperbolicity, there is a third
negatively-curved property that we did not mention yet: relative hyperbolicity. The
main criterion we obtain is:
Theorem 1.8. Let G be a virtually special group and H a finite collection of subgroups.
Then G is hyperbolic relatively to H if and only if the following conditions are satisfied:
• each subgroup of H is convex-cocompact;
• H is an almost malnormal collection;
• every non virtually cyclic abelian subgroup of G is contained into a conjugate of
some group of H.
It is worth noticing that the characterisation of relatively hyperbolic right-angled
Coxeter groups (proved in [BHS17, Gen16a]), and more generally the characterisation
of relatively hyperbolic graph products of finite groups (which is a particular case of
[Gen17a, Theorem 8.33]), follows easily from Theorem 8.1. However, this criterion does
3

not provide a purely algebraic characterisation of relatively hyperbolic virtually special
groups, since the subgroups need to be convex-cocompact. But, convex-cocompactness
is not an algebraic property: with respect to the canonical action Z2 y R2 , the cyclic
subgroup generated by (0, 1) is convex-cocompact, whereas the same subgroup is not
convex-cocompact with respect to the action Z2 y R2 defined by (0, 1) : (x, y) 7→
(x + 1, y + 1) and (1, 0) : (x, y) 7→ (x + 1, y). On the other hand, we do not know whether
or not a finitely generated malnormal subgroup is automatically convex-cocompact.
Nevertheless, the previous statement provides an algebraic criterion if one restricts our
attention to a collection of subgroups which we know to be convex-cocompact. In this
spirit, we show the following beautiful characterisation of virtually special groups which
are hyperbolic relatively to virtually abelian subgroups.
Theorem 1.9. A virtually special group is hyperbolic relatively to a finite collection of
virtually abelian subgroups if and only if it does not contain F2 × Z as a subgroup.
We do not know if the same conclusion holds for any group acting geometrically on
some CAT(0) cube complex. Probably the question is as hard as determining whether
groups acting on CAT(0) cube complexes are hyperbolic if and only if they do not
contain Z2 .
In the second part of the paper, we apply our formalism to graph braid groups,
which seem to have been introduced for the first time in group theory in [Abr00]. (Although topology of configuration spaces on graphs were studied before.) So far, the
main problems which have been considered are: the links between graph braid groups
and right-angled Artin groups [CW04, CD14, KKP12, Sab07, FS08]; computing presentations of graph braid groups [FS12, Kur12]; (co)homological properties of graph braid
groups [KP12, KKP12, FS08]. However, their geometry remains essentially unknown.
Here, we apply the formalism described above to investigate their negatively-curved
properties.
First of all, we are able to determine precisely when a graph braid group is hyperbolic.
More precisely, we obtain the following characterisation:
Theorem 1.10. Let Γ be a compact and connected one-dimensional CW-complex.
• The braid group B2 (Γ) is hyperbolic if and only if Γ does not contain a pair of
disjoint induced cycles.
• The braid group B3 (Γ) is hyperbolic if and only if Γ is a tree, or a sun graph, or
a rose graph, or a pulsar graph.
• For every n ≥ 4, the braid group Bn (Γ) is hyperbolic if and only if Γ is a rose
graph.
Interestingly, the graph braid group of a rose graph turns out to be free, so that the
(cohomologic or asymptotic) dimension of a hyperbolic graph braid group must be at
most three. Finding non free hyperbolic graph braid groups is an interesting problem;
see Problem 9.20 and its related discussion.
Next, we are able to show that essentially all braid groups are acylindrically hyperbolic. Roughly speaking, a graph braid group (which is not cyclic) is acylindrically
hyperbolic if and only if the corresponding graph is connected. For the implication, see
Lemma 9.5 and the observation which follows; for the converse, we prove:
Theorem 1.11. Let Γ be a connected compact one-dimensional CW-complex and n ≥ 2
an integer. The braid group Bn (Γ) is either cyclic or acylindrically hyperbolic.

4

Finally, we turn to the relative hyperbolicity of graph braid groups. Interestingly,
it is not difficult to determine when a grah braid group contains F2 × Z as a subgroup.
Therefore, Theorem 1.9 applies, and one gets the following criterion:
Theorem 1.12. Let Γ be a connected compact one-dimensional CW-complex.
• The braid group B2 (Γ) is hyperbolic relatively to abelian subgroups if and only if Γ
does not contain an induced cycle which is disjoint from two other induced cycles.
• The braid group B3 (Γ) is hyperbolic relatively to abelian subgroups if and only if
Γ does not contain an induced cycle disjoint from two other induced cycles; nor a
vertex of degree at least four disjoint from an induced cycle; nor a segment between
two vertices of degree three which is disjoint from an induced cycle; nor a vertex
of degree three which is disjoint from two induced cycles; nor two disjoint induced
cycles one of those containing a vertex of degree three.
• The braid group B4 (Γ) is hyperbolic relatively to abelian subgroups if and only if
Γ is a rose graph, or a segment linking two vertices of degree three, or a cycle
containing two vertices of degree three, or two cycles glued along a non trivial
segment.
• For every n ≥ 5, the braid group Bn (Γ) is hyperbolic relatively to abelian subgroups
if and only if Γ is a rose graph. If so, Bn (Γ) is a free group.
Interestingly, it follows that the (asymptotic or cohomologic) dimension of a graph
braid group which is hyperbolic relatively to abelian subgroups must be at most four;
in particular, such a group cannot contain Z5 as a subgroup.
Unfortunately, we were not able to apply Theorem 1.8 in order to determine precisely
when a graph braid group is relatively hyperbolic in full generality. Nevertheless, we
are able to prove the following sufficient criterion for braid groups on graphs with two
particles. (For a description of the associated peripheral subgroups, see the more precise
statement of Theorem 9.41 below.
Theorem 1.13. Let Γ be a connected compact one-dimensional CW-complex, and let
G be a collection of subgraphs of Γ satisfying the following conditions:
• every pair of disjoint simple cycles of Γ is contained into some Λ ∈ G;
• for every distinct Λ1 , Λ2 ∈ G, the intersection Λ1 ∩ Λ2 is either empty or a disjoint
union of segments;
• if γ is a reduced path between two vertices of some Λ ∈ G which is disjoint from
some cycle of Λ, then γ ⊂ Λ.
If G is a collection of proper subgraphs, then B2 (Γ) is relatively hyperbolic.
In all our discussion dedicated to graph braid groups, we illustrate our criteria by
giving examples. Also, we leave several open questions which we think to be of interest.
The organisation of our paper is as follows. In Section 2, we give some preliminary
definitions and properties about nonpositively-curved cube complexes. In Section 3, we
describe our combinatorial formalism. The next sections are dedicated to the proofs
of the theorems mentioned above. More precisely, Theorem 1.1 is proved in Section 4;
Theorem 1.2 in Section 5; Theorem 1.4 in Section 6; Theorem 1.5 in Section 7; and finally
Theorems 1.8 and 1.8 in Section 8. Our last section, namely Section 9, is dedicated to
graph braid groups.
Acknowledgments.

...
5

2

Nonpositively-curved cube complexes

Special cube complexes. A cube complex is a CW-complex constructed by gluing
together cubes of arbitrary (finite) dimension by isometries along their faces. Furthermore, it is nonpositively curved if the link of any of its vertices is a simplicial flag
complex (ie., n + 1 vertices span a n-simplex if and only if they are pairwise adjacent),
and CAT(0) if it is nonpositively curved and simply-connected. See [BH99, page 111]
for more information.
A fundamental feature of cube complexes is the notion of hyperplane. Let X be a
nonpositively curved cube complex. Formally, a hyperplane J is an equivalence class of
edges, where two edges e and f are equivalent whenever there exists a sequence of edges
e = e0 , e1 , . . . , en−1 , en = f where ei and ei+1 are parallel sides of some square in X.
Notice that a hyperplane is uniquely determined by one of its edges, so if e ∈ J we say
that J is the hyperplane dual to e. Geometrically, a hyperplane J is rather thought of
as the union of the midcubes transverse to the edges belonging to J.

Similarly, one may define oriented hyperplanes as classes of oriented edges. If J is the
hyperplane dual to an edge e and if we fix an orientation ~e, we will note J~ the oriented
hyperplane dual to ~e. It may be thought of as an orientation of J, and we will note −J~
the opposite orientation of J.
Definition 2.1. Let X be a cube complex. The crossing graph ∆X is the graph whose
vertices are the hyperplanes of X and whose edges link two transverse hyperplane.
~
Similarly, the oriented crossing graph ∆X
is the graph whose vertices are the oriented
hyperplanes of X and whose edges link two oriented hyperplanes whenever their underlying unordered hyperplanes are transverse.
Roughly speaking, special cube complexes are nonpositively-curved cube complexes which
do not contain “pathological configurations” of hyperplanes. Let us define precisely what
these configurations are.
~ We say that J is:
Definition 2.2. Let J be a hyperplane with a fixed orientation J.
~
• 2-sided if J~ =
6 −J,
• self-intersecting if there exist two edges dual to J which are non-parallel sides of
some square,
• self-osculating if there exist two oriented edges dual to J~ with the same initial
points or the same terminal points, but which do not belong to a same square.
Moreover, if H is another hyperplane, then J and H are:
• tangent if there exist two edges dual to J and H respectively which are non-parallel
sides of some square,
6

• inter-osculating if they are transverse, and if there exist two edges dual to J and
H respectively with one common endpoint, but which do not belong to a same
square.
Sometimes, one refers 1-sided, self-intersecting, self-osculating and inter-osculating hyperplanes as pathological configurations of hyperplanes. The last three configurations
are illustrated on Figure 1.

Figure 1: (a) Self-intersection, (b) Self-osculation, (c) Inter-osculation.
Definition 2.3. A special cube complex is a nonpositively curved cube complex whose
hyperplanes are two-sided and which does not contain self-intersecting, self-osculating
or inter-osculating hyperplanes. A group which can be described as the fundamental
group of a compact special cube complex is special. A virtually special group is a group
which contains a finite-index subgroup which is special.
Homotopy. Let X be a cube complex (not necessarily nonpositively-curved). For us,
a path in X is the data of a sequence of successively adjacent edges. What we want
to understand is when two such paths are homotopic (with fixed endpoints). For this
purpose, we need to introduce the following elementary transformations. One says that:
• a path γ ⊂ X contains a backtrack if the word of oriented edges read along γ
contains a subword ee−1 for some oriented edge e;
• a path γ 0 ⊂ X is obtained from another path γ ⊂ X by flipping a square if the
word of oriented edges read along γ 0 can be obtained to corresponding word of γ
by replacing a subword e1 e2 with e02 e01 where e01 , e02 are opposite oriented edges of
e1 , e2 respectively in some square of X.
We claim that these elementary transformations are sufficient to determine whether or
not two paths are homotopic. More precisely:
Proposition 2.4. Let X be a cube complex and γ, γ 0 ⊂ X two paths with the same
endpoints. The paths γ, γ 0 are homotopic (with fixed endpoints) if and only if γ 0 can be
obtained from γ by removing or adding backtracks and flipping squares.
This statement follows from the fact that flipping squares provide the relations of the
fundamental groupoid of X; see [Bro06, Statement 9.1.6] for more details.
Contracting subcomplexes. In Sections 7 and 8, we will need several statements
proved in [Gen16b] about contracting subcomplexes in CAT(0) cube complexes. Below,
we recall basic definitions and state the results which we will use later.
Definition 2.5. Let S be a metric space. A subspace C ⊂ S is contracting if there
exists some constant d ≥ 0 such that the nearest-point projection onto C of any ball
disjoint from C has diameter at most d. An isometry g ∈ Isom(S) is contracting if, for
some basepoint x ∈ S, the map n 7→ g n · x induces a quasi-isometric embedding Z → S
whose image is contracting.
7

In CAT(0) cube complexes, the nearest-point projection onto a given convex subcomplex has nice properties. For instance, according to [Gen17b, Lemma 1] and [Gen16a,
Lemmas 2.8 and 2.10], one has:
e be a CAT(0) cube complex and C ⊂ X
e a convex subcomplex.
Proposition 2.6. Let X
e there exists a unique vertex of C minimising the distance to
For every vertex x ∈ X,
x. This vertex, denoted by projC (x), is the projection of x onto C. Moreover, the map
e any hyperplane separating
projC : X → C is 1-Lipschitz, and, for every vertex x ∈ X,
x from its projection onto C must separate x from C.

The next characterisation of contracting convex subcomplexes in CAT(0) cube complexes was essentially proved in [Gen16b]. Before, we need to introduce several definitions:
• A facing triple is the data of three hyperplanes such that no one separates the two
others.
• A join of hyperplanes (H, V) is the data of two collections of hyperplanes H, V
which do not contain any facing triple and such that any hyperplane of H is
transverse to any hyperplane of V; it is L-thin for some L ≥ 0 if min(#H, #V) ≤ L.
If moreover H, V are collections of pairwise disjoint hyperplanes, (H, V) is a grid
of hyperplanes.
e it is
• A flat rectangle is a combinatorial isometric embedding [0, p] × [0, q] ,→ X;
L-thin for some L ≥ 0 if min(p, q) ≤ L. Most of the time, a flat rectangle is
identified with its image.

Moreover, given a subset Y in some CAT(0) cube complex, we denote by H(Y ) the set
of the hyperplanes separating at least two vertices of Y .
e be a finite-dimensional CAT(0) cube complex and C ⊂ X
e a convex
Theorem 2.7. Let X
subcomplex. The following statements are equivalent:

(i) C is contracting;
(ii) the join of hyperplanes (H, V) satisfying H ∩ H(C) = ∅ and V ⊂ H(C) are uniformly thin;
(iii) the grid of hyperplanes (H, V) satisfying H ∩ H(C) = ∅ and V ⊂ H(C) are uniformly thin;
e satisfying R∩C = [0, p]×{0} are uniformly
(iv) the flat rectangles R : [0, p]×[0, q] ,→ X
thin.

Proof. The equivalence (i) ⇔ (ii) is proved by [Gen16b, Theorem 3.6]. The implication
e is finite(ii) ⇒ (iii) is clear, and the converse follows from the assumption that X
dimensional and from Ramsey’s theorem (see for instance [Gen16a, Lemma 3.7]). The
implication (iii) ⇒ (iv) is clear. It remains to prove the converse (iv) ⇒ (iii).
So let (H, V) be a grid of hyperplanes satisfying H ∩ H(C) = ∅ and V ⊂ H(C). Write
V as {V1 , . . . , Vp } such that Vi separates Vi−1 and Vi+1 for every 2 ≤ i ≤ p − 1; and
H as {H1 , . . . , Hq } such that Hi separates Hi−1 and Hi+1 for every 2 ≤ i ≤ q − 1
e be a disc diagram of minimal
and such that Hq separates H1 and C. Let D → X
complexity bounded by the cycle of subcomplexes C = (N (V1 ), C, N (Vp ), N (H1 )). (We
refer to [Gen16a, Gen16b] and references therein for more information on disc diagrams
e is a flat
in CAT(0) cube complexes.) According to [Gen16a, Corollary 2.17], D → X
rectangle; write D = [0, a] × [0, b] such that [0, a] × {0} ⊂ C, {a} × [0, b] ⊂ N (Vp ),
8

[0, a] × {b} ⊂ N (H1 ) and {0} × [0, b] ⊂ N (V1 ). Suppose that the vertex (c, d) ∈ D
belongs to C. Since C is convex, the intervals between (0, 0) and (c, d), and (a, 0)
and (c, d), have to be included into C. As a consequence, [0, a] × [d, b] defines a disc
diagram bounded by C. By minimality of D, necessarily d = 0. Thus, we have proved
that D ∩ C = [0, a] × {0}, which implies that there exists a uniform constant L ≥ 0
such that min(a, b) ≤ L. But the hyperplanes H2 , . . . , Hq separate H1 and C, so they
must intersect {0} × [0, b], hence b ≥ q − 1; similarly, the hyperplanes V2 , . . . , Vp−1
separate V1 and Vp , so they must intersect [0, a] × {0}, hence a ≥ p − 2. Therefore,
min(p, q) ≤ min(a, b) + 2 ≤ L + 2. This proves (iii).
The previous statement justifies the following definition:
e be a CAT(0) cube complexes, C ⊂ X
e a convex subcomplex and
Definition 2.8. Let X
L ≥ 0 a constant. Then C is L-contracting if every join of hyperplanes (H, V) satisfying
H ∩ H(C) = ∅ and V ⊂ H(C) is L-thin.

We conclude this section with a statement which will be useful in Section 8 (and which
is inspired from [CS15, Lemmas 4.4 and 4.5]).
Lemma 2.9. Let X be a CAT(0) cube complex and C a contracting subcomplex. There
exists a constant L ≥ 0 such that, if x, y ∈ X are two vertices such that the distance
between their projections onto C is at least L, then, for every geodesic [x, y] between x
and y, the unique vertex of [x, y] at distance d(x, C) from x must be at distance at most
L from the projection of x onto C.
Proof. Let K ≥ 0 be such that the projection onto C of every ball disjoint from C has
diameter at most K. We begin by proving the following fact:
Fact 2.10. For every vertices x, y ∈ X whose projections onto C are at distance at least
2(K + 1) apart, then
|d(x, y) − d(x, p) − d(p, q) − d(q, y)| ≤ 2(K + 1)
where p and q denote respectively the projections of x and y onto C.
Let x, y ∈ X be two vertices whose respective projections p, q onto C are at least at
distance 2(K + 1) apart. Fix a geodesic [x, y] between x and y. Notice that, if d(x, y) ≤
d(x, p), then the open ball B(x, d(x, y)) is disjoint from C, hence d(p, q) ≤ K + 1,
contradicting our assumption. Therefore, [x, y] contains a unique vertex x0 at distance
d(x, p) from x; notice that, since the open ball B(x, d(x, x0 )) is disjoint from C, the
distance between the projection of x0 onto C, say p0 , and p is at most K + 1. Similarly,
[x, y] contains a unique vertex y 0 at distance d(y, q) from y; moreover, the distance
between the projection of y 0 onto C, say q 0 , and q is at most K + 1. Next, notice that,
if d(x, y 0 ) < d(x, x0 ), then y 0 belongs to the open ball B(x, d(x, x0 )), then d(p, q 0 ) ≤ K,
which implies that
d(p, q) ≤ d(p, q 0 ) + d(q 0 , q) ≤ K + K + 1 = 2K + 1 < 2(K + 1),
contradicting our assumption. Therefore, d(x, y 0 ) ≥ d(x, x0 ), which implies that
d(x, y) = d(x, x0 ) + d(x0 , y 0 ) + d(y 0 , y) = d(x, p) + d(x0 , y 0 ) + d(q, y).
Because the projection onto C is 1-Lipschitz, we know that d(x0 , y 0 ) ≥ d(p0 , q 0 ). But
d(p0 , q 0 ) ≥ d(p, q) − d(p, p0 ) − d(q, q 0 ) ≥ d(p, q) − 2(K + 1).
The inequality
d(x, y) ≥ d(x, p) + d(p, q) + d(q, y) − 2(K + 1)
9

follows. Finally, the triangle inequality shows that d(x, y) ≤ d(x, p) + d(p, q) + d(q, y),
which concludes the proof of our fact.
Now we are ready to prove our lemma. Let x, y ∈ X be two vertices whose projections
onto C are at least at distance 4(K + 1) apart. Let p, q ∈ C denote the projections onto
C of x, y respectively. By reproducing the beginning of the proof of the previous fact,
one shows that there exists a unique pair of vertices x0 , y 0 ∈ [x, y] satisfying d(x, x0 ) =
d(x, C) and d(y, y 0 ) = d(y, C), and that d(x, y) = d(x, x0 ) + d(x0 , y 0 ) + d(y 0 , y). From
the triangle inequality, we know that d(x, y) ≤ d(x, p) + d(p, q) + d(q, y), which implies
together with the previous inequality, that d(x0 , y 0 ) ≤ d(p, q) since d(x, x0 ) = d(x, p) and
d(y, y 0 ) = d(y, q).
Let p0 , q 0 denote the projections onto C of x0 , y 0 respectively. Notice that d(p0 , q 0 ) ≥
2(K + 1). Indeed, because the open ball B(x, d(x, x0 )) is disjoint from C, necessarily
d(p, p0 ) ≤ K + 1; and similarly d(q, q 0 ) ≤ K + 1. Hence
d(p0 , q 0 ) ≥ d(p, q) − d(p, p0 ) − d(q, q 0 ) ≥ 2(K + 1).
Therefore, our previous fact applies, so that
d(p, q) ≥ d(x0 , y 0 ) ≥ d(x0 , p0 ) + d(p0 , q 0 ) + d(q 0 , y 0 ) − 2(K + 1)
≥ d(x0 , p) + d(p, q) + d(q, y 0 ) − 2(K + 1) − 2d(p, p0 ) − 2d(q, q 0 )
≥ d(x0 , p) + d(p, q) + d(q, y 0 ) − 6(K + 1)
hence d(x0 , p) ≤ 6(K + 1). Consequently, L = 6(K + 1) is the constant we are looking
for, concluding the proof of our lemma.

3

Formalism: special colorings

In this section, we introduce the formalism which we will use in the next sections to prove
the statements mentioned in the introduction. Our central definition is the following:
Definition 3.1. Let X be a cube complex. A special coloring (∆, φ) is the data of a
graph ∆ and a coloring map




~
φ : V ∆X
→ V (∆) t V (∆)−1
satisfying the following conditions:
• for every oriented hyperplane J, the equality φ(J −1 ) = φ(J)−1 holds;
• two transverse oriented hyperplanes have adjacent colors;
• no two oriented hyperplanes adjacent to a given vertex have the same color;
• two oriented edges with same origin whose dual oriented hyperplanes have adjacent
colors must generate a square.
Essentially, a cube complex admits a special coloring if and only if it is special. We will
not use this observation in this paper, so we only give sketch a proof at the end of this
section. The main point to keep in mind is that any special cube complex admits at
least one special coloring.
Lemma 3.2. A cube complex X admits a special coloring if and only if there exists a
special cube complex Y such that X (2) = Y (2) .
10

From now on, we fix a (non necessarily compact) special cube complex X endowed with
a special coloring (∆, φ).
Given a vertex x0 ∈ X, a word w = J1 · · · Jr , where J1 , . . . , Jr ∈ V (∆) t V (∆)−1
are colors, is x0 -legal if there exists a path γ in X starting from x0 such that the
oriented hyperplanes it crosses have colors J1 , . . . , Jr respectively. We say that the path
γ represents the word w.
Fact 3.3. An x0 -legal word is represented by a unique path in X.
Proof. Let γ be a path representing a given x0 -legal word w = J1 · · · Jr . By definition,
the starting vertex of γ must be x0 . Also, we know that there exists at most one edge
containing x0 which has color J1 . Such an edge exists since w is x0 -legal by assumption.
A fortiori, this edge must be the first edge of γ. The conclusion follows by iterating the
argument to the next edges.
The previous fact allows us to define the terminus of an x0 -legal word w, denoted by
t(w), as the ending point of the unique path representing w.
Set L(X) = {x-legal words | x ∈ X} the set of all legal words. (If x1 , x2 ∈ X are
two distinct points, we consider the empty x1 -legal and x2 -legal words as distinct.) We
consider the equivalence relation ∼ on L(X) generated by the following transformations:
(cancellation) if a legal word contains JJ −1 or J −1 J, remove this subword;
(insertion) given a color J, insert JJ −1 or J −1 J as a subword of a legal word;
(commutation) if a legal word contains J1 J2 where J1 , J2 are two adjacent colors,
replace this subword with J2 J1 .
So two x-legal words w1 , w2 are equivalent with respect to ∼ if there exists a sequence
of x-legal words
m1 = w1 , m2 , . . . , mr−1 , mr = w2
such that mi+1 is obtained from mi by a cancellation, an insertion or a commutation
for every 1 ≤ i ≤ r − 1. Define D(X) = L(X)/ ∼ as a set of diagrams. The following
observation allows us (in particular) to define the terminus of a diagram as the terminus
of one of the legal words representing it.
Fact 3.4. Let w0 be an x0 -legal word obtained from another x0 -legal word w by a cancellation / an insertion / a commutation. If γ 0 , γ are paths representing w0 , w respectively,
then γ 0 is obtained from γ by removing a backtrack / adding a backtrack / flipping a
square.
Proof. Suppose that w0 is obtained from w by a cancellation. So we can write
w = J1 · · · Jr JJ −1 Jr+1 · · · Jr+s
and w0 = J1 · · · Jr+s for some colors J, J1 , . . . , Jr+s . Let γ1 denote the subpath of γ
representing the x0 -legal word J1 · · · Jr . Let e denote the oriented edge following γ1
along γ. So the oriented hyperplane dual to e has color J. After e, the oriented edge of
γ must be dual to an oriented hyperplane with color J −1 , as e−1 . But, because there
exists at most one edge containing the terminus of e which is dual to such a hyperplane,
the only possibility is that γ1 ee−1 is the subpath of γ representing J1 · · · Jr JJ −1 . Now,
if γ2 denotes the subpath of γ representing the x1 -legal word Jr+1 · · · Jr+s , where x1 is
the terminus of γ1 , then clearly γ1 γ2 represents J1 · · · Jr+s . It follows from Fact 3.3 that
γ 0 = γ1 γ2 . Consequently, γ 0 is obtained from γ by removing a backtrack.
11

By symmetry, we deduce that, if w0 is obtained from w by an insertion, then γ 0 is
obtained from γ by adding a backtrack.
Now, suppose that w0 is obtained from w by a commutation. So we can write
w = J1 · · · Jr HV Jr+1 · · · Jr+s and w0 = J1 · · · Jr · · · V HJr+1 · · · Jr+s ,
for some colors H, V, J1 , . . . , Jr+s with H and V adjacent. Let γ1 denote the subpath
of γ representing the x0 -legal word J1 · · · Jr ⊂ w. As a consequence of Fact 3.3, this
is also the subpath of γ 0 representing the x0 -legal word J1 · · · Jr ⊂ w0 . Let x1 denote
the terminus of γ1 . Because w and w0 are both legal, we know that there exist two
hyperplanes A and B which adjacent to x1 and which have colors H and V respectively.
Since H and V are adjacent colors, it follows that x1 is the corner of a square Q whose
dual hyperplanes are precisely A and B. If x2 denotes the vertex of Q opposite to x1 , let
`1 denote the path of length two in Q from x1 to x2 passing through A and then through
B, and similarly `2 the path of length two in Q from x1 to x2 passing through B and then
through A. According to Fact 3.3, `1 (resp. `2 ) is the unique x1 -legal word representing
HV (resp. V H), so γ1 `1 (resp. γ1 `2 ) must be the subpath of γ (resp. γ 0 ) representing
J1 · · · Jr HV (resp. J1 · · · Jr V H). Now, let γ2 denote the subpath of γ representing the
x2 -legal word Jr+1 · · · Jr+s ⊂ w; this is also the subpath of γ 0 representing the x2 -legal
word Jr+1 · · · Jr+s ⊂ w0 . Because γ1 `1 γ2 represents w by construction, it follows from
Fact 3.3 that γ = γ1 `1 γ2 . Similarly, γ 0 = γ1 `2 γ2 . The conclusion follows since `2 is
obtained from `1 by flipping the square Q.
In the sequel, an (x, y)-diagram will refer to a diagram represented by an x-legal word
with terminus y, or just an (x, ∗)-diagram if we do not want to mention its terminus. A
diagram which is an (x, x)-diagram for some x ∈ X is spherical.
If w is an x0 -legal word and w0 a t(w)-legal word, we define the concatenation w · w0
as the word ww0 , which x0 -legal since it is represented by the concatenation γγ 0 where
γ, γ 0 represent respectively w, w0 . Because we have the natural identifications
L(X)
∼

↔
↔

paths in X
homotopy with fixed endpoints

(Fact 3.3)
(Fact 3.4, Proposition 2.4)

it follows that the concatenation in L(X) induces a well-defined operation in D(X),
making D(X) isomorphic to the fundamental groupoid of X. As a consequence, if we
denote by M (X) the Cayley graph of the groupoid D(X) with respect to the generating
set V (∆) t V (∆)−1 , and, for every x ∈ X, M (X, x) the connected component of M (X)
containing the trivial path (x) based at x, and D(X, x) the vertex-group of D(X) based
at (x), then the previous identifications induce the identifications
D(X)
D(X, x)
M (X, x)

↔
↔
↔

fundamental groupoid of X
π1 (X, x)
e (1)
universal cover X

More explicitly, D(X, x) is the group of (x, x)-diagrams endowed with the concatenation,
and M (X, x) is the graph whose vertices are the (x, ∗)-diagrams and whose edges link
two diagrams w1 and w2 if there exists some color J such that w2 = w1 J.
e (1) will be fundamental in the sequel, so below
The identification between M (X, x) and X
is a more precise description of it.
It worth noticing that, if we color the oriented edges of X as their dual hyperplanes,
e are naturally labelled by colors and vertices of ∆, just
then the (oriented) edges of X
by considering their images in X. A consequence of the previous paragraph is that the

12



e x
e
M (X, x) ←→ X,



e of γ
ending
(x, ∗)-diagram represented
path γ ⊂ X
lift γe ⊂ X
7→
7→
7→
point of γe
by an x-legal word w
representing w
e
starting from x
e
(x, ∗)-diagram represented by the
image
path γe ⊂ X
←[ y
←[
←[
x-legal word corresponding to γ
γ ⊂ X of γ
e to y
from x

generator labelling a given oriented edge of M (X, x) is the same as the color labelling
e Below are two observations which we record for future
the corresponding edge of X.
use.
e dual to the same oriented hyperplane are labelled
Lemma 3.5. Two oriented edges of X
by the same color.
e are dual to the same hyperplane as well,
Proof. The images in X of two such edges of X
so that they must be labelled by the same color. The conclusion follows.
e are transverse, then these
Lemma 3.6. If the hyperplanes dual to two given edges of X
edges are labelled by adjacent colors.
e must be transverse as well, so
Proof. The images in X of these two hyperplanes of X
they are labelled by adjacent colors. The conclusion follows.

A diagram may be represented by several legal words. Such a word is reduced if it
has minimal length, ie., it cannot be shortened by applying a sequence of cancellations,
insertions and commutation. It is worth noticing that, in general, a diagram is not
represented by a unique reduced legal word, but two such reduced words differ only by
some commutations. (For instance, consider the homotopically trivial loop defined by
the paths representing two of our reduced legal words, consider a disc diagram of minimal
area bounded by this loop, and follow the proof of [Sag95, Theorem 4.6]. Alternatively,
use the embedding proved in the next section (which does not use the present discussion)
and conclude by applying the analogous statement which holds in right-angled Artin
groups.) As a consequence, we can define the length of a diagram as the length of any
reduced legal word representing it. It is worth noticing that our length coincides with
the length which is associated to the generating set V (∆) t V (∆)−1 in the groupoid
D(X). The next lemma follows from this observation.
Lemma 3.7. Let D1 , D2 ∈ M (X, x) be two (x, ∗)-diagrams. If J1 · · · Jn is a reduced
legal word representing D1−1 D2 , then
D1 , D1 J1 , D1 J1 J2 , . . . , D1 J1 · · · Jn
is a geodesic from D1 to D2 in M (X, x). Conversely, any geodesic between D1 and D2
arises in this way.
We end this section with a sketch of proof of Lemma 3.2, as promised.
Sketch of proof of Lemma 3.2. Let Y be a special cube complex. Since its hyperplanes
~ ) with V (∆Y ) t V (∆Y )−1 .
are two-sided, we can orient them in order to identify V (∆Y
We claim that (∆Y, id) is a special coloring of Y . The first two points in the definition
of a special coloring are clearly satisfied; the third point is satisfied since Y does not
contain self-intersecting and self-osculating hyperplanes; and the last one follows from
the fact that Y does not contain inter-osculating hyperplanes. Now, if X (2) = Y (2) ,

13

then the hyperplanes of X can be naturally identified with those of Y , so that a special
coloring of Y induces a special coloring of X.
Conversely, suppose that X admits a special coloring (∆, φ). From now on, we fix a
e of X with
basepoint x ∈ X and we identify the one-skeleton of the universal cover X
the graph M (X, x).
We claim that M (X, x) is a median graph. One possibility is to show that M (X, x) is
a triangle-free quasi-median graph by following the proof of [Gen17a, Proposition 8.1].
The conclusion follows from [Mul80, (25) p. 149]. One may notice that the median
point of three (x, ∗)-diagrams D1 , D2 , D3 is D1 M where M is the maximal common
prefix of D1−1 D2 and D1−1 D3 , ie., an (t(D1 ), ∗)-diagram of maximal length appearing as
a common prefix in some reduced legal words representing D1−1 D2 and D1−1 D3 .
Therefore, it follows from [Che00, Theorem 6.1] that filling in the cubes of M (X, x) proe is obtained from (its one-skeleton) M (X, x)
duces a CAT(0) cube complex Ye . Since X
e by filling in
by filling in some cubes of M (X, x), necessarily Ye is also obtained from X
e extends to an action π1 (X) y Ye ,
its cubes. As a consequence, the action π1 (X) y X
e
e
so that Y = Y /π1 (X) is obtained from X = X/π1 (X) by adding some cubes. On the
e is simply connected, any cycle of length four in its one-skeleton
other hand, since X
e (2) , and a fortiori Y (2) = X (2) .
must bound a square, so that Ye (2) = X
So remaining point to show is that Y is special. Notice that one can naturally identify
the hyperplanes of Y with those of X since Y (2) = X (2) , so that the special coloring
of X induces a special coloring of Y . The first point in the definition of a special
coloring implies that the hyperplanes of Y are two-sided (since the two orientations of a
given hyperplanes have different colors); the third point implies that Y does not contain
self-intersecting and self-osculating hyperplanes; and the fourth point implies that it
does not contain inter-osculating hyperplanes. Consequently, Y is indeed a special cube
complex.

4

Embedding into a right-angled Artin group

This section is dedicated to the proof of the following statement.
Theorem 4.1. Let X be a special cube complex and x ∈ X a basepoint. If (φ, ∆) is
a special coloring of X, then the canonical map D(X, x) → A(∆) induces an injective
morphism. In particular, the fundamental group of X embeds into the right-angled Artin
group A(∆).
We begin by proving the following preliminary lemma.
Lemma 4.2. If w0 is a word obtained from an x-legal word w by a commutation or a
cancellation, then w0 is again an x-legal word.
Proof. Suppose first that w0 is obtained from w by a commutation. So we can write
w = J1 · · · Jr HV Jr+1 · · · Jr+s and w0 = J1 · · · Jr V HJr+1 · · · Jr+s
for some colors H, V, J1 , . . . , Jr+s with H and V adjacent. The path γ representing
w can be written as γ1 e1 e2 γ2 where γ1 is the subpath of γ representing the x-legal
word J1 · · · Jr , e1 and e2 the next two edges along γ, respectively dual to oriented
hyperplanes A and B which have colors H and V respectively, and γ2 the subpath of γ
representing the t(J1 · · · Jr HV )-legal word Jr+1 · · · Jr+s . Because H and V are adjacent
colors, necessarily the edges e1 and e2 must generate a square Q whose dual hyperplanes

14

are precisely A and B. If e01 e02 is the path obtained from e1 e2 by flipping Q, then γ1 e01 e02 γ2
is a path representing w0 . Therefore, w0 is x-legal.
Now, suppose that w0 is obtained from w by a cancellation. So we can write
w = J1 · · · Jr JJ −1 Jr+1 · · · Jr+s and w0 = J1 · · · Jr Jr+1 · · · Jr+s
for some colors J, J1 , . . . , Jr+s . Let γ denote the path representing w, and let γ1 denote
the subpath of γ representing the x-legal word J1 · · · Jr and e the next edge along γ. So
e is dual to J. The edge following e along γ must be dual to a hyperplane which has
color J −1 ; since we know that there may exist at most one such edge, it follows that
this edge must be e−1 . Therefore, γee−1 is the subpath of γ representing the x-legal
word J1 · · · Jr JJ −1 . Let γ2 denote the subpath of γ representing the t(J1 · · · Jr )-legal
word Jr+1 · · · Jr+s , so that γ = γ1 ee−1 γ2 . Then γ1 γ2 is a path representing w0 , so w0 is
an x-legal word.
Proof of Theorem 4.1. Consider the canonical map L(X) → A(∆). By noticing that
this map is invariant under cancellations, insertions, and commutations, we get a welldefined morphism D(X, x) → A(∆), where x ∈ X is a vertex we fix. The injectivity of
this morphism follows from the following fact, which we record for future use:
Fact 4.3. Let X be a special cube complex, x ∈ X a basepoint and (φ, ∆) a special
coloring of X. Two x-legal words of colors are equal in D(X, x) if and only if they are
equal in A(∆).
Indeed, it follows from the normal form in right-angled Artin groups (see for instance
[Gre90, Theorem 3.9]) that two x-legal words are equal in A(∆) if and only if their
reductions (obtained by applying commutations and cancellations) differ only by applying commutations. Similarly, we know that these words are equal in D(X, x) if and
only if their reductions (obtained by applying commutations and cancellations) differ
only by applying commutations, with the restriction that all these transformations must
produce, at each step, another legal word. Therefore, our fact follows from the previous
lemma.
This shows that our morphism D(X, x) → A(∆) is injective.
Remark 4.4. As a particular case of Theorem 4.1, it follows that the fundamental
group of a special cube complex X embeds into A(∆X), where ∆X denotes the crossing
graph of X. This statement was originally proved in [HW08a]. In fact, our theorem
also follows from the same arguments. Indeed, if S(∆) denotes the Salvetti complex
associated to the graph ∆, it is not difficult to deduce from the definition of a special
coloring that the map sending an oriented edge e of X to the (unique) oriented edge of
S(∆) labelled by the color of e induces a local isometric embedding X ,→ S(∆). Since
a local isometric embedding between nonpositively curved cube complexes turns out
to be π1 -injective, the conclusion follows. Moreover, we get exactly the same injective
morphism π1 (X) ,→ A(∆).
The interest of Theorem 4.1 compared to the original statement in [HW08a] is that
finding a good special coloring of a some special cube complex allows us to embed its
fundamental group into a smaller right-angled Artin group. We give an example below.
See also Section 9.1 where a similar situation occurs for graph braid groups.
Example 4.5. Let X denote the Squier cube complex associated to the semigroup
presentation
*

a = a2 , a2 = a3 , a3 = a1
a1 , a2 , a3 , b1 , b2 , b3 , p a1 = a1 p, b1 = pb1 , 1
b1 = b2 , b2 = b3 , b3 = b1
15

+

and the baseword a1 b1 . We refer to [GS97, Gen15] for more details on Squier complexes.
The sequel is largely based on [Gen15, Example 3.17]. The fundamental group of X is
Z • Z = ha, b, z | [a, z n bz −n ] = 1, n ≥ 0i.
Moreover, X is a special cube complex with eight hyperplanes, denoted by Ai = [1, ai →
ai+1 , b1 ], Bi = [a1 , bi → bi+1 , 1], C = [1, a1 , a1 p, b1 ] and D = [a1 , b1 → pb1 , 1] where i ∈
Z3 . The crossing graph of X is a complete bipartite graph K4,4 , so that the corresponding
right-angled Artin group is the product of free groups
F4 × F4 = hA1 , A2 , A3 , C | i ∗ hB1 , B2 , B3 , D | i.
One obtains the embedding


Z•Z →


 a
7→

b
7→




z

F4 × F4
A1 A2 A−1
3
B1 B2 B3−1
7
→
CD−1

Now, let ∆ be a square with vertices A, B, C, D (in a cyclic order), and consider the
coloring φ sending the Ai ’s to A, the Bi ’s to B, the oriented hyperplane C to the vertex
C, and the oriented hyperplane D to the vertex D. So the corresponding right-angled
Artin group becomes the product of free groups
F2 × F2 = hA, C | i × hB, D | i,
and the embedding one gets is


Z•Z →


 a
7→

b
7→




z

F2 × F2
A3
B3
7
→
CD−1

Moreover, by noticing that the subgroup hA3 , B 3 , C, D−1 i ≤ F2 × F2 is naturally isomorphic to F2 × F2 itself, if follows that the subgroup hA, B, CDi of F2 × F2 is isomorphic
to the infinitely presented group Z • Z.

5

Periodic flats

This section is dedicated to the proof of the following statement.
Theorem 5.1. Let X be a compact special cube complex. If its universal cover contain
an n-dimensional combinatorial flat for some n ≥ 1, then π1 (X) contains Zn .
Proof. Suppose that, for some n ≥ 1, there exists a combinatorial embedding [0, +∞)n ,→
e where X
e denotes the universal cover of X. For convenience, we identify [0, +∞)n
X,
e From now on, we fix a basepoint x ∈ X which admits x
e = (0, . . . , 0)
with its image in X.
e
e
as a lift in X, and we identify the one-skeleton of X with the graph M (X, x). For every
1 ≤ i ≤ n and j ≥ 0, set
xi (j) = (0, . . . , 0, j, 0, . . . , 0),
| {z }

i−1 zeros

and write xi (j) as a word H1i · · · Hji , where H1i , . . . , Hji are colors, which is represented
e to xi (j) in [0, +∞)n . Let
by the image in X of the unique geodesic segments from x
i
i
A1 , . . . , Aj denote the corresponding sequence of hyperplanes.
Let us begin by proving two preliminary facts.
16

Fact 5.2. For every distinct 1 ≤ i, j ≤ n and every p, q ≥ 1, the colors Hpi and Hqj are
adjacent.
e separating x
e and xi (p)
By construction, Aip (resp. Ajq ) has a lift Bpi (resp. Bqj ) in X
j
i
i
e and x (q)). Since the hyperplanes Bp and Bq are transverse to distinct factors
(resp. x
of our combinatorial flat, they must be transverse, so that Aip and Ajq must be transverse
as well. Thus, it follows from Lemma 3.6 that Hpi and Hqj are adjacent colors, proving
our fact.

Fact 5.3. For every p1 , . . . , pn ≥ 1, one has
(p1 , . . . , pn ) = H11 · · · Hp11 · · · H1n · · · Hpnn .
Consider the following path from (0, . . . , 0) to (p1 , . . . , pn ):
([0, p1 ] × {(0, . . . , 0)}) ∪ ({p1 } × [0, p2 ] × {(0, . . . , 0)}) ∪ · · · ∪ ({p1 , . . . , pn−1 } × [0, pn ]) .
The word obtained by reading the colors labelling the edges of this path defines a diagram
representing (p1 , . . . , pn ). By noticing that the edge
{(p1 , . . . , pk )} × [i, i + 1] × {(pk+2 , . . . , pn )}
is dual to the same hyperplane as {(0, . . . , 0)} × [i, i + 1] × {(0, . . . , 0)}, it follows from
k+1
Lemma 3.5 that they are both labelled by Hi+1
. Our fact follows.
Now, since X is compact, for every 1 ≤ i ≤ n, there exist pi < qi such that xi (pi ) and
xi (qi ) have the same terminus, say ti ∈ X. Set o = (p1 , . . . , pn ), and
ai = (p1 , . . . , pi−1 , qi , pi+1 , . . . , pn )
for every 1 ≤ i ≤ n. It follows from Fact 5.3 that, for every 1 ≤ i ≤ n,
o−1 ai = xi (pi )−1 xi (qi ) = Hpi i+1 · · · Hqii ;
moreover, since xi (pi ) and xi (qi ) have the same terminus, it follows that o−1 ai is spherical. Consequently, the diagrams o−1 a1 , . . . , o−1 an are non trivial elements of D(X, t),
where t denotes the terminus of o. Thus, we have proved the following statement:
Fact 5.4. Let X be a special coloring, x ∈ X a basepoint and (∆, φ) a special coloring.
If the universal cover of X contains an n-dimensional combinatorial flat, then D(X, x)
contains n non trivial diagrams g1 , . . . , gn such that, as words of colors, any color of gi
is adjacent to any color of gj for every distinct 1 ≤ i, j ≤ n.
Clearly, hg1 , . . . , gn i defines a subgroup of D(X, x) ' π1 (X) which is isomorphic to Zn ,
proving our theorem.
Corollary 5.5. A virtually cocompact special group is hyperbolic if and only if it does
not contain Z2 .
Proof. Let G be a group containing a finite-index subgroup Ġ which is the fundamental
group of a compact special cube complex X. One already knows that, if G is hyperbolic,
then it does not contain Z2 . Conversely, if G is not hyperbolic, then Ġ cannot be
e must contain a two-dimensional combinatorial
hyperbolic, so that the universal cover X
+
flat (see for instance [CDE , Corollary 5] or [Gen16a, Theorem 3.3]).
As a by-product, notice that the previous observation, together with Fact 5.4, produces
the following statement, which we record for future use:
Fact 5.6. Let X be a cube complex and (∆, φ) a special coloring. If π1 (X) is not
hyperbolic, then there exist two commuting spherical diagrams J1 · · · Jn and H1 · · · Hm
such that Ji and Hj are adjacent colors for every 1 ≤ i ≤ n and 1 ≤ j ≤ m.
Anyway, it follows from Theorem 5.1 that Ġ, and a fortiori G, contains Z2 , proving our
corollary.
17

6

Cartesian decomposition

This section is dedicated to the following decomposition theorem.
Theorem 6.1. A virtually special group virtually splits as a direct product
Zn × G1 × · · · × Gm ,
where G1 , . . . , Gm are acylindrically hyperbolic special groups and n, m ≥ 0.
Proof. Let X be a compact special cube complex and (∆, φ) a special coloring of X. Let
G denote the fundamental group of X. According to [CS11, Proposition 3.5], we may
e is essential, and according to
suppose without loss of generality that the action G y X
e as a Cartesian product Y1 × · · · × Yk of
[CS11, Proposition 2.6], we can decompose X
irreducible and unbounded CAT(0) cube complexes. For every 1 ≤ i ≤ k, let Hi denote
the set of hyperplanes of X lifting to a hyperplane transverse to Yi in X, and Ci the
e which belongs
e∈X
corresponding set of colors. Fix a basepoint x ∈ X which has a lift x
e
e corresponds
to Y1 ∩ · · · ∩ Yk . From now on, we identify X with M (X, x); in particular, x
to the empty x-legal word. For every 1 ≤ i ≤ k, let Di denote the subgroup of D(X, x)
of the x-legal words written using only colors of Ci .
Notice that, for any distinct 1 ≤ i, j ≤ k, every hyperplane of Hi is transverse to
every hyperplane of Hj , and Hi ∩ Hj = ∅ because X does not contain self-intersecting
hyperplanes; consequently, any color of Ci is adjacent to any color of Cj , and Ci ∩ Cj = ∅.
Therefore,
Fact 6.2. The subgroup hD1 , . . . , Dk i ≤ D(X, x) is naturally isomorphic to D1 ×· · ·×Dk .
Next, let us prove the following statement.
e whose color belongs to Ci is dual to Yi .
Fact 6.3. A hyperplane of X
e
Let H be such a hyperplane. By definition, the image of H in X has a lift H 0 in X
0
which intersects Yi . Because H and H have the same image in X, it follows that there
e it follows that H
exists an element of G sending H to H 0 . Since G acts specially on X,
and H 0 cannot be transverse. In particular, H cannot intersect Yj for some j 6= i, so
that H must intersect Yi . This proves our fact.

Now, we want to prove the following assertion:
Fact 6.4. For every 1 ≤ i ≤ k, the vertices of Yi are precisely the diagrams written only
with colors of Ci .
e to v, we know that v, as a diagram,
Fix a vertex v ∈ Yi . Considering a geodesic γ from x
is represented by the word obtained by reading the colors labelling the edges of γ. But
γ ⊂ Yi by convexity, so it follows that v can be written only with colors of Ci , since all
the edges of Yi have colors which belong to Ci . Conversely, let v ∈ M (X, x) be a vertex
e of the path µ representing
such that v = H1 · · · Hs where H1 , . . . , Hs ∈ Ci . The lift µ
e crosses only hyperplanes of Yi according to the
this x-legal word which starts from x
e must be included into Yi . A fortiori, v ∈ Yi . This proves our
previous fact, so that µ
claim.

An immediate consequence of the previous fact is that Yi is Di -invariant. Another
consequence is that, if a, b ∈ Yi are two diagrams with the same terminus, then ba−1 ∈
D(X, x) sends a to b and belongs to Di . Because X is compact, the terminus of a
diagram can take only finitely many values, so it follows that Di acts geometrically on
Yi . Combined with Fact 6.2, we deduce that:
Fact 6.5. The subgroup hD1 , . . . , Dk i acts geometrically on M (X, x).
18

An immediate consequence is that hD1 , . . . Dk i ' D1 ×· · ·×Dk is a finite-index subgroup
of D(X, x) ' π1 (X, x).
So far, we know that each Di acts freely, geometrically and specially on the irreducible
e is essential,
CAT(0) cube complex Yi . Moreover, we assumed that the action G y X
which implies that the action D1 × · · · × Dk y Y1 × · · · × Yk is also essential, and
from which we deduce that the action Di y Yi is essential as well. According to [CS11,
Theorem 6.3], Di must contain a contracting isometry, so that Di is either acylindrically
hyperbolic or virtually cyclic as a consequence of [Sis11].
Corollary 6.6. A virtually cocompact special group is acylindrically hyperbolic if and
only if it does not virtually split as a direct product of two infinite groups and is not
virtually cyclic.
Proof. Let G be a virtually cocompact special group. According to Theorem 6.1, G
virtually splits as a direct product Zn ×G1 ×· · ·×Gm where G1 , . . . , Gm are acylindrically
hyperbolic cocompact special groups and n, m ≥ 0. If n = m = 0 then G is finite (and
so virtually cyclic); if m = 0 and n = 1, then G is virtually cyclic; if n + m ≥ 2, then G
virtually splits a direct product of two infinite groups. In all these cases, G cannot be
acylindrically hyperbolic: in the first two cases because a virtually cyclic group is not
acylindrically hyperbolic, and in the last case this follows from [Osi16, Corollary 7.3]
and from the case that being acylindrically hyperbolic is stable under commensurability.
Otherwise, m = 1 and n = 0, so that G is (virtually) acylindrically hyperbolic.

7

Rank-one isometries

The purpose of this section is to describe algebraically the elements of the fundamental
group of a compact special cube complex which induce contracting isometries on the
universal cover. This goal is achieved by Theorem 7.7 below. We begin with a discussion
about minimising subspaces.
e and let H(X)
e denote the set
Let G be a group acting on some CAT(0) cube complex X
of its hyperplanes. An isometry g ∈ G skewers a hyperplane J if, for every halfspace D
delimited by J, there exists an integer n ∈ Z\{0} such that g n D ( D. An alternative
description is:

Lemma 7.1. Let γ be a combinatorial axis of g. Then g skewers a hyperplane J if and
only if J intersects γ.
e is finite-dimensional, there must exist two
Proof. Suppose that J intersects γ. Since X
p
q
p ≥ q such that g J and g J are disjoint. Equivalently, g p−q J is not transverse to J. Let
D denote the halfspace delimited by J which contains g p−q J. Since g acts by translation
on γ, it follows that g p−q D ( D. This also implies that g q−p Dc ( Dc .

Conversely, suppose that g skewers J. So there exists a halfspace D delimited by J and
S −kn
an integer n ≥ 1 such that g n D ( D. Fix some z ∈ γ. Because X =
g
D, there
k≥0

must exist some p ∈ Z such that z ∈ g pn D. Hence g −pn z ∈ D ∩ γ. Similarly, since
T kn
g D = ∅, there must exist some q ∈ Z such that z ∈
/ g qn D. Hence g −qn z ∈ Dc ∩ γ.
k≥0

Because the geodesic γ intersects both D and Dc , it follows that J must intersect γ.
Let sk(g) denote the hyperplanes skewered by g, P (g) the hyperplanes transverse to
e (sk(g) ∪ P (g)). Let M (g) denote the
all the hyperplanes of sk(g), and O(g) = H(X)\
intersection of all the halfspaces delimited by hyperplanes of O(g) which contain a given
axis of g. This convex subcomplex splits as a product M (g) = T (g) × S(g) such that
H(T (g)) = P (g) and H(S(g)) = sk(g). See [KS16] for more details.
19

Our first goal is to use the subcomplex M (g) to determine precisely when g is a contracting isometry.
e then g is contracting if and only if
Proposition 7.2. If G acts geometrically on X,
M (g) is a quasi-line, ie., if S(g) is a quasi-line and if T (g) is finite.

We begin by showing that S(g) decomposes as a product of quasi-lines

r
Q

Li (g).

i=1

e then S(g) is a product of quasi-lines.
Lemma 7.3. If G acts geometrically on X,

Proof. As a consequence of Lemma 7.1, S(g) contains only finitely many hgi-orbits of
hyperplanes, and g skewers every hyperplane intersecting S(g), so there exists some
N ≥ 1 such that, for every hyperplane J intersecting S(g), {g kN J0 | k ∈ Z} is a
collection of pairwise disjoint hyperplanes. Fix a hyperplane J0 intersecting S(g), and
set Jk = g kN J0 for every k ∈ Z\{0}. Notice that Jk separates Jk−1 and Jk+1 for every
k ∈ Z.
Let J be a hyperplane intersecting S(g). Suppose by contradiction that J is transverse to
infinitely many Jk ’s but not all. Without loss of generality, suppose that J is transverse
to J0 , J1 , . . . but not to J−1 , J−2 , . . .. For every k ≥ 1, set Hk = g kN J; so Hk is
transverse to Jk , Jk+1 , . . . but not to Jk−1 , Jk−1 , . . .. Moreover, we know from our choice
of N that H1 , H2 , . . . are pairwise disjoint, so Hk separates Hk−1 and Hk+1 for every
k ≥ 2. As a consequence, projN (H1 ) (N (Hk )) ⊂ projN (H1 ) (N (Hk−1 )) for every k ≥ 2.
On the other hand, we know Jk−1 is transverse to H1 and Hk−1 but not to Hk , so in
fact projN (H1 ) (N (Hk )) ( projN (H1 ) (N (Hk−1 )) for every k ≥ 2. This contradicts [HS16,
Theorem B].
Thus, for every hyperplane J intersecting S(g), only two cases may happen:
• J is transverse to Jk for every k ∈ Z.
• J is transverse to only finitely many Jk ’s. Say that J is included into the subcomplex delimited by J−k and Jk for some k ≥ 1. Since we know that S(g) does not
contain facing triple (indeed, any hyperplane of S(g) must cross a fixed axis of g
according to Lemma 7.1), it follows that J separates J−k and Jk .
We deduce from [CS11, Lemma 2.5] that S(g) splits as a Cartesian product L × Y for
some convex subcomplexes L, Y ⊂ S(g) such that the hyperplanes of Y are precise
those which are transverse to all the Jk ’s and such that the set of hyperplanes of L
is the inseparable closure of {. . . , J−1 , J0 , J1 , . . .}, ie., the set of hyperplanes separating
Jp and Jq for some p, q ∈ Z. Notice that, since the collection {. . . , J−1 , J0 , J1 , . . .} is
hg N i-invariant, L must be hg N i-invariant as well.
We claim that L is a quasi-line. To conclude the proof, it is next sufficient to iterate the
argument to Y ; notice that this process must terminate since the dimension decreases.
To show that L is indeed a quasi-line, we begin by proving the following claim:
Claim 7.4. The hyperplanes of L are uniformly finite.
Suppose by contradiction that L contains an infinite hyperplane J. So there exist
infinitely many hyperplanes H1 , H2 , . . . transverse to J. We know that, for every k ≥ 1,
there exist some pk < qk ∈ Z such that Hk separates Jpk and Jqk ; we choose pk and qk as
small as possible, so that Hk is transverse to Ji for every pk < i < qk . Up to translating
by a power of g N , we may suppose without loss of generality that (qk + pk )/2 ≤ 1/2;
notice that necessarily qk ≥ 0 and pk ≤ 0. Since there exist only finite many hyperplanes
separating two given hyperplanes, necessarily qk −→ +∞ and pk −→ −∞, so
k→+∞

20

k→+∞

there exists a subsequence (k(i)) such that (qk(i) ) increases and (pk(i) ) decreases. Now
fix two indices i < j. By construction, Hk(i) separates Jpk(i) and Jqk(i) , and Hk(j) is
transverse to Jpk(i) and Jqk(i) because pk(j) < pk(i) , qk(i) < qk(j) , so Hk(i) and Hk(j) must
be transverse. It follows that Hk(1) , Hk(2) , . . . define a infinite collection of pairwise
e is finite-dimensional.
transverse hyperplanes, which is impossible since X
Thus, we have proved that the hyperplanes of L are all finite. In fact, because L contains
only finitely many hg N i-orbits of hyperplanes, these hyperplanes must be uniformly
finite, proving our claim.
Now we are ready to show that L is a quasi-line. For every i ∈ Z, let Ci ⊂ L denote
the subcomplex delimited by Ji and Ji+1 . To conclude, it is sufficient to show that the
Ci ’s are uniformly bounded. In fact, by noticing that g N Ci = Ci+1 for every i ∈ Z, we
only need to show that C0 is bounded. We know that a hyperplane of C0 is transverse
to J0 , or is transverse to J1 , or separates J0 and J1 . But only finitely many hyperplanes
may separate two given hyperplanes, and it follows from our previous claim that only
finitely many hyperplanes of L may be transverse to J0 or J1 . Therefore, C0 contains
only finitely many hyperplanes, and thus must be finite.
In the proof of Proposition 7.2 below, we refer to [Gen16a, Gen16b] and references
therein for basic definitions and properties of disc diagrams.
Proof of Proposition 7.2. Let γ be a combinatorial axis of g. We know from Lemma 7.1
that the hyperplanes of S(g) coincide with the hyperplanes crossing γ. Therefore, S(g)
can be naturally identified with the convex hull of γ in X. Therefore, γ is quasiconvex
if and only if S(g) is a quasi-line.
Suppose that g is not contracting. If γ is not quasi-convex, then S(g) is not a quasiline, and we are done. From now on, we suppose that γ is quasiconvex, so that
S(g) must be a quasi-line. According to Theorem 2.7, for every n ≥ 1, there exists a grid of hyperplanes (Hn , Vn ) satisfying Hn ⊂ H(S(g)), Vn ∩ H(S(g)) = ∅ and
n
n
#Hn , #Vn ≥ n. Write Hn = {H1n , . . . , Hrnn } such that Hin separates Hi−1
and Hi+1
for every 1 ≤ i ≤ rn − 1, and similarly Vn = {V1n , . . . , Vsnn }; without loss of generality,
we may suppose that V1n separates Vsnn and S(g). Let Cn denote the cycle of convex
subcomplexes (N (H1n ), S(g), N (Hrnn ), Vsnn ), and let Dn → X be a disc diagram bounded
by Cn of minimal complexity. According to [Gen16b, Corollary 2.15], Dn → X is an
isometric embedding, so for convenience we will identify Dn with its image into X;
moreover, according to the same corollary, there exist some an , bn ≥ 0 such that Dn is
isometric to [0, an ]×[0, bn ], in such a way that [0, an ]×{0} ⊂ S(g), {0}×[0, bn ] ⊂ N (H1n ),
{an } × [0, bn ] ⊂ N (Hrnn ), and [0, an ] × {bn } ⊂ N (Vsnn ). As hgi acts cocompactly on S(g),
up to translating Dn by a power of g, we may suppose without loss of generality that
the distance between a fixed basepoint x0 ∈ γ and the point (an /2, 0) ∈ Dn is uniformly
bounded as n varies. Because X is locally finite, up to extracting a subsequence, we
may suppose without loss of generality that the intersection between Dn and a given ball
around x0 is eventually constant. Thus, the sequence of subcomplexes (Dn ) converges
to a subcomplex D∞ isomorphic to R × [0, +∞) such that R × {0} ⊂ S(g).
Claim 7.5. Any hyperplane intersecting S(g) crosses R × {0} ⊂ D∞ .
Let J be a hyperplane intersecting S(g). According to 7.1, J intersects γ. If J does not
cross the geodesic R × {0}, then J must separate this geodesic from a subray r ⊂ γ.
A fortiori, J separates r and the subray ρ ⊂ R × {0} which is asymptotic to r. Since
only finitely many hyperplanes separates r and ρ, but infinitely hyperplanes crosses r,
it follows that infinitely many hyperplanes of S(g) are transverse to J, contradicting
Claim 7.4. This proves our claim.

21

Claim 7.6. Only finitely many hyperplanes crossing {0} × R ⊂ D∞ intersects S(g).
All the hyperplanes crossing R × {0} intersect S(g), and clearly any hyperplane crossing
{0} × R is transverse to any hyperplane crossing {0} × R. Therefore, the existence of
infinitely many hyperplanes crossing both {0} × R and S(g) would create an infinite join
of hyperplanes in S(g), which is impossible according to [Gen16a, Theorem 3.3] since
S(g) is hyperbolic. This proves our claim.
It follows from our previous two claims that there exist infinitely many hyperplanes
disjoint from S(g) which are transverse to all the hyperplanes of S(g), which precisely
means that T (g) must contains infinitely many hyperplanes, and so has to be infinite.
Conversely, suppose that g is contracting. It follows from [Gen16b, Lemma 2.20] that γ
must be quasiconvex, so that it follows that S(g) has to be a quasi-line. Next, by noticing
that, for every collection of hyperplanes H ⊂ H(T (g)) which does not contain any facing
triple, (H, H(S(g))) defines a join of hyperplanes satisfying H ∩ H(S(g)) = ∅, it follows
from Theorem 2.7 that there exists a uniform constant bounding the cardinality of H.
Since X is locally finite, this implies that T (g) must be finite.
Now we are ready to state and prove the main result of this section.
Theorem 7.7. Let X be a compact special cube complex and let G denote its fundamental group. An isometry of G is contracting if and only if its centraliser is virtually
cyclic.
Proof. The implication is known. For instance, this follows from [Sis11] and [Osi16].
(But a direct proof is also possible.)
Conversely, suppose that an isometry g ∈ G is not contracting. From now on, we
follow the notation from the beginning of this section. We also fix a combinatorial
e ∈ T (g) ∩ γ ∩
axis γ of g and a basepoint x ∈ X which has a lift x

r
T

Li (g), and we

i=1

denote by T , L1 , . . . , Lr the colors of the hyperplanes of X which admit a lift intersecting
T (g), L1 (g), . . . , Lr (g) respectively. According to Lemma 7.2, two cases may happen.
Suppose first that S(g) is not a quasi-line, ie., r ≥ 2. Let `e be the subsegment of γ
e and g · x
e, and let ` denote its image in X. Notice that, as a consequence of
between x
Lemma 7.1, the colors of the hyperplanes intersecting ` all belong to L1 ∪ · · · ∪ Lr . It
follows that:
Fact 7.8. The element g ∈ D(X, x) can be represented as an x-legal word written over
L1 ∪ · · · ∪ Lr .
Moreover, as a consequence of Lemma 7.1, notice that any hyperplane of S(g) has a
e so the legal word represented by ` contains colors of each Li .
translate intersecting `,
Therefore, we can write
g = A1 · · · An · B1 · · · Bm ,
where n, m ≥ 1 and where A1 , . . . , An , B1 , . . . , Bm are some colors such that, for every
i 6= j, Ai and Bj are transverse. Notice that, for every k ≥ 1, we have g k = (A1 · · · An )k ·
(B1 · · · Bm )k .
Because X is compact, there must exist some p > q ≥ 1 such that (A1 · · · An )p and
(A1 · · · An )q have the same terminus, so that (A1 · · · An )p ·(A1 · · · An )−q = (A1 · · · An )p−q
is an x-legal word with terminus x. A similar argument holds for B1 · · · Bm , which proves
that there exists some k ≥ 1 such that (A1 · · · An )k and (B1 · · · Bm )k have terminus x.
As a consequence, h(A1 · · · An )k , (B1 · · · Bm )k i defines a free abelian group of rank two
in the centraliser in g k . But we know that, if x and y are two elements of a right-angled
Artin groups and if p ≥ 1 is an integer, then x commutes with y p if and only if it
22

commutes with y, so it follows from Theorem 4.1 that our abelian subgroup actually lies
in the centraliser of g. A fortiori, g does not have a virtually cyclic centraliser.
Next, suppose that T (g) is infinite. Since X is compact, it follows that there exist two
distinct vertices a, b ∈ T (g) having the same terminus when thought of as elements of
e to a and b, we deduce
M (X, x). By looking at the images in X of two geodesics from x
that a and b can be represented as x-legal words written over T . So ab−1 is a non
trivial element of D(X, x). Since any color of T is adjacent to any color of L1 ∪ · · · ∪ Lr ,
it follows from Fact 7.8 that hab−1 , gi defines a free abelian group of rank two in the
centraliser of g. A fortiori, g does not have a virtually cyclic centraliser.
Corollary 7.9. A virtually special group is acylindrically hyperbolic if and only if it
contains an infinite-order element whose centraliser is virtually cyclic and if it is not
virtually cyclic.
Proof. Let G be a virtually special group. So G contains a finite-index subgroup Ġ which
is the fundamental group of a compact special cube complex X. If G is acylindrically
hyperbolic, then any generalised loxodromic element of G has a centraliser which is
virtually cyclic (see [Osi16, Corollary 6.9]). Conversely, if G, and a fortiori Ġ, contains
an element whose centraliser is virtually cyclic, it follows from Theorem 7.7 that Ġ acts
e of X with a contracting isometry. It follows from [Sis11] that
on the universal cover X
Ġ, and a fortiori G, is either virtually cyclic or acylindrically hyperbolic.
Let us conclude our section with an open question.
Question 7.10. Let G be a group acting geometrically on a CAT(0) cube complex and
g ∈ G an infinite-order element. Is it true that the centraliser of g acts geometrically on
M (g)?
By following the proof of Theorem 6.1, a positive answer to this question would imply
the following characterization of the centraliser of a non trivial element g in some special
group G = π1 (X). If M (g) = T (g) ×

r
Q

Li (g), then CG (g) is (virtually) isomorphic to

i=1

a product A × Zr where A acts geometrically on T (g). Compare with [GS97, Theorem
15.35] in the context of diagram groups.

8

Malnormal subgroups and relative hyperbolicity

In this section, we are interested in relatively hyperbolic special groups. Our main
general criterion is the following:
Theorem 8.1. Let G be a virtually special group and H a finite collection of subgroups.
Then G is hyperbolic relatively to H if and only if the following conditions are satisfied:
• each subgroup of H is convex-cocompact;
• H is an almost malnormal collection;
• every non virtually cyclic abelian subgroup of G is contained into a conjugate of
some group of H.
First of all, let us mention the definition of relative hyperbolicity which we use.
Definition 8.2. A finitely-generated group G is hyperbolic relatively to a collection of
subgroups H = {H1 , . . . , Hn } if G acts by isometries on a graph Γ such that:
• Γ is hyperbolic,
23

• Γ contains finitely-many orbits of edges,
• each vertex-stabilizer is either finite or contains a finite-index subgroup conjugated
to some Hi ,
• any Hi stabilizes a vertex,
• Γ is fine, ie., any edge belongs only to finitely-many simple loops (or cycle) of a
given length.
A subgroup conjugated to some Hi is peripheral. G is just said relatively hyperbolic if it
is relatively hyperbolic with respect to a finite collection of proper subgroups.
The first step towards the proof of Theorem 8.1 is to understand what the malnormality
of our collection of subgroups implies geometrically.
Proposition 8.3. Let X be a compact special cube complex, (∆, φ) a special coloring
and x ∈ X a basepoint. If H ⊂ D(X, x) is a malnormal convex-cocompact subgroup,
then the convex hull of H in M (X, x) is contracting.
We begin by proving two preliminary lemmas.
e be a finite-dimensional CAT(0) cube complex and G ≤ Isom(X) a
Lemma 8.4. Let X
e G acts geometrically on the convex hull
convex-cocompact subgroup. For every x ∈ X,
of the orbit G · x.
e on which G acts geometrically. Let Z
Proof. Let Y be a convex subcomplex of X
denote a neighborhood of Y with respect to the `∞ -metric, ie., the metric obtained
e which contains the basepoint
by extending the `∞ -norms defined on each cube of X,
x. According to [HW08b, Corollary 3.5], Z is a convex subcomplex. Moreover, since
e is finite-dimensional, our new metric is quasi-isometric to the old one, necessarily
X
Z is contained into a neighborhood fo Y , so that G acts geometrically on Z as well.
Therefore, there exists a constant K ≥ 0 such that Z is covered by G-translates of the
ball B(x, K). Clearly, the convex hull C of the orbit G · x is contained into Z, so C is
also covered by G-translates of the ball B(x, K), showing that G acts geometrically on
C.

Lemma 8.5. Let G be a group acting metrically properly on a geodesic metric space S,
{H1 , . . . , Hm } a malnormal collection of subgroups, and x ∈ S a basepoint. Suppose that,
for every 1 ≤ i ≤ m, there exists a subspace Si ⊃ Hi · x on which Hi acts geometrically.
For every L ≥ 0, there exists some K ≥ 0 such that




diam Si+L ∩ gSj+L ≤ K
whenever i 6= j and g ∈ G or i = j and g ∈ G\{Hi }.
Proof. Let C ≥ 0 a constant such that, for every 1 ≤ i ≤ m, Si is covered by Hi translates of the ball B(x, C). Fix some L ≥ 0, some 1 ≤ r, t ≤ m and some g ∈ G,
and suppose that the diameter of Sr+L ∩ gSt+L is at least n(2C + 1) for some n ≥ 1.
As a consequence, there exist a1 , . . . , an ∈ Sr+L ∩ gSt+L such that d(ai , aj ) ≥ 2C + 1 for
every distinct 1 ≤ i, j ≤ n. For every 1 ≤ i ≤ n, fix bi ∈ Sr and ci ∈ gSt such that
d(ai , bi ) ≤ L and d(ai , ci ) ≤ L. For every 1 ≤ i ≤ n, there exist hi ∈ Hr and hk ∈ Htg
such that d(bi , hi x) ≤ C and d(ci , ki x) ≤ C. Notice that, for every 1 ≤ i ≤ n, one has
d(hi x, ki x) ≤ d(hi x, bi ) + d(bi , ai ) + d(ai , ci ) + d(ci , ki x) ≤ 2(L + C),
or equivalently, d(x, h−1
i ki x) ≤ 2(L + C). Now, because G acts metrically properly on S,
there exists some N ≥ 0 such that at most N elements of G may satisfy this inequality.
24

Consequently, if n > N , then {h−1
i ki | 1 ≤ i ≤ n} must contain at least two equal
−1
−1
elements, say h−1
k
and
h
k
;
equivalently,
h1 h−1
= 1. For convenience, set
1
2
1
2
2 k2 k1
g
−1
−1
p = h1 h2 = k1 k2 ; notice that p belongs to Sr ∩ St . Next, one has
−1
d(pa2 , a2 ) ≥ d(a2 , a1 ) − d(pa2 , a1 ) ≥ d(a2 , a1 ) − d(h−1
2 a2 , x) − d(x, h1 a1 )

≥ 2C + 1 − C − C = 1
A fortiori, p 6= 1, so that Hi ∩ Hjg 6= {1}. It implies that i = j and g ∈ Hi . We conclude
that K = N (2C + 1) is the constant we are looking for.
Proof of Proposition 8.3. Let H ⊂ D(X, x) be a subgroup and let Y denote the convex
hull of H in M (X, x). For convenience, set L = #V (X) + 1. Suppose that there
exists a flat rectangle R : [0, n] × [0, L] ,→ M (X, x) satisfying Y ∩ R = [0, n] × {0}
for some n > #V (Γ). Because the terminus of a diagram may take at most #V (X)
different values, there must exist 0 ≤ a < b ≤ L such that (0, a) and (0, b) have the
same terminus. Let W be the diagram (0, 0), A the diagram labelling the geodesic
between (0, 0) and (0, a) in R, and B the diagram labelling the geodesic between (0, a)
and (0, b). Notice that B is a (t(W A), t(W A))-diagram, so that g = W ABA−1 W −1
belongs to D(X, x). Now, for every 1 ≤ k ≤ n, let Ck denote the diagram labelling the
geodesic between (0, 0) and (k, 0) in R. Notice that, because any hyperplane intersecting
[0, n] × {0} is transverse to any hyperplane intersecting {0} × [0, L], any color of the
word Ck is adjacent to any color of the words A and B. Consequently,
g · W Ck = W ABA−1 W −1 · W Ck = W · ABA−1 · Ck = W · Ck · ABA−1 ,
so that d(W Ck , gW Ck ) = d((x), ABA−1 ) ≤ length(ABA−1 ) ≤ 3L. It follows that




diam Y +3L ∩ gY +3L ≥ n.
But, since H acts geometrically on Y as a consequence of Lemma 8.4, Lemma 8.5 applies,
and it implies that n cannot be arbitrarily large. The conclusion follows from Theorem
2.7
Our next lemma will be useful when combined with Lemma 8.5.
Lemma 8.6. Let X be a CAT(0) cube complex and A, B ⊂ X two L-contracting convex
subcomplexes. Suppose that any vertex of X has at most R ≥ 2 neighbors. If there exist
N ≥ max(L, 2) hyperplanes transverse to both A and B, then the inequality




diam A+L ∩ B +L ≥ ln(N − 1)/ ln(R)
holds.
Proof. Let F denote the projection of A onto B. Then F is a convex subcomplex whose
hyperplanes are precisely the hyperplanes transverse to both A and B (see for instance
[Gen16a, Proposition 2.9]). Let x ∈ F be a vertex. By definition, there exists some
vertex y ∈ A such that x is the projection of y onto B. Let y 0 denote the projection of x
onto A and y 00 the projection of y 0 onto B. Suppose that there exists some hyperplane
J separating x and y 00 . Because any hyperplane separating y 0 and y 00 must be disjoint
from B, necessarily J separates x and y 0 . But, since any hyperplane separating x and
y 0 must be disjoint from A, it follows that J separates x and y. On the other hand, a
hyperplane separating y and x must be disjoint from B, hence a contradiction. Thus,
we have prove that no hyperplane separates x and y 00 , hence x = y 00 . Therefore, y 0 is
the projection of x onto A and x is the projection of y 0 onto B. It follows that the
25

hyperplanes separating x and y 0 are precisely the hyperplanes separating A and B. By
applying Proposition 7.2 to the collections of the hyperplanes separating A and B, and
the hyperplanes intersecting both A and B, we conclude that d(x, A) = d(x, y 0 ) ≤ L.
Therefore, F ⊂ A+L ∩ B. On the other hand, we know that F contains at least N
hyperplanes, so our lemma is implied by the following claim.
Claim 8.7. Let F be a finite CAT(0) cube complex. Suppose that any vertex of F
has at most R ≥ 2 neighbors and that F contains at least N ≥ 2 hyperplanes. Then
diam(F ) ≥ ln(N − 1)/ ln(R).
Let d denote the diameter of F . From our assumptions, it is clear that F contains at
most Rd + 1 vertices. On the other hand, the number of hyperplanes of F is bounded
above by its number of edges, and a fortiori by its number of vertices. Since F contains
at least N hyperplanes, it follows that N ≤ Rd + 1, and the inequality we are looking
for follows.
The next statement is our last preliminary lemma before proving Theorem 8.1.
e be a locally finite CAT(0) cube complex and C a collection of convex
Lemma 8.8. Let X
subcomplexes which are all P -contracting for some P ≥ 0. Suppose that there exists a
e
constant K ≥ 0 such that the image of every combinatorial isometric embedding R2 ,→ X
lies in the K-neighborhood of some subcomplex C ∈ C. There exist some constants
e lies in the B-neighborhood of some
A, B ≥ 0 such that every A-thick flat rectangle of X
subcomplex of C.

Proof. Our lemma will follow from the next claim.
e an L-thick
Claim 8.9. Let K ≥ 0 and L > 2P be two constants, R : [0, p] × [0, q] ,→ X
flat rectangle, and C ∈ C a subcomplex. Either R is included into C +K+2P , or R ∩ C +K
has diameter at most 2(P + K).




Suppose that diam R ∩ C +K > 2(P + K). Fix two vertices x, y ∈ R ∩ C +K satisfying
d(x, y) > 2(P + K), and let x0 , y 0 ∈ C denote respectively the projections of x, y onto
C. Notice that a hyperplane separating x and y separates x and x0 , or y and y 0 , or
x0 and y 0 , so that there must exist more than 2P hyperplanes separating x and y and
intersecting C. For convenience, let V (resp. H) denote the hyperplanes intersecting
[0, p] × {0} (resp. {0} × [0, q]). Our previous observation implies that more than P
hyperplanes of V or of H intersect C; up to switching H and V, say that we are in the
former case. Since C is P -contracting, at most P hyperplanes of H may be disjoint from
C. Next, because R is L-thick with L > 2P , we deduce that H contains more than P
hyperplanes intersecting C, so that, once again because C is P -contracting, at most P
hyperplanes of V may be disjoint from C. Now, let z ∈ R be a vertex. Notice that a
hyperplane separating z from C separates either x and x0 or x and z. But there exist
at most K hyperplanes separating x and x0 , and at most 2P hyperplanes disjoint from
C separating x and z (these hyperplanes belonging necessarily to H ∪ V). Therefore,
d(z, C) ≤ K + 2P . Thus, we have proved that R ⊂ C +K+2P , concluding the proof of
our claim.
Now we are ready to prove our lemma. Suppose that, for K, L ≥ 0, there exists an
L-thick flat rectangle which is not included into the K-neighborhood of any subcomplex
of C. As a consequence of our previous claim, we know that, forevery K ≥
 0 and every
+K
L > 2P , there exists an L-thick flat rectangle R satisfying diam R ∩ C
≤ 2(P + K)
for every C ∈ C. So, fixing some K ≥ 0, for
 every n > 2P , there exists an n-thick
e
flat rectangle Rn satisfying diam Rn ∩ C +K ≤ 2(P + K) for every C ∈ C. Since X
is locally finite, up to taking a subsequence, we may suppose without loss of generality

26

e ie., for every ball B the sequence
that (Rn ) converges to some subcomplex R∞ ⊂ X,
(Rn ∩ B) is eventually constant
to R∞ ∩

 B. Notice that R∞ is isometric to the square
2
+K
complex R and that diam R∞ ∩ C
≤ 2(P + K) for every C ∈ C. Thus, we have
e
proved that, for every K ≥ 0, there exists a combinatorial isometric embedding R2 ,→ X
whose image is not contained into the K-neighborhood of any subcomplex C ∈ C. This
concludes the proof of our lemma.

Proof of Theorem 8.1. Suppose that G is hyperbolic relatively to H. Then the subgroups of H are convex-cocompact according to [SW15]; the collection H is almost
malnormal according to [Osi06, Theorem 1.4]; and every non cyclic abelian subgroup of
G is contained into a conjugate of some group of H according to [Osi06, Theorem 4.19].
Conversely, suppose that our three conditions are satisfied. Let X be a compact special
cube complex whose fundamental group Ġ is a finite-index subgroup of G. Set Ḣ =
{H ∩ Ġ | H ∈ H}. Notice that it is sufficient to show that Ġ is hyperbolic relatively to
Ḣ in order to deduce that G is hyperbolic relatively to H. Our three conditions implies:
• each subgroup of Ḣ is convex-cocompact;
• the collection Ḣ is malnormal;
• every non cyclic abelian subgroup of Ġ is contained into a conjugate of some group
of Ḣ.
From now on, to simplify the notation, Ġ and Ḣ will be denoted by G and H respectively.
Fix a basepoint x ∈ X, and identify G and the (one-skeleton of the) universal cover of
X with D(X, x) and M (X, x) respectively. Because D(X, x) is naturally embedded into
M (X, x), one may naturally identify subsets of D(X, x) with subsets of M (X, x). Let C
denote the set of the convex hulls in M (X, x) of the cosets of the subgroups of H.
Claim 8.10. There exists a constant K ≥ 0 such that, for every distinct C1 , C2 ∈ C, at
most K hyperplanes intersect both C1 and C2 .
Our claim is a consequence of Lemma 8.6, which applies thanks to Proposition 8.3,
combined with Lemma 8.5.
Claim 8.11. An edge of M (X, x) belongs to only finitely many subcomplexes of C.
Suppose by contradiction that there exist infinitely many subcomplexes of C containing
a given edge e. Because M (X, x) is locally finite, this implies that, for every n ≥ 1,
there exist distinct subcomplexes C1 , C2 ∈ C satisfying C1 ∩ B(n) = C2 ∩ B(n), where
B(n) is a ball of radius n centered at an endpoint of e. Bu such a phenomenon would
contradict our previous claim.
Claim 8.12. There exists some constant K ≥ 0 such that the image of every combinatorial isometric embedding R2 ,→ M (X, x) lies in the K-neighborhood of some subcomplex
of C.
Let R2 ,→ M (X, x) be a combinatorial isometric embedding. For convenience, we identify R2 with its image in M (X, x). First of all, we consider the orthant [0, +∞)2 . Because
the terminus of a diagram may take only finitely many values, the ray [0, +∞) × {0}
must contain infinitely many vertices u1 , u2 , . . . having the same terminus; similarly, the
ray {0} × [0, +∞) must contain infinitely many vertices v1 , v2 , . . . having the same terminus. For every i ≥ 1, let Ai denote the diagram labelling the unique geodesic in R2
between ui and ui+1 and Bi the diagram labelling the unique geodesic in R2 between vi
and vi+1 ; notice that Ai and Bi are spherical diagrams. We also denote by W the diagram corresponding to the vertex of Rn whose projections onto the axes are the u1 and
27

v1 . Because any hyperplane intersecting [0, +∞) × {0} is transverse to any hyperplane
intersecting {0} × [0, +∞), it follows that, for every i, j ≥ 1, any color of the word Ai is
adjacent to any color of the word Bj . As a consequence, the subgroup
W = W · hA1 , B1 , A2 , B2 , . . .i · W −1
naturally decomposes as W hA1 , . . .iW −1 × W hB1 , . . .iW −1 . It follows from the next
observation that W is included into a conjugate of some subgroup of H.
Fact 8.13. If a subgroup of G decomposes as a direct product of two infinite subgroups,
then it must be included into a conjugate of some subgroup of H.
Let K1 × K2 ⊂ G be such a subgroup. For every non trivial elements k1 ∈ K1 and
k2 ∈ K2 , there exists a conjugate C(k1 , k2 ) of some subgroup of H containing hk1 , k2 i
since this subgroup is a free abelian group of rank two. Notice that, for every non trivial
elements k1 , k2 ∈ K1 and k3 ∈ K2 , the intersection C(k1 , k3 ) ∩ C(k2 , k3 ) contains hk3 i,
hence C(k1 , k3 ) = C(k2 , k3 ) since the collection H is malnormal. A similar statement
holds if we switch the roles of K1 and K2 . Therefore, for every non trivial elements
k1 , k2 ∈ K1 and k3 , k4 ∈ K2 , one has
C(k1 , k3 ) = C(k2 , k3 ) = C(k2 , k4 ).
Let H denote this common conjugate. Now, for every non trivial elements k1 ∈ K1 and
k2 ∈ K2 , one has k1 = k12 k2 · k1−1 k2−1 ∈ H · H = H and k2 = k1 k22 · k1−1 k2−1 ∈ H · H = H.
Therefore, K1 and K2 are included into H, hence K1 × K2 ⊂ H. This concludes the
proof of our fact.
So there exist some H ∈ H and g ∈ G such that W ⊂ H g . If C denotes the convex hull
of the coset gH, so that C belongs to C, notice that
W · W ⊂ H g · W ⊂ (H g · g)+d(g,W ) = C +d(g,W ) .
Let Y denote the d(g, W )-neighborhood of C with respect to the `∞ -metric, ie., the
e According to
metric obtained by extending the `∞ -norms defined on each cube of X.
e is finite[HW08b, Corollary 3.5], Y is a convex subcomplex. Moreover, because X
dimensional, our new metric is quasi-isometric to the old one, so that there exists a
constant L ≥ 0 such that Y ⊂ C +L . Finally, since [u1 , +∞) × [v1 , +∞) is clearly
included into the convex hull of W ·W , we deduce that [u1 , +∞)×[v1 , +∞) ⊂ Y ⊂ C +L .
A fortiori, [0, +∞) × [0, +∞) is included into a neighborhood of C. Similarly, one
find some C 0 ∈ C such that [0, +∞) × [0, −∞) is included
into a neighbor
of C 0 . It


implies that there exists some K ≥ 0 such that diam C +K ∩ (C 0 )+K is infinite, hence
C = C 0 as a consequence of Lemma 8.5. Arguing similarly with [0, −∞)2 and next with
[0, −∞) × [0, +∞), we deduce that R2 is included into a neighborhood of C.
Now, we need to show that the constant defining this neighborhood can be chosen
uniformly for every flat subcomplexes. Fix some n ≥ 1 which is sufficiently large so
that the distance between the projections of (0, 0) and (0, n) (resp. (0, 0) and (n, 0))
is at least L, where L is the constant provided by Lemma 2.9. (Notice that L can be
chosen independently of C since C contains only finitely many G-orbits of subcomplexes.)
Therefore, if k denotes the distance from (0, 0) to C, then (0, k) and (k, 0) must be at
distance at most L from the projection p of (0, 0) onto C. Therefore,
2k = d((k, 0), (0, k)) ≤ d((k, 0), p) + d(p, (0, k)) ≤ 2L
hence d((0, 0), C) = k ≤ L. Consequently,
W · (0, 0) ⊂ W · C +L ⊂ H g · C +L ⊂ C +L .
28

Once again according to [HW08b, Corollary 3.5], the L-neighborhood Z of C with
respect to the `∞ -metric is a convex subcomplex, so that the convex hull of W · (0, 0)
must be included into Z since C +L is contained into Z. On the other hand, because
e is finite-dimensional, this new metric is quasi-isometric to the old one, so that there
X
exists a constant K depending only on L such that Y ⊂ C +K . We conclude that R2 ,
which is clearly included into the convex hull of W · (0, 0), lies in the K-neighborhood
of C, where K does not depend on the flat we consider nor on C. This concludes the
proof of our claim.
Let C be the graph obtained from M (X, x) by adding a vertex vC for every C ∈ C and
an edge between vC and every vertex of C. By combining Claim 8.12 and Lemma 8.8
(which applies thanks to Proposition 8.3), we deduce from [Gen16a, Theorem 4.1] that
C is a hyperbolic graph. Moreover, according to Claim 8.10, it follows from [Gen16a,
Theorem 5.7] that C is fine. Notice that, because G acts geometrically on M (X, x) and
that every subcomplex C ∈ C has a cocompact stabiliser, our graph C contains only
finitely many G-orbits of edges. This proves that G is hyperbolic relatively to H.
It is worth noticing that the characterisation of relatively hyperbolic right-angled Coxeter groups (proved in [BHS17, Gen16a]), and more generaly the characterisation of relatively hyperbolic graph products of finite groups (which is a particular case of [Gen17a,
Theorem 8.33]), follows easily from Theorem 8.1. However, this criterion does not provide a purely algebraic characterisation of relatively hyperbolic virtually special groups,
since the subgroups need to be convex-cocompact. But, convex-cocompactness is not an
algebraic property: with respect to the canonical action Z2 y R2 , the cyclic subgroup
generated by (0, 1) is convex-cocompact, whereas the same subgroup is not convexcocompact with respect to the action Z2 y R2 defined by (0, 1) : (x, y) 7→ (x + 1, y + 1)
and (1, 0) : (x, y) 7→ (x + 1, y). On the other hand, we do not know whether or not
a finitely generated malnormal subgroup is automatically convex-cocompact. Nevertheless, Theorem 8.1 provides an algebraic criterion if one restricts our attention to a
collection of subgroups which we know to be convex-cocompact. In this spirit, we conclude the section with the following beautiful characterisation of virtually special groups
which are hyperbolic relatively to virtually abelian subgroups.
Theorem 8.14. A virtually special group is hyperbolic relatively to a finite collection
of virtually abelian subgroups if and only if it does not contain F2 × Z as a subgroup.
The following preliminary lemma will be useful during the proof of our theorem.
Lemma 8.15. Let A be a right-angled Artin group and a1 , p1 , . . . , an , pn ∈ A some
−1
elements. Suppose that a1 , . . . , an are cyclically reduced and that p1 a1 p−1
1 , . . . , pn an pn
pairwise commute. There exists some q ∈ A such that
−1
−1
hp1 a1 p−1
1 , . . . , pn an pn i = qha1 , . . . , an iq .

We begin by a discussion written in [Ser89]. Let g be an element in a right-angled
Artin group A(Γ). Write g = php−1 where h is the cyclic reduction of g, and let
Λ1 , . . . , Λr denote the connected components of the complement of the support of h,
ie., the subgaph generated by the vertices of Γ corresponding to the generators which
appear in the word h. One can write h as a product u1 · · · uk such that, for every
1 ≤ i ≤ k, the support of ui is precisely Λi ; this element ui belongs to a maximal cyclic
subgroup whose generator, say hi , is uniquely defined up to sign. So g = phn1 1 · · · hnr r p−1
for some integers n1 , . . . , nr ∈ Z. The hi ’s are the pure factors of g. According to
[Ser89, Centralizer Theorem], an element of A(Γ) commutes with g if and only if it
mr
−1 for some integers m , . . . , m ∈ Z and some element
1
can be written as phm
1
r
1 · · · hr kp
k ∈ A(Γ) whose support is disjoint from Λ1 , . . . , Λr in the complement of Γ.
29

Proof of Lemma 8.15. We argue be induction on n. If n = 1, there is nothing to prove.
Suppose that n ≥ 2. By applying our induction hypothesis, we know that there exists
some q ∈ A such that
−1
−1
hp1 a1 p−1
1 , . . . , pn−1 an−1 pn−1 i = qha1 , . . . , an−1 iq .

Let h1 , . . . , hr denote all the pure factors which appear in a1 , . . . , an−1 . The Centraliser
n1
nr
−1 where the support of
Theorem implies that pn an p−1
n can be written as qh1 · · · hr kq
k is disjoint from the union of the supports of the hi ’s. Write k = aha−1 where h is
cyclically reduced. Then
n1
nr
−1
pn an p−1
n = (qa) · h1 · · · hr h · (qa)

because a commutes with all the hi ’s. Notice that an = hn1 1 · · · hnr r h by uniqueness of
the cyclic reduction. Moreover, since a commutes with all the pure factors which appear
in a1 , . . . , an−1 , which are cyclically reduced, necessarily a commutes with a1 , . . . , an−1 .
Consequently,
−1
−1
hp1 a1 p−1
1 , . . . , pn−1 an−1 pn−1 i = (qa)ha1 , . . . , an−1 i(qa) .

This concludes the proof of our lemma.
Proof of Theorem 8.14. Notice that, in order to show that a given group containing a
special finite-index subgroup G is hyperbolic relatively to a finite collection of virtually
abelian subgroups, it is sufficient to prove that G is hyperbolic relatively to a finite
collection of abelian subgroups. Let X be a compact special cube cube complex whose
fundamental group is isomorphic to G. Let A denote the collection of maximal abelian
subgroups of rank at least two. Fix a set of representatives A0 ⊂ A modulo conjugacy.
Claim 8.16. If G does not contain any subgroup isomorphic to F2 × Z, then A0 is a
malnormal collection.
Suppose that A0 is not malnormal, ie., there exist two subgroups A1 , A2 ∈ A0 and
an element g ∈ G, such that either A1 6= A2 or A1 = A2 and g ∈
/ A1 , such that
A1 ∩ Ag2 6= {1}. We distinguish two cases.
• Suppose that A1 6= Ag2 . Since A1 and Ag2 are two distinct maximal abelian subgroups, there must exist two non commuting elements k1 ∈ A1 and k2 ∈ Ag2 . Fix a
non trivial element h ∈ A1 ∩ Ag2 and notice that h commutes with both k1 and k2 .
By combining Theorem 4.1 with Lemma 8.18 below, we conclude that G contains
a subgroup isomorphic to F2 × Z.
• Suppose that A1 = Ag2 . This implies that A1 = A2 . Let A denote this common
subgroup, so that A = Ag . Because g ∈
/ A and that A is a maximal abelian
subgroup, necessarily there exists some h ∈ A such that h and g do not commute.
By combining Theorem 4.1 and [Bau81], we know that {h, g} is a free basis of
hg, hi. On the other hand, ghg −1 ∈ Ag = A must commute with h since A is
abelian, contradiction our previous observation. Therefore, this case is impossible.
This concludes the proof of our claim.
Claim 8.17. If G does not contain any subgroup isomorphic to F2 × Z, then A0 must
be finite.
−1
Let A ∈ A be an abelian subgroup. Fix a basis p1 a1 p−1
1 , . . . , pn an pn ∈ A where the
spherical diagrams a1 , . . . , an (which do not necessarily belong to D(X, x)) are cyclically
reduced, and suppose that there exists some 1 ≤ i ≤ n such that the length of ai is

30

greater than #V (X). Up to reordering the generators, we may suppose without loss of
generality that i = 1. By considering a path in X representing the diagram a1 , which
must pass twice through some vertex of X since it has length greater than #V (X), we
deduce that we can write a1 = abc for some diagrams a, b, c such that b is a spherical
diagram whose length is less than the length of a1 . Notice that, because b is spherical,
aba−1 is a well-defined diagram. Since A0 is a malnormal collection according the
previous claim, we deduce from the inclusion
D

E

D

E

−1
−1
p2 a2 p−1
⊂ (pa)b(pa)−1 , p2 a2 p−1
∩A
2 , . . . , p n an p n
2 , . . . , pn an pn

that

D

E

D

−1
−1
A = p1 a1 p−1
= (pa)b(pa)−1 , p2 a2 p−1
1 , . . . , p n an p n
2 , . . . , p n an p n

E

−1
where |b| < |a1 |. Consequently, if we choose our basis p1 a1 p−1
1 , . . . , pn an pn ∈ A by
minimising the sum |a1 | + · · · + |an |, then |ai | ≤ #V (X) for every 1 ≤ i ≤ n. By
applying Lemma 8.15 (combined with Fact 4.3), we conclude that any subgroup of A
can be written as qF q −1 where F belongs to

(

F=

c , . . . , ck ∈ D(X, y) pairwise commute
hc1 , . . . , ck i k ≥ 2, y ∈ X, 1
and have length < #V (X)

)

.

Let t denote the terminus of q. By considering a path of minimal length in X from x
to t, we find an (x, t)-diagram s of length at most #V (X). Notice that sq −1 belongs to
D(X, x), and that conjugating qF q −1 by sq −1 gives sF s−1 . Thus, we have proved that
any subgroup of A is conjugate to some sF s−1 where F ∈ F and where |s| ≤ #V (X).
But F is finite and we have only finitely many choices for s. Consequently, A contains
only finitely many conjugacy classes, which shows that A0 is indeed finite.
Finally, we are ready to apply Theorem 8.1. Suppose that F2 × Z is not a subgroup
of G. We know from the two previous claims that A0 is finite malnormal collection.
Moreover, it is clear that any non cyclic abelian subgroup of G must be included into
a conjugated of some subgroup of A0 , and it is a general fact that abelian subgroups
are convex-cocompact in groups acting geometrically on CAT(0) cube complexes, see
[Woo16] (although an easy direct proof is possible here). So Theorem 8.1 applies, so
that G must be hyperbolic relatively to A0 . Conversely, a group containing F2 × Z
as a subgroup cannot be hyperbolic relatively to abelian subgroups since a subgroup
which splits as a direct product of two infinite groups must be included into a peripheral
subgroup (see for instance [Osi06, Theorem 4.19]).
Lemma 8.18. Let A be a right-angled Artin group and g, h, k ∈ A be three non trivial
elements satisfying [g, h] = [g, k] = 1 and [h, k] 6= 1. The subgroup hg, h, ki is isomorphic
to F2 × Z.
Proof. Since g is clearly central in hg, h, ki, necessarily hgi and hh, ki are normal subgroups in hg, h, ki. Moreover, because hh, ki is a non abelian free subgroup of A according
to [Bau81], we know that the center of hh, ki is trivial, so that hgi ∩ hh, ki = {1}. A
fortiori, hg, h, ki decomposes as hgi × hh, ki. As we already observed that hh, ki is a free
group, the desired conclusion follows.

9
9.1

Applications to graph braid groups
Cubical geometry

In the rest of this paper, we are interested in the negatively-curved properties of graph
braid groups. This first section is dedicated to basic definitions and properties of graph
braid groups, essentially following [Abr00], and next to their cubical geometry.
31

Definition 9.1. Let Γ be a one-dimensional CW-complex and n ≥ 1 an integer.
The topological configuration space of n points in Γ is Cntop (Γ) = Γn /D where D =
{(x1 , . . . , xn ) ∈ Γn | xi = xj for some i 6= j}. The nth pure braid group of Γ based at ∗,
denoted by Pn (Γ, ∗), is the fundamental group of Cntop (Γ) based at ∗. The symmetric
group Sn acts freely on Cntop (Γ) by permuting the coordinates. Let U Cntop (Γ) denote
the quotient Cntop (Γ)/Sn . The nth braid group of Γ based at ∗, denoted by Bn (Γ, ∗), is
the fundamental group of U Cntop (Γ) based at ∗.
A path in Cntop (Γ) or in U Cntop (Γ) can be thought of as moving continuously and without
collision n particles in Γ. It may be interesting to move the particles discretely, ie., from
a vertex to an adjacent vertex, to get a combinatorial model of the configuration space.
More precisely:
Definition 9.2. Let Γ be a one-dimensional CW-complex and n ≥ 1 an integer. The
combinatorial configuration space of n points in Γ, denoted by Cn (Γ), is the subcomplex
of Γn containing all the cubes σ1 × · · · × σn (where the σi ’s are one-cells of Γ) such that,
for every distinct 1 ≤ i, j ≤ n, σi and σj do not share an endpoint. The symmetric
group Sn acts freely on Cn (Γ) by permuting the coordinates. Let U Cn (Γ) denote the
quotient Cn (Γ)/Sn .
It is worth noticing that U Cntop (Γ) depends only on the topological type of Γ whereas
U Cn (Γ) depends heavily on the CW-structure of Γ. For instance, if Γ is a circle with
two vertices, then U C2top (Γ) is an annulus whereas U C2 (Γ) is a single vertex. However,
it was proved in [PS14] that U Cntop (Γ) and U Cn (Γ) have the same homotopy type if the
“arcs” of Γ are sufficiently subdivided. More precisely:
Proposition 9.3. Let n ≥ 1 be an integer and Γ a one-dimensional CW-complex with
at least n vertices. If
• each edge-path in Γ connecting distinct vertices of degree at least three has length
at least n − 1;
• each homotopically non trivial edge-path connecting a vertex to itself has length at
least n + 1,
then U Cntop (Γ) deformation retracts onto U Cn (Γ).
An equivalent description of U Cn (Γ) is the following:
• the vertices of U Cn (Γ) are the subsets of Γ(0) of cardinality n;
• the edges of U Cn (Γ) link two subsets S1 and S2 if the symmetric difference S1 ∆S2
is a pair of adjacent vertices (so an edge of U Cn (Γ) is naturally labelled by a
one-cell of Γ);
• n edges sharing a common endpoint generate an n-cube if the one-cells labelling
them are pairwise disjoint.
This description implies easily that the link of any vertex of U Cn (Γ) is a simplicial flag
complex, which implies, as noticed in [Abr00], that
Proposition 9.4. Let n ≥ 1 be an integer and Γ a one-dimensional CW-complex containing more than n vertices. Then U Cn (Γ) is a disjoint union of nonpositively-curved
cube complex.

32

Given a one-dimensional CW-complex Γ and an integer n ≥ 1, we need to fix a basepoint
in U Cn (Γ), ie., a subset S ⊂ Γ(0) of cardinality n, in order to define a graph braid group
Bn (Γ, S). However, up to isomorphism, our group depends only on the number vertices
that S contains in each connected components of Γ. Indeed, if R is another subset of
Γ(0) of cardinality n such that |R ∩ Λ| = |S ∩ Λ| for every connected component Λ of Γ,
then R and S belong to the same connected component of U Cn (Γ), so that Bn (Γ, S) and
Bn (Γ, R) turn out to be isomorphic. As a consequence, if Γ is connected, the choice of
the basepoint does not matter, so that the graph braid group can be simply denoted by
Bn (Γ). In fact, according to our next lemma, one can always assume that Γ is connected.
Lemma 9.5. Let Γ be a one-dimensional CW-complex, n ≥ 2 an integer and S ∈
U Cn (Γ) an initial configuration. Suppose that Γ = Γ1 t Γ2 . If our initial configuration S
has p particles in Γ1 and q particles in Γ2 , then Bn (Γ, S) ' Bp (Γ1 , S∩Γ1 )×Bq (Γ2 , S∩Γ2 ).
Proof. For every i ∈ {1, 2} and every 0 ≤ k ≤ n, set
Di,k = {(x1 , . . . , xk ) ∈ Γki | xr = xs for some distinct 1 ≤ r, s ≤ k}.
One has the naturally homeomorphisms
U Cn (Γ) =

Γn \D

'

 n
F
k=0

'

Γk1

×

Γ2n−k



\D

 

n 
n
F
F
Γk1 \D1,k × Γ2n−k \D2,n−k =
U Ck (Γ1 ) × U Cn−k (Γ2 )

k=0

k=0

Under these homeomorphisms, our initial configuration S belongs to U Cp (Γ1 )×U Cq (Γ2 ),
whence the isomorphisms
Bn (Γ, S) = π1 (U Cn (Γ), S) ' π1 (U Cp (Γ1 ) × U Cq (Γ2 ), S)
' Bp (Γ1 , S ∩ Γ1 ) × Bq (Γ2 , S ∩ Γ2 )
which concludes our proof.
As a consequence of the previous lemma, since hyperbolic groups, and more generally
acylindrically hyperbolic groups, do not split as direct products of infinite groups, one
can always suppose that our one-dimensional CW-complex is connected when studying
these kinds of groups.
Now, let us focus on the hyperplanes of U Cn (Γ). It is worth noticing that an oriented
edge E of U Cn (Γ) is uniquely determined by the data of an oriented edge e of Γ together
with a subset S of Γ(0) of cardinality n such that o(e) ∈ S but t(e) ∈
/ S: the E links S
to (S\{o(e)}) ∪ {t(e)}. For every such edge (e, S), we denote by [e, S] the hyperplanes
dual to it.
Lemma 9.6. Two oriented edges (e1 , S1 ) and (e2 , S2 ) of U Cn (Γ) are dual to the same
oriented hyperplane if and only if e1 = e2 and S1 \{o(e1 )}, S2 \{o(e2 )} belong to the same
connected component of Cn−1 (Γ\e).
Proof. Suppose that (e1 , S1 ) and (e2 , S2 ) are dual to the same oriented hyperplane. So
there exists a sequence of oriented edges
(1 , Σ1 ) = (e1 , S1 ), (2 , Σ2 ), . . . , (n−1 , Σn−1 ), (n , Σn ) = (e2 , S2 )
such that, for every 1 ≤ i ≤ n − 1, the edges (i , Σi ) and (i+1 , Σi+1 ) are parallel in
some square Qi ; let (ηi , Σi ) denote the edge of Qi which is adjacent to (i , Σi ) and
33

which contains the starting of (i , Σi ), ie., Σi . From the definition of the squares in
Cn (Γ), it follows that i = i+1 , i ∩ ηi = ∅ and Σi+1 = (Σi \{o(ηi )}) ∪ {t(ηi )} for every
1 ≤ i ≤ n − 1. Therefore, the equalities
e1 = 1 = 2 = · · · n−1 = n = e2
hold, and the sequence
S1 \{o(e1 )} = Σ1 \{o(1 )}, Σ2 \{o(2 )}, . . . , Σn \{o(n )} = S2 \{o(e2 )}
defines a path in Cn−1 (Γ\e).
Conversely, let e be an oriented edge of Γ and S1 , S2 two vertices of Cn−1 (Γ\e) which
belong to the same connected component. So there exists a path
Σ1 = S1 , Σ2 , . . . , Σn−1 , Σn = S2
in Cn−1 (Γ\e). For every 1 ≤ i ≤ n − 1, there exists an edge ηi disjoint from e such that
(, ηi , Σi ) links Σi to Σi+1 ; notice that, since ηi and e are disjoint, the edges (e, Σi ∪{o(e)})
and (ηi , Σi ∪{o(e)}) generate a square in Cn (Γ), such that (e, Σi+1 ∪{o(e)}) is the opposite
edge of (e, Σi ∪ {o(e)}) in that square. From the sequence
(e, Σ1 ∪ {o(e)}) = (e, S1 ∪ {o(e)}), (e, Σ2 ∪ {o(e)}), . . . , (e, Σn ∪ {o(e)}) = (e, S2 ∪ {o(e)}),
it follows that the oriented edges (e, S1 ∪ {o(e)}) and (e, S2 ∪ {o(e)}) of Cn (Γ) are dual
to the same oriented hyperplane, concluding the proof.
Now, we are ready to define a special coloring of U Cn (Γ). For that purpose, we denote
by ∆ the graph whose vertices are the edges of Γ and whose edges link two disjoint edges
of Γ, and we fix an orientation of the edges of Γ in order to identify the set of oriented
edges of Γ with E(Γ) t E(Γ)−1 .
Proposition 9.7. Let Γ be a one-dimensional CW-complex and n ≥ 1 an integer. If φ
denotes the map [e, S] 7→ e, then (∆, φ) is a special coloring of U Cn (Γ).
Proof. The first point of Definition 3.1 is clear from the construction of φ. The other
three points are also satisfied according the following observations.
• If two hyperplanes are transverse, they must cross inside some square. Since two
adjacent edges of Cn (Γ) which generate a square must be labelled by disjoint edges,
it follows that the images of our two hyperplanes under φ are adjacent in ∆.
• It is clear that two distinct edges of Cn (Γ) starting from a common vertex must
be labelled by different oriented edges of Γ. A fortiori, two oriented hyperplanes
adjacent to a given vertex have different images under φ.
• Consider two oriented edges of Cn (Γ) starting from a common vertex such that
the images under φ of the dual hyperplanes are adjacent in ∆. This means that
the edges of Γ labelling our two edges of Cn (Γ) are disjoint. From the definition
of Cn (Γ), it follows that our edges generate a square.
This concludes the proof of our proposition.
Remark 9.8. Following the proof of Lemma 3.2, the combination of Propositions 9.4
and 9.7 provides an easy proof of the fact that U Cn (Γ) is a disjoint union of special
cube complexes, as noticed in [CW04].

34

Figure 2: Two distinct hyperplanes labelled by the same oriented edge.

Fixing a basepoint S ∈ U Cn (Γ), we deduce from Section 3 the following description
of the universal cover Xn (Γ, S) of the connected component of U Cn (Γ) containing S,
which we denote by U Cn (Γ, S).
A word of oriented edges e1 · · · en is S-legal if, for every 1 ≤ i ≤ n, we have
o(ei ) ∈ (S\{o(e1 ), . . . , o(ei−1 }) ∪ {t(e1 ), . . . , t(ei−1 )}
but
t(ei ) ∈
/ (S\{o(e1 ), . . . , o(ei−1 }) ∪ {t(e1 ), . . . , t(ei−1 )}.
The picture to keep in mind is the following. Start with the configuration S. The
oriented edge e1 acts on S by moving the particle of S on o(e1 ) to t(e1 ). Next, apply e2
to this new configuration, and so on. The word e1 · · · en is S-legal if all these operations
are well-defined. The terminus of such a word is the final configuration we get. In
this context, a cancellation amounts to remove a backtrack in the movement of one
particle; an insertion adds such a backtrack; and a commutation switch the order of
two independent moves. Therefore, a (S1 , S2 )-diagram can be thought of as n particles
moving discretely in Γ without colliding, from a configuration S1 to a configuration S2 ,
up to the previous operations.
The one-skeleton of Xn (Γ, S) can be identified with the graph whose vertices are the
(S, ∗)-diagrams and whose edges link two diagrams if one can be obtained from the other
by right-multiplicating by an oriented edge of Γ. Moreover, the braid group Bn (Γ, S)
can be identified with the set of (S, S)-diagrams endowed with the concatenation.
As a direct consequence of Theorem 4.1 and Proposition 9.7, we are able to recover
[CW04, Theorem 2].
Proposition 9.9. Let Γ be one-dimensional CW-complex, n ≥ 1 an integer and S ∈
U Cn (Γ) a basepoint. The braid group Bn (Γ, S) embeds into the right-angled Artin group
A(∆).
It is worth noticing that the graph ∆ does not coincide with the crossing graph of the
cube complex U Cn (Γ), so that the previous embedding is different from the usual embedding one gets for special groups. Otherwise saying, a hyperplane [e, S] of U Cn (Γ) is not
uniquely determined by the oriented edge e of Γ. Figure 2 provides a one-dimensional
CW-complex Γ, an oriented edge of Γ, and two configurations S1 and S2 , so that the
hyperplanes [e, S1 ] and [e, S2 ] are distinct.
Proposition 9.10. Let Γ be a connected one-dimensional CW-complex and n ≥ 1 an
integer. If Λ is a connected induced subgraph of Γ, then Bn (Λ) embeds into Bn (Γ).
Moreover, if Λ is a proper subgraph, then Bm (Λ) embeds into Bn (Γ) for every m ≤ n.
Proof. Fix an initial configuration S ∈ U Cn (Γ) which is included into Λ, and consider the
obvious map U Cn (Λ, S) → U Cn (Γ, S). By applying [CW04, Theorem 1(2)], it follows
that this map is a local isometry. Because a local isometry between nonpositively-curved
cube complexes turns out to be π1 -injective, we conclude that Bn (Λ) embeds into Bn (Γ).
35

Figure 3: From left to right: a sun graph, a rose graph, a pulsar graph.

Now, suppose that Λ ⊂ Γ is a proper subgraph and fix some integer m ≤ n. Up
to subdividing Γ, which does not affect the corresponding braid group according to
Proposition 9.3, we may suppose without loss of generality that Γ contains at least
n − m vertices which do not belong to Λ. Fix an initial configuration S ∈ U Cn (Γ)
satisfying #S ∩ Λ = m. As above, apply [CW04, Theorem 1(2)] to show that the
obvious map U Cm (Λ, S ∩ Λ) → U Cn (Γ, S) is a local isometry. A fortiori, the braid
group Bm (Λ) embeds into Bn (Γ).
We conclude this section by setting the following open question:
Question 9.11. Let Γ be a connected one-dimensional CW-complex and n ≥ 2 an
integer. Is it true that Bm (Γ) embeds into Bn (Γ) for every m ≤ n?

9.2

Gromov hyperbolicity

This section is dedicated to the characterization of hyperbolic graph braid groups. We
begin by introducing several classes of graphs.
• A sun graph is a graph obtained from a cycle by gluing rays to some vertices.
• A rose graph is a graph obtained by gluing cycles and rays along a single vertex.
• A pulsar graph is a graph obtained by gluing cycles along a fixed segment (not
reduced to a single vertex) and rays to the endpoints of this segment.
See Figure 3 for examples. We allow degenerate situations; for instance, a single cycle
belongs to our three families of graphs. Our characterization is the following:
Theorem 9.12. Let Γ be a compact and connected one-dimensional CW-complex.
• The braid group B2 (Γ) is hyperbolic if and only if Γ does not contain a pair of
disjoint induced cycles.
• The braid group B3 (Γ) is hyperbolic if and only if Γ is a tree, or a sun graph, or
a rose graph, or a pulsar graph.
• For every n ≥ 4, the braid group Bn (Γ) is hyperbolic if and only if Γ is a rose
graph.
Proof. Let n ≥ 2 be an integer. For convenience, we fix an initial configuration S ∈
U Cn (Γ).
Suppose that Bn (Γ, S) is not hyperbolic. By applying Fact 5.6, we find two spherical
diagrams e1 · · · ep , 1 · · · q ∈ D(U Cn (Γ), S 0 ), for some S 0 ∈ U Cn (Γ, S), such that ei ∩j =
36

∅ for every 1 ≤ i ≤ p and 1 ≤ j ≤ q. As a consequence, the subgraphs Λ1 = e1 ∪ · · · ∪ ep
and Λ2 = 1 ∪ · · · ∪ q are disjoint. Setting S1 = S 0 ∩ Λ1 (resp. S2 = S 0 ∩ Λ2 ),
notice that e1 · · · ep (resp. 1 · · · q ) belongs to D(Cr (Λ1 ), S1 ) (resp. D(Cs (Λ2 ), S2 )),
where r (resp. s) denotes the cardinality of S1 (resp. S2 ). Thus, we have found a
configuration S 0 = S1 t S2 ∈ Cn (Γ, S), where S1 , S2 have cardinalities r, s respectively,
and two subgraphs Λ1 , Λ2 ⊂ Γ containing S1 , S2 respectively, such that Br (Λ1 , S1 ) and
Bs (Λ2 , S2 ) are non trivial.
Conversely, if there exist a configuration S 0 = S1 t S2 ∈ Cn (Γ, S), where S1 , S2 have
cardinalities r, s respectively, and two subgraphs Λ1 , Λ2 ⊂ Γ containing S1 , S2 respectively, such that Br (Λ1 , S1 ) and Bs (Λ2 , S2 ) are non trivial, then Bn (Γ) must contain
a subgroup isomorphic to Z2 . Indeed, the subgroup of Bn (Γ) generated by Br (Λ1 , S1 )
and Bs (Λ2 , S2 ) is naturally isomorphic to Br (Λ1 , S1 ) × Bs (Λ2 , S2 ) since Λ1 and Λ2 are
disjoint. It follows that Bn (Γ) cannot be hyperbolic.
Thus, we have proved that Bn (Γ, S) is hyperbolic if and only if there do not exist a
configuration S 0 = S1 t S2 ∈ Cn (Γ, ∗), where S1 , S2 have cardinalities r, s respectively,
and two subgraphs Λ1 , Λ2 ⊂ Γ contains S1 , S2 respectively, such that Br (Λ1 , S1 ) and
Bs (Λ2 , S2 ) are non trivial. It follows from Lemma 9.13 below that:
• B2 (Γ) is hyperbolic if and only if Γ does not contain a pair of disjoint induced
cycles;
• B3 (Γ) is hyperbolic if and only if Γ does not contain a pair of disjoint induced
cycles nor a vertex of degree at least three which is disjoint from some induced
cycle;
• for every n ≥ 4, Bn (Γ) is hyperbolic if and only if Γ does not contain a pair of
disjoint induced cycles, nor a vertex of degree at least three which is disjoint from
some induced cycles, nor two distinct vertices of degree at least three.
Suppose that Γ is a graph satisfying all the conditions of our previous point. If Γ does
not contain a vertex of degree at least three, then it must be either a cycle or a segment.
So suppose that Γ contains a vertex of degree at least three. By assumption, Γ contains
a unique such vertex. Therefore, Γ can be obtained by gluing along a single vertex some
graphs without vertices of degree at least three, ie., segments and cycles. It follows that
Γ must be a rose graph. Consequently, Bn (Γ) is hyperbolic if and only if Γ is a rose
graph.
Now, suppose that Γ does not contain a pair of disjoint induced cycles nor a vertex of
degree at least three which is disjoint from some induced cycle. If Γ does not contain
induced cycles, then Γ is tree. If Γ contains exactly one induced cycle, then Γ must be a
sun graph since all its vertices of degree at least three have to belong to this cycle. From
now on, suppose that Γ contains at least two induced cycles; let C1 and C2 be two such
cycles. As a consequence, Γ contains at least one vertex of degree at least three (which
belongs to a path linking two cycles). If Γ contains a single such vertex, then it follows
from the previous paragraph that Γ must be a rose graph. So suppose that Γ contains
at least two vertices of degree at least three. First, assume that Γ contains exactly two
such vertices, say u and v. So Γ can be constructed from u and v by gluing segments.
Only two gluings are possible: identifying the two endpoints to u and v respectively,
or identifying a single endpoint to u or v. Indeed, identifying the two endpoints to u
(resp. v) is impossible since v (resp. u) would be disjoint from the cycle thus created.
Consequently, Γ must be a pulsar graph. Finally, assume that Γ contains at least three
vertices of degree at least three, say u, v, w. By assumption, Γ contains at least two
induced cycles, say C1 and C2 ; moreover, u, v, w must belong to these cycles. For every
37

x, y ∈ {u, v, w} and i ∈ {1, 2}, let [x, y]i denote the arc of Ci between x and y. Because
C1 6= C2 , we can suppose without loss of generality that [u, v]1 6= [u, v]2 . Consequently,
[u, v]1 ∪ [u, v]2 contains an induced cycle which is disjoint from w, contradicting our
assumptions. Consequently, B3 (Γ) is hyperbolic if and only if Γ is a tree, or a sun
graph, or a rose graph, or a pulsar graph.
Lemma 9.13. Let Γ be a one-dimensional CW-complex.
• For every S ∈ U C1 (Γ), the braid group B1 (Γ, S) is non trivial if and only if the
connected component of Γ containing S also contains an induced cycle.
• For every n ≥ 2 and every S ∈ U Cn (Γ), the braid group Bn (Γ, S) is non trivial
if and only if Γ contains a connected component intersecting S which contains an
induced cycle, or a connected component whose intersection with S has cardinality
at least two and which contains a vertex of degree at least three. Alternatively,
Bn (Γ, S) is trivial if and only if the connected components of Γ whose intersections
with S have cardinality one are trees, and those whose intersections with S have
cardinality at least two are segments.
Proof. The first assertion follows from the observation that the braid group B1 (Γ, S) is
isomorphic to the fundamental group of the connected component of Γ containing S.
Next, fix some n ≥ 2. Write Γ as
A1 t · · · t Ap t B1 t · · · t Bq t C1 t · · · t Cr
where the Ai ’s are the connected components of Γ whose intersections with S have
cardinality one, where the Bi ’s are the connected components of Γ whose intersections
with S have cardinality at least two, and where the Ci ’s are the connected components
of Γ which are disjoint from S. As a consequence of Lemma 9.5, it is sufficient to show
that, for every 1 ≤ i ≤ p and every 1 ≤ j ≤ q, the braid groups B1 (Ai ) and Bk (Bj ),
where k ≥ 2, are trivial if and only if Ai is a tree and Bj is a segment. It is a consequence
of the following facts.
Fact 9.14. For every connected one-dimensional CW-complex Γ, the braid group B1 (Γ)
is trivial if and only if Γ is a tree.
Our fact follows directly from the observation that B1 (Γ) is isomorphic to the fundamental group of Γ.
Fact 9.15. Let Γ be a connected one-dimensional CW-complex and n ≥ 2 an integer.
The braid group Bn (Γ) is trivial if and only if Γ is a segment.
Suppose that Γ is not a segment. Then it must contain either an induced cycle or a
vertex of degree at least three. If Γ contains a cycle, either Γ is itself a cycle, so that
Bn (Γ) must be infinite cyclic, or Γ contains a proper cycle C, so that it follows from
Proposition 9.10 that B1 (C) ' Z embeds into Bn (Γ). So, in this case, Bn (Γ) is not
trivial. Next, if Γ contains a vertex of degree at least three, up to subdividing Γ (which
does not modify the corresponding braid group according to Proposition 9.3), one can
apply Proposition 9.10 to deduce that B2 (T ) embeds into Bn (Γ), where is as in Figure
4. Notice that ca−1 bc−1 ab−1 is a non trivial element of B2 (T ), so that Bn (Γ) must be
non trivial.
Conversely, we leave as an exercise to show that the braid groups of a segment are
trivial.
An interesting consequence of Theorem 9.12, combined with the next lemma, is that
the (cohomologic or asymptotic) dimension of a hyperbolic graph braid group is at most
three.
38

Figure 4

Lemma 9.16. Let Γ be a rose graph. For every n ≥ 2, the braid group Bn (Γ) is free.
Proof. Let o denote the center of Γ, and e1 , . . . , ek its edges which are adjacent to
o. Let J denote the collection of all the hyperplanes of the universal cover Xn (Γ) of
U Cn (Γ) which are labelled by one of the edges e1 , . . . , ek . Because the edges labelling
two transverse hyperplanes must be disjoint, it follows that J is a collection of pairwise disjoint hyperplanes; as a consequence, J induces an equivariant arboreal structure
on Xn (Γ). Notice that a connected component of Xn (Γ) cut along J is naturally isometric to Xn (Γ\{e1 , . . . , ek }, S) for some configuration S ∈ U Cn (Γ\{e1 , . . . , ek }), and
its stabiliser is naturally isomorphic to Bn (Γ\{e1 , . . . , ek }, S) for the same S. But the
connected components of Γ\{e1 , . . . , ek } are all segments, so that we deduce that these
stabilisers must be trivial. Consequently, Bn (Γ) acts freely on the simplicial tree dual
to the arboreal structure of Xn (Γ) induced by J , which implies that Bn (Γ) must be
free.
Remark 9.17. An argument similar to the previous one also implies [FS12, Proposition
5.5], namely: if Γ is a connected one-dimensional CW-complex which contains a vertex
belonging to all its induced cycles, then B2 (Γ) is free.
Example 9.18. The braid group Bn (Km ) is hyperbolic if and only if n = 1, or n = 2
and m ≤ 5, or m ≤ 3. We already know that B1 (Km ) ' π1 (Km ) is a free group of
rank (m − 1)(m − 2)/2. Notice that if m ≤ 3 then Km is either a single vertex, a
segment or a cycle, so that Bn (Km ) is either trivial or infinite cyclic. Therefore, the
only interesting braid groups in our family are B2 (K4 ) and B2 (K5 ). As a consequence
of [Abr00, Example 5.1], B2 (K5 ) is the fundamental group of a closed non orientable
surface of genus six.
Example 9.19. The braid group Bn (Kp,q ), where we suppose that p ≤ q, is hyperbolic
if and only if n = 1, or n = 2 and p ≤ 3, or n = 3 and p ≤ 2, or n ≥ 4 and p = q = 2,
or n ≥ 4 and p = 1. In this family, the only braid group which might not be free have
the form B2 (K3,n ) and B3 (K2,n ) where n ≥ 3. We do not know whether or not these
groups are actually free. (Notice that K2,n is a pulsar graph for every n ≥ 1.) But at
least one of them is not free: as a consequence of [Abr00, Example 5.2], B2 (K3,3 ) is the
fundamental group of a closed non orientable surface of genus four.
Theorem 9.12 is the first step toward the solution of the following interesting problem:
Problem 9.20. Which hyperbolic groups arise as graph braid groups?
We know from Theorem 9.12 that, when n ≥ 4, there are only free groups. When n = 3,
it remains only two cases to study:
Question 9.21. Are the graph braid groups of sun graphs and pulsar graphs free?
one-ended? surface groups? 3-manifold groups?
For n = 2, the situation is less clear. Notice that not all graph braid groups on two
particles are free since we gave one-ended hyperbolic graph braid groups in the previous
39

Figure 5: If Γ is one of these graphs, is B2 (Γ) free?

examples. Figure 5 gives examples of graphs which do not satisfy the criterion given in
Remark 9.17; we do not know whether or not the corresponding braid groups are free.
Nevertheless, many hyperbolic graph braid groups turn out to be free, stressing out the
following question:
Question 9.22. When is a graph braid group free?
A possibly easier question, but interesting as well, is:
Question 9.23. When is a graph braid group one-ended?
As a consequence of Stallings’ theorem, an answer to this question would provide a
characterisation of graph braid groups splitting as free products.

9.3

Acylindrical hyperbolicity

In this section, our goal is to show that essentially all the braid groups turn out to be
acylindrically hyperbolic. More precisely, we want to prove:
Theorem 9.24. Let Γ be a connected compact one-dimensional CW-complex and n ≥ 2
an integer. The braid group Bn (Γ) is either cyclic or acylindrically hyperbolic.
We begin by introducing some terminology. Let X be a special cube complex and (∆, φ)
a special coloring of X. A diagram is cyclically reduced if it cannot be written as a reduced legal word starting with a color and ending with its inverse. Any diagram D is
conjugated in D(X) to a unique cyclically reduced diagram: indeed, the analogue statement known for right-angled Artin groups can be transferred to diagrams according to
Fact 4.3. This unique diagram is the cyclic reduction of D. Going back to X = U Cn (Γ),
fix an (S, ∗)-diagram D ∈ D(X), where S ∈ U Cn (Γ) is some initial configuration, and
let R denote its cyclic reduction. Writting R as an S 0 -legal word of oriented edges
e1 · · · ek , where S 0 ∈ U Cn (Γ) is some other initial configuration, we define the support
of D, denoted by supp(D), as the full support of R, ie., the subgraph e1 ∪ · · · ∪ ek ⊂ Γ;
and the set of particles of D, denoted by part(D), as S 0 ∩ supp(D). So, if D is cyclically
reduced and if it is thought of as a motion of particles in Γ, then part(D) is the set
of particles which really moves, and supp(D) is the subgraph of Γ in which they are
confined. These two sets are used in our next statement to construct elements whose
centralisers are infinite cyclic.
Proposition 9.25. Let Γ be a one-dimensional CW-complex, n ≥ 1 an integer and
S ∈ U Cn (Γ) an initial configuration. A non trivial element g ∈ Bn (Γ, S) has a cyclic
centraliser if supp(g) is connected and if part(g) has cardinality n.
Proof. Let g ∈ Bn (Γ, S) be a non trivial element. According to Fact 4.3 and to [Ser89,
Centralizer Theorem], there exist words of oriented edges a, h1 , . . . , hk and integers
m1 , . . . , mk ∈ Z\{0} such that our element g (thought of as a diagram) can be writmk −1
1
ten as an S-legal word ahm
where h1 · · · hk is the cyclic reduction of g and
1 · · · hk a
40

Figure 6

where any oriented edge of hi is disjoint from any oriented edge of hj for every distinct
1 ≤ i, j ≤ n; moreover, the centraliser of g is the set of (S, S)-legal words of oriented
edges which can be written as ahr11 · · · hrkk ha−1 , where r1 , . . . , rk ∈ Z are integers and
where h is a word of oriented edges which are disjoint from the edges of the hi ’s.
Notice that the support of g is the disjoint union of the full supports of the hi ’s, hence
1 −1
k = 1 since supp(g) is connected by assumption. So g = ahm
1 a . Let p ∈ Bn (Γ, S) be
an element of the centraliser of g. From the previous paragraph, we know that p can be
written as a legal word ahr11 ha−1 for some integer r1 ∈ Z and some word h of oriented
edges which are disjoint disjoint from those of h1 . Notice that supp(p) is the disjoint
of the full supports of h and h1 . But the full support of h1 coincides with the support
of g, which has cardinality n. Since a full support must have cardinality at most n, it
follows that h is trivial, ie., p = ahr11 a−1 .
Thus, we have proved that, for every element p ∈ Bn (Γ, S) of the centraliser of g, its
power pm1 belongs to hgi. This proves that hgi has finite index in the centraliser of g,
and a fortiori that the centraliser of g is infinite cyclic.
Proof of Theorem 9.24. If Bn (Γ) is trivial, there is nothing to prove, so we suppose that
Bn (Γ) is non trivial. According to Lemma 9.13, Γ must contain either a cycle or a vertex
of degree at least three.
Suppose that Γ contains a cycle C. Without loss of generality, we may suppose that our
initial configuration S ∈ U Cn (Γ) is included into C. Let g ∈ Bn (Γ, S) be the element
“rotating all the particles around C”. For instance, if C is as in Figure 6 (i), then g = cba.
Since g does not contain an oriented edge and its inverse, it is clearly cyclically reduced.
Moreover, its support is C and its set of particles has full cardinality. We deduce from
Proposition 9.25 that the centraliser of g is infinite cyclic.
Next, suppose that Γ contains a vertex of degree at least three. As a consequence,
Γ contains a tripod T . Up to subdividing Γ (which does not modify the braid group
according to Proposition 9.3) and extracting subgraph of T , suppose that T is isomorphic
to [−n+1, n−1]×{0}∪{0}×[0, 1]. For convenience, let k denote the vertex (k, 0) ∈ T for
every −n + 1 ≤ k ≤ n − 1, and let p denote the vertex (0, 1). Without loss of generality,
suppose that the n vertices of our initial configuration S ∈ U Cn (Γ) are −n + 1, . . . , 0.
Now, let g ∈ Bn (Γ, S) be the element corresponding to the following motion of particles:
• move the particle at 0 to p;
• for k = −1, −2, . . . , −n + 1, move the particle at k to n + k;
• move the particle at p to −n + 1;

41

Figure 7
• for k = 1, 2, . . . , n − 1, move the particle at k to −n + k + 1.
For instance, if n = 3, T is as in Figure 6 (ii) and
g = e−1 bc−1 d−1 abc−1 eb−1 a−1 cb−1 dc.
Notice that the first and last letters of any S-legal word of edges representing g must be
[0, p] and [0, 1] respectively. Therefore, g is cyclically reduced. It follows that the support
of g is T and that it set of particles has full cardinality. We deduce from Proposition
9.25 that the centraliser of g is infinite cyclic.
Thus, we have proved that Bn (Γ) contains an element whose centraliser is infinite cyclic.
We conclude from Corollary 7.9 that Bn (Γ) is either cyclic or acylindrically hyperbolic.
Remark 9.26. We suspect that, even when Γ is not compact, an application of the
criterion [Gen16b, Theorem 4.17] implies that an element as in Proposition 9.25 induces
a contracting isometry on the universal cover Xn (Γ). This would show that, for any
connected one-dimensional CW-complex Γ and for any integer n ≥ 1, the graph braid
group Bn (Γ) is either cyclic or acylindrically hyperbolic.
Theorem 9.24 stresses out the following question: when is a graph braid group cyclic?
We already know from Lemma 9.13 when it is trivial, so it remains to determine when
it is infinite cyclic. This is the goal of our next lemma.
Lemma 9.27. Let Γ be a connected one-dimensional CW-complex.
• The braid group B2 (Γ) is infinite cyclic if and only if Γ is a cycle or a star with
three arms.
• For every n ≥ 3, the braid group Bn (Γ) is infinite cyclic if and only if Γ is a cycle.
Proof. We begin by proving that various graph braid groups are not infinite cyclic. Our
general criterion will follow easily from these observations.
Fact 9.28. If Γ is a bouquet of two circles, then B2 (Γ) is not infinite cyclic.
42

Consider Γ as in Figure 7 (i). Set g = bca and h = ef d. For every n, m ∈ Z\{0}, one
has g n = (bca)n 6= (ef d)m = hm . This implies that B2 (Γ) is not infinite cyclic.
Fact 9.29. If Γ is the wedge of a cycle and a segment, then B2 (Γ) is not infinite cyclic.
Consider Γ as in Figure 7 (ii). Set g = bca and h = dbacd−1 . For every n, m ∈ Z\{0},
one has g n = (bca)n 6= d(bac)m d−1 = hm . This implies that B2 (Γ) is not infinite cyclic.
Fact 9.30. If Γ is a star with four arms, then B2 (Γ) is not infinite cyclic.
Consider Γ as in Figure 7 (iii). Set g = da−1 bd−1 ab−1 and h = dc−1 bd−1 cb−1 . For every
n, m ∈ Z\{0}, one has g n = (da−1 bd−1 ab−1 )n 6= (dc−1 bd−1 cb−1 )m = hm . This implies
that B2 (Γ) is not infinite cyclic.
Fact 9.31. If Γ is a union of two segments whose middle points are linked by a third
segments, then B2 (Γ) is not infinite cyclic.
Consider Γ as in Figure 7 (iv). Set g = dc−1 a−1 b−1 cad−1 b and h = f −1 ad−1 e−1 f da−1 e.
For every n, m ∈ Z\{0}, one has
g n = (dc−1 a−1 b−1 cad−1 b)n 6= (f −1 ad−1 e−1 f da−1 e)m = hm .
This implies that B2 (Γ) is not infinite cyclic.
Now, let Γ be a connected one-dimensional CW-complex such that B2 (Γ) is infinite
cyclic. According to Fact 9.31, Γ contains at most one vertex of degree at least three.
Therefore, Γ must be a union of n cycles and m segments glued along a single vertex
(ie., Γ is a rose graph). Two cases may happen. First, if Γ contains a cycle (ie., n ≥ 1)
then it follows from Facts 9.28 and 9.29 that necessarily n = 1 and m = 0, ie., Γ is a
cycle. Secondly, if Γ does not contain any cycle (ie., n = 0), then Γ must be a star with
m arms. But we know from Fact 9.30 that necessarily m ≤ 3. Since B2 (Γ) is trivial if
m ≤ 2, we conclude that Γ must be a star with three arms. Conversely, we left as an
exercise to show that B2 (Γ) is indeed infinite cyclic if Γ is a cycle or a star with three
arms.
Next, let Γ be a one-dimensional CW-complex and n ≥ 3 an integer such that Bn (Γ)
is infinite cyclic. If Γ contains a vertex of degree at least three then, up to subdividing
Γ (which does not affect the braid group Bn (Γ) according to Proposition 9.3), we can
deduce from Proposition 9.10 that Bn (Γ) contains B2 (T ) where T is a star with three
arms. According to the fact below, this is impossible. Therefore, Γ must be either a
cycle or a segment. We know that Bn (Γ) is trivial if Γ is a segment, so Γ must be a
cycle. Conversely, we leave as an exercise to show that Bn (Γ) is infinite cyclic if Γ is a
cycle.
Fact 9.32. If Γ is a star with three arms, then B3 (Γ) is not infinite cyclic.
Consider Γ as in Figure 7 (v). Set the elements g = abe−1 dcb−1 a−1 ec−1 d−1 and h =
abc−1 f eb−1 a−1 ce−1 f −1 . For every n, m ∈ Z\{0}, one has
g n = (abe−1 dcb−1 a−1 ec−1 d−1 )n 6= (abc−1 f eb−1 a−1 ce−1 f −1 )m = hm .
This implies that B2 (Γ) is not infinite cyclic.

43

9.4

Relative hyperbolicity

In this section, we are interested in determining when a graph braid group turns out
to be relatively hyperbolic. Our first goal is to apply Theorem 8.14, which leads to the
following statement:
Theorem 9.33. Let Γ be a connected compact one-dimensional CW-complex.
• The braid group B2 (Γ) is hyperbolic relatively to abelian subgroups if and only if
Γ does not contain three pairwise disjoint induced cycles.
• The braid group B3 (Γ) is hyperbolic relatively to abelian subgroups if and only if
Γ does not contain an induced cycle disjoint from two other induced cycles; nor a
vertex of degree at least four disjoint from an induced cycle; nor a segment between
two vertices of degree three which is disjoint from an induced cycle; nor a vertex
of degree three which is disjoint from two induced cycles; nor two disjoint induced
cycles one of those containing a vertex of degree three.
• The braid group B4 (Γ) is hyperbolic relatively to abelian subgroups if and only if
Γ is a rose graph, or a segment linking two vertices of degree three, or a cycle
containing two vertices of degree three, or two cycles glued along a non trivial
segment.
• For every n ≥ 5, the braid group Bn (Γ) is hyperbolic relatively to abelian subgroups
if and only if Γ is a rose graph. If so, Bn (Γ) is a free group.
In order to apply Theorem 8.14, one needs to find subgroups isomorphic to F2 × Z. As a
first step we determine when a graph braid group contains a non abelian free subgroup.
Lemma 9.34. Let Γ be a compact one-dimensional CW-complex, n ≥ 1 an integer, and
S ∈ U Cn (Γ) an initial configuration. The following conditions are equivalent:
(i) the braid group Bn (Γ, S) contains a non abelian free subgroup;
(ii) the braid group Bn (Γ, S) is not free abelian;
(iii) there exists a connected component of Γ containing one particle of S which contains
at least two cycles; or a connected component containing two particles of S which
is not a segment, a cycle or a star with three arms; or a connected component
containing at least three particles of S which is neither a segment nor a cycle.
Proof. The equivalence (i) ⇔ (ii) is a consequence of Tits’ alternative for right-angled
Artin groups [Bau81], combined with Proposition 9.9. If Λ1 , . . . , Λr denote the connected
components of Γ, we know from Lemma 9.5 that
Bn (Γ, S) ' Bn1 (Λ1 ) × · · · × Bnr (Λr ),
where ni = #S ∩ Λi for every 1 ≤ i ≤ r. Therefore, the braid group Bn (Γ, S) is free
abelian if and only if all the Bni (Λi )’s are free abelian themselves, which occurs if and
only if they are cyclic according to Theorem 9.24. The equivalence (ii) ⇔ (iii) follows
from Lemmas 9.13 and 9.27.
Now, we are ready to determine when a graph braid group contains a subgroup isomorphic to F2 × Z. Our theorem will be a direct consequence of the following proposition
combined with Theorem 8.14.
Proposition 9.35. Let Γ be a connected compact one-dimensional CW-complex.

44

• The braid group B2 (Γ) contains F2 × Z if and only if Γ contains an induced cycle
which is disjoint from two other induced cycles.
• The braid group B3 (Γ) contains F2 × Z if and only if Γ contains an induced cycle
disjoint from two other induced cycles; or a vertex of degree at least four disjoint
from an induced cycle; or a segment between two vertices of degree three which is
disjoint from an induced cycle; or a vertex of degree three which is disjoint from
two induced cycles; or two disjoint induced cycles one of those containing a vertex
of degree three.
• The braid group B4 (Γ) contains F2 × Z if and only if Γ is not a rose graph, nor a
segment linking two vertices of degree three, nor a cycle containing two vertices of
degree three, nor two cycles glued along a non trivial segment.
• For every n ≥ 5, the braid group Bn (Γ) contains F2 × Z if and only if Γ is not a
rose graph.
Proof. Let n ≥ 2 be an integer. We claim that Bn (Γ) contains a subgroup isomorphic
to F2 × Z if and only if Γ contains two disjoint induced subgraphs Λ1 , Λ2 ⊂ Γ such that
Bn (Λ1 , S ∩ Λ1 ) contains a non abelian free subgroup and such that Bn (Λ2 , S ∩ Λ2 ) is
non trivial for some initial configuration S ∈ U Cn (Γ).
Fix an initial configuration S ∈ U Cn (Γ). Suppose first that Bn (Γ, S) contains a subgroup
isomorphic to F2 × Z. Let a, b ∈ Bn (Γ, S) be two S-legal words of edges generating F2 ,
and z ∈ Z an S-legal word of edges generating Z. Up to conjugating z (and changing the
initial configuration), we may suppose that z is cyclically reduced. As a consequence of
Proposition 9.9 and [Ser89, Centralizer Theorem], one can write z as a reduced product
hn1 1 · · · hnr r such that any edge of the word hi is disjoint from any edge of the word hj if
i 6= j; and a and b respectively as hp11 · · · hpr r h and hq11 · · · hqrr k such that the edges of the
words h and k are disjoint from the edges of the hi ’s. As a consequence of Lemma 4.2,
for every j ≥ 1, one has
jpr
1
aj = (hp11 · · · hpr r h)j = hj hjp
1 · · · hr ;

a fortiori, hj is an S-legal word. Because the terminus of a word may take only finitely
values, there exists two distinct integers i, j ≥ 1 such that hi and hj have the same
terminus, so that hi h−j = hi−j must belong to Bn (Γ, S). A similar argument works
for k. Therefore, there exist two integers p, q ≥ 1 such that hp and k q belong to
Bn (Γ, S). Let Λ1 be the subgraph of Γ generated by the edges of the words h and
k, and Λ2 the subgraph generated by the edges of the word z. Notice that Λ1 and
Λ2 are disjoint, and that z ∈ Bn (Λ2 , S ∩ Λ2 ) and hp , k q ∈ Bn (Λ1 , S ∩ Λ1 ). A fortiori,
Bn (Λ2 , S ∩ Λ2 ) is non trivial, and Bn (Λ1 , S ∩ Λ1 ) contains a non abelian free subgroup.
Indeed, because the powers ap and bq do not commute (since a and b generate a non
abelian free subgroup), necessarily hp and k q cannot commute, so that hhp , k q i must be
a free group as a consequence of [Bau81] (which applies thanks to Proposition 9.9). This
is the desired conclusion.
The converse follows from Proposition 9.10 and Lemma 9.5, concluding the proof of our
claim.
Consequently, B2 (Γ) contains F2 × Z if and only if there exist two disjoint (connected)
subgraphs Λ1 , Λ2 ⊂ Γ such that B1 (Λ1 ) contains a non abelian free subgroup and B1 (Λ2 )
is non trivial. The conclusion follows from Lemmas 9.13 and 9.34.
Next, B3 (Γ, S) contains F2 ×Z if and only if if there exist two disjoint subgraphs Λ1 , Λ2 ⊂
Γ such that either B1 (Λ1 , S ∩Λ1 ) contains a non abelian free subgroup and B2 (Λ2 , S ∩Λ2 )
45

is non trivial, or B2 (Λ1 , S ∩ Λ1 ) contains a non abelian free subgroup and B1 (Λ2 , S ∩ Λ2 )
is non trivial. According to Lemmas 9.13 and 9.34, the former situation is equivalent
to: Γ contains an induced cycle which is disjoint from two other induced cycles or it
contains a vertex of degree at least three which is disjoint from two induced cycles; and
the latter situation is equivalent to: Γ contains an induced cycle which is disjoint from
two other induced cycles or from a connected subgraph which not a segment, a cycle or
a star with three arms. The desired conclusion follows from the next observation.
Fact 9.36. A connected graph is distinct from a segment, a cycle and a star with three
arms if and only if it contains a vertex of degree at least four, or if its contains two
distinct vertices of degree three, or if it is a cycle containing a vertex of degree three.
Let Λ be a connected graph. If Λ does not contain any vertex of degree at least three,
then Λ must be either a segment or a cycle. If Λ contains at least two distinct vertices of
degree at least three, we are done, so suppose that Λ contains a unique vertex of degree
at least three. If this vertex has degree at least four, we are done, so suppose that it
has degree exactly three. Two cases may happen: either Λ is a star with three arms, or
Λ is a cycle containing a vertex of degree three.
Now, notice that B4 (Γ) contains F2 × Z if Γ contains at least three vertices of degree
three or if it contains it contains two distinct vertices respectively of degrees at least
three and four. In the former case, Γ contains two disjoint subgraphs Λ1 and Λ2 such
that Λ1 is a segment between two vertices of degree three and Λ2 a star with three arms.
By fixing an initial configuration S ∈ U C4 (Γ) satisfying #S ∩ Λ1 ≥ 2 and #S ∩ Λ2 ≥ 2,
it follows from Lemmas 9.13 and 9.34 that B4 (Λ1 , S ∩ Λ1 ) contains a non abelian free
subgroup and that B4 (Λ2 , S ∩ Λ2 ) is non trivial. In the latter case, Γ contains two
disjoint subgraphs Λ1 and Λ2 such that Λ1 is a star with at least three arms and Λ2 a
star with at least four arms. By fixing an initial configuration S ∈ U C4 (Γ) satisfying
#S ∩ Λ1 ≥ 2 and #S ∩ Λ2 ≥ 2, it follows from Lemmas 9.13 and 9.34 that B4 (Λ1 , S ∩ Λ1 )
is non trivial and that B4 (Λ2 , S ∩ Λ2 )contains a non abelian free subgroup. This proves
our claim. From now on, suppose that Γ contains at most two vertices of degree at least
three, and that it does not contain two vertices respectively of degrees at least three and
four.
If Γ is a tree, only two cases may happen: Γ is a star (and in particular a rose graph) or
a segment between two vertices of degree three. If Γ contains a unique cycle, only three
cases may happen: Γ is reduced to a cycle, or Γ is a cycle which contains a vertex of
degree at least three, or Γ is a cycle with two vertices of degree three. Notice that, in
the first two cases, Γ is a rose graph. From now on, we suppose that Γ contains at least
two induced cycles.
Next, notice that, if Γ contains a vertex of degree at least three which is disjoint from
a cycle containing a vertex of degree at least three, then B4 (Γ) contains F2 × Z as
a subgroup. Indeed, when it is the case, Γ contains two disjoint subgraphs Λ1 and Λ2
where Λ1 is an induced cycle with a vertex of degree three and Λ2 a star with three arms.
By fixing an initial configuration S ∈ U C4 (Γ) satisfying #S ∩ Λ1 ≥ 2 and #S ∩ Λ2 ≥ 2,
it follows from Lemmas 9.13 and 9.34 that B4 (Λ1 , S ∩ Λ1 ) contains a non abelian free
subgroup and that B4 (Λ2 , S ∩ Λ2 ) is non trivial. The desired conclusion follows. From
now on, we suppose that Γ does not contain any vertex of degree at least three which is
disjoint from a cycle containing a vertex of degree at least three.
As a consequence, the induced cycles of Γ must pairwise intersect: otherwise, Γ would
contain two disjoint induced cycles joined by a segment. Let C1 and C2 be two induced
cycles of Γ. According to our previous observation, C1 and C2 intersect. We distinguish
two cases. First, suppose that the intersection C1 ∩ C2 is not reduced to a singel vertex.

46

As a consequence of our assumptions, C1 ∩ C2 must be a segment whose endpoints are
two vertices of degree three. Because Γ cannot contain any other vertex of degree at
least three, it follows that Γ = C1 ∪ C2 , ie., Γ is a union of two induced cycles glued
along a non trivial segment. Next, suppose that C1 ∩ C2 is reduced to a single vertex.
A fortiori, Γ contains a vertex of degree at least four, so that no other vertex can have
degree at least three. It follows that Γ must be a rose graph.
Thus, we have proved that, if B4 (Γ) does not contain F2 × Z, then Γ must be
• a rose graph;
• or a segment linking two vertices of degree three;
• or a cycle containing two vertices of degree three;
• or two cycles glued along a non trivial segment.
Conversely, we claim that if Γ is one of these graphs then B4 (Γ) does not contain
F2 × Z. Let S ∈ U C4 (Γ) be an initial configuration and Λ1 , Λ2 ⊂ Γ two subgraphs
such that B4 (Λ1 , S ∩ Λ1 ) is non trivial. We distinguish two cases. First, suppose that
#S ∩ Λ1 = 1. Because B4 (Λ1 , S ∩ Λ1 ) is non trivial, Λ1 must contain a cycle, so that Λ2
must be included into the complement of a cycle. By looking at our different graphs,
this implies that Λ2 must be a disjoint union of segments, so that B4 (Λ2 , S ∩ Λ2 ) has
to be trivial. Next, suppose that #S ∩ Λ1 ≥ 2. If Λ1 contains a cycle, the previous
argument shows that B4 (Λ2 , S ∩ Λ2 ) is trivial, so suppose that Λ1 does not contain any
cycle. Because B4 (Λ1 , S ∩ Λ1 ) is non trivial, necessarily Λ1 must contain a vertex of
degree at least three, so that Λ2 is included into the complement of a vertex of degree
at least three. By looking at our different graphs, we deduce that Λ2 either is a disjoint
union of segments, so that B4 (Λ2 , S ∩ Λ2 ) is trivial, or is included into a star with
three arms. In the latter case, Λ2 is either a disjoint union of segments, such that
B4 (Λ2 , S ∩ Λ2 ) is trivial, or a disjoint union of segments with a star having three arms,
so that B4 (Λ2 , S ∩ Λ2 ) cannot contain a non abelian free subgroup according to Lemma
9.34 since #S ∩ Λ2 ≤ 4 − #S ∩ Λ1 ≤ 2. As a consequence of the equivalence proved at
the beginning of this proof, it follows that B4 (Γ) does not contain F2 × Z as a subgroup.
Finally, let n ≥ 5 be an integer. Suppose first that Γ contains at least two distinct
vertices of degree at least three. Then Γ contains two disjoint subgraphs Λ1 and Λ2
isomorphic to stars with three arms. By fixing an initial configuration S ∈ U Cn (Γ)
satisfying #S ∩ Λ1 ≥ 3 and #S ∩ Λ2 ≥ 2, it follows from Lemmas 9.13 and 9.34 that
B4 (Λ1 , S ∩ Λ1 ) contains a non abelian free subgroup and that B4 (Λ2 , S ∩ Λ2 ) is non
trivial. Therefore, Bn (Γ) contains F2 × Z as a subgroup. Next, if Γ contains at most
one vertex of degree at least three, then it must be a rose graph. In this case, we know
from Lemma 9.16 that Bn (Γ) is a free group so that Bn (Γ) cannot contain F2 × Z as a
subgroup.
Proof of Theorem 9.33. Our theorem follows directly from Proposition 9.35, Theorem
8.14 and Lemma 9.16.
Example 9.37. The braid group Bn (Km ) is hyperbolic relatively to abelian subgroups
if and only if n = 1, or n = 2 and m ≤ 7, or n = 3 and m ≤ 4, or m ≤ 3. The non
hyperbolic groups in this family are B2 (K7 ) and B3 (K6 ).
Example 9.38. The braid group Bn (Kp,q ) is hyperbolic relatively to abelian subgroups
if and only if n = 1, or n = 2 and p, q ≤ 4, or n = 3 and p, q ≤ 3, or n = 4 and p = 2
and q ≤ 3, or p, q ≤ 2. The non hyperbolic groups in this family are B2 (K4,4 ), B3 (K3,3 )
and B4 (K2,3 ).
47

It is worth noticing that there are only finitely many graphs Γ whose braid group on four
particles could not be free. Therefore, it would interesting to determine these groups.
Question 9.39. What is the braid group B4 (Γ) if Γ is a segment linking two vertices
of degree three, or a cycle containing two vertices of degree three, or two cycles glued
along a non trivial segment? Are these groups free products?
Unfortunately, we were not able to apply Theorem 8.1 in order to determine precisely
when a graph braid group is relatively hyperbolic, so this question remains open. Nevertheless, we are able to state and prove directly a sufficient criterion of relative hyperbolicity. Before stating our criterion, we need to introduce the following definition:
Definition 9.40. Let Γ be a one-dimensional CW-complex, n ≥ 1 an integer, Λ ⊂ Γ a
subgraph and w ∈ D(U Cn (Γ)) a diagram. The coset whΛi is the set of diagrams which
can be written as a concatenation w · ` where ` is a diagram represented by a legal word
of oriented edges belonging to Λ. Similarly, for every diagrams a, b ∈ D(U Cn (Γ)), we
denote by ahΛib the set of diagrams which can be written as a concatenation a · ` · b
where ` is a diagram represented by a legal word of oriented edges belonging to Λ.
Our main criterion is the following:
Theorem 9.41. Let Γ be a connected compact one-dimensional CW-complex, and let
G be a collection of subgraphs of Γ satisfying the following conditions:
• every pair of disjoint simple cycles of Γ is contained into some Λ ∈ G;
• for every distinct Λ1 , Λ2 ∈ G, the intersection Λ1 ∩ Λ2 is either empty or a disjoint
union of segments;
• if γ is a reduced path between two vertices of some Λ ∈ G which is disjoint from
some cycle of Λ, then γ ⊂ Λ.
Then B2 (Γ) is hyperbolic relatively to subgroups which are isomorphic to whΛiw−1 for
some subgraph Λ ∈ G and some diagram w satisfying t(w) ⊂ Λ. In particular, B2 (Γ) is
relatively hyperbolic if G is a collection of proper subgraphs.
Proof. Set C = {whΛi | Λ ∈ G, t(w) ⊂ Λ}. We think of C as a collection of convex subcomplexes of the CAT(0) cube complex Xn (Γ). For convenience, set L =
#V (Γ)(#V (Γ) − 1)/2 which is also the number of vertices of U C2 (Γ). Recall that a flat
rectangle in Xn (Γ) is an isometric combinatorial embedding [0, p] × [0, q] ,→ Xn (Γ); it is
K-thick for some K ≥ 0 if p, q > K.
Claim 9.42. For every distinct C1 , C2 ∈ C, there exist at most L hyperplanes intersecting both C1 and C2 .
Let w1 hΛ1 i, w2 hΛ2 i ∈ C be two cosets both intersected by at least L + 1 hyperplanes. As
a consequence of [Gen16a, Corollary 2.17], there exists a flat rectangle [0, p] × [0, q] ,→
Xn (Γ) such that {0} × [0, q] ⊂ w1 hΛ1 i, {p} × [0, q] ⊂ w2 hΛ2 i and q ≥ L + 1. Let Λ0 be
the union of the edges of Γ labelling the hyperplanes intersecting the path {0} × [0, q].
Since the edges of w1 hΛ1 i (resp. w2 hΛ2 i) are all labelled by edges of Λ1 (resp. Λ2 ), it
follows that Λ0 ⊂ Λ1 ∩ Λ2 . Reading the word labelling the path {0} × [0, q], we deduce
that there exists a reduced diagram of length at least L + 1 in hΛ0 i; a fortiori, by looking
at the prefixes to the previous word, we know that there exists an initial configuration
S ∈ U Cn (Γ) (which is the terminus of (0, 0)) for which there exist at least L + 1 distinct
(S, ∗)-diagrams in hΛi. Necessarily, at least two such diagrams, say A and B, must have
the same terminus since there are at most L possible terminus. Then AB −1 provides a
non trivial spherical diagram in hΛi, showing that B2 (Λ0 , S) is non trivial, and finally
48

that Λ0 is not a union of segments. This implies that Λ1 and Λ2 must be equal; for
convenience, let Λ denote this common subgraph of Γ.
Let m = m1 · · · mp denote the word labelling the path [0, p] × {0}. We claim that
m1 ∪ · · · ∪ mp defines a path in Γ; otherwise saying, thought of as a motion of two
particles starting from the initial configuration S which is the terminus of (0, 0), m fixes
a particle. Indeed, if e denotes the edge of Γ labelling {0} × [0, 1] (which exists since
q ≥ 1), then the mi ’s are disjoint from e since the hyperplane dual to e is transverse
to any hyperplane intersecting [0, p] × {0}, so that m must fixes the starting point of e.
This proves that m is a path, and even a reduced path since [0, p] × {0} is a geodesic in
Xn (Γ). In fact, our argument implies the following more general statement:
Fact 9.43. Let [0, p] × [0, q] ,→ X2 (Γ) be a flat rectangle. For every 0 ≤ k ≤ q, the word
of edges of Γ labelling the path [0, p] × {k} defines a regular path in Γ when thought of
as a sequence of edges of Γ.
As a consequence, if p ≥ 1, then the word of edges of Λ0 labelling {0} × [0, q] defines a
reduced path in Γ. But this path has length q ≥ L + 1 in a subgraph Λ0 containing at
most L vertices. Consequently, Λ0 must contain an induced cycle.
Let w1 `1 and w2 `2 denote the vertices (0, 0) and (p, 0) respectively, where `1 ∈ hΛ1 i
and `2 ∈ hΛ2 i. Notice that the starting point of m belongs to the terminus of w1 `1 ,
which is included into Λ; and that the ending point of m belongs to the terminus of
w1 `1 p = w2 `2 , which is included into Λ. Therefore, m is a reduced path in Γ between
two vertices of Λ, which is disjoint from Λ0 since any hyperplane intersecting [0, p] × {0}
is transverse to any hyperplane intersecting {0} × [0, q].
Two cases may happen, either p ≥ 1, so that Λ0 ⊂ Λ contains an induced cycle disjoint
from p; or p = 0, so that w1 hΛi and w2 hΛi intersect. In the former case, it follows
from our assumptions that m1 , . . . , mp ∈ Λ, so that [0, p] × [0, q] ⊂ w1 hΛi. A fortiori,
w1 hΛi and w2 hΛi must intersect as well. Since two distinct cosets associated to the same
subgraph of Γ must be disjoint, we deduce that w1 hΛi = w2 hΛi, concluding the proof of
our claim.
Claim 9.44. Every 2L-thick flat rectangleof X2 (Γ) is contained into the 2L-neighborhood
of some element of C.
Let [0, p] × [0, q] ,→ X2 (Γ) be an 2L-thick flat rectangle. Let 0 ≤ a < b ≤ L + 1 and
p − L − 1 ≤ c < d ≤ p be four integers such that (a, 0) and (b, 0) (resp. (c, 0) and
(d, 0)) have the same terminus, and such that two distinct vertices of (a, b) × {0} (resp.
(c, d) × {0}) do not have the same terminus. Similarly, let 0 ≤ e < f ≤ L + 1 and
q − L − 1 ≤ g < h ≤ q be four integers such that (0, e) and (0, f ) (resp. (0, g) and
(0, h)) have the same terminus, and such that two distinct vertices of {0} × (e, f ) (resp.
{0} × (g, h)) do not have the same terminus. In order to deduce our claim, it is sufficient
to show that there exists some C ∈ C containing [a, d] × [e, h].
Let y be the word of edges of Γ labelling the path [a, d] × {e}. According to Fact 9.43,
thought of as a sequence of edges of Γ, y defines a reduced path in Γ; let α denote
this path. Notice that, for every 1 ≤ x < y ≤ p, the vertices (x, e) and (y, e) have the
same terminus if and only if (x, 0) and (y, 0) have the same terminus themselves since
(x, e) = (x, 0) · E and (y, e) = (y, 0) · E where E denotes the diagram labelling the path
{0}×[0, e] (which also labels {x}×[0, e] and {y}×[0, e]). A fortiori, (a, e) and (b, e) (resp.
(c, e) and (d, e)) have the same terminus, and two distinct vertices of (a, b) × {e} (resp.
(c, d) × {e}) do not have the same terminus. Therefore the subpaths of α corresponding
to [a, b] × {e} and [c, d] × {e} are simple cycles of Γ. Otherwise saying, if Λ(y) ⊂ Γ)
denotes the union of the edges of α, then Λ(y) decomposes as two simple cycles linked
by a reduced path. Similarly, if z denotes the word of edges of Γ labelling the path
49

{a} × [e, h], then, thought of as a sequence of edges of Γ, it defines a reduced path β in
Γ such that, if Λ(z) denotes the union of the edges of β, then Λ(z) ⊂ Γ decomposes as
two simple cycles linked by a reduced path. Notice that [a, d] × [e, h] ⊂ whΛ(y) ∪ Λ(z)i,
where w = (a, e); and that Λ(y) ∩ Λ(z) = ∅, since any hyperplane intersecting [a, d] × {e}
must be transverse to any hyperplane intersecting {a} × [e, h].
Let convenience, let A, B (resp. C, D) denote our two simple cycles in Λ(y) (resp. in
Λ(z)). By assumption, there exist some Λ1 , Λ2 , Λ3 such that A ∪ C ⊂ Λ1 , A ∪ D ⊂ Λ2
and B ∪ D ⊂ Λ3 . By noticing that the intersections Λ1 ∩ Λ2 and Λ2 ∩ Λ3 are not unions
of segments (since they contain cycles), it follows that Λ1 = Λ2 = Λ2 ; let Λ denote this
common subgraph. So Λ belongs to G and contains A ∪ B ∪ C ∪ D. Moreover, the
reduced path between A and B in Λ(y) links two vertices of Λ and is disjoint from D
and C (which are included into Λ(z)), so this path must be included into Λ. Similarly,
the path between C and D in Λ(y) must be included into Λ. A fortiori, Λ(y) and Λ(z)
are both contained into Λ. Consequently,
[a, d] × [e, h] ⊂ whΛ(y) ∪ Λ(z)i ⊂ whΛi ∈ C,
which concludes the proof of our claim.
Claim 9.45. An edge of X2 (Γ) belongs to only finitely many subcomplexes of C.
If w1 hΛ1 i, w2 hΛ2 i ∈ C are distinct and both contain a given edge of X2 (Γ), necessarily
Λ1 6= Λ2 . Therefore, at most #G ≤ 2#V (Γ) subcomplexes of C contain a given edge of
X2 (Γ), proving our claim.
Now, we are ready to conclude the proof of our theorem. Let Y denote the cone-off of
X2 (Γ) over C. More precisely, Y is the graph obtained from the one-skeleton of X2 (Γ)
by adding a vertex for each C ∈ C and by adding an edge between this vertex and any
vertex of C. According to [Gen16a, Theorem 4.1], it follows from Claim 9.44 that Y
is hyperbolic; and according to [Gen16a, Theorem 5.7], it follows from Claims 9.42 and
9.45 that Y is fine. In only remaining point to show in order to deduce that B2 (Γ) is
hyperbolic relatively to
{whΛiw−1 | Λ ∈ G, t(w) ⊂ Λ}
is that Y contains finitely many orbits of edges. In fact, it is sufficient to prove that,
for every Λ ∈ G and every diagram w, the subgroup whΛiw−1 acts cocompactly on
whΛi. For that purpose, just notice that if w`1 , w`2 ∈ whΛi have the same terminus
−1 is an element of whΛiw −1 sending w` to w` .
then w`1 `−1
2
1
2 w
Example 9.46. Let Γ be a union of two bouquets of circles (each containing at least
one circle) whose centers are linked by a segment (which is not reduced to a single
vertex). Notice that Γ contains a pair of disjoint induced cycles, so that B2 (Γ) is not
hyperbolic according to Theorem 9.12. Nevertheless, if Λ ⊂ Γ denotes the union of the
two bouquets of circles of Γ, then Theorem 9.41 applies to G = {Λ}, so that B2 (Γ) is
(non trivially) hyperbolic relatively to subgroups which are isomorphic to B2 (Λ, S) for
some configuration S ∈ U C2 (Λ). Notice that B2 (Λ2 , S) is isomorphic to the product of
free groups Fr × Fs if S contains a particle in each connected component of Λ, where
r and s denotes the number of circles contained in each bouquets; and B2 (Λ, S) is free
if S is contained into a single connected component of Λ (as a consequence of Remark
9.17). Consequently, the braid group B2 (Γ) is hyperbolic relatively to a finite collection
of groups isomorphic to Fr × Fs .
Example 9.47. Let Γ = K2opp ∗ C4 be the graph obtained from a square by adding two
new vertices and by linking them by an edge to any vertex of the square. Let G denote
the collection of pairs of disjoint triangles of Γ. Then Theorem 9.41 applies, showing
50

that B2 (Γ) is hyperbolic relatively to subgroups which are isomorphic to B2 (Λ, S) for
some U C2 (Λ), where Λ is a disjoint union of two triangles. Notice that either S is
contained into a single triangle of Λ, so that B2 (Λ, S) ' Z; or S intersects the two
connected components of Λ, so that B2 (Λ, S) ' Z2 . Consequently, the braid group
B2 (Γ) is hyperbolic relatively to free abelian subgroups of rank two.
Example 9.48. Consider the complete graph on six vertices K6 . Let G denote the
collection of pairs of disjoint triangles of K6 . Then Theorem 9.41 applies, showing, as
in the previous examples, that the braid group B2 (K6 ) is hyperbolic relatively to free
abelian subgroups of rank two.
It is worth noticing that Theorem 9.41 does not apply to B2 (Kn ) for n ≥ 7. We do not
know whether or not these groups are relatively hyperbolic.
Example 9.49. Consider the bipartite complete graph K4,4 . Let G denote the collection
of pairs of disjoint squares of K4,4 . Then Theorem 9.41 applies, showing that the braid
group B2 (K4,4 ) is hyperbolic relatively to free abelian subgroups of rank two.
It is worth noticing that Theorem 9.41 does not apply to B2 (Km,n ) for m ≥ 5 or n ≥ 5.
We do not know whether or not these groups are relatively hyperbolic.
A natural question is: does the converse of Theorem 9.41 hold? But we do not know
the answer. So we leave the following open question:
Question 9.50. When is a graph braid group (on two particles) relatively hyperbolic?

References
[Abr00]

Aaron D. Abrams. Configuration spaces and braid groups of graphs. PhD
thesis, 2000.

[Ago13]

Ian Agol. The virtual Haken conjecture. Doc. Math., 18:1045–1087, 2013.
With an appendix by Agol, Daniel Groves, and Jason Manning.

[Bau81]

A. Baudisch. Subgroups of semifree groups. Acta Math. Acad. Sci. Hungar.,
38(1-4):19–28, 1981.

[BH99]

Martin R. Bridson and André Haefliger. Metric spaces of non-positive curvature, volume 319 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999.

[BHS17] J. Behrstock, M. Hagen, and A. Sisto. Thickness, relative hyperbolicity, and
randomness in Coxeter groups. Algebraic & Geometric Topology, 17(2):705–
740, 2017.
[BM97]

M. Burger and S. Mozes. Finitely presented simple groups and products of
trees. C. R. Acad. Sci. Paris, 324(I):747–752, 1997.

[Bro06]

R. Brown. Topology and groupoids. BookSurge, 2006.

[CD14]

F. Connolly and M. Doig. On braid groups and right-angled Artin groups.
Geometriae Dedicata, 172(1):179–190, Oct 2014.

[CDE+ ]

V. Chepoi, F. Dragan, B. Estellon, M. Habib, and Y. Vaxès. Diameters,
centers, and approximating trees of δ-hyperbolic geodesic spaces and graphs.
Symposium on Computational Geometry, SoCG’2008, pages 59–68.

51

[CH09]

P.-E. Caprace and F. Haglund. On geometric flats in CAT(0) realization of
Coxeter groups and Tits buildings. Canad. J. Math., 61:740–761, 2009.

[Che00]

V. Chepoi. Graphs of some CAT(0) complexes.
24(2):125–179, 2000.

[CS11]

Pierre-Emmanuel Caprace and Michah Sageev. Rank rigidity for CAT(0) cube
complexes. Geom. Funct. Anal., 21(4):851–891, 2011.

[CS15]

Ruth Charney and Harold Sultan. Contracting boundaries of CAT(0) spaces.
J. Topol., 8(1):93–117, 2015.

[CW04]

John Crisp and Bert Wiest. Embeddings of graph braid and surface groups in
right-angled Artin groups and braid groups. Algebraic & Geometric Topology,
4(1):439–472, 2004.

[FS08]

Daniel Farley and Lucas Sabalka. On the cohomology rings of tree braid
groups. Journal of Pure and Applied Algebra, 212(1):53–71, 2008.

[FS12]

Daniel Farley and Lucas Sabalka. Presentations of graph braid groups. Forum
Mathematicum, 24(4):827–859, 2012.

[Gen15]

A. Genevois. Hyperplanes of Squier’s cube complexes. arXiv:1507.01667,
2015.

Adv. in Appl. Math.,

[Gen16a] A. Genevois. Coning-off CAT(0) cube complexes. arXiv:1603.06513, 2016.
[Gen16b] A. Genevois. Contracting isometries of CAT(0) cube complexes and acylindricaly hyperbolicity of diagram groups. arXiv:1610.07791, 2016.
[Gen17a] A. Genevois. Cubical-like geometry of quasi-median graphs and applications.
In preparation, 2017.
[Gen17b] A. Genevois. Hyperbolic diagram groups are free. Geometriae Dedicata,
188(1):33–50, Jun 2017.
[Gre90]

E. Green. Graph products of groups. PhD Thesis, 1990.

[Gro87]

M. Gromov. Hyperbolic groups. Essays in group theory, 8(75-263):2, 1987.

[GS97]

Victor Guba and Mark Sapir. Diagram groups. Mem. Amer. Math. Soc.,
130(620):viii+117, 1997.

[HS16]

M. Hagen and T. Susse.
arXiv:1609.01313, 2016.

Hierarchical hyperbolicity of all cubcal groups.

[HW08a] Frédéric Haglund and Daniel T. Wise. Special cube complexes. Geom. Funct.
Anal., 17(5):1551–1620, 2008.
[HW08b] G. Hruska and D. Wise. Packing subgroups in relatively hyperbolic groups.
Geometry and Topology, 13:1945–1988, 2008.
[KKP12] Jee Hyoun Kim, Ki Hyoung Ko, and Hyo Won Park. Graph braid groups
and right-angled Artin groups. Transactions of the American Mathematical
Society, 364(1):309–360, 2012.
[KP12]

Ki Hyoung Ko and Hyo Won Park. Characteristics of graph braid groups.
Discrete & Computational Geometry, 48(4):915–963, 2012.

52

[KS16]

Aditi Kar and Michah Sageev. Uniform exponential growth for CAT(0) square
complexes. arXiv:1607.00052, 2016.

[Kur12]

Vitaliy Kurlin. Computing braid groups of graphs with applications to robot
motion planning. Homology, Homotopy and Applications, 14(1):159–180, 2012.

[Mul80]

H.M. Mulder. The interval function of a graph, volume 132 of Math. Centre
Tracts. Mathematisch Centrum, Amsterdam, 1980.

[NTY14] Y. Nakagawa, M. Tamura, and Y. Yamashita. Non-hyperbolic automatic
groups and groups acting on CAT(0) cube complexes. International Journal
of Algebra and Computation, 24:795–813, 2014.
[Osi06]

D. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Mem. Amer. Math. Soc., 179(843):vi–100,
2006.

[Osi16]

D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc., 368:851–
888, 2016.

[PS14]

Paul Prue and Travis Scrimshaw. Abrams’s stable equivalence for graph braid
groups. Topology and its Applications, 178:136–145, 2014.

[Sab07]

Lucas Sabalka. Embedding right-angled Artin groups into graph braid groups.
Geometriae Dedicata, 124(1):191–198, 2007.

[Sag95]

Michah Sageev. Ends of group pairs and non-positively curved cube complexes. Proc. London Math. Soc. (3), 71(3):585–617, 1995.

[Ser89]

Herman Servatius. Automorphisms of graph groups. Journal of Algebra,
126(1):34–60, 1989.

[Sis11]

A. Sisto. Contracting elements and random walks. arXiv:1112.2666, 2011.

[SW11]

M. Sageev and D. Wise. Periodic flats in CAT(0) cube complexes. In Algebraic
& and Geometric Topology, volume 11, pages 1793–1820. 2011.

[SW15]

M. Sageev and D. Wise. Cores for quasiconvex actions. Proc. Amer. Math.
Soc., 143:2731–2741, 2015.

[Woo16] Daniel J Woodhouse. A generalized axis theorem for cube complexes.
arXiv:1602.01952, 2016.

53

