arXiv:1711.00122v2 [] 20 Nov 2017

QUASI-EUCLIDEAN TILINGS OVER 2–DIMENSIONAL
ARTIN GROUPS AND THEIR APPLICATIONS
JINGYIN HUANG AND DAMIAN OSAJDA
Abstract. We describe the structure of quasiflats in two-dimensional
Artin groups. We rely on the notion of metric systolicity developed in
our previous work. Using this weak form of non-positive curvature and
analyzing in details the combinatorics of tilings of the plane we describe
precisely the building blocks for quasiflats in all two-dimensional Artin
groups – atomic sectors. This allows us to provide useful quasi-isometry
invariants for such groups – completions of atomic sectors, stable lines,
and the intersection pattern of certain abelian subgroups. These are
described combinatorially, in terms of the structure of the graph defining
an Artin group.
As immediate consequences we present a number of results concerning
quasi-isometric rigidity for the subclass of CLTTF Artin groups. We give
a necessary and sufficient condition for such groups to be strongly rigid
(self quasi-isometries are close to automorphisms), we describe quasiisometry groups, we indicate when quasi-isometries imply isomorphisms
for such groups. In particular, there exist many strongly rigid largetype Artin groups. In contrast, none of the right-angled Artin groups
are strongly rigid by a previous work of Bestvina, Kleiner and Sageev.

Contents
1. Introduction
2. Quasiflats in metrically systolic complexes
3. The complexes for dihedral Artin groups
4. Local structure of quasi-Euclidean diagrams
5. Singular lines, singular rays and atomic sectors
6. Half Coxeter regions in Q0 and QR
7. Orientation of edges of Coxeter regions
8. Existence of singular rays
9. Development of singular rays
10. Quasi-isometry invariants for 2–dimensional Artin groups
11. Artin groups of type CLTTF
12. Ending remarks and open questions
References

2
9
14
22
31
44
47
54
57
70
79
85
86

Date: November 21, 2017.
2010 Mathematics Subject Classification. 20F65, 20F36, 20F67, 20F69.
Key words and phrases. quasi-isometric rigidity, two-dimensional Artin group, metric
systolicity.
1

2

JINGYIN HUANG AND DAMIAN OSAJDA

1. Introduction
Overview. Let Γ be a finite simple graph with each edge labeled by an integer ≥ 2. An Artin group with defining graph Γ, denoted AΓ , is given by the
following presentation. Generators of AΓ are in one to one correspondence
with vertices of Γ, and there is a relation of the form
aba
| {z· ·}· = bab
| {z· ·}·
m

m

whenever two vertices a and b are connected by an edge labeled by m.
Despite the seemingly simple presentation, the most basic questions (torsion, center, word problem and cohomology) on Artin groups remain open,
though partial results are obtained by various authors. We refer to the
survey papers by Godelle and Paris [GP12], and Mccammond [Mcc17]. Of
course, there are also many other fundamental and natural questions for
Artin groups, see Charney [Cha16], which are equally exciting and difficult.
One common feature of various classes of Artin groups studied so far is
that they all exhibit features of non-positive curvature of certain form:
• small cancellation [AS83, App84, Pri86, Pei96];
• automaticity or bi-automaticity [Cha92, Cha95, CP03, Dig06, HR12,
Dig12, McC15];
• other notions of combinatorial non-positive curvature [Bes99,HO17a];
• CAT (0) [CD95a, BM00a, BC02, Bel05, BM10, HKS16];
• hierarchical hyperbolicity (hence coarse median) [CC05, BHS17a,
Gor04, BHS15];
• relative hyperbolicity [KS04, CC07];
• acylindrical hyperbolicity [CW17] and hyperbolicity in a statistical
sense [Cum17, Yan16].
Conjecturally, all Artin groups should be non-positively curved in an appropriate sense, and this is intertwined with understanding many fundamental
questions about Artin groups.
As most of the Artin groups have many abelian subgroups intersecting in
a highly non-trivial way [DH17], it is natural to compare them with other
“higher rank spaces with non-positive-curvature features” like symmetric
spaces of non-compact type of rank > 1, Euclidean buildings, mapping class
groups and Teichmuller spaces of surfaces etc., and ask how much of the
properties on geometry and rigidity of these spaces still hold for Artin groups
and what are the new phenomena for Artin groups.
Motivated by such considerations, we study Gromov’s program of understanding quasi-isometric classification and rigidity of groups and metric
spaces in the realm of 2–dimensional Artin groups. We build upon a previous result [HO17b], where it was shown that all 2–dimensional Artin groups
satisfy a form of non-positive curvature called metric systolicity. In the current paper, we will show that certain “0–curvature chunks” of the group
have a very specific structure, which gives rise to rigidity results.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

3

Background. Previous works on quasi-isometric rigidity and classification
of Artin groups fall into the following three classes, listed from the most
rigid to the least rigid situation.
(1) Some affine type Artin groups are commensurable to mapping class
groups of surfaces [CC05]. Hence the quasi-isometric rigidity results
for mapping class groups [BKMM12, Ham05] apply to them.
(2) Atomic right-angled Artin groups [BKS08] and their right-angled
generalizations beyond dimension 2 [Hua17a,HK17,Hua16a,Hua16b].
(3) Artin groups whose defining graphs are trees [BN08] (they are fundamental groups of graph manifolds) and a right-angled generalization
beyond dimension 2 [BJN10].
Most of the mapping class groups of surfaces enjoy the strong quasi-isometric
rigidity property that any quasi-isometry of the group to itself is uniformly
close to an automorphism. However, it follows implicitly from [BKS08,
Section 11] that none of the right-angled Artin groups satisfies such form of
rigidity (see [Hua17a, Example 4.14] for a more detailed explanation).
One is more likely to obtain stronger rigidity result when the complexity
of the intersection pattern of flats in the space is higher. Thus we are
motivated to study Artin groups which are not necessarily right-angled,
whose structure is generally more intricate than the one of right-angled ones.
One particular case is the class of large-type Artin group, where the label
of each edge in the defining graph is ≥ 3. A commensuration rigidity result
was proved by Crisp [Cri05] for certain class of large-type Artin groups.
An Artin group is n-dimensional if it has cohomological dimension n.
One-dimensional Artin groups are free groups. The class of two-dimensional
Artin groups is much more abundant – all large-type Artin groups have
dimension ≤ 2. By Charney and Davis [CD95b], AΓ has dimension ≤ 2 if
and only if for any triangle ∆ ⊂ Γ with its sides labeled by p, q, r, we have
1
1
1
p + q + r ≤ 1. A model example to keep in mind is AΓ with Γ being a
complete graph with all its edges labeled by 3.
Structure of quasiflats. Let AΓ be a two-dimensional Artin group. We
study 2–dimensional quasiflats in AΓ , since the structure of top-dimensional
quasiflats often plays a fundamental role in quasi-isometric rigidity of nonpositively curved spaces, see the list of references after Theorem 1.1.
Let XΓ∗ be the universal cover of the standard presentation complex of AΓ .
Modulo some technical details, quasiflats can be viewed as subcomplexes
of XΓ∗ which are homeomorphic to R2 and are quasi-isometric to E2 with
the induced metric. Such subcomplexes are called quasi-Euclidean tilings
over XΓ∗ and studying such tilings of R2 is of independent interests. This
viewpoint is motivated by both the geometric aspects of quasiflats explored
in [BKS16] and diagrammatic aspects studied in [AS83, Pri86, OS17].
To construct such a tiling, one can first search for tilings of Euclidean
sectors appearing in XΓ∗ (see Figure 1 for some examples), then glue these
sectors along their boundaries in a cyclic fashion to form a quasi-Euclidean

4

JINGYIN HUANG AND DAMIAN OSAJDA

tiling. The following theorem says that this is essentially the only way one
can obtain a quasiflat. Inside XΓ∗ one can build a list of sectors which
naturally arise from certain abelian subgroups, or centralizers of certain
elements in AΓ . We call them atomic sectors (cf. Section 5.2) since they are
building blocks of quasiflats. Some of them are shown in Figure 1.
Theorem 1.1. Suppose AΓ is two-dimensional. Then any 2–dimensional
quasiflat Q of XΓ∗ is at finite Hausdorff distance away from a union of finitely
many atomic sectors in XΓ∗ .

Figure 1. Some atomic sectors.
A simpler but less concise restatement of the above theorem is that every
2-dimensional quasiflat is made of “fragments” of subgroups of AΓ of form
Fn × Fm (n, m ≥ 1), where Fn denotes the free group with n generators.
Previously, structure theorems for quasiflats were proved for Euclidean
buildings and symmetric spaces of non-compact type [KL97b, EF97, Wor06],
universal covers of certain Haken manifolds [KL97a], certain CAT(0) complexes [BKS16, Hua17b] and hierarchically hyperbolic spaces [BHS17b].
Our viewpoint of tilings is convenient for, simultaneously, analyzing relevant group theoretic information and studying geometric aspects of quasiflats. The combinatorics of the group structure make up a substantial part.
This is quite different from the more geometric situation in [BKS16,Hua17b,
BHS17b]. Some of the atomic sectors are actually half-flats (see Definitions 5.13–5.16 below). This might seems strange compared to several previous quasiflat results, however, these sectors arise naturally when considering
the group structure and they are convenient for our later applications.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

5

Atomic sectors may not be preserved under quasi-isometries. However,
atomic sectors have natural completions (cf. Section 5.4) which are preserved
under quasi-isometries (see Corollary 10.6 for a precise statement).
The following theorem says that certain Z–subgroups corresponding to
boundaries of atomic sectors are preserved under quasi-isometries. These
Z–subgroups act on what we call stable lines, and they are analogues of
Z–subgroups generated by Dehn twists in mapping class groups.
Theorem 1.2. Suppose AΓ1 and AΓ2 are two-dimensional Artin groups. Let
q : XΓ∗1 → XΓ∗2 be an (L, A)–quasi-isometry. Then there exists a constant D
such that for any stable line L1 ⊂ XΓ∗1 , there is a stable line L2 ⊂ XΓ∗2 with
dH (q(L1 ), L2 ) < D.
For each 2–dimensional Artin group AΓ , we define an intersection graph
IΓ (Definition 10.13), which describes the intersection pattern of certain
abelian subgroups. This object can be viewed as an analogue of the spherical
building at infinity for symmetric spaces of non-compact type, or the curve
graph in the case of mapping class groups.
Theorem 1.3. Let AΓ and AΓ0 be two 2–dimensional Artin groups and let
q : AΓ → AΓ0 be a quasi-isometry. Then q induces an isomorphism from the
stable subgraph of IΓ onto the stable subgraph of IΓ0 . In particular, if both
AΓ and AΓ0 have finite outer automorphism group and Γ has more than two
vertices, then q induces an isomorphism between their intersection graphs.
Rigidity of certain large-type Artin groups. We now discuss some
immediate consequences of the results from the previous subsection. We
will restrict ourselves to the class of CLTTF Artin groups introduced by
Crisp [Cri05] in order to use his results directly. Nevertheless, we believe
that similar goals for more general classes of Artin groups can be achieved
using the invariants described above. See the list of questions in Section 12
for possible further directions.
Definition 1.4. An Artin group AΓ is CLTTF if all of the following conditions are satisfied:
• (C) Γ is connected and has at least three vertices;
• (LT) AΓ is of large type;
• (TF) Γ is triangle-free, i.e. Γ does not contain any triangles.
In particular, CLTTF Artin groups are 2–dimensional. As pointed out
by Crisp, (C) serves to rule out 2–generator Artin groups, which are best
treated as a separate case. Here, we improve the commensurability rigidity
of [Cri05, Theorem 3] to quasi-isometric rigidity results and point out some
new phenomena in the setting of quasi-isometries.
Theorem 1.5. Let AΓ and AΓ0 be CLTTF Artin groups. Suppose Γ does not
have separating vertices and edges. Then AΓ and AΓ0 are quasi-isometric if
and only if Γ and Γ0 are isomorphic as labeled graphs.

6

JINGYIN HUANG AND DAMIAN OSAJDA

By [Cri05, Theorem 1], a CLTTF Artin group has finite outer automorphism group if and only if its defining graph has no separating vertices and
edges. So Theorem 1.5 can be compared to [Hua17a, Theorem 1.1].
Theorem 1.6. Let AΓ be a CLTTF Artin group such that Γ does not have
separating vertices and edges. Let QI(AΓ ) be the quasi-isometry group of AΓ .
Let Isom(AΓ ) be the isometry group of AΓ with respect to the word distance
for the standard generating set. Then the following hold.
(1) Any quasi-isometry from AΓ to itself is uniformly close to an element
in Isom(AΓ ).
(2) There are isomorphisms QI(AΓ ) ∼
= Isom(AΓ ) ∼
= Aut(DΓ ), where
Aut(DΓ ) is the simplicial automorphism group of the Deligne complex DΓ of AΓ .
There are counterexamples if we drop the condition that Γ does not have
separating vertices and edges, see [Cri05, Lemma 42].
If AΓ is right-angled then QI(AΓ ) is much smaller than Aut(DΓ ), see
[Hua17a, Corollary 4.20]. This suggests that the Artin groups in Theorem 1.6 are more rigid than right-angled Artin groups. On the other hand,
the Artin groups in Theorem 1.6 may not be as rigid as mapping class
groups, since elements in Isom(AΓ ) are not necessarily uniformly close to
automorphisms of AΓ . A group G is strongly rigid if any element in QI(G)
is uniformly close to an element in Aut(G). Now we characterize all strongly
rigid members of the class of large-type and triangle-free Artin groups.
Theorem 1.7. Let AΓ be a large-type and triangle-free Artin group. Then
AΓ is strongly rigid if and only if Γ satisfies all of the following conditions:
(1) Γ is connected and has ≥ 3 vertices;
(2) Γ does not have separating vertices and edges;
(3) any label preserving automorphism of Γ which fixes the neighborhood
of a vertex is the identity.
Moreover, if a large-type and triangle-free Artin group AΓ satisfies all the
above conditions and H is a finitely generated group quasi-isometric to AΓ ,
then H is virtually AΓ , i.e. there exists a finite index subgroup H 0 ≤ H and
a homomorphism φ : H 0 → AΓ with finite kernel and finite index image.
Remark 1.8. We note that the above quasi-isometric rigidity results do not
use the full strength of Theorem 1.1 and Theorem 1.2, since proving the two
theorems in the special cases of triangle-free Artin groups and Artin groups
of hyperbolic type in the sense of [Cri05] are much easier (though still nontrivial). Moreover, if an Artin group is triangle-free, then it acts geometrically on a 2–dimensional CAT(0) complex [BM00b], and it is C(4)-T(4) with
respect to the standard presentation [Pri86]. There are alternative starting
points of studying quasiflats in such complexes, either by using [BKS16], or
using [OS17]. However, several new ingredients are needed to deal with the
general 2–dimensional case. We present the above quasi-isometric rigidity

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

7

results in order to demonstrate the potential of using Theorem 1.1 and Theorem 1.2 to obtain similar results for more general classes of Artin groups.
Comments on the proof. First we discuss the proof of Theorem 1.1.
Let XΓ∗ be the universal cover of the standard presentation complex of a 2–
dimensional Artin group AΓ . To avoid technicalities, we assume the quasiflat
is a subcomplex Q of XΓ∗ homeomorphic to R2 and quasi-isometric to E2 ,
and we would like to understand the tiling of Q.
Step 0: The general idea is to use geometry of AΓ to control the tiling of
Q. We start by showing that AΓ is non-positively curved in an appropriate
sense. We would like to use CAT(0) geometry, however, at the time of
writing, it is not known whether all 2–dimensional Artin groups are CAT(0).
Moreover, [BC02] implies that if certain 2–dimensional Artin groups act
geometrically on CAT(0) complexes, the dimension of the complexes is ≥ 3.
There are quite non-trivial technicalities in studying 2–quasiflats in higher
dimensional complexes and relating them to the combinatorics of groups,
which we would like to bypass.
In [HO17b], we built a geometric model XΓ for AΓ with features of both
CAT(0) geometry and two-dimensionality. More precisely, XΓ is a thickening
(2)
of XΓ∗ . We equip the 2–skeleton XΓ with a metric and it turns out that XΓ
becomes non-positively curved in the sense that any 1–cycle can be filled by
(2)
a CAT(0) disc in XΓ . Such a complex XΓ is an example of a metrically
systolic complex.
Step 1. We study the local structure of Q and show that outside a compact
set, Q is locally flat in an appropriate combinatorial sense.
Step 1.1. We approximate Q by a CAT(0) subcomplex Q0 in XΓ such that Q0
is homeomorphic to R2 . To do that, we pick larger and larger discs in Q, and
(2)
we replace them by minimal discs in XΓ which are CAT(0), then we take
a limit. By a version of Morse Lemma proved in [HO17b], Q0 is at bounded
Hausdorff distance from Q. An argument on area growth implies that Q0
is flat outside a compact set. In fact, we obtain the following result in the
more general setting of all metrically systolic complexes (see Theorem 2.7
for the detailed statement).
Theorem 1.9. Every quasiflat in a metrically systolic complex X can be
uniformly approximated by a simplicial map q 0 : Y → X from a CAT(0)
triangulation Y of R2 being flat outside a compact set such that q 0 is injective
on neighbourhoods of flat vertices.
Recently, independently, Elsner [Els17] has obtained an analogous result
for systolic complexes. Theorem 1.9 applies to a larger class of spaces,
however, Elsner’s result provides better control on the structure of quasiflats
in the systolic setting.
Step 1.2. Though Q0 is CAT(0) and flat outside a compact set, the cell
structure on Q0 is not ideal. A priori there may be triangles in Q0 such

8

JINGYIN HUANG AND DAMIAN OSAJDA

that their angles are irrational multiples of π, and the cell structure is not
compatible with the intersection pattern of quasiflats of AΓ . So we go back
to XΓ∗ , whose combinatorial structure is simpler than the one of XΓ . By
the design of XΓ , there is a partial retraction ρ from XΓ (defined on a
subcomplex of XΓ ) to XΓ∗ . We argue that outside a compact subset, ρ
is well-defined on Q0 . Let Q00 = ρ(Q0 ). Then Q00 is a subcomplex with
a “hole” (since ρ may not be defined on all of Q0 ). The map ρ transfers
information on local structure of Q0 to information on local structure of Q00
(cf. Lemma 4.11). This step is discussed in Section 3 and Section 4.
Step 2. So far, we have a subcomplex Q00 about which we know that its
local structure belongs to one of several types (as in Lemma 4.11). The next
goal is to run a local-to-global argument in order to produce the sectors as
required.
Step 2.1. We first produce a boundary ray for the sector, which is easier
than producing the whole sector. To guess what kind of ray it could be, we
look at a motivating example X = SL(3, R)/SO(3, R). Quasiflats in X are
Hausdorff close to a finite union of Weyl cones [KL97b,EF97]. The boundary
of a Weyl cone is a singular ray, i.e. this ray is contained in the intersection of
two flats. Analogously, we search for singular rays in XΓ , which are possibly
contained in the intersection of two free abelian subgroups of rank 2. A list
of plausible singular rays is given in Section 5.
Step 2.2. We show that there is at least one singular ray in Q00 . The strategy
is to start at one vertex of Q00 , then walk away from this vertex and collect
information about local landscape from Step 1.2 along the way to decide
where to go further. Note that there is a “hole” in Q00 we want to avoid.
This can be handled in the following way. Paths in Q00 have shadows in Q0 .
Thus we can use the CAT(0) geometry in Q0 to control where to go so we
can avoid the “hole”. Section 6, Section 7 and Section 8 are devoted to the
proof of the existence of singular rays in Q00 . Another thing we need to be
careful about is that the local structure discussed in Step 1.2 concerns not
just the shapes of the cells around one vertex, but also the orientation of the
edges around that vertex. In Section 7 we deal with the orientation issues.
Step 2.3. Now we know there is at least one singular ray in Q00 . We start with
this singular ray, and use the local characterization from Step 1.2 to “sweep
out” a sector which ends in another singular ray. This uses a development
argument. Now we iterate this process. It turns out that each sector in
Q00 corresponds to a CAT(0) sector in Q0 with angle bounded below by a
uniform number. Since Q0 has quadratic growth, after finitely many steps we
produce enough sectors to fill Q00 , which finishes the proof of Theorem 1.1.
This step is discussed in Section 9.
Finally, we discuss how to deduce the quasi-isometric rigidity theorems
for CLTTF Artin groups from Theorem 1.1. Again, we proceed in several

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

9

steps. The first two steps can be generalized in an appropriate way to all
2–dimensional Artin groups (cf. Theorem 10.11 and Theorem 10.16).
Step 1: Let AΓ be a CLTTF Artin. We consider the collection of maximal
cyclic subgroups of AΓ with centralizers commensurable to F2 × Z. We show
that these cyclic subgroups are preserved under quasi-isometries.
Step 2: Let ΘΓ be a graph whose vertices correspond to cyclic subgroups
from the previous step, and two vertices are adjacent if the associated cyclic
subgroups generate a free abelian subgroup of rank 2. This graph was introduced by Crisp [Cri05]. We show that any quasi-isometry from AΓ to itself
induces an automorphism of ΘΓ .
Step 3: Crisp [Cri05] showed that any automorphism of ΘΓ is induced by
a canonical bijection from AΓ to itself, under appropriate additional conditions. In such way we approximate quasi-isometries by maps which preserve
more combinatorial structure, and then deduce the quasi-isometric rigidity
results listed above, see Section 11.
On the structure of the paper. In Section 2 we analyze the structure
of quasiflats in metrically systolic complexes and we prove Theorem 1.9
above (Theorem 2.7 in the text). In Sections 3– 9 we describe the structure
of complexes approximating quasiflats in two-dimensional Artin groups. In
Section 9 we prove Theorem 1.1 (Theorem 9.2). In Section 10 we prove Theorem 1.2 (Theorem 10.11) and Theorem 1.3 (Theorem 10.16). In Section 11
we provide proofs of the results concerning CLTTF Artin groups: Theorem 1.5 (Corollary 11.8), Theorem 1.6 (Theorem 11.9), and Theorem 1.7
(Theorem 11.10).
Acknowledgment. J.H. would like to thank M. Hagen for a helpful discussion in July 2014, and R. Charney and T. Haettel for a helpful discussion
in June 2016. J.H. also thanks the Max-Planck Institute for Mathematics,
where part of the work was done, for its hospitality. Part of the work on
the paper was carried out while D.O. was visiting McGill University. We
would like to thank the Department of Mathematics and Statistics of McGill
University for its hospitality during that stay. The authors were partially
supported by (Polish) Narodowe Centrum Nauki, grant no. UMO-2015/18/M/ST1/00050.
2. Quasiflats in metrically systolic complexes
We start with several notations. Let X be a cell complex. For a subset
Y ⊂ X, the carrier of Y in X is the union of closed cells in X which contain
at least one point of Y in their interior. For a vertex x ∈ X, the closed
star of v in X, denoted by St(x, X), is the union of closed cells in X which
contain x. When X is a piecewise Euclidean polyhedral complex, i.e. X
is obtained by taking the disjoint union of a family of convex polyhedra
in Euclidean spaces of various dimensions and gluing them along isometric

10

JINGYIN HUANG AND DAMIAN OSAJDA

faces, see [BH99, Definition I.7.37], the -sphere around each vertex of X
inherits a natural polyhedral complex structure from X, for  small (see
[BH99, Definition I.7.15]). This polyhedral complex is called the link of x in
X, and is denoted by lk(x, X). If X is a 2–dimensional simplicial complex,
then we always identify lk(x, X) with the full subgraph of the one-skeleton
X (1) of X spanned by vertices adjacent to x.
For a metric space Z and a point z ∈ Z, we use B(z, R) to denote the
R-ball in Z centered at z. For a subset Y ⊂ Z, we use NR (Y, R) to denote
the R-neighborhood of Y in Z.
2.1. Preliminaries on metrically systolic complexes. Let X be a flag
simplicial complex. We put a piecewise Euclidean structure on X (2) (the 2–
skeleton of X) in the following way. Since X (2) can be viewed as a disjoint
collection of simplices with identifications between their faces, we assume
every 2–simplex (triangle) is isometric to a non-degenerate Euclidean triangle and all the identifications are isometries. This gives a length metric on
X (2) , which we denote by d. Since we will work with the 2–skeleton of X,
for a vertex v ∈ X, we define its link to be the full subgraph of X (1) spanned
by all vertices adjacent to v as explained as above. Every link is equipped
with an angular metric, defined as follows. For an edge v1 v2 , we define the
angular length of this edge to be the angle ∠v (v1 , v2 ) with the apex v. This
turns the link into a metric graph, and the angular metric, which we denote
by d∠ , is the path metric of this metric graph (note that a priori we do not
know ∠v (v1 , v2 ) = d∠ (v1 , v2 ) for adjacent vertices v1 and v2 ). The angular
length of a path ω in the link, which we denote by length∠ (ω), is the summation of angular lengths of edges in this path. In this paper we assume
that the following weak form of triangle inequality holds for angular lengths
of edges in X: for each v ∈ X and every three pairwise adjacent vertices
v1 , v2 , v3 in the link of v we have that ∠v (v1 , v3 ) ≤ ∠v (v1 , v2 ) + ∠v (v2 , v3 ).
Then we call X (with metric d) a metric simplicial complex.
Remark 2.1. We allow that the above inequality becomes equality – intuitively it corresponds to degenerate 2–simplices in a link, which corresponds
to degenerate 3–simplices in X.
For k = 4, 5, 6, . . ., a simple k–cycle C in a simplicial complex is 2–full if
there is no edge connecting any two vertices in C having a common neighbor
in C (that is, there are no local diagonals).
Definition 2.2 (Metrically systolic complex). A link in a metric simplicial
complex is 2π–large if every 2–full simple cycle in the link has angular length
at least 2π. A metric simplicial complex X is locally 2π–large if every its link
is 2π–large. A simply connected locally 2π–large metric complex is called a
metrically systolic complex.
In Theorem 2.3 below we state a fundamental property of metrically systolic complexes. It concerns filling diagrams for cycles, and it is a main

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

11

tool used in proofs of various results about such complexes in subsequent
sections and, previously, in [HO17b].
Let X be a simplicial complex. A cycle in X is simplicial map from a
triangulated circle to X which is injective on each edge. A singular disc D is
a simplicial complex isomorphic to a finite connected and simply connected
subcomplex of a triangulation of the plane. There is the (obvious) boundary
cycle for D, that is, a map from a triangulation of 1–sphere (circle) to the
boundary of D, which is injective on edges. More precisely, we can view D as
a subset of the 2–sphere S2 . Then S2 \D is an open cell, and the boundary of
this open cell gives rise to the boundary cycle of D. For a cycle C : K → X
in a simplicial complex X, a singular disc diagram for C is a simplicial map
f : D → X from a singular disc D to X such that C : K → X factors through
the boundary cycle of D. By the relative simplicial approximation theorem
[Zee64], for every cycle in a simply connected simplicial complex there exists
a singular disc diagram (cf. also van Kampen’s lemma e.g. in [LS01, pp. 150151]). It is an essential feature of metrically systolic complexes that singular
disc diagrams may be modified to ones with some additional properties; see
Theorem 2.3 below.
A singular disc diagram is called nondegenerate if it is injective on all
simplices. It is reduced if distinct adjacent triangles (i.e., triangles sharing
an edge) are mapped into distinct triangles. For a metric simplicial complex
X and a nondegenerate singular disc diagram f : D → X we equip D with
a metric in which f |σ is an isometry onto its image, for every simplex σ in
D. Then, f is a CAT(0) singular disc diagram if D is CAT(0), that is, if
the angular length of every link in D being a cycle (that is, the link of an
interior vertex in D) is at least 2π. An internal vertex in D is flat when the
angular length of its link is exactly 2π.
Theorem 2.3 (CAT(0) disc diagram). [HO17b, Theorem 2.8] Let f : D →
X be a singular disc diagram for a cycle C in a metrically systolic complex
X. Then there exists a singular disc diagram f 0 : D0 → X for C such that
(1) f 0 : D0 → X is a CAT(0) nondegenerate reduced disc diagram;
(2) f 0 does not use any new vertices in the sense that there is an injective
map i from the vertex set of D0 to the vertex set of D such that
f = f 0 ◦ i on the vertex set of D;
(3) if v ∈ D0 is a flat interior vertex, then f 0 is injective on the closed
star of v in D0 .
The number of 2–simplices in D0 is at most the number of 2–simplices in D.
The following result is immediate.
Corollary 2.4. Suppose X is a metrically systolic complex with finitely
many isometry types of cells. Then there exists a constant L > 0 such that
for each cycle C with ≤ n edges, there is a singular disc diagram for C
with ≤ Cn2 triangles in the disc diagram and the image of the singular disc
diagram is contained in the (L · n)–neighborhood of C.

12

JINGYIN HUANG AND DAMIAN OSAJDA

Note that whenever there is a statement regarding metric on X, we always
mean the length metric d with respect to the piecewise Euclidean structure
on X (2) . If there are finitely many isometry types of cells in X (2) , then
(X (2) , d) is a complete geodesic metric space [BH99, Theorem I.7.19]. Moreover, d is quasi-isometric to the path metric on X (1) such that each edge
has length 1 [BH99, Proposition I. 7.31].
We also need the following version of Morse Lemma for discs in metrically
systolic complex. See [HO17b, Theorem 3.9] for the proof.
Lemma 2.5. [Morse Lemma for 2–dimensional quasi-discs] Let D be a
combinatorial ball in the Euclidean plane tiled by equilateral triangles. Let
f : D → X be a disc diagram for a cycle C in X being an (L, A)–quasiisometric embedding. Let g : D0 → X be a singular disc diagram for C.
Then im(f ) ⊆ Na (im(g)), where a > 0 is a constant depending only on L
and A.
2.2. The structure of quasiflats. Throughout this subsection we use
BX (x, r) to denote the ball of radius r centered at x in a metric space
X. The following is a consequence of [BKS16, Theorem 4.1].
Theorem 2.6. Suppose X is a 2–dimensional CAT(0) complex such that X
is homeomorphic to R2 and X has finitely many isometry types of cells. If
there is a constant L > 0 and a base point x ∈ X such that Area(BX (x, r)) ≤
Lr2 , for any r > 0, then X is flat outside a compact subset.
Theorem 2.7. Let X be a locally finite metrically systolic complex with
finitely many isometry types of cells. Let q : E2 → X be an (L, A)–quasiisometric embedding. Then there exist a constant M0 depending only on
L, A and X, a simplicial complex Y , and a reduced nondegenerate simplical
map q 0 : Y → X such that
(1) Y is a 2–dimensional simplicial complex homeomorphic to R2 ;
(2) if we endow Y with the piecewise Euclidean structure such that each
simplex in Y is isometric to its q 0 -image, then Y is CAT(0);
(3) Y is flat outside a compact subset;
(4) for any flat vertex v ∈ Y , q 0 is injective on St(v, Y ) and if we view
lk(v, Y ) as a simple close cycle in X, then it does not bound a disc
diagram without interior vertices;
(5) dH (Im q, Im q 0 ) < M0 .
Proof. Let q : E2 → X be an (L, A)–quasi-isometric embedding. We view
E2 as a simplicial complex which is tiled by equilateral triangles. Using
Corollary 2.4 and a skeleton by skeleton approximation argument, we can
assume q is also L0 -Lipschitz. Since X has finitely many isometry types of
cells, it follows from q being L0 -Lipschitz and [BH99, Lemma I.7.54] that if
the diameter of equilateral triangles in E2 is small enough, then the q-image
of the closed star of a vertex in E2 is contained in the closed star of a vertex
in X. By a standard simplicial approximation argument, we can assume in

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

13

addition that q is a simplicial map. The new quasi-isometric constants of q
depend only on the old constants and X.
Pick a base vertex x ∈ E2 . Let Dn ⊂ E2 be the full subcomplex spanned
by vertices with combinatorial distance ≤ n from x. Up to attaching a thin
annuli to Dn along ∂Dn , we assume qn = q|Dn maps each edge in ∂Dn to an
edge in X. As in Theorem 2.3, for each n, we modify qn : Dn → X to obtain a
reduced nondegenerate CAT(0) singular disc diagram qn0 : Dn0 → X such that
qn0 and qn have the same boundary cycle. Moreover, we assume qn0 : Dn0 → X
has the least number of triangles among all singular disc diagrams satisfying
the conditions of Theorem 2.3 and has the same boundary cycle as qn . Then
• dH (Im qn0 , Im qn ) < M with M depending only on L and A;
• Theorem 2.7 (4) holds for flat interior vertices in Dn0 .
The first property follows from Lemma 2.5. For the second property, if
lk(v, Dn0 ) bounds a singular disc diagram without interior vertices for some
flat interior vertex v ∈ Dn0 , then we can replace St(v, Dn0 ) with such diagram
to obtain a singular disc diagram q̄n : D̄n → X with less triangles. Now,
use Theorem 2.3 to modify q̄n further to obtain a singular disc diagram
b n → X. Then D
b n contradicts the minimality of D0 .
q̂n : D
n
Let A0 = max{L, A, L0 , M }. For R ≥ 100A0 and n ≥ 100A0 R, let KR,n ⊂
Dn0 be the largest possible subcomplex such that qn0 (KR,n ) is contained in
the R-ball BX (q(x), R) of X centered at q(x). Then the following hold:
(a) KR,n is locally CAT(0);
(b) there is M 0 depending only on L and A such that q(E2 )∩BX (q(x), R2 )
is contained in the M 0 -neighborhood of qn0 (KR,n );
(c) lk(v, KR,n ) is a circle for any vertex v ∈ K R ,n ;
2

(b) follows from the inequality dH (Im qn0 , Im qn ) < M , and (c) follows from
the fact that qn0 (v) is far away from qn0 (∂Dn0 ). Since qn0 does not use new
(0)
vertices in the sense of Theorem 2.3, the cardinality of KR,n is ≤ the number
of vertices in E2 whose q-images are contained in BX (q(x), R). Moreover,
X is locally finite by our assumption. Thus by passing to a subsequence, we
assume for any n and m, there is a simplicial isomorphism φn,m : KR,n →
0 ◦ φ
KR,m such that qn0 = qm
n,m on KR,n . Now we let R → ∞ and use
a diagonal argument to produce q 0 : Y → X such that for any R and any
subcomplex K ⊂ Y such that q 0 (K) is contained in the R-ball of x, there
exists n and a simplicial embedding φK : K → Dn0 such that q 0 = qn0 ◦ φK on
K.
Now we show that q 0 satisfies all the requirements. First we show Y
is simply-connected. Take a closed curve C ⊂ Y and take R such that
R
q 0 (C) ⊂ BX (q(x), 100
). Let K ⊂ Y be the maximal subcomplex such that
q(K) ⊂ BX (q(x), R) and let Dn0 be as above. Since Dn0 is CAT(0), we can
find a geodesic homotopy in Dn0 that contracts C to a point in C. Note
that qn0 is Lipschitz since it is simplicial. Thus the q-image of this homotopy
is contained in BX (q(x), R), and the homotopy actually happens inside K.

14

JINGYIN HUANG AND DAMIAN OSAJDA

This together with property (a) above implies that Y is CAT(0). By (c),
Y is homeomorphic to R2 . By Theorem 2.3, q 0 (Y ) is contained in the full
subcomplex of X spanned by q(E2 ). This and property (b) above imply
dH (Im q 0 , Im q) < M0 for M0 = M0 (L, A, X). Also Theorem 2.7 (4) follows
from Theorem 2.3 (3) and the properties of qn0 discussed before.
It remains to show Y is flat outside a compact set. By Theorem 2.6, it
suffices to estimate the area of balls in Y . Pick a base point y ∈ Y such that
d(q 0 (y), q(x)) < M0 . Let BR be the R-ball in Y centered at y with respect
to the CAT(0) metric and let KR be the union of faces of Y that intersect
BR . Then there exists n and a simplicial embedding φR : KR → Dn0 such
that q 0 = qn0 ◦ φR on KR . Thus we also view y, BR and KR as subsets of Dn0 .
Since BR ⊂ BDn0 (y, R), it suffices to show Area(BDn0 (y, R)) ≤ L3 R2 for L3
independent of R and n.
Note that there exists a constant 0 < δ < 1 independent of n and R
such that BDn0 (y, δn) does not touch the boundary of Dn0 . This uses the
fact that qn and qn0 agree on the boundary, qn is a quasi-isometry and qn0 is
simplicial (hence Lipschitz). We assume n is large enough so that R < δn.
For r < δn, let hr : BDn0 (y, δn) → BDn0 (y, r) be the map which moves every
r
point p ∈ BDn0 (y, δn) towards y along the geodesic py by a factor of δn
.
r
Then hr is δn -Lipschitz and we have
Area(BDn0 (y, δn))
Area(BDn0 (y, r))
≥
2
(δn)
r2
On the other hand,
Area(BDn0 (y, δn)) ≤ Area(Dn0 ) ≤ L1 (`(∂Dn0 ))2 = L1 (`(∂Dn ))2 ≤ L2 n2 .
Here L1 is the isoperimetric constant for CAT(0) space and `(∂Dn0 ) denotes
the length of ∂Dn0 . Thus there exists L3 independent of n and R such that
Area(BDn0 (y, r)) ≤ L3 r2 for any r < δn. This finishes the proof.

3. The complexes for dihedral Artin groups
In this section we recall the local structure of the complexes for dihedral
Artin groups constructed in [HO17b] and study disc diagrams over such
complexes.
3.1. The complex for dihedral Artin groups. Let DAn be the 2–
generator Artin group presented by ha, b | aba
| {z· ·}·i.
| {z· ·}· = bab
n

n

Let Pn be the standard presentation complex for DAn . Namely the 1–
skeleton of Pn is the wedge of two oriented circles, one labeled a and one
labeled b. Then we attach the boundary of a closed 2–cell C to the 1–
skeleton with respect to the relator of DAn . Let C → Pn be the attaching
map. Let Xn∗ be the universal cover of Pn . Then any lift of the map C → Pn
to C → Xn∗ is an embedding (cf. [HO17a, Corollary 3.3]). These embedded
discs in Xn∗ are called precells. Figure 2 depicts a precell Π∗ . Xn∗ is a union
of copies of Π∗ ’s. We pull back the labeling and orientation of edges in Pn to

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

15

obtain labeling and orientation of edges in Xn∗ . We label the vertices of Π∗
u1

b

d2

a

u3 b

d4

a

u5

b

a

a
r

l
b

a

b
u2

d1

a
d3

b
u4

a

b

d5

Figure 2. Precell Π∗ .
as in Figure 2. The vertices ` and r are called the left tip and the right tip of
Π∗ . The boundary ∂Π∗ is made of two paths. The one starting at `, going
along aba
| {z· ·}· (resp. bab
| {z· ·}·), and ending at r is called the upper half (resp.
n

n

lower half ) of ∂Π∗ . The orientation of edges inside one half is consistent,
thus each half has an orientation.
We summarize several facts on how precells intersect each other.
Lemma 3.1. [HO17a, Corollary 3.4] Let Π∗1 and Π∗2 be two different precells
in Xn∗ . Then
(1) either Π∗1 ∩ Π∗2 = ∅, or Π∗1 ∩ Π∗2 is connected;
(2) if Π∗1 ∩ Π∗2 6= ∅, Π∗1 ∩ Π∗2 is properly contained in the upper half or in
the lower half of Π∗1 (and Π∗2 );
(3) if Π∗1 ∩ Π∗2 contains at least one edge, then one end point of Π∗1 ∩ Π∗2
is a tip of Π∗1 , and another end point of Π∗1 ∩ Π∗2 is a tip of Π∗2 ,
moreover, among these two tips, one is a left tip and one is a right
tip.
Lemma 3.2. [HO17b, Corollary 4.3] Let Π∗1 and Π∗2 be two different precells
in Xn∗ . If Π∗1 ∩ Π∗2 contains at least one edge, and Π∗3 ∩ Π∗2 = Π∗1 ∩ Π∗2 , then
Π∗3 = Π∗1 .
Lemma 3.3. Let {Π∗i }3i=1 be three different precells in Xn∗ . Suppose
(1) Π∗1 ∩ Π∗2 contains an edge;
(2) Π∗1 ∩ Π∗3 contains an edge;
(3) (Π∗1 ∩ Π∗2 ) ∩ (Π∗1 ∩ Π∗3 ) is either one point or empty.
Then Π∗2 ∩ Π∗3 is either one point or empty.
Proof. By Lemma 3.1, there are two cases to consider. Either Π∗1 ∩ Π∗2 and
Π∗1 ∩ Π∗3 are in the same half of Π∗1 , or they are in different halves. The latter
case follows from [HO17a, Corollary 3.5]. For the former case, we assume
without loss of generality that Π∗1 ∩Π∗2 and Π∗1 ∩Π∗3 are contained in the upper
half of Π∗1 . By Lemma 3.1 (3) and Lemma 3.3 (3), we assume Π∗1 ∩ Π∗2 (resp.
Π∗1 ∩ Π∗3 ) contains the left tip (resp. right tip) of Π∗1 , see Figure 3. Assume
by contradiction that Π∗2 ∩ Π∗3 contains an edge. By [HO17a, Corollary 3.5],

16

JINGYIN HUANG AND DAMIAN OSAJDA

if Π∗2 ∩ Π∗3 and Π∗2 ∩ Π∗1 are in different halves of Π∗2 , then Π∗1 ∩ Π∗3 can not
contain any edge, which yields a contradiction. Thus Π∗2 ∩ Π∗3 and Π∗2 ∩ Π∗1
are in the same half of Π∗2 . It follows that P is not an embedded path, where
P travels from the left tip of Π∗2 to the left tip of Π∗1 , then travel to the right
tip of Π∗1 along the upper half of Π∗1 , then travel to the right tip of Π∗3 . On
the other hand, since P represents a word in the positive Artin monoid, P is
an embedded path by the injectivity of positive Artin monoid [Del72, BS72],
which leads to a contradiction.


Π3

Π2
Π1

Figure 3.
We subdivide each precell Π∗ in Xn∗ into a simplicial complex by placing
a vertex in the middle of the precell, and adding edges which connect this
new vertex and vertices in the boundary ∂Π∗ . This subdivision turns Xn∗
into a simplicial complex Xn4 . A cell of Xn4 is defined to be a subdivided
precell, and we use the symbol Π for a cell. The original vertices of Xn∗ in
Xn4 are called the real vertices, and the new vertices of Xn4 after subdivision
are called fake vertices. The fake vertex in a cell Π is denoted o.
For each pair of cells (Π1 , Π2 ) in Xn4 such that Π1 ∩ Π2 contains at least
two edges, we add an edge between the fake vertex of Π1 and the fake vertex
of Π2 . Let Xn be the flag completion of the complex obtained by adding
these edges to Xn4 . There is a simplicial action DAn y Xn .
Definition 3.4. We assign lengths to edges of Xn . Edges between a real
vertex and a fake vertex have length 1. Edges between two real vertices
have length equal to the distance between two adjacent vertices in a regular
(2n)-gon with radius 1.
Now we assign lengths to edges between two fake vertices. First define
a function φ : [0, π) → R as follows. Let ∆(ABC) be a Euclidean isosceles
triangle with length of AB and AC equal to 1, and ∠A (B, C) = α. Then
φ(α) is defined to be the length of BC. Suppose Π1 and Π2 are cells such
that Π1 ∩Π2 contains i edges (i ≥ 2). Then the edge between the fake vertex
of Π1 and the fake vertex of Π2 has length = φ( n−i
2n 2π).
Remark 3.5 (Intuitive explanation of the construction of Xn ). A natural
way to metrize Xn∗ to declare each 2–cell in Xn∗ is a regular polygon in the
Euclidean plane. However, if we take Π1 and Π2 (say, two n–gons) such
that P = Π1 ∩ Π2 has ≥ 2 edges, then any interior vertex of P is not nonpositively curved. Let oi be the fake vertex in Πi and let the two endpoints

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

17

of P be v1 and v2 . Let K be the region in Π1 ∪ Π2 bounded by the 4–gon
whose vertices are o1 , o2 , v1 and v2 . Those positively curved cone points are
contained in K. Now we replace K by something flat as follows. Add a new
edge e between o1 and o2 and add two new triangles {∆i }2i=1 such that the
three sides of ∆i are e, o1 vi and o2 vi . We replace K by ∆1 ∪ ∆2 , which is
flat. Moreover, we would like ∠o1 (v1 , o2 ) = ∠o1 (o2 , v2 ) = |P2n|π so that o1 is
still flat (|P | is the number of edges in P ). That is why we assign the length
of e as in Definition 3.4.
By [HO17b, Lemma 4.7], the lengths of the three sides of each triangle in
(2)
satisfy the strict triangle inequality. Thus we can treat Xn as a piecewise Euclidean complex such that each 2–simplex is a Euclidean triangle
(1)
whose lengths of sides coincide with the assigned lengths on Xn .

(1)
Xn

(2)

3.2. Local structure of Xn . For a vertex v ∈ Xn , define Λv = lk(v, Xn ).
In this subsection we study the structure of Λv .
Pick an identification between real vertices of Xn and elements of DAn
via the action DAn y Xn . Let Π be a base cell in Xn with its vertices and
edges labeled as in Figure 2. We assume u0 = d0 = `, un = dn = r, and ` is
identified with the identity element of DAn .
We first look at the case when v is a real vertex. Up to action of DAn ,
we assume v = `. Vertices of Λv consist of two classes. (1) Real vertices ai , ao , bi and bo , where ai and ao are the vertices in Λv which corresponds to the incoming and outgoing a-edge containing v (bi and bo are
defined similarly). (2) Fake vertices. There is a 1-1 correspondence between such vertices and cells in Xn containing `. Then the fake vertices
of Λv are of the form w−1 o where w is a vertex of ∂Π and o is the fake
vertex in Π (w−1 o means the image of o under the action of w−1 ), that is
−1
−1
−1
−1
−1
{`−1 o, r−1 o, d−1
1 o, d2 o, . . . , dn−1 o, u1 o, u2 o, . . . , un−1 o}.
Edges of Λv can be divided into two classes. Edges of type I in Λv are
edges between a real vertex and a fake vertex. These edges are drawn in
Figure 4 (we use the convention that the real vertices are drawn as solid
points and the fake vertices as circles). By [HO17b, Lemma 5.2], each edge
of type I has angular length = n−1
4n 2π.
Edges of type II in Λv are edges between two fake vertices. They are
characterized by Lemma 3.6. There do not exist edges of Λv which are
between two real vertices. We write t ∼ s (resp. t  s) if vertices t and s
are connected (resp. are not connected) by an edge.
Lemma 3.6.
−1
(1) d−1
i o ∼ dj o if and only if 1 ≤ |j − i| ≤ n − 2, in this case, the
j−i
−1
edge between d−1
i o and dj o has angular length = 2n 2π. A similar
statement holds with d replaced by u.
−1
(2) If 1 ≤ i ≤ n − 1 and 1 ≤ j ≤ n − 1, then d−1
i o  uj o.

18

JINGYIN HUANG AND DAMIAN OSAJDA

d−1
1 o
d−1
2 o
d−1
3 o
bi

ao
d−1
n−2 o
d−1
n−1 o

−1
r−1 o = d−1
n o = un o

−1
`−1 o = d−1
0 o = u0 o

u−1
n−1 o
u−1
n−2 o
bo

ai
u−1
3 o
u−1
2 o
u−1
1 o

Figure 4. Edges of type I in the link of a real vertex.
−1
This lemma is deduced from the fact that d−1
i o ∼ dj o if and only if
−1
d−1
i Π ∩ dj Π has ≥ 2 edges. We refer to [HO17b, Lemma 5.3] for a detailed
proof.
Now we study cycles in Λv . Let Λ+
v be the full subgraph of Λv spanned
−1
−1 o}. Let Λ− be the full subgraph of Λ spanned
o,
d
o,
.
.
.
,
d
by {bi , ao , d−1
v
n
v
0
1
−1
−1 o}.
by {bo , ai , u−1
o,
u
o,
.
.
.
,
u
n
0
1

Lemma 3.7. [HO17b, Lemma 5.8] Suppose ω ⊂ Λv is a simple cycle. Then
at least one of the following two situations happen:
−
(1) ω ⊂ Λ+
v or ω ⊂ Λv ;
−1
−1
(2) ` o ∈ ω and r o ∈ ω.
Thus {`−1 o, r−1 o} is called the necks of Λv . The next two lemmas give
more detailed description of situations (1) and (2) of Lemma 3.7 respectively.
−
Lemma 3.8. Suppose ω is a simple cycle in Λ+
v or Λv . Then ω is not
2–full.

This follows from [HO17b, Lemma 5.6] and [HO17b, Lemma 5.7].

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

19

Lemma 3.9. [HO17b, Lemma 5.11] Suppose v is real and ω is an edge path
from r−1 o to `−1 o. Then ω has angular length ≥ π.
−
If ω has angular length = π, then either ω ⊂ Λ+
v or ω ⊂ Λv , and the
following are the only possibilities of ω when ω ⊂ Λ+
v:
−1
(1) ω = r−1 o → bi → d−1
1 o → d0 o;
−1
−1
o
(2) ω = dn o → dn−1 o → a → `−1 o;
−1
−1
(3) ω = d−1
i1 o → di2 o → · · · → dik o where n = i1 > i2 > · · · > ik = 0.

A similar statement holds for ω ⊂ Λ−
v.
Now we turn to the case when v is a fake vertex. Up to the action of
DAn , we assume v = o. Vertices of Λv consists of two classes. (1) Real
vertices: these are the vertices in ∂Π. (2) Fake vertices: these are the fake
vertices of cells Π0 such that Π0 ∩ Π contain at least two edges.
By Lemma 3.1, Π0 ∩ Π is a connected path such that it contains exactly
one of the tips of Π and it is properly contained in a half of ∂Π. If Π0 ∩ Π
is a path in the upper half (resp. lower half) of ∂Π that has m edges and
contains the left tip, then we denote the fake vertex in Π0 by Lm (resp. L0m ),
and write Π0 = ΠLm (resp. Π0 = ΠL0m ). Note that such Π0 is unique by
0 , Π
0
Lemma 3.2. Similarly, we define Rm , Rm
respectively; see
Rm and ΠRm
Figure 5.
L2

v0 =

v00

L3

v2
v1
0
v1 v 0
2

R4 R3 R2

L4

v3

v4

v5

v6

vn = vn0
v30

v40

v50

v60

L02 L03 L04

R40 R30 R20

Figure 5. The link of a fake vertex.
The structure of Λv will be easier to describe if we label vertices of ∂Π
differently as follows. The vertices in the upper half (resp. lower half) of
∂Π are called v0 , v1 , . . . , vn (resp. v00 , v10 , . . . , vn0 ) from left to right. Note that
v0 = v00 and vn = vn0 .
Edges of Λv consist of three classes:
(1) Edges of type I. They are edges between real vertices of Λv . Hence
1
they are edges in ∂Π. Each of them has angular length = 2n
2π.
(2) Edges of type II. They are edges between a real vertex and a fake
vertex, and they are characterized by Lemma 3.10 below.

20

JINGYIN HUANG AND DAMIAN OSAJDA

(3) Edges of type III. They are edges between fake vertices of Λv . We
will not need information about them in this paper. The interested
reader can find a description of them in [HO17b, Lemma 5.14].
We refer to Figure 5 for a picture of Λv . Edges of type I and some edges of
type II are drawn. Edges of type III are not drawn in the picture.
Lemma 3.10.
(1) The collection of vertices in ∂Π adjacent to Li (resp. L0i ) is {v0 , v1 , . . . ,
vi } (resp. {v00 , v10 , . . . , vi0 }).
(2) The collection of vertices in ∂Π adjacent to Ri (resp. Ri0 ) is {vn , vn−1 ,
0
0
. . . , vn−i } (resp. {vn0 , vn−1
, . . . , vn−i
}).
(3) The angular length of any edge between Li and a real vertex of Λv is
i
0
0
4n 2π. The same holds with Li replaced by Li , Ri and Ri .
Here (1) and (2) follow from the definition of Li and Ri . (3) follows from
Definition 3.4.
Let Λ+
v be the full subgraph of Λv spanned by
{v0 , v1 , . . . , vn } ∪ {L2 , L3 , . . . , Ln−1 } ∪ {R2 , R3 , . . . , Rn−1 }.
Let Λ−
v be the full subgraph of Λv spanned by
0
{v00 , v10 , . . . , vn0 } ∪ {L02 , L03 , . . . , L0n−1 } ∪ {R20 , R30 , . . . , Rn−1
}.

The following is proved in [HO17b, Lemma 5.16] and [HO17b, Lemma
5.17]. It says that Lemma 3.7 and Lemma 3.8 continue to hold also in the
case of v being fake (r−1 o and `−1 o in the statement of Lemma 3.7 should
be replaced by v0 and vn ).
Lemma 3.11. Suppose ω ⊂ Λv is a simple cycle. Then at least one of the
following two situations happen:
−
(1) ω ⊂ Λ+
v or ω ⊂ Λv ;
(2) v0 , vn ∈ ω.
−
If ω is a simple cycle in Λ+
v or Λv then ω is not 2–full.
We call {v0 , vn } the necks of Λv . The following is parallel to Lemma 3.9.
Lemma 3.12. [HO17b, Lemma 5.19] Suppose v is fake and ω is an edge
path in Λv from v0 to vn . Then ω has angular length ≥ π.
−
If ω has angular length = π, then either ω ⊂ Λ+
v or ω ⊂ Λv , and the
following are the only possibilities of ω when ω ⊂ Λ+
v:
(1) ω does not contain fake vertices, i.e. ω = v0 → v1 → · · · → vn ;
(2) ω = v0 → v1 → · · · → vn−i1 → Ri1 → · · · → Rim → vn , where
i1 > · · · > im ≥ 2;
(3) ω = v0 → Li1 → · · · → Lim → vim → vim +1 → · · · → vn , where
2 ≤ i1 < · · · < im ;
(4) ω = v0 → Li1 → · · · → Lim → vim → vim+1 → · · · → vn−i01 → Ri01 →
· · · → Ri0 0 → vn , where 2 ≤ i1 < · · · < im , i01 > · · · > i0m0 ≥ 2, and
m
im ≤ n − i01 .

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

21

A similar statement holds when ω ⊂ Λ−
v.
Remark 3.13. Note that in all the cases (1)–(4) of Lemma 3.12, for any
two non-neck vertices u1 , u2 ∈ ω with u1 real and u2 fake, either u1 is a
/ Πu2 . This statement can be
tip of the cell Πu2 that contains u2 , or u1 ∈
deduced from Lemma 3.10 and Lemma 3.1.
It follows from Lemma 3.7, Lemma 3.8, Lemma 3.9, Lemma 3.11 and
Lemma 3.12 that Xn is locally 2π-large (cf. Definition 2.2). Moreover, we
showed in [HO17b, Lemma 6.3] that Xn is simply-connected.
Theorem 3.14. Xn is metrically systolic.
3.3. Flat vertices in disc diagrams over Xn . In this subsection, we
explore links of certain flat vertices in reduced disc diagrams.
Definition 3.15. A flat interior vertex in a disc diagram whose all neighbours are flat interior vertices is called a deep flat vertex.
Lemma 3.16. Suppose q 0 : Y → Xn satisfies all the conditions in Theorem 2.7. Let y ∈ Y be a flat interior vertex and let v = q 0 (y). Then
q 0 (lk(y, Y )) is a simple cycle in Λv that is made of two paths of angular
−
length = π connecting the two necks of Λv , one in Λ+
v and one in Λv .
Proof. Since q 0 is injective on St(y, Y ), to simplify notation, we identify
lk(y, Y ) and q 0 (lk(y, Y )). By Lemma 3.7, Lemma 3.9 and Lemma 3.12, it
−
suffices to rule out the cases lk(y, Y ) ⊂ Λ+
v and lk(y, Y ) ⊂ Λv . To rule
out the former case, note that lk(y, Y ) is a simple cycle in Λ+
v , then by
Lemma 3.8 (or Lemma 3.11), we can add a local diagonal to lk(y, Y ) to cut
it into a triangle and a cycle σ with smaller number of edges. Now we apply
+
same procedure to σ (note that σ ⊂ Λ+
v since Λv is a full subgraph of Λv
by definition). By repeating this process finitely many times, we know that
lk(y, Y ) bounds a disc diagram without interior vertices, which contradicts

Theorem 2.7 (4). Similarly, we rule out the case lk(y, Y ) ⊂ Λ−
v.
Lemma 3.17. Suppose q 0 : Y → Xn satisfies all the conditions in Theorem 2.7. Let v ∈ Y be a deep flat vertex. Then there do not exist two
adjacent non-neck fake vertices in q 0 (lk(v, Y )).
To simply notation, denote q 0 (v) by v and identify lk(v, Y ) and q 0 (lk(v, Y )).
Proof. Arguing by contradiction we assume there are two adjacent non-neck
fake vertices o1 , o2 in lk(v, Y ). We assume that v = o when v is fake (recall
that o is the fake vertex in the base cell Π), and v = ` when v is real. For
i = 1, 2, let Πi be the cell containing oi .
Case 1 : v = `. By Lemma 3.16, lk(v, Y ) consists of two paths σ1 , σ2
of angular length = π connecting the two necks of Λv . By Lemma 3.9, we
can assume that o1 , o2 ∈ σ1 ⊂ Λ+
v . Then σ1 must satisfy Lemma 3.9 (3),
moreover, we can assume d−1
o
=
o1 and d−1
i2
i3 o = o2 . See Figure 6.

22

JINGYIN HUANG AND DAMIAN OSAJDA

Π1

Π2

o1

o2
o

r−1 o

v

Π

r−1 Π
Figure 6.

Now we consider the path P = r−1 o → v → o2 in lk(o1 , Y ). Since v is
not a tip of Π1 , v is not a neck of Λo1 . By Lemma 3.16, there is a path σ
of angular length = π connecting the two necks of Λo1 such that P ⊂ σ ⊂
lk(o1 , Y ). Since P has a real vertex between two fake vertices, σ satisfies
Lemma 3.12 (4). It follows from Lemma 3.1 that r−1 Π ∩ Π1 ∩ Π2 contains
at least one edge. However, by Lemma 3.10, in case (4) of Lemma 3.12,
ΠLim ∩ Π ∩ ΠRi0 is either empty (when im < n − i01 ) or one point (when
1

im = n − i01 ). This leads to a contradiction.
Case 2: v = o. By Lemma 3.16, o1 and o2 are consecutive non-neck
fake vertices in a path of angular length π between the two necks of Λo .
By Lemma 3.12, we can assume either o1 = Li1 , o2 = Li2 , or o1 = Ri0 0 ,
m −1
o2 = Ri0 0 . Now we study the former case. See Figure 7. Consider the path
m

Π2
o2

Π1
o1

o
`
Π

Figure 7.
P = ` → o → o2 in lk(o1 , Y ). Since ` is not a tip of Π1 , ` is not a neck of
Λo1 . It follows that P is contained in a path σ ⊂ Λo1 of angular length = π
connecting the two necks of Λo1 . Note that ` ∈ Π2 , but ` is not a tip of Π2
(by applying Lemma 3.1 (3) to Π2 ∩ Π). This contradicts Remark 3.13. The
case o1 = Ri0 0 and o2 = Ri0 0 can be treated similarly.

m −1

m

4. Local structure of quasi-Euclidean diagrams
In this section we recall the construction of the metrically systolic complexes for two-dimensional Artin groups, and use these complexes as a tool
to study the local structure of quasi-Euclidean diagrams over the universal
covers of standard presentation complexes of two-dimensional Artin groups.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

23

4.1. The complex for 2–dimensional Artin groups. Let AΓ be an Artin
group with defining graph Γ. Let Γ0 ⊂ Γ be a full subgraph with induced
edge labeling and let AΓ0 be the Artin group with defining graph Γ0 . Then
there is a natural homomorphism AΓ0 → AΓ . By [vdL83], this homomorphism is injective. Subgroups of AΓ of the form AΓ0 are called standard
subgroups. Let PΓ be the standard presentation complex of AΓ , and let XΓ∗
be the universal cover of PΓ . We orient each edge in PΓ and label each edge
in PΓ by a generator of AΓ . Thus edges of XΓ∗ have induced orientation
and labeling. There is a natural embedding PΓ0 ,→ PΓ . Since AΓ0 → AΓ is
injective, PΓ0 ,→ PΓ lifts to various embeddings XΓ∗0 → XΓ∗ . Subcomplexes
of XΓ∗ arising in such way are called standard subcomplexes.
A block of XΓ∗ is a standard subcomplex which comes from an edge in Γ.
This edge is called the defining edge of the block. Two blocks with the same
defining edge are either disjoint, or identical. A block is large if the label of
the corresponding edge is at least 3.
We define precells of XΓ∗ as in Section 3.1. Each precell is embedded. We
subdivide each precell as in Section 3.1 to obtain a simplicial complex XΓ4 .
Fake vertices and real vertices of XΓ4 are defined in a similar way.
Within each block of XΓ4 , we add edges between fake vertices as in Section 3.1. Then we take the flag completion to obtain XΓ . The action
AΓ y XΓ4 extends to a simplicial action AΓ y XΓ , which is proper and
cocompact. A block in XΓ is defined to be the full subcomplex spanned by
vertices in a block of XΓ4 . Intersection of two different blocks of XΓ does
not contain fake vertices. Pick a block B ∆ ⊂ XΓ4 , and let B ⊂ XΓ be the
block containing B ∆ . Let n be the label of the defining edge of B ∆ . Then
by [HO17b, Lemma 6.2], the natural isomorphism B ∆ → Xn4 extends to an
isomorphism B → Xn .
Next we assign lengths to edges of XΓ . Let B ⊂ XΓ be a block and let
B → Xn be the isomorphism in the previous paragraph. We first rescale
the edge lengths of Xn defined in Section 3.1 by a uniform factor such that
any edge between two real vertices has length = 1. Then we pull back these
edge lengths to B by the above isomorphism. We repeat this process for
each block of XΓ . Note that if an edge of XΓ belongs to two different blocks,
then this edge is between two real vertices, hence it has a well-defined length
(which is 1). The action of AΓ preserves edge lengths.
Theorem 4.1. [HO17b, Lemma 6.7] XΓ with its length structure is metrically systolic.
Now we consider local structure of XΓ . If v ∈ XΓ is a fake vertex, then
(2)
there is a unique block B 3 v. Moreover, lk(v, XΓ ) = lk(v, B (2) ) by our
construction, which reduces to discussion in Section 3.2. Links of real vertices are more complicated since they can travel through several blocks.
However, cycles of angular length ≤ 2π in the link have a relatively simple
characterization as follows.

24

JINGYIN HUANG AND DAMIAN OSAJDA

Lemma 4.2. [HO17b, Lemma 6.6] Let v ∈ XΓ be a real vertex and let ω be
(2)
a simple cycle in lk(v, XΓ ) with angular length ≤ 2π in the link of v. Then
exactly one of the following four situations happens:
(1) ω is contained in one block;
(2) ω travels through two different blocks B1 and B2 such that their
defining edges intersect in a vertex a, and ω has angular length = π
inside each block, moreover, there are exactly two vertices in ω ∩B1 ∩
B2 and they corresponding to an incoming a-edge and an outgoing
a-edge based at v;
(3) ω travels through three blocks B1 , B2 , B3 such that the defining edges
of these blocks form a triangle ∆(abc) ⊂ Γ and n11 + n12 + n13 = 1
where n1 , n2 and n3 are labels of the edges of this triangle, moreover,
ω is a 6–cycle with its vertices alternating between real and fake such
that the three real vertices in ω correspond to an a-edge, a b-edge and
a c-edge based at v;
(4) ω travels through four blocks such that the defining edges of these
blocks form a full 4–cycle in Γ, moreover, ω is a 4–cycle with one
edge of angular length π/2 in each block.
Note that in cases (2), (3) and (4), ω actually has angular length = 2π.
4.2. Classification of flat points in diagrams over XΓ . Let q 0 : Q0 →
XΓ be a map which satisfies all the requirements of Theorem 2.7. We study
the local properties of q 0 and Q0 in this subsection.
(2)
We define a partial retraction ρ from XΓ (defined on its subset) to XΓ4
as follows. The map is the identity on the 2–skeleton of XΓ4 . Let o1 o2 be an
(2)
edge of XΓ not in XΓ4 , where oi is the fake vertex in some cell Πi for i = 1, 2.
Let m be the middle point of ∂Π1 ∩∂Π2 and let x1 , x2 be the two endpoints of
∂Π1 ∩∂Π2 . We map o1 o2 homeomorphically to the concatenation of o1 m and
mo2 , and map the triangle ∆(o1 o2 x1 ) (resp. ∆(o1 o2 x2 )) homeomorphically
to the region in Π1 ∪ Π2 bounded by o1 x1 , x1 o2 , o2 m and mo1 (resp. o1 x2 ,
x2 o2 , o2 m and mo1 ). This finishes the definition of ρ. Note that ρ is not
(2)
defined on the whole space XΓ . That is why we call it a partial retraction.
(2)
More precisely, for a triangle ∆ ⊂ XΓ , ρ(∆) is defined if and only if ∆
satisfies one of the following two cases:
(1) ∆ has two real vertices and one fake vertices, in this case ρ(∆) = ∆;
(2) ∆ has one real vertex v and two interior vertices o1 and o2 , moreover,
v is a tip of Π1 or Π2 , where Πi is the cell containing oi for i = 1, 2.
Lemma 4.3. Let q = ρ ◦ q 0 . If ∆ ⊂ Q0 is a triangle such that all of its
vertices are flat and deep, then q(∆) is defined.
Proof. If all vertices of q 0 (∆) are fake, then for any vertex x ∈ ∆, the cycle
(2)
q 0 (lk(x, Q0 )) in lk(q 0 (x), XΓ ) contains two consecutive fake vertices, hence
contradicts Lemma 3.17. If q 0 (∆) has one real vertex u and two interior
vertices o1 and o2 , but u is neither the tip of Π1 nor the tip of Π2 (Πi is the

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

25
(2)

cell containing oi ), then u ∈ Π1 and u is not a neck of lk(o2 , XΓ ), which
contradicts Remark 3.13 (let the non-neck real vertex and the fake vertex
in Remark 3.13 be u and o1 respectively).

In what follows we use the map q as in Lemma 4.3 (wherever it is welldefined). A vertex x ∈ Q0 is real or fake if q 0 (x) = q(x) is, respectively, real
or fake.
Lemma 4.4. Suppose x ∈ Q0 is flat, deep and fake, then the restriction
of q to St(x, Q0 ) is an embedding. Moreover, q(St(x, Q0 )) contains the cell
containing q 0 (x).
Proof. By Theorem 2.7, the restriction of q 0 to the closed star St(x, Q0 ) is
an embedding. Let v = q 0 (x) and let ω = q 0 (lk(x, Q0 )). Then
(1) ω is a concatenation of two paths ω + and ω − such that each of them
(2)
−
−
connects the two necks of Λv = lk(v, XΓ ), and ω + ⊂ Λ+
v , ω ⊂ Λv ;
+
−
(2) ω and ω do not contain consecutive fake vertices.
(1) follows from Lemma 3.16, (2) follows from Lemma 3.17. By (2) and
Lemma 3.12, there are only four possibilities for ω + :
(1) ω + does not contain fake vertices, i.e. ω = v0 → v1 → · · · → vn ;
(2) ω + = v0 → v1 → · · · → vn−i → Ri → vn , where i ≥ 2;
(3) ω + = v0 → Li → vi → vi+1 → · · · → vn , where 2 ≤ i;
(4) ω + = v0 → Li → vi → vi+1 → · · · → vn−j → Rj → vn , where 2 ≤ i,
j ≥ 2, and i ≤ n − j.
A similar statement holds for ω − . Then the lemma follows from Lemma 3.10
and the definition of ρ (see Figure 8 for an example).

Li

Li

Rj

Rj

ρ

Figure 8.
Let x be as in Lemma 4.4. Then for any fake vertex x0 ∈ lk(x, Q0 ), there
are exactly two triangles in St(x, Q0 ) containing x0 . The union of these
two triangles is called an ear of St(x, Q0 ). Note that St(x, Q0 ) can have at
most four ears. By Lemma 4.4 again, there is a subset of St(x, Q0 ) which is
mapped to the cell containing q 0 (x) homeomorphically by q. We denote this

26

JINGYIN HUANG AND DAMIAN OSAJDA

subset by Cx . Note that the boundary ∂Cx cuts through the ears of St(x, Q0 )
and follows the edges in lk(x, Q0 ) that are between two real vertices.
Lemma 4.5. Suppose x ∈ Q0 is flat, deep and real. Let v = q 0 (x). Suppose
(2)
the cycle ω = q 0 (lk(x, Q0 )) in lk(v, XΓ ) satisfies Lemma 4.2 (1), then the
0
restriction of q to St(x, Q ) is an embedding. Moreover, there are exactly
four fake vertices in ω, and the four cells containing these four fake vertices
can be ordered as {Πi }4i=1 such that (see Figure 9)
(1) each Πi contains v, and Π1 , Π2 , Π3 , Π4 are in the same block;
(2) v is the right tip of Π2 and is the left tip of Π1 ;
(3) v is not a tip of Π3 or Π4 ;
(4) each of Π3 ∩ Π2 , Π3 ∩ Π1 , Π4 ∩ Π2 and Π4 ∩ Π1 contains at least one
edge, hence Πi ∩ (Π1 ∪ Π2 ) is a half of Πi for i = 3, 4 by Lemma 3.1;
(5) if in addition each vertex in lk(x, Q0 ) is deep and flat, then St(x, Q0 )
is contained in ∪4i=1 Cxi , where xi is the fake vertex in lk(x, Q0 ) such
that q(xi ) is the fake vertex in Πi ;
(6) under the assumption of (5), x ∈ Cxi for each i.

Π3
Π2

v

Π1
Π4

Figure 9.
Proof. Let B be the block containing ω. We argue as before to deduce ω is
a concatenation of two paths σ1 and σ2 connecting two necks of lk(v, B (1) )
such that each of them satisfies one of the three possibilities in Lemma 3.9.
Moreover, by Lemma 3.17, k = 3 in Lemma 3.9 (3). Thus there are four
fake vertices in ω. We can assume Π1 = Π is the base cell of Xn . Then the
conclusions (1)-(4) of the lemma follows by letting Π2 = r−1 Π, Π3 = d−1
i o
and Π4 = u−1
o
for
some
1
≤
i,
j
≤
n
−
1.
For
(5),
it
follows
from
our
j
0
assumption that the link of each fake vertex in lk(x, Q ) is as described in
the proof of Lemma 4.4. Thus (5) follows from the definition of ρ and Cxi .
To see (6), note that for each Cxi , x is either a real vertex in an ear of
St(xi , Q0 ), or x is inside an edge of lk(xi , Q0 ) whose two end points are real.
Thus x ∈ Cxi . We refer to Figure 10 for a particular example.

Lemma 4.6. Let x, v, ω be as in Lemma 4.5. If ω satisfies Lemma 4.2 (2),
then the restriction of q to St(x, Q0 ) is an embedding.
Let ab, ac ⊂ Γ be the defining edges of B1 and B2 as in Lemma 4.2 (2).
For i = 1, 2, let the label of the defining edge of Bi be ni . Then there are

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

27

o3
o2

v

ρ

o1

v

u
o4

Figure 10. The path o2 → o3 → o1 satisfies Lemma 3.9 (3),
and the path o2 → u → o4 → o1 satisfies Lemma 3.9 (1).
exactly four fake vertices in ω, and the four cells contains these four fake
vertices can be ordered as {Πi }4i=1 (see Figure 11) such that
(1) each Πi contains v;
(2) Π1 and Π2 are in B1 , and Π3 and Π4 are in B2 ;
(3) Π1 ∩ Π2 has n1 − 1 edges, Π3 ∩ Π4 has n2 − 1 edges, Π1 ∩ Π3 intersects
along an a-edge, and Π2 ∩ Π4 intersects along an a-edge;
(4) the analogous statements of Lemma 4.5 (5) and (6) hold.
c

a

b

c

Π3

a
c

a

c

Π4
c

a

c

v
a

a

b
Π1

b

a

b
Π2

b

a

b

Figure 11.
Remark 4.7. We did not specify orientations of edges in Figure 11. However, it follows from Lemma 4.6 (3) that all vertical edges in Figure 11 have
orientations pointing towards the same direction (all up or all down). All
non-vertical edges in Figure 11 that are in B1 have orientations pointing
towards the same direction (all left or all right), and a similar statement
holds with B1 replaced by B2 .
Proof of Lemma 4.6. We denote the two vertices in ω ∩ B1 ∩ B2 by ai and
ao respectively. For i = 1, 2, let σi be the sub-path of ω from ao to ai in
(1)
lk(v, Bi ). We now study the possibilities for σ1 . We identify B1 with Xn1
and assume v = ` in the cell Π of Xn1 .
(1)
By the discussion in Section 3.2, all edges of type II in lk(v, B1 ) (see
Figure 4) are between two interior vertices, and there are no edges between
real vertices. Thus to travel from one real vertex to another real vertex in
(1)
lk(v, B1 ), one has to go through at least two edges of type I. However, only
two edges of type I do not bring one from ai to ao . So we need at least one
(1)
another edge. By Lemma 3.6, an edge in lk(v, B1 ) has angular length at
1
least 2n
2π. Thus σ is made of two edges of type I and one edges of type

28

JINGYIN HUANG AND DAMIAN OSAJDA

−1
i
II with minimal angular length. Thus σ1 = ao → u−1
0 o → u1 o → a or
−1
−1
−1
o
−1
i
σ1 = a → dn1 −1 o → dn o → a . Note that u0 Π ∩ u1 Π has n1 − 1 edges,
−1
and d−1
n−1 Π ∩ dn Π has n1 − 1 edges (see Figure 12). A similar statement
holds for σ2 . Now the lemma follows from the definition of ρ.


bab · · ·

bab · · ·

a

u−1
0 o

a

d−1
n−1 o

a

u−1
1 o

a

d−1
n o

bab · · ·

bab · · ·
Figure 12.

Lemma 4.8. Let x, v, ω be as in Lemma 4.5. If ω satisfies Lemma 4.2 (3),
then the restriction of q to St(x, Q0 ) is an embedding. Moreover, let {Bi }3i=1
be as in Lemma 4.2 (3). Then there are three cells {Πi ⊂ Bi }3i=1 as in
Figure 13 (left) such that
(1) v ∈ Πi for 1 ≤ i ≤ 3;
(2) each of Π1 ∩ Π2 , Π2 ∩ Π3 , and Π3 ∩ Π1 consists of one edge;
(3) the analogous statements of Lemma 4.5 (5) and (6) hold.
A similar statement holds when ω satisfies Lemma 4.2 (4), where we have
four squares around v, see Figure 13 right.

Π3

Π1

a

c
Π2

v

b a
c v d

b

Figure 13.
Proof. Take ω = σ1 ∪ σ2 ∪ σ3 where each σi is a sub-path of ω made of
two edges such that σi ⊂ Bi . For 1 ≤ i ≤ 3, we take Πi to be the cell
that contains the fake vertex in σi . Then σi ⊂ Πi . Thus q 0 (St(x, Q0 )) ⊂
XΓ4 . Consequently, ρ is the identity on q 0 (St(x, Q0 )). Hence the lemma
follows.


QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

29

4.3. A new cell structure on the quasiflat. It follows from Lemma 4.3,
Lemma 4.4, Lemma 4.5, Lemma 4.6 and Lemma 4.8 that if x ∈ Q0 is flat
and deep, then the restriction of q to St(x, Q0 ) is well-defined (in particular,
it is well-defined outside a compact set) and it is an embedding. Now we
think of the range of q as XΓ∗ . In this subsection we want to “pull back” the
cell structure on XΓ∗ to an appropriate subset of Q0 via q.
Choose a base point x0 ∈ Q0 . For R > 0, let Q0R be the smallest subcomplex of Q0 that contains Q0 \ B(x0 , R). Recall that B(x0 , R) is the ball of
radius R centered at x0 . Let Q0R+ be the subcomplex made of all triangles of
Q0 which have non-trivial intersection with Q0R . By Theorem 2.7, we choose
R large enough such that each vertex in Q that has combinatorial distance
≤ 5 from Q0R+ is flat and deep.
Lemma 4.9. Suppose Cx1 ∩ Cx2 6= ∅ for two fake, deep and flat vertices
x1 , x2 ∈ Q0 . We also assume each vertex in St(x1 , Q0 ) is flat and deep. Let
Πi be the cell containing oi = q(xi ). Then q maps Cx1 ∪ Cx2 homeomorphically onto Π1 ∪ Π2 . In particular, Cx1 ∩ Cx2 is a connected interval (possibly
degenerate).
Proof. Note that x1 and x2 have combinatorial distance ≤ 2 in Q0 . We claim
that if x1 and x2 are not adjacent, then o1 and o2 are not adjacent. To see
this, note that there exists x ∈ lk(x1 , Q0 ) such that x1 , x2 ∈ lk(x, Q0 ). Since
x is deep and flat, the claim follows from the descriptions of lk(x, Q0 ) in
Lemma 4.4, Lemma 4.5, Lemma 4.6 and Lemma 4.8.
If x1 and x2 are adjacent, then so are o1 and o2 . It is clear that q(Cx1 ∩
Cx2 ) ⊂ Π1 ∩ Π2 . Let ω be the arc on ∂Cx1 which is mapped homeomorphically to Π1 ∩ Π2 ⊂ ∂Π1 . Then Cx1 ∩ Cx2 ⊂ ω since q|Cx1 is an embedding.
However, ω cuts through an ear of St(x1 , Q0 ) thus, by definition of Cxi , we
have ω ⊂ Cx1 ∩ Cx2 . Hence Cx1 ∩ Cx2 = ω and the lemma follows.
Suppose x1 and x2 are not adjacent. Since Cx1 ∩ Cx2 6= ∅, the intersection
St(x1 , Q0 ) ∩ St(x2 , Q0 ) consists of at least one vertex. If there is a fake vertex
x ∈ St(x1 , Q0 ) ∩ St(x2 , Q0 ), then let Πx be the cell containing q(x). Since
x1 and x2 are fake vertices in lk(x, Q0 ), by the description of lk(x, Q0 ) in
Lemma 4.4, we know Π1 ∩ Πx contains an edge, Π2 ∩ Πx contains an edge
and (Π1 ∩ Πx ) ∩ (Π2 ∩ Πx ) is at most one point. Thus Π1 ∩ Π2 is one point
by Lemma 3.3 (note that Π1 , Π2 and Πx are in the same block). Thus the
lemma follows by the discussion in the previous paragraph. Now suppose
there are no fake vertices in St(x1 , Q0 ) ∩ St(x2 , Q0 ). If there is an edge e in
St(x1 , Q0 ) ∩ St(x2 , Q0 ), then e ⊂ Cx1 ∩ Cx2 since both endpoints of e are real.
Thus q(e) is an edge in Π1 ∩ Π2 . However, Π1 ∩ Π2 has at most one edge
since o1 and o2 are not adjacent. Thus e = Cx1 ∩ Cx2 and the lemma follows.
If there are no edges in St(x1 , Q0 ) ∩ St(x2 , Q0 ), then let x be a vertex in this
intersection. Since x1 and x2 are two fake vertices in lk(x, Q0 ), in all cases
of Lemma 4.5, Lemma 4.6 and Lemma 4.8, Π1 ∩ Π2 is a point whenever
St(x1 , Q0 ) ∩ St(x2 , Q0 ) is a real vertex. Hence the lemma follows.


30

JINGYIN HUANG AND DAMIAN OSAJDA

Lemma 4.10. Q0R is contained in the union of Cx with x varying among
vertices of Q0R+ that are flat, deep and fake.
Proof. Recall that there are no triangles with three fake vertices in XΓ , thus
the same is true for Q0 . Thus Q0R is contained in the union of St(x, Q0 ) with
x ranging over real vertices in Q0R . By Lemma 4.5, Lemma 4.6, Lemma 4.8
and our choice of R, for any real x ∈ Q0R , St(x, Q0 ) is contained in the union
of Cy with y varying among fake vertices in lk(x, Q0 ). Note that y ∈ Q0R+ .
Then the lemma follows.

Let QR be the union of Cx with x varying among fake vertices of Q0R+ .
By Lemma 4.9 and Lemma 4.10, QR has a well-defined cell structure whose
closed 2–cells are the Cx , and whose edges (resp. vertices) are arcs (resp.
points) in the boundary of Cx which are mapped to edges (resp. vertices)
in XΓ∗ by q. Also, Lemma 4.9 implies that we can pullback the orientation
and labeling of edges of XΓ∗ to orientation and labeling of edges of QR .
A vertex of QR is interior if it has a neighborhood in QR which is homeomorphic to an open disc. Let St(x, QR ) be the union of cells of QR that
contains x. Now we look at the structure of St(x, QR ).
Lemma 4.11. Let x ∈ QR be an interior vertex. Then the following are
the only possibilities for St(x, QR ).
(1) St(x, QR ) is a union of two 2–cells.
(2) The point x corresponds to a real vertex in Q0 , and q maps St(x, QR )
homeomorphically onto the union of the Πi in XΓ∗ described in Lemma
4.5, Lemma 4.6, or Lemma 4.8.
Proof. Suppose x is not a real vertex of Q0 . There are at least two 2–
cells Cx1 , Cx2 in QR that contain x. Thus x is in the interior of an ear of
St(xi , Q0 ) for i = 1, 2. Hence x1 and x2 are adjacent in Q0 , and St(x1 , Q0 )
and St(x2 , Q0 ) share an ear. Now (1) follows.
Suppose x is a real vertex of Q0 . Then each vertex of St(x, Q0 ) is flat
and deep by our choice of R. If x satisfies the assumptions of Lemma 4.5,
then ∪4i=1 Cxi ⊂ St(x, Q0 ), by Lemma 4.5 (6). By Lemma 4.5 (5), ∪4i=1 Cxi
contains a disc neighborhood of x, thus ∪4i=1 Cxi = St(x, Q0 ). Since, by
Lemma 4.9, q maps Cxi ∪Cxj homeomorphically onto Πi ∪Πj , q maps ∪4i=1 Cxi
homeomorphically onto ∪4i=1 Πi . The cases of Lemma 4.6 and Lemma 4.8
are similar.

Definition 4.12. An interior vertex v ∈ QR is of type O if it satisfies
Lemma 4.11 (1), and is of type I, II, or III if it satisfies Lemma 4.5,
Lemma 4.6, or Lemma 4.8, respectively. The support of a 2–cell in QR
is the defining edge of the block of XΓ∗ that contains the q-image of this
2–cell. The support of a vertex of QR is the union of the supports of 2–cells
in QR that contain this vertex. For a type III vertex v, its support is either a triangle or a square, and v is called either a ∆–vertex or a –vertex,
respectively. By Lemma 4.2 (3) and (4), the Coxeter group whose defining
graph is the support of v acts on the Euclidean plane.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

31

Note that St(v1 , QR ) ∩ St(v2 , QR ) contains two 2–cells for two adjacent
vertices v1 , v2 of type III, thus we have the following result.
Lemma 4.13. If two vertices of type III of QR are adjacent, then they have
the same support.
Since Q0R ⊂ QR by Lemma 4.10, we will assume the quasiflat is represented by q : QR → XΓ∗ . Each 2–cell in QR corresponds to a fake vertex in
Q0R , which is called the vertex dual to this 2–cell.
5. Singular lines, singular rays and atomic sectors
5.1. Singular lines and singular rays.
Definition 5.1. A diamond line is a locally injective cellular map k : U →
XΓ∗ satisfying
(1) U = ∪∞
i=−∞ Ci such that each Ci is a 2–cell whose boundary is a
2n–gon for n ≥ 3, and each Ci intersects Ci+1 and Ci−1 in opposite vertices (and has empty intersection with other 2–cells), see
Figure 14 for the n = 3 case;
(2) k(U ) is contained in a block;
(3) k(Ci ∩ Ci+1 ) is a tip of both k(Ci ) and k(Ci+1 ).
∞
We define a diamond ray in a similar way by replacing ∪∞
i=−∞ Ci by ∪i=0 Ci .

Figure 14. A part of a diamond line.
Let k, U be as in Definition 5.1 and let ab ⊂ Γ be the defining edge
of the block containing k(U ). Then the two lines in the 1–skeleton of U
corresponding to the bi-infinite alternating word · · · ababa · · · are called the
boundary lines of U .
Remark 5.2. Roughly speaking, each diamond line corresponds to the centralizer of the stabilizer of the block of XΓ∗ that contains this diamond line
(note that the stabilizer of a block is a conjugate of the standard subgroup
associated with the defining edge of this block).
Each diamond line is embedded and quasi-isometrically embedded in XΓ∗ .
This is clear when Γ is an edge, and the general case follows from a result
by Charney and Paris [CP14, Theorem 1.2]. Note that each large block is a
union of diamond lines.
Before we state the next definition, recall that each Coxeter group with
defining graph Γ gives rise to its Davis complex DΓ , whose 1–skeleton is the
Cayley graph of the associated Coxeter group with bigons collapsed to single

32

JINGYIN HUANG AND DAMIAN OSAJDA

edges. In particular, each edge of DΓ is labeled by a vertex of Γ. A wall in
DΓ is the fixed point set of a reflection in the associated Coxeter group.
Definition 5.3. Suppose the defining graph Γ of the Artin group AΓ contains a triangle ∆ ⊂ Γ such that the labels m, n, r of the three sides of ∆
1
satisfy m
+ n1 + 1r = 1. Let D∆ be the Davis complex of the Coxeter group
with the defining graph ∆. Then D∆ is isometric to E2 and edges of D∆ are
labeled by vertices of ∆. Let U be the carrier of a wall in D∆ (i.e. U is the
union of cells that intersect this wall). See Figure 15 for an example when
(m, n, r) = (2, 3, 6). A Coxeter line of XΓ∗ is a locally injective cellular map

Figure 15. A part of a Coxeter line.
k : U → XΓ∗ such that
(1) k preserves the label of edges;
(2) if we pull back the orientation of edges of XΓ∗ to U , then there are
no orientation reversing vertices in the boundary of U .
If we restrict k to a subcomplex of U homeomorphic to [0, ∞) × [0, 1] (resp.
[0, k] × [0, 2]), we obtain a Coxeter ray (resp. Coxeter segment).
Let V be the carrier (in D∆ ) of the region bounded by two different
parallel walls W1 , W2 in D∆ . A thickened Coxeter line is a locally injective
cellular map k 0 : V → XΓ∗ such that k 0 preserves the label of edges and k 0
restricted to the carriers of W1 and W2 forms two Coxeter lines.
The maps k and k 0 in Definition 5.3 are injective and they are quasiisometric embeddings. This can be deduced by considering the quotient
homomorphism from AΓ to the Coxeter group with the defining graph Γ.
For a set of vertices V in Γ, let V ⊥ be the collection of vertices of Γ that
are adjacent to each element in V along an edge labeled by 2.
Definition 5.4. A plain line is a line L in the 1–skeleton of XΓ∗ such that
the collection VL of labels of edges in L satisfies at least one of the following:
(1) VL is a singleton;
(2) VL⊥ does not contain a pair of adjacent vertices of Γ and VL⊥ 6= ∅.
A plain ray is defined in a similar fashion. A plain line or ray is single-labeled
if condition (1) holds. A plain ray is chromatic if Vr is not a singleton for
any sub-ray r of this plain ray.
Let U = ∪∞
i=−∞ Ci be a union of 2–cells such that
(1) ∂Ci is a 2n-gon for each i (n ≥ 2);
(2) Ci ∩ Ci−1 and Ci ∩ Ci+1 are two disjoint connected paths in ∂Ci and
each of them has n − 1 edges;

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

33

(3) Ci ∩ Cj = ∅ for |i − j| ≥ 2.
A thickened plain line is a cellular embedding k : U → XΓ∗ such that k
restricted to the two boundary lines of U are plain lines.
Again it follows from [CP14, Theorem 1.2] that each plain line is quasiisometrically embedded for some uniform quasi-isometric constants independent of the plain line.
Definition 5.5. A singular ray is either a diamond ray, or a Coxeter ray,
or a plain ray. We define singular line analogously.
5.2. Flats, half-flats and sectors. Since the left action AΓ y XΓ∗ is simply transitive on the vertex set of XΓ∗ , we choose an identification between
elements of AΓ and vertices of XΓ∗ .
Definition 5.6. Let L be a diamond line containing the identity element
i
of AΓ . A diamond-plain flat is a subcomplex of XΓ∗ of the form g ∪∞
i=−∞ a L
∞
i
i
or g ∪i=−∞ b L, where a and b are the labels of edges in L, a L means
the left translation of L under the group element ai and g is an element
in AΓ . Note that each diamond-plain flat can be naturally realized as the
image of a locally injective cellular map f : U → XΓ∗ where U is a union of
subcomplexes isomorphic to diamond lines; see Figure 16.

v

L

Figure 16. A part of a diamond-plain flat and a diamondplain sector (shaded).
Lemma 5.7. The map f above is an embedding.
Proof. Since the image of f is contained in a block, it suffices to consider
the case when Γ is an edge. One can deduce the injectivity of f from
the solution of the word problem for spherical Artin groups [BS72, Del72].
Here we provide a geometric proof depending on a complex constructed by
D. Wise. The construction of such complex was presented in the proof of
[HJP16, Theorem 5.1].
Suppose the edge of Γ is labeled by n. Let Kn be the cube complex
described in the Figure 17 below. On the left we see part of the 1–skeleton
of Kn consisting of three edges labelled by a, b, t, and the right side indicates
how to attach a rectangle (subdivided into n squares) along its boundary

34

JINGYIN HUANG AND DAMIAN OSAJDA

a
a

t b

b

a

b

t

t
b

a

b

a

Figure 17.
−1 −1 −1
−1
path ab
| {z. .}. t b| a{z . .}. t . It is easy to check that the link of each of the
n

n

two vertices in Kn is isomorphic to the spherical join of two points with
e n is
n points, hence Kn is nonpositively curved and its universal cover K
1
isometric to tree times E . There is a homotopy equivalence h : Kn → PΓ
e n → X ∗ . Note that h gives a
by collapsing the t-edge. This induces a map K
Γ
e n and vertices in X ∗ ;
one to one correspondence between lifts of t-edges in K
Γ
e n and
as well as one to one correspondence between vertical flat strips in K
diamond lines in XΓ∗ . Now the lemma follows from the CAT(0) geometry on
en.
K

Thus each diamond-plain flat F is homeomorphic to R2 . Moreover, there
is a subgroup AF ≤ AΓ isomorphic to Z ⊕ Z acting cocompactly on F
i
(for example, when F = ∪∞
i=−∞ a L, then AF is generated by a and the
centralizer of the standard subgroup of AΓ generated by a and b).
Definition 5.8. Choose a diamond-plain flat F and let v ∈ F be a vertex
of a diamond line L in F being the intersection of two 2–cells of L. Let
L1 ⊂ L be a diamond ray based at v and let L2 ⊂ F be a plain ray based
at v. Then the region in F bounded by L1 and L2 (including L1 and L2 )
is called a diamond-plain sector ; see Figure 16. L1 and L2 are called the
boundary rays of the diamond-plain sector.
Definition 5.9. Let L ⊂ XΓ∗ be a Coxeter line containing the identity
element of AΓ and let e be the edge in L such that e is dual to the wall in L
and e contains the identity element of AΓ . Suppose the label of e is a. Then
i
a Coxeter-plain flat is a subcomplex of XΓ∗ of the form g ∪∞
i=−∞ a L, where
0
g ∈ AΓ . Let L ⊂ L be a Coxeter ray starting at the edge e. A Coxeter-plain
i 0
sector is a subcomplex of XΓ∗ of the form g ∪∞
i=0 a L , where g ∈ AΓ ; see
Figure 18. The Coxeter-plain sector has two boundary rays, one is L0 and
another one is the plain ray containing e.
Since the Artin monoid injects into the Artin group by the work of Paris
[Par02], L ∩ ai L = ∅ for i ≥ 2 and L ∩ aL is a boundary line of L. Thus
each Coxeter-plain flat is a subcomplex of XΓ∗ homeomorphic to R2 .
Definition 5.10. Let ∆ and D∆ be as Definition 5.3. A Coxeter flat is a
locally injective cellular map f : D∆ → XΓ∗ such that
(1) f preserves the label of edges;

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

35

L

e

Figure 18. A part of a Coxeter-plain flat and a Coxeterplain sector (shaded).
(2) the orientation of edges in D∆ induced by f satisfies the following:
if two edges of D∆ are dual to parallel walls in D∆ , then they are
oriented towards the same direction.
By considering the 1–Lipschitz quotient homomorphism from AΓ to the
Coxeter group with defining graph Γ as before (cf. the discussion after Definition 5.3), we know each Coxeter flat is embedded and quasi-isometrically
embedded.
For each Coxeter flat F , there are exactly two families of parallel walls
whose carriers in F give rise to Coxeter lines. To see this, choose a 2–
cell C ⊂ F with the maximal number of edges on its boundary and let
e1 , e2 ⊂ ∂C be the two edges containing a tip t ∈ ∂C. Then by Definition 5.3
(2) and Definition 5.10 (2), the carrier of a wall W ⊂ F is a Coxeter line if
and only if W is parallel to the wall of F dual to e1 or e2 .
L2

C

L1

Figure 19. A part of a Coxeter flat and a Coxeter sector (shaded).
Definition 5.11. Let F be a Coxeter flat and choose two Coxeter lines
L1 , L2 such that they intersect in a 2–cell C ∈ F (such Coxeter lines exists
by the discussion in the previous paragraph). For i = 1, 2, let L0i ⊂ Li be a
Coxeter ray starting at C. Then a Coxeter sector is defined to be the region
in F bounded by L01 and L02 (including L01 and L02 ); see Figure 19. L01 and
L02 are called the boundary rays of the Coxeter sector.

36

JINGYIN HUANG AND DAMIAN OSAJDA

Definition 5.12. Let Q be a quarter plane tiled by unit squares in a standard way. A plain sector is a locally injective cellular map f : Q → XΓ∗ such
that f restricted to the two boundary rays of Q gives two plain rays.
For each plain sector, there is a full subgraph Γ0 ⊂ Γ such that Q is contained in a copy of XΓ∗0 inside XΓ∗ and AΓ0 is a right-angled Artin group.
Note that both Q → XΓ∗0 and XΓ∗0 → XΓ∗ are injective quasi-isometric embeddings (the first one follows from the fact that the Salvetti complexes
of right-angled Artin groups are non-positively curved, and the second one
follows from [CP14, Theorem 1.2]), thus f is an injective quasi-isometric
embedding.
Definition 5.13. A diamond chromatic half-flat (DCH) is a locally injective
∗
cellular map f : U = ∪∞
i=1 Li → XΓ such that
(1) f |Li is a diamond line for each i;
(2) Li ∩Li+1 is a boundary line of both Li and Li+1 , moreover, Li ∩Lj =
∅ for |i − j| ≥ 2;
(3) there does not exist i0 ≥ 1 such that f (∪∞
i=i0 Li ) is contained in a
diamond-plain flat.
The boundary line of this DCH is defined to be the diamond line f |L1 .

L1

Figure 20. A part of a diamond chromatic half-flat (DCH).
e n in Lemma 5.7, one readily deduces
By using the CAT(0) cube complex K
that each DCH is embedded and quasi-isometrically embedded.
Definition 5.14. A Coxeter chromatic half-flat (CCH) of type I is a locally
∗
injective cellular map f : U = ∪∞
i=1 Li → XΓ such that
(1) f |Li is a thickened Coxeter line or a Coxeter line;
(2) Li ∩ Lj = ∅ for |i − j| ≥ 2;
(3) Li ∩Li+1 is a boundary line of both Li and Li+1 , moreover, each vertex in Li ∩ Li+1 is either of type O, or of type II (cf. Definition 4.12);
(4) there does not exist i0 such that Li is a Coxeter line for all i ≥ i0 .
The boundary line of this CCH is defined to be the Coxeter line containing
f |∂U , where ∂U is the boundary of U in the topological sense.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

37

Figure 21. A part of a Coxeter chromatic half-flat (CCH)
of type I. A thickened Coxeter line L1 is shaded.
Definition 5.15. Let ∆ and D∆ be as Definition 5.3. Let H be the carrier
of a halfspace H ⊂ D∆ bounded by a wall W1 of D∆ . A Coxeter chromatic
half-flat (CCH) of type II is a locally injective cellular map f : H → XΓ∗
satisfying all the following conditions:
(1) f preserves the label of edges;
(2) f restricted to the carrier of W1 is a Coxeter line;
(3) there does not exist a halfspace H0 ⊂ H such that the image of the
carrier of H0 under f is contained in a Coxeter flat; see Figure 22.
The boundary line of this CCH is the Coxeter line containing f |W1 .

L3

L2
W1

Figure 22. A part of a Coxeter chromatic half-flat (CCH)
of type II. The Carrier of W1 (shaded) is a Coxeter line.
Orientations of edges along L2 and L3 are opposite.
As in the discussion after Definition 5.10, each CCH of type II is embedded
and quasi-isometrically embedded.
Definition 5.16. A plain chromatic half-flat (PCH) is a locally injective
∗
cellular map f : U = ∪∞
i=1 Li → XΓ such that

38

JINGYIN HUANG AND DAMIAN OSAJDA

f |Li is a thickened plain line for each i;
Li ∩ Lj = ∅ for |i − j| ≥ 2;
Li ∩ Li+1 is a boundary line of both Li and Li+1 ;
there does not exist i0 ≥ 1 such that f (∪∞
i=i0 Li ) is contained in a
block;
(5) there does not exist i0 ≥ 1 such that ∪∞
i=i0 Li is made of squares.
(1)
(2)
(3)
(4)

Note that (5) implies that f (∂U ) is a single-labeled plain line; see Figure 23. The boundary line of this PCH is f |∂U .

L1

Figure 23. A part of a plain chromatic half-flat (PCH). A
thickened plain line L1 is shaded.
Definition 5.17. An atomic sector is one of the objects among diamondplain sector, Coxeter-plain sector, Coxeter sector, plain sector, DCH, CCH
(of type I or II) and PCH. If S is a DCH, CCH or PCH, then a boundary
ray of S is a singular ray contained in the boundary line of S.
One can build an atomic sector in a local and cell-by-cell fashion. There
are plenty of atomic sectors in XΓ∗ . Actually, for any vertex in XΓ∗ , there is
an atomic sector of given type whose image contains this vertex.
5.3. Properties of atomic sectors. For each Artin group AΓ , Charney
and Davis [CD95b] defined an associated modified Deligne complex DΓ . Now
we recall their construction in the 2–dimensional case, since it will be used
for proving certain properties of atomic sectors. The vertex set V of DΓ is in
one to one correspondence with left cosets of the form gAΓ0 , where g ∈ AΓ
and Γ0 is either the empty-subgraph of Γ (in which case AΓ0 is the identity
subgroup), or a vertex of Γ, or an edge of Γ. The rank of a vertex gAΓ0
of V is the number of vertices in Γ0 . In other words, rank 2 vertices of V
correspond to blocks of XΓ∗ , rank 1 vertices of V correspond to single-labeled
plain lines in XΓ∗ , and rank 0 vertices of V correspond to vertices of XΓ∗ .
Note that V has a partial order induced by inclusion of sets. A collection
{vi }ki=1 ⊂ V of vertices spans a (k − 1)-dimensional simplex if {vi }ki=1 form a
chain with respect to the partial order. It is clear that DΓ is a 2–dimensional

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

39

simplicial complex, and AΓ acts on DΓ without inversions, i.e. if an element
of AΓ fixes a simplex of DΓ , then it fixes the simplex pointwise.
We endow DΓ with a piecewise Euclidean metric such that each triangle ∆(g1 , g2 As , g3 Ast ) is a Euclidean triangle with angle π/2 at g2 As
π
and angle 2n
at g3 Ast with n being the label of the edge st of Γ. By
[CD95b, Proposition 4.4.5], DΓ is CAT(0) with such metric. As being observed in [Cri05, Lemma 6], the action AΓ y DΓ is semisimple.
Let XΓb be the barycentric subdivision of XΓ∗ . Then there is a simplicial
map π : XΓb → DΓ which maps the center of each 2–cell (resp. 1–cell) in XΓ∗
to the vertex in DΓ representing the block (resp. single-labeled plain line) of
XΓ∗ that contains this 2–cell (resp. 1–cell), and maps vertices of XΓ∗ to the
corresponding rank 0 vertices in DΓ .
Lemma 5.18. If two different blocks B and B 0 of XΓ∗ satisfy that B ∩ B 0
contains an edge, then B ∩ B 0 is a single-labeled plain line.
Proof. This follows from a more general fact by van der Lek [vdL83] that
for any two full subgraphs Γ1 and Γ2 of Γ, we have AΓ1 ∩Γ2 = AΓ1 ∩ AΓ2 . 
Lemma 5.19. Each atomic sector is embedded.
Proof. It remains to prove the lemma for PCH and CCH of type I.
∗
(PCH case.) Let f : U = ∪∞
i=1 Li → XΓ be as in Definition 5.16. We group
those consecutive Li ’s that are mapped by f to the same block to form
0
0
a new decomposition U = ∪∞
i=1 Li so that the block Bi containing f (Li )
satisfies Bi 6= Bi+1 for any i ≥ 1. Each Bi gives rise to a rank 2 vertex
in DΓ , which we denote by vi , and Bi ∩ Bi+1 gives rise to a rank 1 vertex
in DΓ (cf. Lemma 5.18), which we denote by wi . Then for each i ≥ 1, wi
is adjacent to vi and vi+1 in DΓ . Let P → DΓ be the edge path starting
from v1 and traveling through w1 , v2 , w2 , v3 , . . .. Note that vi 6= vi+1 (since
Bi 6= Bi+1 ) and wi 6= wi+1 (since f (L0i+1 ) is embedded in Bi+1 ). Thus
P → DΓ is locally injective. Let g ∈ G be the generator of the stabilizer of
w1 . Let Fg be the fixed point set of g. Crisp [Cri05] observed that Fg is a
tree. We repeat his argument here. Note that Fg is a convex subcomplex
of DΓ . However, g never fixes rank 0 vertices, so Fg lies in the part of the
1–skeleton of DΓ which is spanned by rank 1 and rank 2 vertices. Thus Fg
is a tree. Note that the edge path P is actually contained in Fg . Since P is
locally injective, P → Fg is an embedding. Now we pick i, j with |i − j| ≥ 2.
Then the segment of P from vi from vj is a CAT(0) geodesic segment in DΓ
made of ≥ 4 edges thus, by the way we metrize DΓ , there does not exist
rank 0 vertices which are adjacent to both vi and vj . Also there are no
rank 1 vertices adjacent to both vi and vj , since any such vertex has to be
contained in Fg . Let π : XΓb → DΓ be the simplicial map defined as before.
Note that each vertex in π(Bi ) is adjacent to vi . Thus Bi ∩ Bj = ∅ whenever
|i − j| ≥ 2. From this, Lemma 5.18, and the fact that fL0i is injective for
each i we deduce that f is injective.

40

JINGYIN HUANG AND DAMIAN OSAJDA

∗
(CCH of type I case.) Now let f : U = ∪∞
i=1 Li → XΓ be as Definition 5.14.
Walls in U are defined to be the walls in the domains of Coxeter lines
contained in U . If W ⊂ U is a wall, then π(f (W)) is a geodesic line in the
0
1–skeleton of DΓ . We re-decompose U as U = ∪∞
i=1 Li such that
(1) each L0i is bounded by two walls;
(2) either each vertex of U in L0i is of type III (such L0i is non-degenerate),
or each vertex of U in L0i is of type O or type II (such L0i is degenerate);
(3) {L0i }∞
i=1 alternates between non-degenerate and degenerate ones.
0
If Li is non-degenerate, then π ◦ f |L0i is locally injective, hence injective
by CAT(0) geometry. If L0i is degenerate, then walls of L0i are mapped by
π ◦ f to the same geodesic line in DΓ . Since each Coxeter line is periodic,
pick an element g ∈ AΓ acting by translation on a Coxeter line L ⊂ f (U ).
Note that f (U ) is invariant under the action of g. Moreover, let `g be the
π-image of the wall in L, then g acts by translation on `g . Let Mg be the
collection of points in DΓ such that d(x, gx) attains its minimum. Then
Mg admits a splitting Mg = `g × T by [BH99, Theorem II. 6.8]. Since DΓ
is 2–dimensional, T is a tree. Note that π ◦ f (U ) ⊂ Mg . For each i, let
si ⊂ T be the orthogonal projection of π ◦ f (L0i ) onto the T -factor. If L0i is
non-degenerate, then si is a segment with length > 0. If L0i is degenerate,
then si is a star shaped subset, i.e. si is an union of segments along a vertex.
We assume without loss of generality that L01 is non-degenerate. Let P → T
be the concatenation of s2i+1 for i ≥ 0 (note that the endpoint of s2i−1 is
the starting point of s2i+1 ). By the argument in the PCH case, we know f
restricted to the carrier of L0i in U is injective for i even. This implies that
P is locally injective at si ∩ si+2 (for i odd). Thus P is an embedding. This
and f |L0i being an embedding for each i imply that f is an embedding. 

Lemma 5.20. Let S1 and S2 be two atomic sectors. If there is a sequence
of 2–dimensional discs {Di }∞
i=1 ⊂ S1 ∩ S2 such that Di contains a ball of
radius i in S1 (with respect to the path metric on the 1–skeleton of S1 ), then
dH (S1 ∩S2 , S1 ) < ∞ and dH (S1 ∩S2 , S2 ) < ∞. Moreover, S1 , S2 and S1 ∩S2
are atomic sectors of the same kind.
Proof. The lemma follows from a case by case inspection. Suppose S1 and
S2 satisfy the assumption of the lemma. Let D ⊂ S1 ∩ S2 be a large disc.
We only discuss the case when S1 is a CCH of type I. Then other cases are
either similar, or much simpler.
0
Let S1 = ∪∞
i=1 Li , Mg1 = `g1 × T ⊂ DΓ and the path P ⊂ T be as in
Lemma 5.19, where g1 ∈ AΓ is an element acting on S1 . Since a diamondplain sector or a DCH is contained in a block, so S2 can not be one of them.
Also S2 can not be a plain sector since a plain sector is made of squares.
If S2 is a PCH, then D is contained in the carrier of L0i (in S1 ) for some i
even. Let g2 ⊂ AΓ be the element acting on S2 and we define the tree Fg2
as in Lemma 5.19. The existence of D implies that a sub-segment of Fg2
goes along the `g direction of Mg . The convexity of Fg2 and Mg1 implies

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

41

that Fg2 ∩ Mg2 ⊂ `g × {t} for some t ∈ T . Since π(S1 ) ⊂ Mg2 and each
vertex of π(S2 ) is either contained in Fg2 or adjacent to a vertex in Fg2 , we
know that S1 ∩ S2 is contained in the carrier of L0i inside S1 . This rules
out the possibility of S2 being a PCH. The case of S2 being a Coxeter-plain
sector can be ruled out in a similar way. If S2 is a Coxeter sector, then D
is contained in the carrier of L0i (in S1 ) for some i odd and π(S2 ) ⊂ Mg1 .
Note that P and the projection of π(S2 ) on T are two rays which diverge
from each other at some point, thus S1 ∩ S2 is contained in the carrier of L0i
inside S1 for some odd i and S2 can not be a Coxeter sector.
Now suppose that S2 is a CCH of type I or II and that S2 is invariant
under g2 ∈ AΓ . The existence of D implies that there is a Coxeter line
L ⊂ S2 such that L ∩ S1 contains a Coxeter segment U (cf. Definition 5.3)
which is sufficiently long. Thus we have the following two cases:
(1) if U is contained in a Coxeter line of S1 , then we know L is a Coxeter
line of S1 ;
(2) if U is not contained in a Coxeter line of S1 , then N is contained
in a thickened Coxeter line of S1 , hence L and a Coxeter line of S1
span a Coxeter flat in XΓ∗ .
Let ` ⊂ DΓ be the π-image of the wall in L. In both cases (1) and (2),
we have ` ⊂ Mg1 . If ` and `g1 are not parallel, then P and the projection
of ` on T are two rays which diverge from each other at some point (since
` is periodic), which implies that S1 ∩ S2 is contained in the carrier of L0i
inside S1 for some odd i. Thus ` and `g1 are parallel. Then π(S2 ) ⊂ Mg1 .
The projections of π(S1 ) and π(S2 ) must contain a common geodesic ray,
otherwise we can reach a contradiction as before. Now one readily deduces
that dH (S1 ∩ S2 , S1 ) < ∞ and dH (S1 ∩ S2 , S2 ) < ∞.

Now we recall the notion of locally finite homology. We use Z/2Z coefficients throughout this paper. Recall that for a topological space X we can
consider locally finite chains in X, which are formal sums Σλ∈Λ aλ σλ where
aλ ∈ Z/2Z, σλ are singular simplices, and any compact set in X intersects
the images of only finitely many σλ with aλ 6= 0. This gives rise to locally
finite homology of X, denoted by H∗lf (X). We define the relative locally
finite homology H∗lf (X, Y ) for a subset Y ⊂ X in a similar way. For a point
z ∈ Z \ Y , there is a homomorphism i : Hklf (Z, Y ) → Hklf (Z, Z \ {z}) ∼
=
Hk (Z, Z \ {z}) induced by the inclusion of pairs (Z, Y ) → (Z, Z − {z}). For
[σ] ∈ Hklf (Z, Y ), we define the support set of [σ], denoted S[σ],Z,Y , to be
{z ∈ Z \ Y | i∗ [σ] 6= Id}. We will also use S[σ] to denote the support set if
the underlying spaces Z and Y are clear.
Lemma 5.21. Each atomic sector is quasi-isometrically embedded.
Proof. The cases of diamond-plain sector, Coxeter-plain sector and Coxeter sector follows from that any rank 2 abelian subgroups of AΓ is quasiisometrically embedded ([HO17b, Lemma 7.7]). The case of plain sector
has already been discussed after Definition 5.12. It remains to consider

42

JINGYIN HUANG AND DAMIAN OSAJDA

chromatic half-flats. Let U ⊂ XΓ∗ be a PCH and let {`i }∞
i=1 be the collection of all plain lines in U parallel to ∂U such that `1 = ∂U and `i is
between `i−1 and `i+1 . Since each `i is quasi-isometrically embedded with
constants independent of i, it suffices to show there is constant M such that
dAΓ (`i , `j ) ≥ M |i − j|, where dAΓ denotes the distance in the 1–skeleton
of XΓ∗ . Suppose the contrary holds. Then for any given  > 0, there exists `i , `j such that dAΓ (`i , `j ) < |i − j|. Suppose L = dAΓ (`i , `j ). Then
|i − j| > L/. Let P0 be a shortest edge path from a vertex v0 ∈ `i to a
vertex w0 ∈ `j . Let g ∈ AΓ be an element which translates `i by distance
L. Let C1 = v0 → gv0 → gw0 → w0 → v0 be the cycle traveling along `i ,
gP0 , `j and P0 . Since C1 has 4L edges and AΓ has quadratic Dehn function
(by Corollary 2.4 and Theorem 4.1), there is a cellular 2–chain σ such that
∂σ = C1 , and σ has at most CL2 cells, where
depends on AΓ . Since
P C only
k σ gives rise to a locally
g
`i is quasi-isometrically embedded, α = ∞
k=−∞
finite relative homology class [α] ∈ H2lf (XΓ∗ , `i ∪ `j ). On the other hand,
let Uij be the region of U bounded by `i and `j . The fundamental class of
Uij gives another locally finite cellular chain β such that ∂β = ∂α. Then
[β] ∈ H2lf (XΓ∗ , `i ∪ `j ) and S[β] = Uij \ (`i ∪ `j ). Note that α ∪ β is a periodic
“infinite cylinder”. Recall that XΓ∗ is contractible by By [CD95b, Theorem
B] and [CD95b, Corollary 1.4.2]. Then XΓ∗ is also uniformly contractible
since it is cocompact. Thus we can fill in the periodic infinite cylinder to
obtain a locally finite singular 3–chain γ such that ∂γ = α−β. Thus [α] = [β]
and S[α] = S[β] = Uij \ (`i ∪ `j ). It is clear that S[α] ⊂ Im α, thus Uij ⊂ Im α.
Note that both Im α and Uij are invariant under the action of the subgroup
hgi ∼
= Z. Moreover, Im α/hgi has at most CL2 2–cells, but Uij /hgi has L2 /
2–cells (since |i − j| > L/). This will be contradictory to Uij ⊂ Im α if we
take  small enough. Similarly we deal with other chromatic half-flats, since
they all have one periodic direction (the cases of DCH and CCH of type II
have already been treated differently in Section 5.2).

5.4. Completions of atomic sectors. A subset A is coarsely contained in
another subset B of a metric space if A is contained in the R-neighborhood
of B for some R. A is the coarse intersection of a family of subsets {Bi }i∈I
if there exists R0 such that for all R ≥ R0 , the Hausdorff distance between
A and ∩i∈I NR (Bi ) is finite.
Lemma 5.22. Let S be an atomic sector which is not a plain sector or
a diamond-plain sector. Then S is a coarse intersection of finitely many
2–dimensional quasiflats.
Proof. Let U = ∪∞
i=1 Li be a CCH of type I. We assume without loss of
generality that L1 is a Coxeter line and L2 is a thickened Coxeter line. Let
F be the Coxeter-plain flat containing L1 . Then the line L1 ∩ L2 divides F
into two half-spaces, which we denote by U1 and U2 . Let U3 = ∪∞
i=2 Li . We
glue U1 , U2 and U3 along L1 ∩ L2 to form a triplane V . Note that there
is a locally injective map V → XΓ∗ . By the same argument as in the proof

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

43

of Lemma 5.19 and Lemma 5.21, we know that Ui ∪ Uj is embedded and
quasi-isometrically embedded for any 1 ≤ i 6= j ≤ 3. Thus U is the coarse
intersection of the quasiflat U3 ∪ U1 and the quasiflat U3 ∪ U2 . The case of
CCH of type II is similar. If U is a PCH, we can assume L1 and L2 are
not in the same block. Let F be the diamond flat containing L1 . Then we
can form a triplane as before and find three quasiflats using the argument
of Lemma 5.19 and Lemma 5.21. To deal with DCH, note that each DCH
is contained in a large block. Then we can use the cube complex K̃n in
Lemma 5.7 to conclude the proof.
If S is a Coxeter sector, let F be the Coxeter flat containing S. Let L1 and
L2 be two Coxeter lines in F that contains the two boundary rays of S. Then
there are half-flats H1 and H2 of F bounded by L1 and L2 respectively such
that S = H1 ∩ H2 . Since F is quasi-isometrically embedded, S is the coarse
intersection of H1 and H2 . However, each Hi is the coarse intersection of
two quasiflats by the argument in the previous paragraph. Thus we are done
in the case of Coxeter sector. The case of Coxeter-plain sector is similar. 
We define the completion of an atomic sector which is not a plain sector
or a diamond-plain sector to be itself. Before discussing completions of
diamond-plain sectors and plain sectors, we need the following preliminary
observation.
For two vertices a, b ⊂ Γ, we define a ∼ b if a and b are adjacent in Γ along
an edge labeled by an odd number. If a ∼ b, then for each singled-labeled
plain line `a in XΓ∗ labeled by a, there is a thickened plain line L such that
(1) one boundary component of L is `a ;
(2) another boundary component of L is a single-labeled plain line labeled by b.
Now we consider the equivalence relation on the vertex set of Γ generated
by ∼. Each equivalence class is called an odd component. Note that a plain
line whose edges are labeled by an element in an odd component can be
“parallelly transported” to a plain line with its edges labeled by another
element in the same odd component via finitely many thickened plain lines.
If S is a diamond-plain sector, let F be the diamond flat containing S.
Then S is the intersection of two half-flats H1 , H2 of F such that H1 is
bounded by a plain line L1 and H2 is bounded by a diamond line L2 . H2 is
the coarse intersection of two quasiflats. However, this may not be true for
H1 (e.g. when Γ is an edge). Let a ∈ Γ be the vertex corresponding to the
label of edges in L1 . If every vertex in the odd component containing a is a
leaf in Γ (recall that a leaf in a graph is a vertex which is only adjacent to
one another vertex), then we define the completion of S to be H2 . Observe
that in this case either a is a leaf in Γ contained in an edge with an even
label, or the component of a in Γ is an edge (with an odd label). If there
exists a vertex c in the odd component containing a which is not a leaf,
then the completion of S is defined to be itself. In this case, we can form a

44

JINGYIN HUANG AND DAMIAN OSAJDA

triplane containing H1 , hence H1 is the coarse intersection of two quasiflats
and S is the coarse intersection of finitely many quasiflats.
Now suppose S is a plain sector. We write S = r1 ×r2 where r1 and r2 are
two boundary rays of S. For i = 1, 2, let Vi ⊂ Γ be the collection of labels
of edges in ri . Let Vi⊥ be the collection of vertices in Γ which are adjacent
to each vertex in Vi along an edge labeled by 2. The set Vi is good if either
Vi⊥ has ≥ 2 vertices, or Vi is a singleton and there exists a non-leaf vertex
in the odd component containing Vi . Since V1 and V2 form a join subgraph
Γ0 ⊂ Γ, the latter case is equivalent to Vi being a singleton and not a leaf.
If both V1 and V2 are good, then the completion of S is S itself. In this
case, S is the coarse intersection of finitely many 2–dimensional quasiflats.
Now we prove this statement. Note that AΓ0 is a right-angled Artin group.
We assume S is contained in a copy of XΓ∗0 in XΓ∗ . Then there is a flat
F = `1 ×`2 in XΓ∗0 such that `i is a geodesic line extending ri (such extension
may not be unique). We know S = H1 ∩ H2 where Hi is a half-flat in F
bounded by `i . Since F is isometrically embedded in XΓ∗0 and XΓ∗0 is quasiisometrically embedded in XΓ∗ ([CP14, Theorem 1.2]), we know S is the
coarse intersection of H1 and H2 . Note that the labels of edges in `i are in
Vi , then we deduce from the fact that V1 and V2 are good that each of H1
and H2 ia a coarse intersection of two quasiflats.
If only one of V1 , V2 is good, then S is contained in a canonical half-flat
H such that H is made of squares and H is a coarse intersection of two
quasiflats. Note that the boundary of H is a single-labeled plain line. H is
defined to be the completion of S.
If both V1 and V2 are not good, then V1 and V2 are singletons. We extend
ri to a single-labeled plain line `i and define the completion of S to be the
flat of the form `1 × `2 .
Corollary 5.23. For any atomic sector S, the completion S̄ of S is a coarse
intersection of finitely many 2–dimensional quasiflats.
6. Half Coxeter regions in Q0 and QR
Let x ∈ QR be a vertex of type III. Let Kx ⊂ Q0 be the convex hull
of fake vertices of Q0 that are dual to 2–cells in St(x, QR ). Kx is called
a chamber or an x-chamber. Kx is either a triangle or a square, and it is
isometric to the standard fundamental domain of the planar Coxeter group
whose defining graph is the support of x. We define edges and vertices of
a chamber in a natural way. Since Kx ⊂ St(x, Q0 ), the intersection of two
different chambers is either empty, or a point, or an edge of both of the
chambers. Each chamber Kx has a support inherited from x.
Let C 0 ⊂ Q0 be the union of x-chambers with x ranging over vertices
of type III in QR (it is possible that C 0 = ∅). A Coxeter region of Q0 is
a connected component of C 0 , and a Coxeter region of QR is the union of
St(x, Q0 ) such that the associated x-chamber is in a Coxeter region of Q0 .

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

45

Lemma 6.1. Let C ⊂ QR be an interior 2–cell, i.e. C is disjoint from the
boundary of QR . Let V be the collection of type III vertices on ∂C. Suppose
that V 6= ∅ and that ∂C has 2n edges. Then all vertices of V have the same
support, and one of the following three possibilities happens:
(1) V is one point;
(2) V is the vertex set of an arc in ∂C made of n − 1 edges;
(3) each vertex in ∂C is in V .
Proof. Suppose V is not a singleton. Let v1 , v2 be two vertices of V and let
ω ⊂ ∂C a path of shortest combinatorial distance from v1 to v2 . We claim
each vertex of ω is in V . Let v3 be a vertex in ω that is adjacent to v2 . Since
v2 is of type III, let C, C 0 be the two 2-cells in St(v2 , QR ) that contain v3 .
By Lemma 4.11 and Lemma 4.8 (2), v3 is not of type O. Moreover, since
C and C 0 are mapped to different blocks by q, v3 is not of type I. If v3 is
of type II, let C1 and C10 be other cells in St(v3 , QR ). Since C ∩ C 0 is one
edge, C ∩ C1 has n − 1 edges by Lemma 4.11 and Lemma 4.6 (3). Thus
v1 ∈ C ∩ C1 . By Lemma 4.6 (3), q(C) and q(C1 ) are in the same block. This
contradicts that v1 is of type III since different cells containing a vertex of
type III have q-images in different blocks. Thus v3 must be of type III.
Moreover, v3 and v2 have the same support by Lemma 4.13. Now the claim
follows by repeating this argument for other vertices in ω.
It follows from the above claim that either V is the collection of all vertices
in ∂C, or V is the collection of vertices in an arc ω of ∂C that has ≤ n − 1
edges. Suppose the number of edges in ω is ≥ 1 and is < n − 1. Let v1 and
v2 be two endpoints of ω. For i = 1, 2, let wi ∈ (∂C \ ω) be a vertex that is
adjacent to vi . Since wi is not of type III, by the discussion in the previous
paragraph, wi is of type II. Moreover, there is a cell Ci of QR such that
Ci ∩ C has n − 1 edges and (Ci ∩ C) ∩ vi wi = wi . Since ω has at least one
edge, (C1 ∩ C) ∩ (C2 ∩ C) contains at least one edge. Since ω has < n − 1
edges, (C1 ∩ C) 6= (C2 ∩ C), in particular C1 6= C2 . This contradicts that
QR is planar. Thus ω is either a point, or an arc with n − 1 edges.

The following is a consequence of Lemma 6.1.
Corollary 6.2. Let C 0 ⊂ Q0 be a Coxeter region and let x ∈ C 0 be a fake
vertex such that the 2–cell of QR associated with x is interior. Let D be a
disc of radius  around x in Q0 . Then for  small enough, exactly one of the
following possibilities happens:
(1) C 0 ∩ D = K ∩ D where K is a chamber of C 0 containing x;
(2) C 0 ∩ D is a half disc of D ;
(3) C 0 ∩ D = D .
In general, we do not have control of the local structure at each point of
This motivates us to pass to a subset of C 0 as follows.

C0.

Definition 6.3. Let x ∈ QR be a vertex of type III. Suppose there exists
an edge e ⊂ QR containing x such that

46

JINGYIN HUANG AND DAMIAN OSAJDA

(1) the geodesic line ` ⊂ Q0 that is orthogonal to e (we can view e as
an edge in Q0 ) and passes through the midpoint of e satisfies that
d(x0 , `) > R, where x0 is the base point in Q0 as in Section 4.3 and
d denotes the CAT(0) distance;
(2) x and x0 are on different sides of `;
(3) let H 0 be the half-space of Q0 that is bounded by ` and contains x,
then H 0 ⊂ QR and any 2–cell of QR that intersects H 0 is interior.
Let C 0 ⊂ Q0 be the Coxeter region containing x. The (x, `)-half Coxeter
region of Q0 is the connected component of C 0 ∩ H 0 that contains x.
Remark 6.4. There is a constant L such that for any vertex x ∈ QR
of type III satisfying d(x, x0 ) > LR (we can also view x as a vertex in
Q0 ), there exists an edge of QR containing x that satisfies the conditions in
Definition 6.3.
By Definition 6.3 (1) and (2), H 0 is isometric to a half-plane. Let H0 be
the (x, `)-half Coxeter region. Then H0 is locally convex in H 0 by Lemma 6.1
and Definition 6.3 (3). Since H0 is connected, H0 is actually convex in H 0 .
Lemma 6.5. H0 is a union of chambers with the same support.
Proof. Let x ∈ QR be as in Definition 6.3. Let Kx be the x-chamber. Then
Kx ⊂ H0 , and Kx ∩ ` is an edge of Kx . Let v1 be an endpoint of Kx ∩ ` and
let `− be the half-line of ` with endpoint v1 such that Kx ∩ H0 * `− . Note
that v1 is a fake vertex in Q0 . Let {Ki }ki=1 be the chambers of C 0 that contain
v1 . By Definition 6.3 (3) and Lemma 6.1, either Ki ∩ ` is an edge of Ki , or
Ki ∩` = {v1 }. If (∪ki=1 Ki )∩` = Kx ∩`, then `− ∩H0 = {v1 } by the convexity
of H0 . If (∪ki=1 Ki ) ∩ ` 6= Kx ∩ `, then there exists Ki such that Ki ∩ ` is an
edge of Ki and Ki ∩ ` 6= Kx ∩ `. We can assume Ki ⊂ H 0 (if Ki and Kx
are on different sides of `, then we must be in case (3) of Lemma 6.1). Thus
Ki ⊂ H0 . Let v2 be the endpoint of Ki ∩ H0 that is different from v1 . We
then repeat previous discussion with v1 replaced by v2 . Keep running this
process to walk along ` ∩ H0 until one has to stop at an endpoint of ` ∩ H0 .
Then it follows that a small neighborhood of ` ∩ H0 in H0 is contained in a
union of chambers inside H0 such that each chamber either intersects ` in
an edge of this chamber, or intersects ` in a point. Thus H0 is a union of
chambers. Lemma 6.1 and the connectedness of H0 imply that all chambers
in H0 have the same support.

By Lemma 6.5, H0 has a cell structure such that its vertices are fake
vertices of Q0 contained in H0 and its 2–cells are chambers with the same
support. We define the (x, `)-half Coxeter region H ⊂ QR corresponding to
H0 to be the union of 2–cells of QR which are associated with fake vertices
in H0 . Each edge e ⊂ H0 has a dual edge in QR which intersects e in exactly
one point. Thus edges of H0 inherit labels from edges of QR .
Let D be the Davis complex of the Coxeter group W whose defining graph
is the support of a chamber in H0 . The collections of walls of D cut D into

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

47

another complex D0 , which is the dual of D. Each edge of D0 inherits a label
from its dual edge in D (edges of D are labeled by generators of W ).
By Lemma 6.1, there exists a label-preserving cellular isometry from the
closed star of each vertex of H0 to D0 . Since H0 is simply connected, by a
developing argument, we can produce a label-preserving cellular local isometry i0 : H0 → D0 . Note that i is actually an isometric embedding, since both
H0 and D0 are CAT(0). By Lemma 4.11 (2), there is an induced cellular
embedding i : H → D such that i(H) is the union of 2–cells dual to vertices in i0 (H0 ). We view H0 (resp. H) as subcomplexes of D0 (resp. D) via
i0 (resp. i). A wall in H0 (resp. H) is the intersection a wall in D0 (resp. D)
with H0 (resp. H). The definition of wall does not depend the choice of the
label-preserving map i0 . We say H (or H0 ) is irreducible (resp. reducible) if
the associated Coxeter group W has defining graph being a triangle (resp.
square).
7. Orientation of edges of Coxeter regions
Let x, ` and H 0 be as in Definition 6.3 and let H, H0 , D and D0 be as in
the previous section.
A border of H0 is a maximal connected subset of ∂H0 which is convex in
0
H . A border of H0 is fake if this border is contained in `. Other borders are
real. If we think of H0 as of a convex subcomplex of D0 , then each border
B 0 ⊂ H0 is contained in a wall W of D0 . Let W + (resp. W − ) be the halfspace of D0 bounded by W that contains (resp. does not contain) H0 . Let
NB0 be the carrier of B 0 in D (see the beginning of Section 2 for definition of
carrier). Then B 0 corresponds to an outer border B o and an inner border B i
of H, which are defined to be the maximal subcomplexes of NB0 contained
in W − and W + , respectively. B o or B i is real or fake if B 0 is real or fake.
Recall that each edge of QR inherits an orientation via q : QR → XΓ∗ , so does
each edge in H. Now we study the orientation of edges along a border of H.
B o or B i is made of pieces, which are maximal subsegments of the border
that are contained in a 2–cell of NB0 . Each vertex in a border of H either
belongs to one piece, or belongs to the intersection of two pieces.
7.1. Orientation along the borders.
Lemma 7.1. The orientation of edges on the same piece on a real outer
border of H is consistent, i.e. there does not exist an interior vertex of the
piece such that the orientation is reversed at that vertex. The same is true
for real inner border.
Proof. Let ω be a piece in the lemma. Then there exists one endpoint, say
v, of ω such that v belongs to two different cells C1 , C2 ⊂ H. Since q maps
C1 and C2 to cells in different blocks of XΓ∗ , we know v is of type II or type
III. If v is of type III, then we can enlarge H (hence H0 ) since v is in a
real border, which contradicts the maximality of H0 . Hence v is of type II.
Note that if a piece is contained in a cell of H with 2n edges, then the piece

48

JINGYIN HUANG AND DAMIAN OSAJDA

has n − 1 edges. Now, the statement about the outer border follows from
Remark 4.7. The statement about the inner border follows from Lemma 7.2
below.

We will be repeatedly using the following simple observation, which follows from Figure 2.
Lemma 7.2. If we draw a cell of XΓ∗ as a regular polygon, then opposite
sides of this polygon have orientations pointing towards the same direction.
Lemma 7.3. Suppose H0 is irreducible. Suppose one real border B 0 of H0 is
unbounded. Let B o ⊂ H be the associated outer border. Then there exists a
sub-ray B1o ⊂ B o such that edges in B1o have consistent orientation.
Proof. We shall show the inner border B i has only finitely many vertices
where the orientation is reversed. Then the same holds for B o by Lemma 7.2
and the corollary follows. Since H0 is a convex subcomplex of D0 which
contains at least one chamber, there exists a wall W ⊂ H0 such that B 0 * W
and W is parallel to B 0 . Note that if B 0 is a ray (resp. line), then W is a ray
(resp. line). Suppose W is closest to B 0 among all such walls. Since B 0 is
a real border, any orientation reserving vertex in the inner border B i is the
intersection of two pieces by Lemma 7.1.
We now conduct a case study and first assume the associated Coxeter
group is (2, 3, 6), i.e. the labels of edges in the defining graph of the Coxeter
graph (which is a triangle) are 2, 3, 6. Depending on the structure of the
carrier of B, we consider two sub-cases as follows.

W

10

1
z
w

x

y
v

u

B0

Figure 24.
The first sub-case is indicated in Figure 24. Choose orientation reversing
vertices u, v ∈ B i such that there are no orientation reversing vertices in B i
between u and v. We use Lemma 7.2 to find orientation of edges in the
boundary of the carrier NW of W. Note that u may give rise to more than
one orientation reversing points (e.g. w, z and x in Figure 24), however,
we take the “rightmost” one (e.g. x in Figure 24). Similarly, we pick the
“leftmost” orientation reserving vertex y determined by v. Note that
(1) x and y are in the same side of W;
(2) both x and y are contained in only one 2–cell of NW ;

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

49

(3) there are no orientation reversing interior vertices in ω, where ω is
the shortest edge path in ∂WH from x to y;
The vertex x completely determines the orientation of edges in the unique
2–cell of NW that contains x, thus edge 1 in Figure 24 is oriented downwards.
Similarly, edge 10 is oriented upwards. This contradicts Lemma 7.2.
We now consider the second (2, 3, 6) sub-case. Let u and v be as before.
Again we use Lemma 7.2 to find orientation of other edges. When there
are at least two 12–gons between u and v, see Figure 25, Figure 26 and
Figure 27. When there is only one 12–gon between u and v, see Figure 28.
When there are no 12–gons between u and v, see Figure 27 left (u0 and v 0
there play the roles of u and v respectively).

2
1 1

W

2
2 1

u

1
B0

v

Figure 25. The orientations of edges labelled 1 follow from
Lemma 7.2. The orientations of edges labelled 2 follow from
the form of orientation of edges in the boundary of a cell (cf.
Figure 2). The two vertical edges labelled by 2 have opposite
orientations, contradicting Lemma 7.2.

11
u

2

2

W

2
2
1

1

v

Figure 26. The orientations of edges labelled 1 follow from
Lemma 7.2. The orientations of edges labelled 2 follow from
the form of orientation of edges in the boundary of a cell (cf.
Figure 2). The two vertical edges labelled by 2 have opposite
orientations, contradicting Lemma 7.2.

B0

50

JINGYIN HUANG AND DAMIAN OSAJDA

W

2
2
1

1 1

1 1

1

1

1
u0

v0

B0

v

u

Figure 27. The orientations of edges labelled 1 follow from
Lemma 7.2. The orientations of edges labelled 2 follow from
the form of orientation of edges in the boundary of a cell (cf.
Figure 2). The two vertical edges labelled by 2 have opposite
orientations, contradicting Lemma 7.2. The orientation of
the hexagon on the left contradicts the form of cells (cf. Figure 2).

2
1

1

W

2

1 1

2
1

1

1

1

1

1

1
1

1
u

v

u

v

u

v

B0

Figure 28. The following lead to contradictions: two vertical edges labelled 2 on the left; two edges of the hexagon
labelled 1 and 2 in the middle; orientation of the hexagon by
edges labelled 1 on the right.
The (3, 3, 3) case and the (2, 4, 4) case are similar and simpler. We omit
the proof, but include Figure 29 for the convenience of the reader. Note
that the second (2, 4, 4) sub-case and the (3, 3, 3) case are immediate since
there is no gap between the carrier of W and the carrier of B 0 .

We record the following result which follows from the proof of Lemma 7.3.
Lemma 7.4. Suppose H0 is irreducible. Let B 0 be a real border of H0 which
is homeomorphic to R. Let B o ⊂ H be the associated outer border. Then
there is at most one orientation reversing vertex on B o .
Proposition 7.5. Let H ⊂ QR be the (x, `)-half Coxeter region. Suppose
H is irreducible and unbounded. Then H contains a Coxeter ray.
Proof. Recall that the (x, `)-half Coxeter region H0 associated with H can
be embedded as a convex subcomplex of D0 . By our assumption, H0 is also

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

51

W

2
1

1

2
first (2,4,4) sub-case
v

u

B0

W
B0
(3,3,3) case
second (2, 4, 4) sub-case

Figure 29.
unbounded. Thus either H0 has a real border that is unbounded, or H0 has
no real border and has only a fake border that is all of `. By Lemma 7.3, it
remains to deal with the latter case. We also assume the associated Coxeter
group is (2, 3, 6), since the (2, 4, 4) and (3, 3, 3) cases are similar and simpler.
We think of H as of a subcomplex of D. By Lemma 7.2, edges dual
to the same wall of H have orientation points towards the same direction.
Thus each wall of H has a well-defined orientation. Each wall W has an
associated halfspace, which is the halfspace bounded by W such that W is
oriented toward this halfspace.
First we consider the case that there are two different parallel walls W1
and W2 of H with opposite orientations. We assume without loss of generality that W1 and W2 are not separated by any other wall of H, and they
are oriented as in Figure 30. We define sequences of consecutive points
∞
{vi }∞
i=1 ⊂ W1 and {ui }i=1 ⊂ W2 such that each vi (resp. ui ) is the center of
a 12–gon Ci (resp. Ci0 ) and ∠vi (ui , vi+1 ) = ∠ui (vi+1 , ui+1 ) = π/6 for i ≥ 1.
Assume without loss of generality that vi , ui ∈ H for all i. For each i ≥ 1, let
Wi be the collection of walls that are different from W1 and W2 , and contain
at least one of vj or uj for j ≥ i. An element in Wi is positively oriented
if its associated halfspace contains all but finitely many vi , otherwise it is
negatively oriented. We claim for i large enough, either each element in Wi
is positively oriented, or each element in Wi is negatively oriented.
Let L be a straight line parallel to W1 such that L is between W1 and W2
(see the dotted line in Figure 30). Then W1 ∩ L is a discrete subset of L,
which can be naturally identified with the positive integers Z+ . This gives
rise to a total order on W1 . If the smallest element W of W1 is negatively

52

JINGYIN HUANG AND DAMIAN OSAJDA

oriented, then the orientation of W and W1 gives rise to an orientationreversing vertex in the boundary of C1 , hence the orientation of each edge
in C1 is determined as in Figure 30. Let W12 be the wall containing u1
and v1 . Then the orientation of W2 and W12 gives rise to an orientation
reversing vertex in the boundary of C10 , hence the orientation of each edge
in C10 is determined as in Figure 30. By repeating this process, we know the
claim holds with i = 1. If W is positively oriented, let W 0 be the smallest
element in W1 that is negatively oriented (if such W 0 does not exist, then
we are done). Suppose v = W 0 ∩ W1 . If W 0 is the smallest element in W1
that contains v, then we finish the proof as before. Otherwise, let W 00 be
the biggest element in W1 that contains v. By considering the orientation of
edges in the boundary of the 2–cell containing v, we know W 00 is negatively
oriented. Since W 00 intersects W1 in a 30 degree angle, we argue as before
to show any element of W1 which is ≥ W 00 is negatively oriented.
u1

u2

W2

L
W1
v1

v2

v3

Figure 30.
Now we produce a Coxeter ray from the above claim. If W1 and W2 are
as in Figure 25, then there are two centers of 12-gons in W1 between v1 and
v2 , which we denote by v10 and v100 . Now we define W01 and W001 as in the
previous paragraph, and the above claim still holds for them. Since there
are infinitely many walls in W01 ∩ W1 and W001 ∩ W1 , by deleting finitely
many walls from W01 ∪ W001 ∪ W1 , all of the rest are positively oriented (or
negatively oriented). This gives rise to a Coxeter ray in the carrier of W1 .
If W1 and W2 are as in Figure 31, then by the above claim, we assume
without loss of generality that the orientation of edges is as in Figure 31.
We have yet to determine the orientation of st. If W2 is oriented downwards
(resp. upwards) and W1 is oriented upwards (resp. downwards), then the
orientation reverses at y (resp. x) if we consider the hexagon containing y
(resp. x), hence st (resp. s0 t0 ) is oriented from s to t (resp. s0 to t0 ). It follows
that there is a Coxeter ray contained in the carrier of W1 .
It remains to consider the case where each pair of parallel walls of H
are oriented towards the same direction. However, it is straightforward to
produce a Coxeter ray in such case.

7.2. Orientation around the corners. Let H0 ⊂ Q0 , H 0 , ` be as in Definition 6.3. A corner of H0 is the intersection of two real borders of H0 . Note
that if H0 is bounded, then it has at least one corner.
Lemma 7.6. Suppose H0 is irreducible. Then there does not exist a real
border of H0 such that it has two corners of angle = π/2.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

53

W2
x s0
s

t0
t

y

W1

Figure 31.
Proof. By Corollary 6.2, the cell in H that contains a right-angled corner
of H0 must be a square. Thus it suffices to consider the (2, 3, 6) case and
the (2, 4, 4) case. The (2, 3, 6) case has two sub-cases. The first sub-case is
indicated in Figure 32, where k1 and k2 are two right-angled corners. By

k1
r1
u1
u01
s1
t1

v1
x1
w1

u2
u02
x01

v2
x2
y1

z1
z10

w2

k2

u3
u03
0
x2

un
u0n

y2
z2

Figure 32.
Lemma 7.1, we can assume without loss of generality that both r1 s1 and s1 t1
are oriented downwards. Thus u1 u01 is oriented downwards since it is parallel
to s1 t1 . Using Lemma 7.1 again, we determine the orientation of each edge
in the path ω1 from u1 to v1 . Hence we know the orientation of w1 x1 and
u02 x01 (since each of them is parallel to one edge in ω1 ), and the orientation
of z1 z10 (since it is parallel to r1 s1 ). Let ω10 be the path made of 6 edges from
w1 to z10 , containing x1 . The orientation of w1 x1 and z1 z10 implies edges
in ω10 are oriented consistently. In particular, y1 z1 is oriented downwards.
Using Lemma 7.1 again, we deduce the orientation of each edge in the path
ω2 from u2 to v2 , since one edge of ω2 and one edge of ω10 are parallel.
Hence w2 x2 is oriented upwards. Since y2 z2 is oriented downwards (it is
parallel to y1 z1 ), edges in the path ω20 of length 5 from w2 to z2 are oriented
consistently. Now we can define ω3 and determine orientation of its edges as
before. Since x02 u03 is oriented upwards, u03 is an orientation-reversing point.
We can continue this process to deduce that u0n is an orientation-reversing
point, however, this is impossible since un is of type II by Lemma 7.1. The
second (2, 3, 6) sub-case (see Figure 33) can be studied in a similar way. Note

54

JINGYIN HUANG AND DAMIAN OSAJDA

that the orientation of the edges labeled n in Figure 33 can be deduced from
orientation of edges whose labels are < n, for example, 6 follows from 5 and
2. We deduce that un is an orientation-reversing point, which leads to a
contradiction. The (2, 4, 4) case is similar and simpler, so we omit the proof,
3

7

4
1

1

3

8
5

2

1
1

6
5

2

9

2

10

u1

2

2

u2

un

1

Figure 33.
but we attach Figure 34 for the convenience of the reader.

2
1
1

2

3

6

4
4

2

2

8

6
5



2

7

2

2

1
Figure 34.
8. Existence of singular rays
The goal of this section is proving Proposition 8.3. Let Q0 , QR and x0 be
as in Section 4.2 and Section 4.3 (recall that x0 is the base point in Q0 ). Let
x, ` and H 0 be as in Definition 6.3 and let H0 and H be as in Section 6.
Lemma 8.1. A corner of H0 with acute angle gives rise to a diamond ray.
We refer to Figure 35 for the following proof.
Proof. Let s ∈ H0 be an acute corner. Let Π1 ⊂ H be the cell containing s.
We are in the situation of Lemma 6.1 (1) and Corollary 6.2 (1). Let K be
the unique chamber in H0 containing s. Let rK ⊂ Q0 be a CAT(0) geodesic
ray such that rK ∩ K = s and the angles between rK and the two sides of
K at s are equal. In all cases we have rK ⊂ H 0 , in particular rK ⊂ QR .
Let Π, Π0 be the 2–cells in H that intersect Π1 . Then Π1 ∩ Π ∩ Π0 is a
vertex of type III, which we denote by x1 . Note that Π1 ∩Π (resp. Π1 ∩Π0 ) is
an edge containing x1 . Let y1 (resp. y10 ) be the other endpoint of this edge.
By Lemma 6.1 (1), y1 and y10 are not of type III, hence they are of type II.
Suppose Π1 has 2n edges. Since s is an acute corner, n ≥ 3. Since Π ∩ Π1
(resp. Π ∩ Π01 ) has only one edge, by Lemma 4.11 and Lemma 4.6, there is

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

55

a 2–cell C1 ⊂ St(y1 , QR ) (resp. C10 ⊂ St(y10 , QR )) such that C1 ∩ Π1 (resp.
C10 ∩ Π1 ) is a path with n − 1 edges, moreover, C1 , C10 and Π1 are in the
same block. Let x2 be the vertex in ∂Π1 that is opposite to x1 . Then
x2 ∈ (C1 ∩ C10 ∩ Π1 ). Note that x2 ∈ rK ⊂ QR . Thus by Lemma 4.11 and
Lemma 4.5, x2 is of type I. Let Π2 be the other 2–cell in St(x2 , QR ) besides
C1 , C10 and Π1 . Either x2 is the tip of both Π1 and Π2 , or x2 is the tip of
both C1 and C10 . We deduce from Lemma 4.5 and n ≥ 3 that the latter case
is impossible. Also we deduce from Lemma 4.5 that C1 ∩ Π2 is an edge. Let
y2 be the endpoint of this edge that is not x2 . We claim y2 is of type I.
Since y2 is an interior vertex of QR , Lemma 4.11 describes all possibilities
of St(y2 , QR ). Lemma 4.11 (1) can be ruled out immediately. Note that y2
is not of type III since C1 and Π2 are in the same block. If y2 is of type
II, then Lemma 4.6 (2) and (3) imply C1 ∩ Π2 has n − 1 edges, which is
contradictory to n ≥ 3. Thus the above claim follows.
Note that y2 is not a tip of Π2 (since x2 is a tip of Π2 ). Hence y2 is a tip
of C1 . By Lemma 4.5, there is a 2–cell C2 ⊂ St(y2 , QR ) such that C2 ∩ Π2 is
a path with n − 1 edges. We define C20 similarly. Let x3 be the vertex in ∂Π2
opposite to x2 . Again we know x3 ∈ rK ⊂ QR and x3 is contained in three
cells C2 , C20 and Π2 which are in the same block. Hence x3 is of type I and
the pair (Π2 , Π3 ) plays the role of (Π1 , Π2 ) in Figure 9. By repeating this
argument, we can inductively produce a sequence of 2–cells {Πi }∞
i=1 such
that Πi ∩ Πi+1 is a vertex of type I contained in rK and (Πi , Πi+1 ) plays the
role of (Π1 , Π2 ) in Figure 9, which finishes the proof.


Π
x1
Π

C1

y1

0

Π1
y10

x2

C2

y2
Π2

x3

y20
C10

C3

y3
Π3

x4

Π4

x5

y40

y30
C20

C4

y4

C30

C40

y5
rK
y50

Figure 35.
Corollary 8.2. Suppose that outside any compact subset of QR there is a
∆–vertex (type III vertex whose support is a triangle). Then there is either
a diamond ray, or a Coxeter ray in QR .
Proof. Consider an irreducible (x, `)-half Coxeter region H0 . If H0 is unbounded, then we obtain a Coxeter ray by Proposition 7.5. If H0 contains

56

JINGYIN HUANG AND DAMIAN OSAJDA

an acute corner, then we obtain a diamond ray by Lemma 8.1. Now we assume H0 is bounded and does not contain any acute corner. By Lemma 7.6,
H0 contains a unique right-angled corner s.
Let K be the unique chamber in H0 containing s. We extend the two
borders of H0 meeting at s to two CAT(0) geodesic lines `1 , `2 in Q0 . Since
H0 is bounded and s is the only corner of H0 , we know that `, `1 and `2
bound a triangle which contains K. Note that the angle between `1 (or `2 )
and ` is ≥ 30◦ . Thus by choosing s sufficiently far away from the base point
x0 of Q0 , we know at least one of `1 and `2 , say `1 , satisfies that `1 ⊂ QR
and that K and x0 are on the same side of `1 .
0 be the Coxeter region containing K. Let `0 ⊂ ` be the connected
Let CK
1
1
0 ∩ ` containing s. By local convexity of C 0 along `0 , we
component of CK
1
1
K
0 and an -neighborhood of ` (for  small enough)
know the intersection of CK
1
is on one side of `1 . If `01 is unbounded, i.e. `01 is a ray based at s, then by
Corollary 6.2 and the argument in Lemma 7.3, we know a sub-ray of `01
gives rise to a Coxeter ray. If `01 is bounded, let t be the other endpoint of
`01 . Then t satisfies Corollary 6.2 (1). The proof of Lemma 7.6 implies that
the angle at t is acute, then we can produce a diamond ray by repeating
the argument in Lemma 8.1 (we define a ray r based at t as in the first
paragraph of the proof of Lemma 8.1, then r and K are in different sides of
`1 , hence, r and the base point x0 are in different sides of `1 , thus r ⊂ QR ,
the rest of the proof is identical).

Proposition 8.3. QR contains a singular ray.
Proof. By Corollary 8.2, it suffices to consider the case that all the ∆–
vertices of type III are contained in a bounded subset of Q0 . We assume
without loss of generality that QR does not contain any ∆–vertex.
Suppose there is an interior vertex y0 ∈ QR such that y0 is of type II or
y0 is a –vertex. Pick edges e0 , e1 of QR containing y0 such that
(1) for i = 0, 1, ei is the intersection of two 2–cells of St(y0 , QR ) that
are in different blocks;
(2) e0 and e1 are not contained in the same 2–cell.
By Lemma 4.6 and Lemma 4.8, e0 and e1 always exist (such pair is unique
when y0 is of type II). By Lemma 4.2 (2), e0 and e1 are also edges in Q0 ,
and the concatenation of e1 and e0 is a CAT(0) geodesic segment in Q0 .
Let r+ and r− be two CAT(0) geodesic rays based at y0 containing e1
and e0 respectively. Then the angle between x0 y0 (recall that x0 is the
base point of Q0 ) and at least one of r+ and r− , say r+ , is ≥ 90◦ . Then
d(r+ , x0 ) ≥ d(y0 , x0 ) by CAT(0) geometry. Hence r+ ⊂ QR . We claim r+
is a plain ray. Let y1 be the other endpoint of e1 . Since e1 is contained in
two 2–cells that are in different blocks, y1 is not of type I. Hence y1 is of
type II or y1 is a –vertex. By Lemma 4.6 and Lemma 4.8, there is another
edge e2 containing y1 such that the above two conditions hold with e0 , e1 , y0
replaced by e1 , e2 , y1 . Note that e2 ⊂ r+ . By repeating such argument, we

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

57

know r+ is a union of edges {ei }∞
i=1 such that ei ∩ ei+1 is a vertex of type II
for each i. Hence r+ is a plain ray.
It remains to consider the case when every interior vertex of QR is of type
I. One readily verifies that there is a diamond ray in such case.

9. Development of singular rays
A flat sector (with angle α) in Q0 is a subset of Q0 isometric to a sector
in the Euclidean plane E2 bounded by two rays meeting at an angle α with
0 ≤ α ≤ π. Since Q0 is homeomorphic to R2 , we specify an orientation of Q0 .
Let γ ⊂ Q0 be a CAT(0) geodesic ray. We think of γ as being oriented from
its base point to infinity (if γ happens to be mapped to the 1–skeleton of
XΓ∗ , then such orientation of γ may be different from the induced orientation
from XΓ∗ ). Recall that we use dH to denote the Hausdorff distance. A flat
sector S with angle 0 ≤ α ≤ π is on the right side of γ if
(1) one boundary ray γ1 of S satisfies that dH (γ1 , γ) < ∞;
(2) the interior of S has empty intersection with γ;
(3) S is to the right of γ with respect to the orientation of γ and Q0 .
Since a flat sector with angle 0 is just a geodesic ray of Q0 , we know from
the above definition the meaning of a geodesic ray γ 0 on the right side of γ.
The goal of this section is the following.
Theorem 9.1. Let r ⊂ QR be a singular ray. Then there is a CAT(0)
geodesic ray γ in the 1–skeleton of Q0 with γ ⊂ r. And there exists a singular
ray r1 ⊂ QR such that
(1) the CAT(0) geodesic ray γ1 ⊂ r1 satisfies that dH (γ1 , γ) < ∞;
(2) r1 is a boundary ray of an atomic sector S1 in QR ;
(3) there is a flat sector S10 in Q0 such that S10 ⊂ S1 and dH (S1 , S10 ) < ∞;
(4) S10 is on the right side of γ;
(5) the angle of S10 is ≥ π/6.
Since Q0 is flat outside a compact subset, (1) actually means something
stronger: a sub-ray of γ and a sub-ray of γ1 bound an isometrically embedded
flat strip [0, ∞) × [0, a] in Q0 .
Assuming Theorem 9.1, we can deduce the following, being one of our
main results (see Theorem 1.1 in Introduction).
Theorem 9.2. There are finitely many mutually disjoint atomic sectors
{Si }ni=1 in QR such that dH (∪ni=1 Si , QR ) < ∞. Hence each 2–quasiflat in
XΓ∗ is at bounded distance from a union of finitely many atomic sectors.
Proof. By Proposition 8.3, there exists at least one singular ray r1 in QR .
Now we apply Theorem 9.1 to r1 to obtain an atomic sector S1 ⊂ QR
and a CAT(0) sector S10 ⊂ Q0 . Let r2 be a boundary ray of S1 such that
dH (r2 , r1 ) = ∞. We apply Theorem 9.1 to r2 to produce S2 and S20 . Let
Si and Si0 be the sectors produced by repeating this process for i times.
Consider {∂T Si0 } in the Tits boundary ∂T Q0 of Q0 . Since Q0 comes from

58

JINGYIN HUANG AND DAMIAN OSAJDA

a quasiflat, ∂T Q0 is a circle whose length is ≥ 2π and < ∞. By Theorem 9.1, the length of each ∂T Si0 is between π/6 and π, and ∂T Q0 inherits
an orientation from Q0 such that the terminal point of ∂T Si0 is the starting
0 . So there exists n such that ∪n S 0 covers ∂ Q0 . We take
point of ∂T Si+1
T
i=1 i
n to be the smallest possible. It is clear that dH (∪ni=1 Si0 , ∂T Q0 ) < ∞, hence
dH (∪ni=1 Si , QR ) < ∞.
Now we show that it is possible to arrange {Si }ni=1 such that they are
mutually disjoint in QR (however, we are not claiming their images in XΓ∗
are also mutually disjoint). It suffices to show the terminal point of ∂T Sn0
is the starting point η of ∂T S10 , then we can pass to suitable sub-sectors of
Si such that they are mutually disjoint. Suppose by contradiction that η
is in the interior of ∂Sn0 . Then there is a boundary ray r of S1 such that
r is contained in Sn (modulo a compact subset of r), but r is not at finite
Hausdorff distance away from any of the boundary rays of Sn . However, this
is impossible by definitions of atomic sectors. Now the theorem follows. 
In the rest of this section, we prove Theorem 9.1. The proof is divided into
three cases when r is a plain ray (Section 9.1), a Coxeter ray (Section 9.2),
or a diamond ray (Section 9.3). We conclude the proof at the end of the
section.
9.1. Development of plain rays. We start with several preparatory observations. An interior vertex v ∈ QR is good if St(v, QR ) has four 2–cells
{Πi }4i=1 as in Figure 11 such that
(1) ∂Π1 and ∂Π2 have 2n1 edges, ∂Π3 and ∂Π4 have 2n2 edges;
(2) Π3 ∩ Π2 = Π1 ∩ Π4 = {v};
(3) Π1 ∩ Π2 has n1 − 1 edges, Π3 ∩ Π4 has n2 − 1 edges, Π1 ∩ Π3 is an
edge e1 and Π2 ∩ Π4 is an edge e2 .
Suppose v is good. If Π1 , Π2 , Π3 , Π4 are contained in the same block, then
v is of type I. If {Πi }4i=1 are contained in two different blocks, then v is of
type II. If {Πi }4i=1 are contained in more than two different blocks, then
v is a –vertex. We record the following observations, which follow from
the argument in the second paragraph of the proof of Lemma 4.6 (see also
Figure 12).
Lemma 9.3. Suppose v is a good vertex and let e1 and e2 be as above. Let
u be the endpoint of Π1 ∩ Π2 with u 6= v. Then
(1) e1 and e2 are also edges in Q0 and their concatenation forms a
CAT(0) geodesic segment in Q0 ;
(2) the convex hull of e1 (or e2 ) and u in Q0 is a flat triangle with a
right angle at v and an angle of π/2n at u, where 2n is the number
of edges in ∂Π1 .
Let Z be E2 tiled by unit squares. Suppose the tiling is compatible with
the coordinate system on E2 . So it makes sense to talk about vertical edges,
or horizontal edges of Z. A subcomplex of P ⊂ QR is quasi-rectangular,

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

59

or Z 0 -quasi-rectangular, if there exists a homeomorphism h from a convex
subcomplex Z 0 ⊂ Z to P such that for each square σ ⊂ Z 0 , h(σ) is a 2–
cell C of P , h(∂σ) = ∂C and h maps the two vertical edges of σ to a pair
of opposite edges on ∂C. We refer to Figure 36 right for an example of a
[0, 4] × [0, 5]-quasi-rectangular subcomplex of QR . Each interior vertex of P
is either a vertex of type O, or a good vertex.
Let r ⊂ QR be a plain ray based at a vertex y. By Definition 5.4, each
vertex in r that is not y and is not adjacent to y is good. Thus by passing
to a sub-ray, we assume each vertex of r is good. By Lemma 9.3 (1), r is a
CAT(0) geodesic ray in Q0 . Let `r be a CAT(0) geodesic line orthogonal to
r at y. Let Hr be the halfspace which is bounded by `r and contains r. Up
to passing to a sub-ray of r, we assume Hr is sufficiently far away from the
base point x0 of Q0 so that Hr is contained in the interior of QR .
The thickening Tr of r is defined to be the union of 2–cells of QR which
contains an edge of r. We label these 2–cells and vertices of r as in Figure 36
left, namely, the 2–cells that contain the edge y0,j−1 y0j are denoted by C0j
and C1j . Suppose ∂C01 (resp. ∂C11 ) is made of 2n0 (resp. 2n1 ) edges. Since
each y0j is a good vertex, ∂Cij is made of 2ni edges for i = 0, 1 and j ≥ 1
and Cij ∩ Ci,j+1 is a path with ni − 1 edges.
r
C05

y05 C15

y15

C04

y04 C14

y14

C03

y03 C13

y13

C02

y02 C12

C01

y01 C11

y = y00

C23

y22
y12
C
y11 z 22
C32
C21

Figure 36.
Now we look at the vertex y11 in Figure 36, i.e. y11 = ∂Tr ∩ C12 ∩ C11 .
Since y01 is good, by Lemma 9.3 (2), y01 , y11 and y00 span a triangle in Q0
with a right-angle at y01 . Hence y11 ∈ Hr and y11 satisfies Lemma 4.11 by
our choice of Hr .
Lemma 9.4.
(1) If y11 is not good, then r bounds a diamond-plain sector on the right
side of r.
(2) If y11 is good, then y1i is good for all i ≥ 1.
Proof. We prove (1). Since C11 ∩ C12 has n1 − 1 edges, y11 is not a ∆–vertex.
Since y11 is not good, it is of type I and n1 ≥ 3. Let C22 and C21 be other two

60

JINGYIN HUANG AND DAMIAN OSAJDA

2–cells containing y11 . For j ≥ 2, let C2j be the 2–cell containing y1j y1,j−1
such that C2j 6= C1j . Note that C12 ∩ C22 = y11 y12 (since other edges of
∂C12 are also contained in either C13 , or C11 , or C02 ). By Lemma 4.5 (2)
and (3), either y11 is a tip of both C11 and C22 , or y11 is a tip of both C12
and C21 . If the latter case is true, then by Lemma 4.5 (4), C11 ∩ C21 has
one edge (since C11 ∩ C12 has n1 − 1 edges) and C22 ∩ C21 has n1 − 1 edges
(since C12 ∩ C22 has one edge), which implies y11 is good and leads to a
contradiction. Thus the former case holds.
Since C12 , C22 and C13 are in the same block, y12 is of type I. We deduce
from C12 ∩ C22 is an edge and Lemma 4.5 (4) that y12 is good. Moreover,
since y12 is not a tip of C22 , y12 is a tip of both C12 and C23 . By repeating
this argument (note that y1j ∈ Hr ⊂ QR ), we deduce that for each j ≥ 2,
y1j is a good vertex of type I and y1j is a tip of C1j and C2,i+1 .
Suppose z ∈ ∂C22 is the endpoint of C21 ∩ C22 such that z 6= y11 . It is
clear that z ∈ Hr , hence z satisfies Lemma 4.11. We claim z is of type I.
Since C21 and C22 are in the same block, z is either type I or type II (note
that z ∈ QR ). However, since y11 is not good, C22 ∩ C21 has < n1 − 1 edges,
which contradicts Lemma 4.6 (3). Thus z is of type I.
Let y22 be the end point of C22 ∩ C23 with y22 6= y12 . Since both y01
and y02 are good, we deduce from the relation between Q0 and QR that the
convex hull of y01 , y02 , y11 and y22 in Q0 is isometric to a flat rectangle. Since
y12 is good, by Lemma 9.3 (2), y12 , y11 and y22 span a flat triangle in Q0
with a right angle at y12 . Hence y22 ∈ Hr and y22 satisfies Lemma 4.11.
Since y11 is a tip of C22 , z is not a tip of C22 . Thus z is a tip of both
C21 and C32 . By Lemma 4.5 (4), C22 ∩ (C21 ∪ C32 ) is a half of C22 . Thus
C22 ∩ C32 is a path from z to y22 . We deduce that y22 is not good and is of
type I, and we can apply the previous discussion to y22 .
The above argument enable us to build inductively a diamond ray L =
∞
∪i=1 Cii and a sector between r and L. Moreover, for each i ≥ 1, ∪∞
j=1 Cj,j+i
is a diamond ray. Since yi,i+k is good for each i ≥ 0 and k ≥ 1, one readily
verify that this sector is a diamond-plain sector.
(2) already follows from the proof of (1).


By Lemma 9.3, the vertices {yii }∞
i=0 are contained in a CAT(0) geodesic
ray L0 emanating from y00 , and the convex hull of r and L0 in Q0 is a flat
1 −1
π ≥ π/3. This flat sector is at finite Hausdorff distance
sector with angle n2n
1
from the diamond-plain sector of QR produced above in Lemma 9.4.
It follows from Lemma 9.4 that exactly one of the following holds:
(a) r bounds a [0, ∞) × [0, ∞)-quasi-rectangular region P on its right
side with r = {0} × [0, ∞);
(b) there are a [0, n]×[0, ∞)-quasi-rectangular region P1 and a diamondplain sector P2 such that r bounds P1 on its right side with r =
{0} × [0, ∞) and P1 ∩ P2 = {n} × [0, ∞).

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

61

Now we look at case (a) in more detail. We identify P with [0, ∞)×[0, ∞)
via h : [0, ∞) × [0, ∞) → P (note that not all vertices of P have integer xcoordinates). Let `0 be a CAT(0) geodesic line in Q0 that contains r, and let
HP be the half-space bounded by `0 with P ⊂ HP . By possibly replacing
[0, ∞) × [0, ∞) by [m, ∞) × [0, ∞), we assume HP is sufficiently far away
from the base point x0 of Q0 such that HP is contained in the interior of
QR . There are three cases to consider.
Case 1: Suppose each vertex of P in [0, ∞) × {0} is either of type O, or
a good vertex. If P is made of squares, then it is a plain sector. Now we
assume at least one 2–cell of P is not a square. For each integer k ≥ 0, let
wk = {k} × {0}. Let Πk and Π0k be the two 2–cells in QR that contain wk
and are not contained in P . There exists an integer k0 such that the vertex
wk0 is contained in a cell Π of P with ≥ 6 edges. Since wk0 is of type II,
Πk0 ∩ Π0k0 is one edge. Now we can prove inductively that Πk ∩ Π0k is one
edge for all k ≥ 0. Thus we can enlarge P to be a [0, ∞) × [−1, ∞)-quasirectangular region. If we can repeat this process for infinitely many times
to obtain a [0, ∞) × (−∞, ∞)-quasi-rectangular region P 0 , then at least one
of the following cases hold:
• a sub-region of P 0 of form [m, ∞) × (−∞, ∞) is made of squares, in
which case P 0 contains a plain sector on the right side of r;
• P 0 is a PCH as in Definition 5.16, in which case P 0 is Hausdorff close
to a half-flat in Q0 by Lemma 9.3;
• there exists m ≥ 0 such that the subcomplex P 00 ⊂ P 0 corresponding
to [m, ∞) × (−∞, ∞) is contained in a block. Since P 00 is quasirectangular, it is actually contained in a diamond-plain flat. Consequently P 00 contains diamond-plain sector on the right side of r.
Case 2: Suppose there is a vertex of P in [0, ∞)×{0}, say y00 = {0}×{0},
of type I but not good. Then n1 ≥ 3 (recall that C11 has 2n1 edges). Let
C00 , C10 be 2–cells containing y00 other than C01 and C11 .
If y00 is a tip of both C00 and C11 (we refer to Figure 37 right) then, by
Lemma 4.5, C01 ∩ (C00 ∪ C11 ) is a half of ∂C01 . Thus C01 ∩ C00 has n1 − 1
edges. Since y00 is not good, C10 ∩ C11 has < n1 − 1 edges. Let z be the
end point of C10 ∩ C11 other than y00 . Then z is an interior vertex of the
path from y00 to y10 . Since C10 and C11 are in the same block, z is either
of type I or of type II. In the former case, since z is not a tip of C11 , z is a
tip of C10 and C20 . Then C11 ∩ (C10 ∪ C20 ) is a half of ∂C11 . Hence y10 is
an interior point of the interval C11 ∩ C20 , which contradicts that QR is a
manifold around y10 . In the later case, we still have C11 ∩ (C10 ∪ C20 ) is a
half of ∂C11 , which can be deduced from Lemma 4.6 (2) and (3). Thus we
reach a contradiction as before.
Thus y00 is a tip of both C01 and C10 (we refer to Figure 37 left). In
this case, we argue as Lemma 9.4 to produce a diamond ray ∪∞
i=0 Ci,1−i such
that r and this diamond ray bound a diamond-plain sector S1 . Moreover,

62

JINGYIN HUANG AND DAMIAN OSAJDA

S1 contains a flat sector S10 ⊂ Q0 with angle =
number of edges in ∂C11 ).

n1 +1
2n1 π

(recall that 2n1 is the

y11
C01
y00

C11
y10
C10

C00

C21

C01
y00

C20

C00

C11
y10
z

C21
C20

C10

C2,−1
C1,−1

Figure 37.
Case 3: Suppose there is a vertex v of P in [0, ∞) × {0} such that v is
a ∆–vertex. Let xv be the x-coordinate of v and let {vi }∞
i=0 be consecutive
vertices of P on [xv , ∞) × {0} with v0 = v.
If each vi is of type III, then [xv , ∞) × {0} or its appropriate sub-ray can
be realized as part of the outer border of some half Coxeter region of QR .
Then by Lemma 7.3, there is a sub-ray r0 of [xv , ∞) × {0} such that r0 is
the boundary of a Coxeter ray. We deduce from P being quasi-rectangular
that r0 × [0, ∞) is a Coxeter-plain sector, moreover, by Lemma 9.3, P is
Hausdorff close to a flat sector of angle π/2 in Q0 .
Now we assume at least one of {vi } is not of type III and assume without
loss of generality that v1 is the first vertex which is not of type III. Let Π1 , Π2
be the two 2–cells containing v0 v1 with Π1 ⊂ P . Since v0 is of type III, Π1
and Π2 are in different blocks. Thus v1 is either a ∆–vertex with the same
support as v0 (Lemma 4.13), which can be ruled out by our assumption,
or v1 is of type II. Let Π3 , Π4 be another two 2–cells such that Π1 ∩ Π3
contains at least one edge. Suppose Πi has 2mi edges. Since Π1 ∩ Π2 = v0 v1
is one edge, by Lemma 4.6, Π3 ∩ Π1 has m1 − 1 edges. We deduce that
Π1 ∩ (Π2 ∪ Π3 ) has m1 edges. Since Π1 ∩ ([0, ∞) × {0}) has m1 − 1 edges,
Π1 ∩ Π3 has at least one edge which is not contained in [0, ∞) × {0}. Hence
Π3 ⊂ P . Moreover, Π1 ∩ Π3 is an edge since P is quasi-rectangular. Thus
mi = 2 and both Π1 and Π3 are squares.
We claim either all vi with i ≥ 2 are of type II, or there exists vi0 with
i0 ≥ 2 such that vi0 is a ∆–vertex with the same support as v0 and vi is of
type II for each 1 ≤ i < i0 . To see this, note that v2 is contained in Π3 and
Π4 which are in different blocks, so v2 is either of type II or type III. If v2 is
of type II, let Π5 and Π6 be another two 2–cells of QR containing v2 . Then
Π5 is a square in P and |∂Π6 | = |∂Π4 | = |∂Π2 | (|∂Πi | denotes the number
of edges in ∂Πi ). If v2 is of type III, since Π4 and Π2 (and Π3 and Π1 ) are

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

63

in the same block, v2 is a ∆–vertex with the same support as v0 . We now
deduce the claim by repeating this argument.
If vi is of type II for each i ≥ 2, then there is a sub-region P1 ⊂ P of form
[m, ∞) × [0, ∞) for some m such that each cell in P1 is a square. Thus P1
is a plain sector and it is isometric to a right-angled flat sector.
It remains to consider the case where vi0 in the above claim exists. We
claim for all i ≥ i0 , vi is a ∆–vertex with the same support as vi0 . Given
this claim, one can find as before a sub-ray r00 of [xv , ∞) × {0} such that
r00 × [0, ∞) is a Coxeter-plain sector. We argue by contradiction and assume
there is vi1 such that vi1 is not of type III and vi is of type III for i0 ≤ i < i1 .
We deduce as before that there exist two squares in P containing vi1 . The
same holds for vi0 −1 . Then vi0 −1 and vi1 give rise to two right-angled corners
of a Coxeter region, and by the proof of Lemma 7.6, this is impossible.
9.2. Development of Coxeter rays. Let r be a Coxeter ray. Then r is
quasi-rectangular. Hence we identify r with [0, ∞) × [0, 1]. Let v be the
vertex of r with coordinates (1, 0) and let {vi }∞
i=0 be consecutive vertices of
r on [1, ∞) × {0} with v0 = v.
Lemma 9.5.
(1) If v is of type III, then each vertex of r on [1, ∞) × {0} is of type III.
(2) If v is of type II, then each vertex of r on [1, ∞) × {0} is either of
type O or of type II.
Proof. For (1) we use induction. Suppose vi is of type III. Let Π1 and Π2
be the two 2–cells of QR containing vi vi+1 with Π1 ⊂ r. Since Π1 and Π2
are in different blocks, vi+1 is of type II or type III. If vi+1 is of type II, let
Π3 be the cell containing vi+1 such that Π3 ∩ Π1 has at least one edge and
Π3 6= Π2 . We argue as in Section 9.1 to deduce that Π3 ⊂ r and that Π1 and
Π3 are squares which intersect along an edge. However, this is impossible
by the definition of Coxeter ray. Thus vi+1 is of type III. (2) can be proved
by using Lemma 4.6

Note that the two 2–cells in r containing v0 are in different blocks, thus
v0 is either of type II or type III. By Lemma 9.5, we can assume (up to
passing to a sub-ray of r) that either all vertices of r on [0, ∞) × {0} are of
type III, or all vertices with coordinate (n, 0) with n ≥ 0 are of type II. We
deduce from Lemma 4.6 and Lemma 4.8 that in either cases, each vertical
edge of r (i.e. edge of r of form {n} × [0, 1] with n ≥ 0) is also an edge of Q0
and different vertical edges are the opposite sides of a flat rectangle in Q0 .
Thus there is a CAT(0) geodesic ray γ ⊂ Q0 such that it is based at (0, 1/2)
and intersects each vertical edge of r orthogonally at its midpoint.
We think of γ as being oriented from its base point to infinity and suppose
[0, ∞) × {0} (resp. [0, ∞) × {1}) is on the right (resp. left) side of γ with
respect to the orientation of γ and Q0 . [0, ∞) × {0} (resp. [0, ∞) × {0}) is
called the right border (resp. left border ) of r.

64

JINGYIN HUANG AND DAMIAN OSAJDA

Let `r ⊂ Q0 be a CAT(0) geodesic line containing γ and let Hr0 ⊂ Q0 be
the half-space bounded by `r on the right side of γ. By repeatedly applying
Lemma 9.6 below, we can replace r by an appropriate Coxeter ray such that
Hr0 is sufficient far away from the base point x0 of Q0 so that Hr0 and its
carrier in QR are contained in the interior of QR .
Lemma 9.6. Suppose r is a Coxeter ray in QR with its associated CAT(0)
geodesic ray γ. There there is a Coxeter ray r1 ⊂ QR on the right side of
r such that its associated CAT(0) geodesic γ1 satisfies that a sub-ray of γ1
and a sub-ray of γ bound a flat strip in Q0 isometric to [0, ∞) × [0, 1].
Proof. If Lemma 9.5 (2) holds, then there is another Coxeter ray r1 such
that r1 ∩ r = [0, ∞) × {0}. We define γ1 to be the CAT(0) geodesic ray
associated with r1 . If Lemma 9.5 (1) holds, then there is a half Coxeter
region H0 ⊂ Q0 such that a sub-ray of γ 0 is a real border of H0 . As in the
first paragraph of the proof of Lemma 7.3, there exists a wall W ⊂ H0 such
that W ∩ γ 0 = ∅ and W is an infinite ray parallel to γ 0 . We define r1 to be
the carrier (in QR ) of an appropriate sub-ray of W. Then r1 is a Coxeter
ray by Lemma 7.2.

Let v = (1, 0) ∈ r = [0, ∞) × [0, 1] be as before. We now consider the
case when v is of type III in more detail. Let Hr0 ⊂ Q0 be the (v, `r )-half
Coxeter region and let Hr ⊂ QR be the associated half Coxeter region (see
Section 6). Note that Hr0 contains a sub-ray of γ by Lemma 9.5 (2).
Let K be a chamber of Hr0 . The angle between a real border and a fake
border of Hr0 must be a multiple of an (internal) angle of K, and the angle
between two real borders of Hr0 is equal to an angle of K (Corollary 6.2 (1)).
Since a sub-ray of γ is contained in the real border of Hr0 , a computation of
angles yields that exactly one of the following possibilities holds for Hr0 :
(a) Hr0 = Hr0 ;
(b) Hr0 has two parallel unbounded borders, one real and one fake, and
one bounded border, in this case dH (Hr0 , γ) < ∞;
(c) Hr0 is a flat strip isometric to (−∞, ∞) × [0, s];
(d) Hr0 has two unbounded borders, one real and one fake, and they are
not parallel, in this case Hr0 has at most one bounded border and
has finite Hausdorff distance from a flat sector in Hr0 .
Lemma 9.7.
(1) If case (d) holds, then Theorem 9.1 holds with S1 being a Coxeter
sector.
(2) If case (a) holds, then Theorem 9.1 holds with S1 being a Coxeter
sector or a CCH of type II.
Proof. We first verify assertion (1). Recall that each wall of Hr0 has an
orientation by Lemma 7.2. A wall W of Hr0 with W * `r is positively
oriented if the half-space HW induced by the orientation of W satisfies that
HW contains γ up to a finite segment. Recall that Hr0 has a simplicial

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

65

structure where each 2–simplex is a chamber of Hr0 . Let α be the value of
the smallest angle of a chamber of Hr0 . A vertex u of Hr0 is special if u is
contained in a chamber whose angle at u is α.
Let B1 and B2 be two borders of Hr0 with B1 fake (hence B1 ⊂ `r ). Let
0
{Wi }∞
i=1 be parallel walls in Hr such that W1 = B1 and Wi and Wi+1 are
not separated by other walls of Hr0 for each i ≥ 1. Note that for each i, Wi
has a sub-ray Wi0 such that the carrier of Wi0 (in QR ) is a Coxeter ray. This
is clear when i = 1 since r is a Coxeter ray. The i > 1 case follows from
Lemma 7.2. We assume without loss of generality that the starting point
wi of each Wi0 is a special vertex of Hr0 and that each wall W of Hr0 that
intersects Wi transversely is positively oriented. By Lemma 7.3, the carrier
(in QR ) of a sub-ray of B2 is a Coxeter ray. Hence there exists i0 ≥ 1 such
that Wi and Wj are oriented towards the same direction for any i, j ≥ i0 .
Suppose Wi is negatively oriented for i ≥ i0 . Let Si0 be the flat sector with
angle α in Hr0 based at wi with one side of Si0 being Wi0 (such Si0 always exists
and is a convex subcomplex of Hr0 ). One readily verifies that for each i ≥ i0 ,
the carrier of Si0 in QR is a Coxeter sector. We define S10 in Theorem 9.1 to
be any Si0 with i ≥ i0 .
It remains to consider the case where each Wi for i ≥ i0 is positively
oriented. We claim the Tits angle (cf. [BH99, Definition II.9.4]) between
B2 and B1 is π − α. Suppose the claim is not true (i.e. the Tits angle is
< π − α). Then there exists a special vertex u ∈ B2 of form u = Wi1 ∩ B2 for
some i ≥ i0 such that Wu ∩ W00 6= ∅ where Wu is the wall of Hr0 containing
u and intersecting B1 in an angle = α (this can always be arranged if one
chooses i1 sufficiently large). We refer to Figure 38. Our choice implies that
B2
α

Wi1

u

Wu
α
W00

B1

Figure 38.
both Wu and Wi1 are positively oriented. Let Cu be the 2–cell in Hr dual
to u. Then there is an orientation reserving vertex y ∈ ∂Cu contained in
the sector of Hr0 bounded by Wi1 and Wu . By Lemma 7.1, y is contained in
an edge of Cu that is dual to B2 . This yields a contradiction since Wi1 , Wu
and B2 are pairwise distinct walls.
Let Si0 be the flat sector with angle π − α in Hr0 based at wi such that
one boundary ray of Si0 is Wi0 . The existence of Si0 follows from the previous
claim. By the argument in the previous paragraph, we can find orientation
reversing vertex on the boundary of each 2–cell C of Hr dual to a special

66

JINGYIN HUANG AND DAMIAN OSAJDA

vertex in Si0 (i ≥ i0 ), hence the orientation of each edge of C can be determined. Now one readily verify that the carrier of Si0 in Hr is a Coxeter
sector and conclude the proof as before.
It remains to prove assertion (2). Let W be the collection of walls in Hr0
intersecting W1 transversally. Let W = tm
k=1 Wk be the decomposition into
parallel classes.
Suppose there exists k such that there is a pair of walls W, W 0 in Wk with
opposite orientation. By the argument in Proposition 7.5, we know that W
has a sub-ray whose carrier in QR is a Coxeter ray. Thus there exists i0 ≥ 0
such that all Wi are oriented towards the same direction for i ≥ i0 , then we
argue as before to produce a Coxeter sector.
Suppose for each k, each pair of walls in Wk are oriented towards the
same direction. Recall that W1 contains a ray W10 whose carrier in QR is
a Coxeter ray. Since each Wk contains at least one wall that intersects
W10 , either all walls in W are positively oriented, or they are all negatively
oriented. Hence W1 is a Coxeter line. If there exists i0 ≥ 0 such that all Wi
are oriented towards the same direction for i ≥ i0 , then we argue as before.
If such i0 does not exist, then Hr is a CCH of type II.

The angle α defined in the proof of Lemma 9.7 satisfies α ≥ π/6. Hence
the associated CAT(0) sector has angle ≥ π/6.
Now we are ready to prove Theorem 9.1 in the case when r is a Coxeter
ray. Starting from r ∼
= [0, ∞) × [0, 1]. If Lemma 9.5 (2) holds, then there is
another Coxeter ray r1 such that r1 ∪ r is a quasi-rectangular region of QR ,
which we identify with [0, ∞)×[−1, 1]. By Lemma 9.3 (2), r1 is contained in
the half-space Hr0 defined before Lemma 9.6. Hence Lemma 4.11 holds for
vertices of r1 and we can apply Lemma 9.5 to [0, ∞) × {−1}. Then either
we are able to repeat this argument for infinitely many times to produce a
Coxeter-plain sector with one of its boundary ray being r, or after finitely
many steps we find a vertex of type III on the boundary [0, ∞) × {−m}
of the quasi-rectangular region we produced. In the latter case we assume
without loss of generality that m = 0, which leads to (a), (b), (c) and (d)
discussed before. By Lemma 9.7, it remains to consider cases (b) and (c).
Suppose (b) or (c) holds for Hr0 . Let B1 and B2 be two parallel unbounded
borders of Hr0 such that B2 is not real. By Lemma 7.3, there exists a sub-ray
of B2 such that its carrier r2 in QR is a Coxeter ray and dH (r, r2 ) < ∞. By
the previous discussion, either r2 is the boundary ray of a Coxeter-plain
sector, or we find a Coxeter ray r3 on the right side of r2 such that r3 has
a vertex of type III on its right border. Note that r2 6= r3 by our choice of
r2 . Moreover, the left border of r3 satisfies Lemma 9.5 (2). Now we define
Hr0 3 , Hr0 3 , γ3 and `r3 as before. Let Cr0 3 be the Coxeter region containing
Hr0 3 . Since left border of r3 satisfies Lemma 9.5 (2), the intersection of
a sufficiently small ball around each interior point of γ3 with Cr0 3 satisfies
Corollary 6.2 (2). Now we consider the connected component P of ∂Cr0 3 that
contains γ3 . By Corollary 6.2 and an induction argument, we know either

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

67

P = `r3 , or P travels into the interior of Hr0 3 at some point and remains
there. Thus Cr0 3 ⊂ Hr0 3 . It follows that Cr0 3 = Hr0 3 . We claim Hr0 3 can not
satisfy (b). By Cr0 3 = Hr0 3 and Corollary 6.2 (1), the only way Hr0 3 can satisfy
(b) is that the bounded border of Hr0 3 is orthogonal to both of its unbounded
borders, however, this can be ruled out by Lemma 7.6.
From the above discussion, we deduce that at least one of following holds:
(1) there is a Coxeter sector or a Coxeter-plain sector S on the right
side of r such that one boundary ray r0 of S satisfies dH (r, r0 ) < ∞;
(2) there is a Coxeter line L on the right side of r such that L coarsely
contains r and L bounds a CCH of type II;
(3) there are subcomplexes {Ui }∞
i=1 of QR such that
(a) each Ui coarsely contains r and is on the right side of r;
(b) each Ui is either a (−∞, ∞) × [0, mi ]-quasi-rectangular region
(mi > 0) or a Coxeter region such that the associated Coxeter
region Ui0 in Q0 is isometric to a flat strip (−∞, ∞) × [0, mi ];
moreover, there does not exist i such that both Ui and Ui+1 are
quasi-rectangular;
(c) Ui ∩ Ui+1 is a boundary line of both Ui and Ui+1 , and each
vertex in Ui ∩ Ui+1 is either of type O or of type II;
(d) there does not exist i0 such that all Ui are quasi-rectangular
regions for i ≥ i0 (otherwise we will be in case (1) with S being
a Coxeter-plain region).
To finish the proof of Theorem 9.1 in the Coxeter ray case, it remains
to show ∪∞
i=1 Ui is a CCH of type I in case (3). Assume without loss of
generality that U1 is a Coxeter region. It suffices to prove there are no
orientation reversing vertices on U1 ∩ U2 , since one can deduce from this,
Lemma 7.2 and Remark 4.7 that there are no orientation revering vertices
on Ui ∩ Ui+1 for each i, which implies the claim. By (3b) and (3c), Ui ∩ Ui+1
is the outer border of a Coxeter region for each i. Hence by Lemma 7.4,
there is at most one orientation reversing vertex on Ui ∩Ui+1 . Suppose there
is an orientation reversing vertex v ∈ U1 ∩ U2 . We first look at the case U2
is quasi-rectangular. Then U3 is a Coxeter region and there is exactly one
orientation reversing vertex in U2 ∩ U3 by Remark 4.7. Let W1 and W2 be
two parallel boundary walls of the Coxeter region U30 ⊂ Q0 associated with
U3 . Suppose 2n is the largest possible number of edges on the boundary of a
2–cell in U3 . Choose a vertex v ∈ W1 such that it is dual to a 2–cell with 2n
edges in U3 . Consider the zig-zag line `v containing v as in Figure 39 such
that `v is a union of straight line segments from a point in W1 to a point in
W2 such that each segment has angle π/n with W1 . We deduce that each
segment of `v is contained in a wall of U30 . Let W be the collection of walls
which contain a segment of `v . We assign a total order on W by looking at
intersection points of elements in W along a straight line ` (see the dotted
line in Figure 39) between W1 and W2 . Since there is exactly one orientation
reversing vertex in U2 ∩ U3 , there is exactly one pair of walls W, W 0 in W

68

JINGYIN HUANG AND DAMIAN OSAJDA
W2

v

W1

Figure 39.
which are adjacent with respect to the total order such that one is oriented
towards left and one is oriented towards right. Note that u = W ∩ W 0 is
either in W1 or W2 . Let Cu be the 2–cell in U3 dual to u. By Lemma 7.1,
there are no orientation reversing vertices in ∂Cu ∩∂U3 . Thus either both W
and W 0 are oriented towards left, or they are oriented towards right. This
leads to a contradiction. The case U2 is a Coxeter region is similar.
Each CCH in QR contains a CAT(0) half-flat of Q0 which is Hausdorff close
this CCH. To see this, note that a CCH has infinitely many Coxeter lines,
each of them contains a CAT(0) geodesic line of Q0 by a similar argument
as before. A pair of such CAT(0) geodesic lines bounds a flat strip, and the
union of these flat strips gives the half-flat as required.
9.3. Development of diamond rays. Let r = ∪∞
i=0 Ci be a diamond ray in
QR with Ci satisfying Definition 5.1. There is a CAT(0) geodesic ray γ ⊂ r
defined as follows. For each Ci , let hi be the CAT(0) geodesic segment in Q0
connecting the two tips of Ci . By Lemma 4.5, Lemma 3.9 and Lemma 3.12,
0
γ = ∪∞
i=1 is a CAT(0) geodesic ray in Q . As before we think of γ as being
oriented from its base vertex to infinity, and we talk about right side or left
side of r and γ with respect to the orientation of γ and Q0 .
Lemma 9.8. Suppose r is contained in the interior of QR . Then there is a
diamond ray r0 such that r ∩ r0 is contained in the right boundary of r.
Proof. Let vi = Ci ∩ Ci+1 for i ≥ 1. Since Ci and Ci+1 are in the same
block, but they only intersect along one vertex, we know from Lemma 4.5
and Lemma 4.6 that vi is of type I for each i. Let Ci0 be the 2–cell containing
0
0
vi on the right side of r. We claim Ci0 ∩ Ci+1
is a tip of both Ci0 and Ci+1
0
∞
0
for i ≥ 0. Then r = ∪i=0 Ci is a diamond ray by this claim.
Now we prove the claim. By Lemma 4.5, Ci0 ∩ (Ci ∪ Ci+1 ) is a half of ∂Ci0 .
Let vi0 be the endpoint of the path Ci0 ∩ Ci+1 such that vi0 6= vi . Then vi0 is a
tip of Ci0 by Lemma 3.1 (2). Since Ci0 and Ci+1 are in the same block, vi0 is
00 be the 2–cell different from C
0
either of type I or type II. Let Ci+1
i+1 , Ci such
0
00
00
that vi ∈ Ci+1 and Ci+1 ∩Ci+1 contains at least an edge. By Lemma 4.5 and
00 ∪ C 0 is a point and C
00
0
Lemma 4.6, Ci+1
i+1 ∩ (Ci+1 ∪ Ci ) is a half of ∂Ci+1 .
i
0
00
00
Thus vi+1 ∈ Ci+1 . It follows that Ci+1 = Ci+1 since vi+1 is of type I. Now
00 , C 0 and C
0
we know Ci+1
i+1 are in the same block. Thus vi is of type I, and
i
0
Ci+1
and Ci0 both contain vi0 as a tip. Hence the claim follows.

In the above proof, by reading off the label of edges in the path Ci+1 ∩ Ci0
traveling from vi to vi0 , we obtain a word, and this word does not depend
on i. We denote this word and its length by δr,r0 and |δr,r0 |. Let 2n be the

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

69

number of edges in the boundary of C0 . Then 1 ≤ |δr,r0 | ≤ n − 1. Suppose
0
|δr,r0 | > 1. Let v−1
be the tip of C00 other than v00 . Since C0 and C00 are in
0
the same block and C0 ∩ C00 has n − |δr,r0 | < n − 1 edges, v−1
can not be of
0
0
type II by Lemma 4.6 (2) and (3). Thus v−1 is of type I. Let C−1
be the
0
0
0
0
0
2–cell such that C−1 6= C0 and C−1 contains v−1 as a tip. Then ∪∞
i=−1 Ci is
a diamond ray, which is defined to be the right shift of r. If |δr,r0 | = 1, then
0
the right shift of r is defined to be ∪∞
i=0 Ci .
0
Let `r ⊂ Q be a CAT(0) geodesic line that contains the geodesic ray γ
associated with r and let Hr0 be the half-space bounded by `r on the right
side of `r . By applying finitely many right shift to r, we assume without
loss of generality that Hr0 is sufficiently far away from the base point x0 of
Q0 such that Hr0 and its carrier in QR are contained in the interior of QR .
Lemma 9.9. Let r0 be a right shift of r. If 1 < |δr,r0 | < n, then we can
extend r and r0 to diamond lines L and L0 in QR respectively such that L∩L0
is a boundary line of both L and L0 .
0
0
∞
0
Proof. Let r = r0 = ∪∞
i=0 Ci , r = r−1 = ∪i=−1 Ci . Let v−1 be the tip of C0
0 , and the number of
with v−1 6= v0 . Then v−1 is an endpoint of C0 ∩ C−1
0
edges in C0 ∩ C−1 = |δr,r0 | is < n. Thus v−1 is type I. Let C−1 ⊂ QR be the
2–cell containing v−1 as a tip such that C−1 6= C0 . Now we can enlarge r to
∞
a new diamond ray ∪∞
i=−1 Ci . Note that r−1 = ∪i=−1 Ci is contained in the
0
interior of QR by our choice of Hr0 . Note that δr−1 ,r−1
= δr,r0 > 1. Thus we
0 of r , then enlarge r
0
= ∪∞
C
can define the right shift r−2
−1
−1 to r−2 as
i=−2 i
before. The lemma follows by repeating this braiding process.


Now we define a sequence of diamond rays {ri }∞
i=0 such that r0 = r, and
ri is the right shift of ri−1 . By our choice of Hr0 , it is possible to define these
diamond rays.
Lemma 9.10. If there exists i0 such that |δri0 −1 ,ri0 | = 1 and |δri0 ,ri0 +1 | =
n − 1, then there exists a diamond line L containing ri0 .
Proof. We assume without loss of generality i0 = 1. Let r0 = ∪∞
i=0 Ci ,
0
0
0
∞
0
∞
00
r1 = ∪i=0 Ci and r2 = ∪i=−1 Ci . Let v0 ∈ C0 . Then v0 is an endpoint of
00 by Lemma 3.1 (2). By |δ
both C00 ∩ C0 and C00 ∩ C−1
r1 ,r2 | = n − 1, we
0
00
know C0 ∩ C−1 has n − 1 edges. By |δr0 ,r1 | = 1, we know C1 ∩ C00 has one
edge, hence C0 ∩ C00 has n − 1 edges. Now the lemma follows from the same
00 play the role of C , Π
argument in Lemma 8.1 (note that C0 , C00 and C−1
1
1
0
and C1 in Figure 35 respectively).

Now we are ready to prove Theorem 9.1 in the case r is a diamond line.
Note that this is the only case left to be verified.
If there exists i0 such that |δri0 ,ri0 +1 | = n−1 for all i ≥ i0 , or |δri0 ,ri0 +1 | = 1
for all i ≥ i0 , then ∪∞
i=i0 ri is a diamond-plain sector.
We assume such i0 does not exist. If there exists i1 such that 1 <
|δri1 ,ri1 +1 | < n, then we can extend ri1 to a diamond line Li1 by Lemma 9.9.

70

JINGYIN HUANG AND DAMIAN OSAJDA

Hence each ri for i ≥ i1 can be extended to a diamond line Li by the argument in Lemma 9.8. We deduce from the non-existence of i0 that ∪∞
i=i1 Li is
a DCH. If for all i, |δri1 ,ri1 +1 | is either 1 or n − 1, then there exists i2 such
that the assumption of Lemma 9.10 is satisfied. So we can extend ri2 to a
diamond line Li2 and deduce as before that Li2 bounds a DCH. Note that
each DCH in QR contains a CAT(0) half-flat of bounded Hausdorff distance
from this DCH. Indeed, each Li contains a CAT(0) geodesic line `i , and `i
and `i+1 bound a flat strip isometric to [0, mi ] × E1 , then the union of these
flat strips gives the half-flat.
In Sections 9.1, 9.2, and 9.3 we treated all the cases for the singular ray
r. Therefore, Theorem 9.1 follows.
10. Quasi-isometry invariants for 2–dimensional Artin groups
10.1. Preservation of completions of atomic sectors.
Definition 10.1. Subsets of XΓ∗ from a finite collection {Si }ni=1 touch along
discs if there exist L, A and a sequence of (L, A)–quasi-isometric embeddings
fi : Di → XΓ∗ such that each Di is a disc in the Euclidean plane with radius
mi → ∞ and f (Di ) ⊂ ∩nj=1 NA (Sj ).
Here XΓ∗ has a piecewise Euclidean structure inherited from XΓ , which
gives rise to a length metric on XΓ∗ that is quasi-isometric to AΓ . We use
NA (X) to denote the A neighborhood of X.
Lemma 10.2. Let S1 and S2 be atomic sectors. If they touch along discs,
then dH (S1 ∩ S2 , S1 ) < ∞ and dH (S1 ∩ S2 , S2 ) < ∞.
Proof. By modifying the map fi in Definition 10.1, there are L0 and A0
independent of i such that for each Di , there are continuous (L0 , A0 )-quasiisometric embeddings gi : Di → S1 and hi : Di → S2 such that for any
x ∈ Di , dXΓ∗ (gi (x), hi (x)) < A0 . By Lemma 5.21, we can assume gi and
hi are also (L0 , A0 )-quasi-isometric embeddings with respect to the intrinsic
metric on S1 and S2 . For the convenience of later computation, we assume
S1 and S2 are tilings of flat Euclidean sectors (this can always be arranged up
to quasi-isometries). Let σ be a singular chain representing the fundamental
class in H2 (Di , ∂Di ). Let αi = (gi )∗ σ and βi = (hi )∗ σ.
We claim there exists M > 1 independent of i such that [∂αi ] is nontrivial
ni
ni
in H1 (S1 \ BS1 (gi (ci ), M
)), where BS1 (gi (ci ), M
) denotes the ball in S1 cenni
tered at gi (ci ) and has radius M
with respect to the flat metric on S1 . To see
the claim, we construct a continuous map gi−1 : Im gi → Di such that g −1 ◦ g
and g◦g −1 are identity maps up to a bounded error which depends only on L0
and A0 . Hence g −1 ◦g and g ◦g −1 are homotopic to identity where the homotopy moves points by a distance ≤ N = N (L0 , A0 ). Now we assume without
loss of generality that ni  L0 , ni  A0 and ni  N for all i. Then the
claim follows. It follows from the claim that the image of [αi ] is non-trivial
ni
under H2 (S1 , S1 \ BS1 (gi (ci ), M
)) → H2 (S1 , S1 \ {p}) → H2 (XΓ∗ , XΓ∗ \ {p})

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

71

(recall that S1 is embedded in XΓ∗ by Lemma 5.19, hence the two maps
here are both injective). Hence the support set S[α] of the homology class
ni
[α] ∈ H2 (XΓ∗ , gi (∂Di )) satisfies BS1 (gi (ci ), M
) ⊂ S[α] .
Since dXΓ∗ (gi (x), hi (x)) < A0 for each x ∈ ∂Di and XΓ∗ is uniformly
contractible, there exists a continuous map F : ∂Di × [0, 1] → XΓ∗ such
that F |∂Di ×{0} = gi |∂D , F |∂Di ×{1} = hi |∂D and dH (Im F, gi (∂Di )) < A1
for A1 independent of i. Then F gives rise to a 2–chain γi such that
∂γi = ∂αi − ∂βi and dH (Im γi , Im ∂αi ) < A2 for A2 independent of i. Then
∂(γi + βi ) = ∂αi . Since H2 (XΓ∗ ) is trivial, there exists a 3–chain ρ such that
∂ρ = γi + βi − αi . Thus [γi + βi ] = [αi ] in H2 (XΓ∗ , gi (∂Di )) and S[γi +βi ] =
ni
). By assuming ni  A2 and possibly enlarging M , we
S[αi ] ⊃ BS1 (gi (ci ), M
ni
have BS1 (gi (ci ), M ) ∩ Im γi = ∅. Thus [βi ] is nontrivial in H2 (XΓ∗ , XΓ∗ \ {p})
ni
ni
). Hence BS1 (gi (ci ), M
) ⊂ Im βi ⊂ S2 . Thus S1 ∩S2
for any p ∈ BS1 (gi (ci ), M
contains larger and larger discs and the lemma follows from Lemma 5.20. 
Lemma 10.3. Let S be an atomic sector and let Q ⊂ XΓ∗ be a 2–dimensional
quasiflat. Let {Si }ni=1 and QR be as in Theorem 9.2. If S and Q touch
along discs, then there exists an Si such that dH (S ∩ Si , S) < ∞ and dH (S ∩
Si , Si ) < ∞. In particular, S ⊂ NA (Q) for some A.
Proof. Let q 0 : Q0 → XΓ be the CAT(0) approximation of Q as in Theorem 2.7. Let D be the image of an (L, A)–quasi-isometric embedding from a
disc of radius m to Q. Since q 0 is Lipschitz, (q 0 )−1 (D) contains a ball of ram
in Q0 with M depending on L, A. By Theorem 9.1 and Theorem 9.2,
dius M
there are disjoint flat sectors {Si0 }ni=1 in Q0 such that dH (Q0 , ∪ni=1 Si0 ) < ∞
and dH (Si , Si0 ) < ∞. Since Q0 is a CAT(0) plane, for sufficiently large m,
m
any ball of radius M
in Q0 (with respect to the CAT(0) metric on Q) must
m
0
0
contain a ball of radius M
0 in one of the Si for some M > M (with respect
0
to the CAT(0) metric on Si ). By Lemma 5.21, the CAT(0) metric on Si0
and the metric on Si induced from XΓ∗ are quasi-isometric. Let m → ∞. By
passing to a subsequence we know S and at least one of the Si touch along
discs. Then the lemma follows from Lemma 10.2.

Lemma 10.4. Let {Qi }ni=1 be a finite collection of 2–dimensional quasiflats.
If they touch along discs, then there exists an atomic sector S and A > 0
such that S ⊂ ∩ni=1 NA (Qi ).
Proof. By Theorem 9.2, we can assume each Qi is a union of finitely many
atomic sectors. By the proof of Lemma 10.3, we know that for each (L, A)–
quasi-isometric embedding Dm → ∩ni=1 NA (Qi ) (where Dm denotes a disc
of radius m in the Euclidean plane), there exist constants L0 , A0 , M > 1
independent of m, atomic sector Si of Qi for each i and an (L0 , A0 )-quasim → ∩n
isometric embedding D M
i=1 NA0 (Si ). Since each Qi has only finitely
many atomic sectors, we can assume Si does not change as m → ∞ by
passing to a subsequence. Thus the collection {Si }ni=1 touch along discs and
we are done by Lemma 10.2.


72

JINGYIN HUANG AND DAMIAN OSAJDA

Lemma 10.5. Let S be an atomic sector and let Q be a 2–dimensional
quasiflat. Let QR and {Si }ni=1 be as in Theorem 9.2. If there exists A > 0
such that S ⊂ NA (Q), then the completion S̄ of S satisfies that dH (S̄ ∩
QR , S̄) < ∞. In particular, S̄ ⊂ NA0 (Q) for some A0 > 0.
Proof. By Lemma 5.22, it suffices to consider the case when S is a diamondplain sector or a plain sector. By Lemma 10.2, we can assume S = S1 .
First we assume S1 is a diamond-plain sector. Suppose S1 is bounded by
a plain ray r1 and a diamond ray r10 . Then the discussion in Section 9.1
implies that we can assume S2 has a boundary ray r2 such that
(1) r2 is a plain ray;
(2) r1 and r2 bound a (possibly degenerate) quasi-rectangular region P ,
in particular, dH (r1 , r2 ) < ∞.
Also we know from Section 9.1 that the possibilities for S2 are diamond-plain
sector, Coxeter-plain sector, plain sector and PCH. Let a ∈ Γ be the label of
edges in r1 and ab be the defining edge of the block B that contains S. The
interesting case is that every vertex in the odd component (cf. Section 5.4)
containing a is a leaf. Thus either a is a leaf and ab is labeled by an even
number > 2, or ab has odd label and ab is a connected component of Γ. In
both cases we can deduce the following
(1) P ⊂ B;
(2) r2 is single labeled by either a or b;
(3) S2 is a diamond-plain sector in B.
Thus a sub-half-flat of S̄ is contained in QR .
Now assume S1 is a plain sector. Write S1 = r1 × r10 , where r1 and r10 are
boundary rays of S1 . Let V1 and V10 be the collection of labels of edges in
r1 and r10 respectively. First we consider the case when V1 is good (in the
sense of Section 5.4) and V2 is not good. Since we always have V1 ⊂ V2⊥ , V1
has to be a singleton. V2 either satisfies |V2 | ≥ 2 and V2⊥ = V1 , or |V2 | = 1
and V2 is a leaf. In the latter case we also have V2⊥ = V1 .
Let S2 , r2 and P be as before. We claim that if P is non-degenerate,
then P is made of squares. Now we prove the claim. In the case |V2 | ≥ 2,
there exists a vertex v ∈ r1 such that the two edges in r1 containing v have
different labels. Since the two squares of S1 containing v are in different
blocks, v is either of type II, or is a –vertex. By Lemma 4.6, the other
two cells containing v are also squares. Now we walk along r1 from v to
other vertices to prove inductively that each vertex in r1 which is not the
endpoint of r1 is contained in four squares. This shows that the first layer of
P is made of squares and we can repeat this argument to show P is made of
squares. In the case |V2 | = 1, if a vertex v ∈ r1 is contained in a non-square
cell, then V2 is adjacent to another vertex in Γ via an edge whose label is
not 2. This contradicts that V2⊥ = V1 and V2 is a leaf, hence the first layer
of P is made of squares. Now we conclude the proof as before.
The above argument also shows that S2 is made of squares, hence S2 is
a plain sector. And V2⊥ = V1 determines what this plain sector is. Thus a

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

73

sub-half-flat of S̄ is contained in QR . The remaining case that both V1 and
V10 are not good is similar.

Corollary 10.6. Suppose that AΓ1 and AΓ2 are two-dimensional Artin
groups. Let q : XΓ∗1 → XΓ∗2 be a quasi-isometry. Then for any atomic sector
S1 in XΓ∗1 , there exists an atomic sector S2 in XΓ∗2 such that dH (q(S̄1 ), S̄2 ) <
∞, where S̄i denotes the completion of Si .
Proof. First we show for each S1 , there exists S2 such that S̄2 ⊂ NA1 (q(S̄1 ))
for some A1 > 0. By Corollary 5.23, S̄1 is the coarse intersection of finitely
many quasiflats {Qi }ni=1 . Thus q(S̄1 ) is the coarse intersection of {q(Qi )}ni=1 .
In particular, {q(Qi )}ni=1 touch along discs. Lemma 10.4 implies there is an
atomic sector S2 ⊂ ∩ni=1 NA (q(Qi )) for some A. By Lemma 10.5, S̄2 ⊂
∩ni=1 NA0 (q(Qi )) for some A0 . Thus S̄2 ⊂ NA1 (q(S̄1 )) for some A1 . Let
q −1 be a quasi-isometric inverse of q. As before, we know there exists an
atomic sector S3 of XΓ∗1 such that S̄3 ⊂ NA2 (q −1 (S̄2 )). Thus S̄3 ⊂ NA3 (S̄1 )
for some A3 > 0. Note that S¯1 is a union of finitely many atomic sectors
{Ti } such that the completion of any Ti is Hausdorff close to S̄1 . Since
S3 ⊂ S̄3 ⊂ NA3 (S̄1 ), we know from the argument in Lemma 10.3 that S3
and one of {Ti } (say T1 ) touch along discs. Thus we can assume S3 = T1
by Lemma 10.2. Hence S̄3 = T̄1 has finite Hausdorff distance from S̄1 . It
follows that dH (q(S̄1 ), S̄2 ) < ∞.

10.2. Preservation of stable lines.
Definition 10.7. A stable line in XΓ∗ is one of the following objects:
(1) a diamond line;
(2) a Coxeter line;
(3) a single labeled plain line such that its label a satisfies that all edges
of Γ containing a are labeled by 2, |a⊥ | ≥ 2 and (a⊥ )⊥ = a;
(4) a single labeled plain line such that its label a is not a leaf and there
is an edge containing a with label ≥ 3;
(5) a single labeled plain line such that its label a is a leaf, a is connected
to a vertex b by an odd-labeled edge and b is not a leaf.
Recall that a⊥ is the collection of vertices in Γ that are adjacent to a
along an edge labeled by 2.
Remark 10.8. Definition 10.7 is motivated by looking for Z–subgroups
whose “orthogonal complements” are “large”, and the “orthogonal complements” of their “orthogonal complements” are themselves. More precisely,
a Z–subgroup A ≤ AΓ is stable if
(1) the centralizer ZAΓ (A) of A has a finite index subgroup isomorphic
to Fk × A, where Fk is a free group with k generators for k ≥ 2;
(2) there does not exist another cyclic subgroup B ≤ AΓ such that B ∩A
is the trivial subgroup and the projection of ZAΓ (B) ∩ (Fk × A) to
the Fk factor has finite index in Fk .

74

JINGYIN HUANG AND DAMIAN OSAJDA

This definition is motivated by properties of Dehn twist Z–subgroups of
mapping class groups of surfaces. Conjecturally, a Z–subgroup of AΓ is
virtually stable if and only if it acts on a stable line of XΓ∗ . We do not know
how to prove it. The conjecture will not be used in the later part of the
paper.
It follows from the construction of XΓ and the structure of its vertex
links that for each atomic sector S ⊂ XΓ∗ , there exists a unique subcomplex
S 0 ⊂ XΓ such that
(1) S 0 with the induced piecewise Euclidean structure is isometric to a
flat sector in the Euclidean plane;
(2) the center of any 2–cell of S is contained in S 0 , and S 0 is the convex
hull of such centers, where the convex hull is taken inside S 0 with
respect to the flat metric on S 0 .
S 0 is called the shadow of S. Similarly, the completion of each atomic sector
also has a shadow which is either a CAT(0) sector or a flat plane. Note
that if we view S 0 and S as subsets of XΓ , then they have finite Hausdorff
distance. Moreover, if two atomic sectors satisfy S1 ⊂ S2 , then the shadow
of S1 is contained in the shadow of S2 .
Lemma 10.9. A singular line L is stable if and only if there exists an
atomic sector S such that L bounds S̄ and the shadow of S̄ has angle = π.
Proof. We prove the “if” direction. Suppose that S̄ satisfies the assumption
of the lemma. If S is a DCH or S is a diamond-plain sector with S̄ being a
half-flat, then Definition 10.7 (1) holds. If S is a CCH, then Definition 10.7
(2) holds. If S is a plain sector with S̄ being a half-flat, then Definition 10.7
(3) holds. If S is a PCH, then Definition 10.7 (4) or (5) holds. These are all
the possibilities.
Now we prove the converse. Let L be a Coxeter line. Let F1 (resp. F2 )
be the Coxeter-plain flat (resp. Coxeter flat) containing L. There are two
basic moves to extend L to a CCH. The first move is to enlarge L inside F1
to a finite width infinite strip bounded by L, the second move is to enlarge
L inside F2 to obtain a thickened Coxeter line with one side bounded by L.
By alternating between these two moves for infinitely many times, we can
construct a CCH bounded by L. The other cases are similar. Note that in
Definition 10.7 (3), we need to use all the vertices in a⊥ to obtain a plain
sector whose completion satisfies all the requirements. Definition 10.7 (5)
can be reduced to (4) by first construct a thickened plain line between an
a-labeled plain line and a b-labeled plain line.

Lemma 10.10. There exist a constant A and a function k : (0, ∞) → (0, ∞)
such that the following hold for any stable line L:
(1) there are three (A, A)-quasiflats Q1 , Q2 , Q3 such that for any C ≥ A,
we have dH (L, ∩3i=1 NC (Qi )) < k(C);

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

75

(2) each Qi is at finite Hausdorff distance from the disjoint union of the
completion of two atomic sectors such that their shadows have angle
= π.
Proof. Since there are finitely many AΓ -orbits of stable lines in XΓ∗ , it suffices
to prove the lemma for a single stable line. Consider a case of a Coxeter line
L with its boundaries denoted by `1 and `2 . We extend L along `1 to a CCH
U10 (resp. U20 ) bounded L by first applying the first move (resp. the second
move) in Lemma 10.9 and then alternating between first move and second
move. For i = 1, 2, let Ui be the sub-half-flat of Ui0 bounded by `1 . Similarly,
we extend L along `2 to a CCH U3 bounded by L. By the argument in the
proof of Lemma 5.19 and Lemma 5.21, we know Ui ∪ Uj is embedded and
quasi-isometrically embedded for any 1 ≤ i 6= j ≤ 3. Hence L is the coarse
intersection of these three quasiflats. Other cases of L are similar.

Theorem 10.11. Suppose that AΓ1 and AΓ2 are two-dimensional Artin
groups. Let q : XΓ∗1 → XΓ∗2 be an (L, A)–quasi-isometry. Then there exists
a constant D such that for any stable line L1 ⊂ XΓ∗1 , there is a stable line
L2 ⊂ XΓ∗2 such that dH (q(L1 ), L2 ) < D.
The weaker statement dH (q(L1 ), L2 ) < ∞ follows from Corollary 10.6 and
Lemma 10.9. We need more work to make D independent of L1 .
Proof. Suppose L1 is the coarse intersection of three quasiflats O1 , P1 , Q1 as
in Lemma 10.10. Then there are atomic sectors S1 , T1 such that S̄1 ∩ T̄1 = ∅
and dH (S̄1 ∪ T̄1 , O1 ) < ∞. By Corollary 10.6, there are atomic sectors S2
and T2 in XΓ∗ such that their completions satisfy dH (q(S̄1 ), S̄2 ) < ∞ and
dH (q(T̄1 ), T̄2 ) < ∞. Note that the shadows of S̄2 and T̄2 have angle ≤ π.
Let O2 = q(O1 ). Let f 0 : O20 → XΓ2 be a simplicial map approximating the quasiflat O2 satisfying all the conditions (1)–(5) in Theorem 2.7,
with O20 being a CAT(0) plane. Lemma 10.10 and Theorem 2.7 imply that
dH (Im f 0 , O2 ) < D0 for D0 independent of L1 .
We claim O20 is flat. Let β be the length of the Tits boundary ∂T O20 .
It suffices to prove β = 2π. We have β ≥ 2π by CAT(0) geometry. It
remains to show β ≤ 2π. By Theorem 9.2, O2 is at bounded Hausdorff
distance away from a union of finitely many atomic sectors {Sbi }ki=1 . Since
dH (O2 , S̄2 ∪ T̄2 ) < ∞, we know from Lemma 10.2 that up to passing to a
sub-sector, each Sbi is contained in at least one of S̄2 or T̄2 . Let αi be the
angle of the CAT(0) sector Sbi0 ⊂ O20 associated with Sbi as in Theorem 9.1.
Pk
0 b0
b
Then β =
i=1 αi . We can assume f (Si ) is the shadow of Si . Each
f 0 (Sbi0 ) is contained in at least one of S̄20 or T̄20 , which are shadows of S̄2 or T̄2
respectively. Moreover, if both f 0 (Sbi0 ) and f 0 (Sbj0 ) (i 6= j) are contained in S̄20 ,
then f 0 (Sbi0 ) ∩ f 0 (Sbj0 ) can not contain a flat sector with angle > 0 (otherwise
P
Sbi and Sbj touch along discs, which implies dH (Sbi , Sbj ) < ∞). Thus ki=1 αi
is bounded above by the sum of the angle of S̄20 and T̄20 , which is 2π. This
finishes the proof of the claim.

76

JINGYIN HUANG AND DAMIAN OSAJDA

By Lemma 4.3, the map ρ in Section 4.1 is well-defined on O20 . Thus we
can give a new cell structure on O20 and a new locally injective cellular map
e2 → X ∗ (O
e2 is O0 with the new cell structure) as in Section 4.3 such
f: O
2
Γ
e2 satisfies Lemma 4.11. Note that dH (Im f, O2 ) < D1
that each vertex of O
for D1 independent of L1 . By Lemma 10.3 and Lemma 10.5, we can assume
e2 . By using Lemma 4.11 and the argument in Section 9, we deduce
S̄2 ⊂ O
e2 \ S̄2 in O
e2 is one of the following forms:
that the topological closure of O
(1) when S̄2 is bounded by a diamond line, the topological closure is a
union of diamond lines;
(2) when S̄2 is bounded by a Coxeter line, it is a CCH;
(3) when S̄2 is bounded by a plain line, it is a union of thickened plain
lines.
e2 is embedded.
Moreover, by the proof of Lemma 5.19, O
e
e
Now we define P2 and Q2 in a similar way. Assume without loss of genere2 and Pe2 . Then by Lemma 10.3
ality that S̄2 is the coarse intersection of O
e2 ∩ Pe2 . Then the topological
and Lemma 10.5, we can further assume S̄2 ⊂ O
e
e
closure of P2 \ S̄2 in P2 is one of the forms listed from (1)-(3) in the previous
e2 and Pe2 to a suitable tree as in Lemma 5.19 and
paragraph. By mapping O
e
Lemma 5.7, we know O2 ∪ Pe2 gives an embedded triplane in XΓ∗2 , moreover,
e2 ∩ Pe2 ) is either a plain line, or a boundary line of a diamond line, or
∂(O
b 2 be the topological closure of the symmetric differa Coxeter line. Let Q
e
e
b 2 is homeomorphic to R2 and dH (Q
b2 , Q
e 2 ) < ∞.
ence of O2 and P2 . Then Q
b 2 and Q
e 2 are homeomorphic to R2 and are quasi-isometrically
Since both Q
embedded, we use the argument from the proof of Lemma 10.2 to show
b 2 centered at a fixed vertex are contained in Q
e2 ,
larger and larger discs of Q
b
e
b
e
hence Q2 ⊂ Q2 . Thus Q2 = Q2 . Then there is a singular line L2 such
e2 ∩ Pe2 ∩ Q
e 2 is either contained in L2 , or a boundary of L2 . The line
that O
L2 is actually a stable line by Lemma 10.9. One now readily verifies that
dH (q(L1 ), L2 ) < D for some D independent of L1 .

Remark 10.12. Note that for each stable line, there is a Z–subgroup of
AΓ acting cocompactly on the line. Thus Theorem 10.11 also implies that
the collection of Z–subgroups corresponding to stable lines is preserved by
quasi-isometries up to finite Hausdorff distance.
10.3. Preservation of intersection graphs. Two singular lines are parallel if their Hausdorff distance is finite. The parallel set PL of a stable line
L is defined to be the union of all stable lines that are parallel to L.
The following is motivated by the fixed set graph defined by Crisp [Cri05]
and the extension graph for right-angled Artin groups defined by Kim and
Koberda [KK13].
Definition 10.13 (Intersection graph). Let AΓ be a 2–dimensional Artin
group. The intersection graph IΓ of AΓ is defined as follows. There is a
one to one correspondence between vertices of IΓ and parallelism classes of

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

77

diamond lines, Coxeter lines and single labeled plain lines in the universal
cover of the presentation complex of AΓ . Let v1 , v2 be two vertices representing two such parallelism classes P1 and P2 . Then v1 and v2 are joined
by an edge if and only if for i = 1, 2, there exists a Z subgroup Zi ≤ AΓ such
that Zi stabilizes a line in Pi , and Z1 , Z2 generate a free abelian subgroup of
rank 2 in AΓ . The stable subgraph of IΓ is the full subgraph of IΓ spanned
by vertices corresponding to stable lines.
It could happen that the stable subgraph of IΓ is empty. For example,
this is the case when Γ is a 4–gon with each edge labeled by 2. Of course, in
such case, one should not expect a quasi-isometry to map any Z subgroups
to other Z subgroups up to finite Hausdorff distance.
In the rest of this subsection, we prove Theorem 10.16.
Lemma 10.14. Suppose AΓ is 2–dimensional. If the outer automorphism
group Out(AΓ ) is finite and Γ has more than two vertices, then the stable
subgraph of IΓ is all of IΓ .
Proof. If Γ has a valence one vertex v, then any vertex w ∈ Γ adjacent to v
is a separating vertex (since Γ has more than two vertices). This leads to a
Dehn twist automorphism defined in [Cri05, pp. 1383] and hence Out(AΓ )
is infinite. Thus Γ does not have valence one vertices. Similarly, we know Γ
is connected. Let u ∈ Γ be vertex such that all edges of Γ containing u are
labeled by 2. If there is a vertex v 6= u such that v ∈ (u⊥ )⊥ , then sending
v to vu and fixing all other generators yields an infinite order element in
Out(AΓ ). Thus we must have (u⊥ )⊥ = u for all such u. The rest of the
proof follows from Definition 10.7.

Lemma 10.15. Let L ⊂ XΓ∗ be a diamond line, or a Coxeter line, or a
single-labeled plain line. Then any singular line L0 parallel to L is of the
same type. Moreover, there exists a Z-subgroup Z ≤ AΓ such that
(1) Z stabilizes any singular line that is parallel to L;
(2) for any g ∈ Z, there is a constant C > 0 only depending on g such
that d(x, gx) < C for any vertex x in the parallel set of L.
Proof. Suppose that L0 and L are parallel with their stabilizers denoted by
Z and Z 0 . Then by [MSW11, Corollary 2.4], Z0 = Z ∩ Z 0 is of finite index
in both Z and Z 0 . Then L0 and L are of the same type by the following:
• if L is a diamond line, then the fixed point set Fix(Z) of the Z-action
on the Deligne complex DΓ is a vertex of rank 2, and Fix(Z)=Fix(Z0 )
by [Cri05, Lemma 8 (ii)];
• if L is a single-labeled plain line, then Fix(Z) is a tree containing a
vertex of rank 1, and Fix(Z)=Fix(Z0 ) by [Cri05, Lemma 8 (i)];
• if L is a Coxeter line, then Fix(Z) is empty and Z acts by translations
on a geodesic line in DΓ .
Now we prove the “moreover” statement. By Section 5.1, each such L
is quasi-isometrically embedded with constants independent of L. Thus (2)

78

JINGYIN HUANG AND DAMIAN OSAJDA

follows from (1). It suffices to prove (1). Let L, L0 , Z and Z 0 be as before.
If L is a single-labeled plain line, then Fix(Z) =Fix(Z0 ) =Fix(Z 0 ). By the
definition of DΓ , we know L (resp. L0 ) corresponds to a vertex in Fix(Z)
(resp. Fix(Z 0 )), thus Z also stabilizes L0 and (1) holds for single-labeled
plain lines. If L is a diamond line, then the above discussion implies that L
and L0 are in the same block B. Thus the centralizer of the stabilizer of B
will stabilize all the diamond lines in B.
It remains to consider the case L is a Coxeter line. We claim there is a
finite chain L0 = L, L1 , . . . , Ln−1 , Ln = L0 such that each Li is a Coxeter
line and for 0 ≤ i ≤ n − 1, either Li and Li+1 are contained in the same
Coxeter-plain flat, or they are contained in the same Coxeter flat. The claim
will imply that the stabilizer of L also stabilizes L0 , which finishes the proof.
Now we prove the above claim. Let W and W 0 be the walls of L and L0
respectively. Let π : XΓb → DΓ be the AΓ -equivariant simplicial map defined
at the beginning of Section 5.3. Let ` = π(W) and `0 = π(W 0 ). Then ` and
`0 are parallel geodesic lines in a CAT (0) space DΓ . If ` = `0 , then by the
definition of DΓ , we know L and L0 are contained in the same Coxeter-plain
flat, hence the claim follows. Now we assume ` 6= `0 , then they bound a
flat strip E ⊂ DΓ . Since DΓ is 2–dimensional, E is a subcomplex of DΓ .
Let F be the Coxeter-plain flat containing L. Let L⊥ be a thickened plain
line in F intersecting L in a 2–cell C. Let v ∈ C be the center of C and
let u, w be two vertices in W adjacent to v (with respect to the simplicial
structure on XΓb ). Then u and w are in two different boundary lines of L⊥ .
Let ∆ ⊂ E be the triangle containing v̄ = φ(v) and ū = φ(u). Then ∆
has a rank 0 vertex x̄. Let x = ρ−1 (x̄). Then by the definition of DΓ , we
know x and u are contained in the same boundary line of L⊥ . Let Cx be
a 2–cell in L⊥ containing x. Then ` cuts ρ(Cx ) into two halves such that
one of them (denoted by K) contains both ∆ and ρ(w). Since K ∩ E is a
convex subcomplex of K, we have K ⊂ E. Let Lx be the Coxeter line in F
intersecting L⊥ in Cx . Similarly, we know that ` cuts ρ(Lx ) into two halves
with one of them contained in E. Let F1 be the Coxeter flat containing Lx ,
and let Wx and Wx0 be two distinct parallel walls in F1 such that Wx ⊂ Lx ,
x is between Wx and Wx0 , and the distance between Wx and Wx0 is as small
as possible. Then ρ maps the region of F1 between Wx and Wx0 to a flat
strip U in DΓ . Since a half of ρ(Lx ) is contained in U ∩ E, by convexity, we
know U ⊂ E. Now we repeat the previous argument with L replaced by the
carrier of Wx0 . This process terminates after finitely many steps and gives
rise to the finite chain as required.

Theorem 10.16. Let AΓ and AΓ0 be two 2–dimensional Artin groups and
let q : AΓ → AΓ0 be a quasi-isometry. Then q induces an isomorphism
from the stable subgraph of IΓ onto the stable subgraph of IΓ0 . In particular,
if both AΓ and AΓ0 have finite outer automorphism group and Γ has more
than two vertices, then q induces an isomorphism between their intersection
graphs.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

79

Proof. Let ΘΓ and ΘΓ0 be the stable subgraphs of IΓ and IΓ0 respectively.
It follows from Theorem 10.11 that q∗ induces a well-defined injective map
on the vertex set of ΘΓ . Now we show if two vertices v1 , v2 are adjacent in
ΘΓ , then q∗ (v1 ) and q∗ (v2 ) are adjacent in ΘΓ0 .
Let L1 and L2 be two stable lines representing v1 and v2 . For i = 1, 2,
let Pi be the parallel set of Li and suppose Zi is a Z-subgroup stabilizing
Li . We assume Z1 and Z2 generate a free abelian subgroup of rank 2.
Let Q = Z1 ⊕ Z2 and we view Q as a subset of XΓ∗ . Then Q is at finite
Hausdorff distance away from a union of stable lines parallel to L1 . By
Theorem 10.11, there exists a stable line L0i such that Q0 = q(Q) is at finite
Hausdorff distance away from a union of stable lines parallel to L01 . Let g10
be a generator of a Z-subgroup Z01 that stabilizes L01 . Then Lemma 10.15
(2) implies that dH (Q0 , g10 Q0 ) < ∞. Similarly, we define L02 , g20 and Z02 and
we have dH (Q0 , g20 Q0 ) < ∞.
Note that Q0 is a quasiflat. Now we assume there is a continuous quasiisometric embedding f : E2 → XΓ∗0 such that dH (Im f, Q0 ) < ∞. Let [E2 ] ∈
H2lf (E2 ) be the fundamental class and let [α] = f∗ ([E2 ]) ∈ H2lf (XΓ∗0 ). By
[BKS16, Lemma 4.3], the support set S[α] of [α] is non-empty and satisfies dH (Im f, S[α] ) < ∞. Let fi be f post-composed with the action of gi0 .
Lemma 10.15 (2) implies that there is a uniform bound on d(f (x), fi (x)) for
any x ∈ E2 . Since XΓ∗0 is uniformly contractible, there is a proper homotopy between f and fi . Thus [α] = (fi )∗ [E2 ] = (gi0 )∗ [α]. Thus the support
set S[α] is invariant under the subgroup H = hZ01 , Z02 i of AΓ0 . Then H is
quasi-isometric to E2 , hence is virtually Z ⊕ Z. It follows that a finite index
subgroup of Z01 and a finite index subgroup of Z02 generate a free abelian
subgroup. Hence q∗ (v1 ) and q∗ (v2 ) are adjacent.
In summary, we now have a graph embedding q∗ : ΘΓ → ΘΓ0 . By considering the quasi-isometry inverse of q and repeating the above argument, we
know q∗ is actually an isomorphism. The “in particular” statement of the
theorem follows from Lemma 10.14.

11. Artin groups of type CLTTF
In this section, we restrict ourselves to groups AΓ belonging to the class
of CLTTF Artin groups, as in Definition 1.4. Note that there are no Coxeter
lines in XΓ∗ . Let IΓ be the intersection graph of AΓ and let ΘΓ be the stable
subgraph (cf. Definition 10.13).
11.1. The fixed set graphs and chunks. We recall several notions from
[Cri05]. Crisp defined a notion of fixed set graph for AΓ in [Cri05, Section
4]. It follows from [Cri05, Lemma 9] that a single-labeled line is stable if
and only if the centralizer of the stabilizer of this line is not virtually abelian
(recall that we require AΓ to be of large type). Now by [Cri05, Lemma 12]
and the sentence before this lemma, we know that the there is a natural
isomorphism between the fixed set graph and ΘΓ .

80

JINGYIN HUANG AND DAMIAN OSAJDA

Crisp divides the vertex set of ΘΓ into two disjoint subsets, one being VΓ ,
which consists of vertices coming from diamond lines, and one being FΓ ,
which consists of vertices coming from stable plain lines. Note that there is
a one to one correspondence between elements in VΓ and blocks in XΓ∗ . It
is clear that there is an action AΓ y ΘΓ which preserves VΓ and FΓ .
We choose an identification of AΓ with the 0–skeleton of XΓ∗ . Let Γ2 be
the first subdivision of Γ. Each vertex of Γ2 corresponds to a unique singlelabeled plain line or a diamond line that contains the identity element ∗ of
b be the full subgraph of Γ2 spanned by the non-terminal vertices.
AΓ . Let Γ
b give stable lines containing ∗ (however, it is possible
Then vertices of Γ
that a terminal vertex of Γ2 also gives a stable line). This induces a graph
b → ΘΓ . From now on, we shall identify Γ
b as a subgraph of ΘΓ
embedding Γ
b
via such embedding. Note that ΘΓ is the union of AΓ translates of Γ.
Similarly, the vertices of DΓ that are associated with left cosets of AΓ
that contain ∗ span a convex subcomplex K of DΓ , which is called the
fundamental chamber of DΓ . As a simplicial complex, K is isomorphic to
the cone over Γ2 . DΓ is the union of AΓ translates of K.
There is another cell structure on DΓ , where one ignores all the edges
between a rank 0 vertex and a rank 2 vertex and combines triangles of DΓ
into squares. We denote DΓ with this new cell structure by Γ . When Γ
is CLTTF, we know that Γ is a CAT(0) cube complex (actually, a more
general version of this fact was proved in [CD95b]).
Lemma 11.1. [Cri05, Lemma 39] Let v ∈ Γ be a rank 2 vertex and let m
be the label of the defining edge of the block that is associated with v. Every
simple cycle in lk(v, Γ ) has edge length at least 2m, and there exists at least
one simple cycle of 2m edges in lk(v, Γ ).
Proposition 11.2. [Cri05, Proposition 40] Let v be a rank 2 vertex in the
fundamental chamber of Γ and let As,t be the standard subgroup of AΓ
associated with v such that its defining edge is st ⊂ Γ. Let E be the edge in
lk(v, Γ ) spanned by vertices corresponding to As and At . If τ is a graph
automorphism of lk(v, Γ ) that fixes E, then either τ is the identity on
lk(v, Γ ), or τ is induced by the group inversion such that s → s−1 and
t → t−1 .
The following notion of chunks was introduced in [Cri05, Section 7]
Definition 11.3. Let A be a connected full subgraph of Γ. A is indecomposable if, for every decomposition Γ = Γ1 ∪T Γ2 of Γ over a separating edge
or vertex T , either A ⊂ Γ1 or A ⊂ Γ2 . A chunk of Γ is a maximal indecomposable (connected and full) subgraph of Γ. Clearly, any two chunks of
Γ intersect, if at all, along a single separating edge or vertex. A chunk of
∆ shall be said to be solid if it contains a simple closed circuit of ∆. Note
that any chunk is either solid or consists of just a single edge of the graph.
b can be viewed both as a subset of Γ and as a subgraph of ΘΓ . A (solid)
Γ
b is the intersection of Γ
b with a (solid) chunk of Γ. This defines a
chunk of Γ

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

81

b which shall be thought of as lying inside ΘΓ . A (solid) chunk
subgraph of Γ
b by an element of AΓ .
of ΘΓ is any translate of a (solid) chunk of Γ
An isomorphism φ from ΘΓ to ΘΓ0 is a VF-isomorphism if φ(VΓ ) = VΓ0
and φ(FΓ ) = FΓ0 .
Proposition 11.4. [Cri05, Proposition 41] Suppose AΓ and AΓ0 are CLTTF.
If Γ is not a tree, then any isomorphism ΘΓ → ΘΓ0 is a VF-isomorphism.
Proposition 11.5. [Cri05, Proposition 23] Suppose AΓ and AΓ0 are CLTTF.
Any VF-isomorphism ΘΓ → ΘΓ0 maps each solid chunk of ΘΓ onto a solid
chunk of ΘΓ0 .
11.2. Quasi-isometries of CLTTF Artin groups.
Lemma 11.6. Suppose that AΓ and AΓ0 are CLTTF Artin groups. Let
q : XΓ∗ → XΓ∗0 be an (L, A)–quasi-isometry. Then
(1) q induces a graph isomorphism q∗ : ΘΓ → ΘΓ0 ;
(2) if in addition Γ is not a tree, then there exists a constant D =
D(L, A, Γ, Γ0 ) such that for any block B ⊂ XΓ∗ , there exists a block
B 0 ⊂ XΓ∗0 such that dH (q(B), B 0 ) < D; moreover, q∗ sends the vertex
in ΘΓ associated with B to the vertex in ΘΓ0 associated with B 0 .
Proof. Theorem 10.16 implies (1). Now we prove (2). By Proposition 11.4,
q∗ : ΘΓ → ΘΓ0 is a VF-isomorphism. Now suppose B is the parallel set of a
diamond line L. By Theorem 10.11, there exists a stable line L0 ⊂ XΓ∗0 such
that dH (PL0 , q(PL )) < D for D = D(L, A, Γ1 , Γ2 ). Note that L0 has to be a
diamond line. Thus PL0 is a block B 0 and dH (B 0 , q(B)) < D.

Theorem 11.7. Let AΓ and AΓ0 be CLTTF Artin groups. Suppose Γ does
not have separating vertices and edges. Let q : AΓ → AΓ0 be an (L, A)–
quasi-isometry. Then there exist a constant D = D(L, A, Γ) and a bijection
q̃ : AΓ → AΓ0 such that
(1) d(q(x), q̃(x)) < D for any x ∈ AΓ ;
(2) if Γ1 ⊂ Γ is an edge (resp. vertex), then for any g ∈ AΓ , there exists
an edge (resp. vertex) Γ01 ⊂ Γ0 and g 0 ∈ AΓ0 such that q̃ maps gAΓ1
bijectively onto g 0 AΓ01 ; and similar properties hold for q̃ −1 .
Moreover, such q̃ is unique.
Proof. Pick a vertex x ∈ XΓ∗ and let {Bi }ni=1 be the collection of blocks
containing x. Note that x = ∩ni=1 Bi . Let {vi }ni=1 be the collection of vertices
in VΓ corresponding to {Bi }ni=1 . Let g ∈ AΓ be the element such that it
b ⊂ ΘΓ . Since Γ
sends the identity element ∗ to x. Then {vi }ni=1 ⊂ g Γ
b is a chunk. Let q∗ : ΘΓ → ΘΓ0
has no separating vertices and edges, g Γ
be the graph isomorphism in Lemma 11.6, which is a VF-isomorphism by
Proposition 11.4. Let Bi0 be the block such that dH (q(Bi ), Bi0 ) < D as in
b is a chunk of ΘΓ0 , thus
Lemma 11.6 (2). Proposition 11.5 implies that q∗ (g Γ)
0
n
the vertices of ΘΓ0 associated with {Bi }i=1 are contained in a chunk. Hence

82

JINGYIN HUANG AND DAMIAN OSAJDA

∩ni=1 Bi0 6= ∅. Since ∩ni=1 Bi0 is bounded, it is a vertex x0 of XΓ∗0 . We define
q̃(x) = x0 . It is clear that for any vertex x ∈ XΓ∗ , we have d(q(x), q̃(x)) < D
for D = D(L, A, Γ, Γ0 ). By construction, q̃ satisfies all the requirements
except we still need to verify the bijectivity and uniqueness of q̃.
We define a map F from AΓ to chunks in Γb0 as follows. Let x, x0 and g be
as before and let g 0 ∈ AΓ0 be the element sending x0 to the identity element
b
∗0 ∈ AΓ0 . Then F (x) is defined to be the chunk g 0 (q∗ (g Γ)).
We claim F is a
constant function. It suffices to show if x1 and x2 are two adjacent vertices
b for i = 1, 2. Then
in XΓ∗ , then F (x1 ) = F (x2 ). Suppose F (xi ) = gi0 (q∗ (gi Γ))
b of some F-type vertex w, where
b contains the closed star (in g1 Γ)
b ∩ g2 Γ
g1 Γ
w corresponds to the single-labeled plain line ` passing through x1 and x2 .
b ∩ g2 Γ
b has at least two edges. Let `0 be the
Our assumption on Γ implies g1 Γ
stable line associated with q∗ (w) that passes through q̃(x1 ). Then q̃(x2 ) ⊂ `0 ,
hence g10 and g20 differ by an element in the stabilizer of `0 . Now one readily
deduces that F (x1 ) ∩ F (x2 ) contains at least two edges that intersect along
an F-type vertex. Thus F (x1 ) = F (x2 ) by the definition of chunks.
Note that the image of F gives a subgraph Γ01 ⊂ Γ0 . Note that if x1 and
x2 are adjacent in XΓ∗ , then q̃(x1 ) and q̃(x2 ) are in the same left coset of
AΓ01 in AΓ0 . Thus q̃(x) is contained in a left coset of AΓ01 . Since Im q̃ is
A-dense in AΓ0 , we have Γ01 = Γ0 . Now we repeat the previous discussion
for a quasi-isometry inverse of q to deduce the bijectivity statement in the
theorem. To see the uniqueness, note that two blocks have finite Hausdorff
distance if and only if they are equal. Thus for any block B ⊂ XΓ∗ , there
is a unique block B 0 ⊂ XΓ∗ such that dH (q(B), B 0 ) < ∞. By using (2) and
repeating the opening paragraph of the proof, we know q̃ is unique.

Corollary 11.8. Let AΓ and AΓ0 be CLTTF Artin groups. Suppose Γ does
not have separating vertices and edges. Then AΓ and AΓ0 are quasi-isometric
if and only if Γ and Γ0 are isomorphic as labeled graphs.
Proof. Let q̃ be as in Theorem 11.7. Then by Theorem 11.7 (2), q̃ induces an
isomorphism φ : DΓ → DΓ0 . By restricting φ to the fundamental chamber
of DΓ , we obtain a graph isomorphism Γ → Γ0 . By Lemma 11.1, this
isomorphism preserves the label of edges.

Theorem 11.9. Let AΓ be a CLTTF Artin group such that Γ does not have
separating vertices and edges. Let QI(AΓ ) be the quasi-isometry group of AΓ .
Let Isom(AΓ ) be the isometry group of AΓ with respect to the word distance
with respect to the standard generating set. Then the following hold.
(1) Any quasi-isometry from AΓ to itself is uniformly close to an element
in Isom(AΓ ).
(2) There are isomorphisms QI(AΓ ) ∼
= Isom(AΓ ) ∼
= Aut(DΓ ), where
Aut(DΓ ) is the simplicial automorphism group of DΓ .
Proof. We first define a homomorphism h1 : Aut(DΓ ) → Isom(AΓ ) as follows. Let φ ∈ Aut(DΓ ). By looking at the restriction of φ to rank 0 vertices,

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

83

we obtain a bijection ϕ : AΓ → AΓ satisfying Lemma 11.6 (2). We claim
ϕ ∈ Isom(AΓ ). First we show if x1 , x2 ∈ AΓ are adjacent vertices in XΓ∗ ,
then so is ϕ(x1 ) and ϕ(x2 ). Up to pre-composing and post-composing ϕ
with suitable left translations, we assume x1 is the identity element ∗, and
ϕ(x1 ) = ∗. Then the corresponding φ sends the fundamental chamber to
itself. By the proof of Corollary 11.8, φ induces a label-preserving automorphism α of Γ. By modifying ϕ by an automorphism of AΓ induced by
α, we assume φ is the identity on the fundamental chamber. Thus there
exists a rank 2 vertex v in the fundamental chamber such that the standard
subgroup As,t associated with v contains x1 = ϕ(x1 ) and x2 = ϕ(x2 ). Note
that φ induces a graph automorphism τ : lk(v, Γ ) → lk(v, Γ ) which is
compatible with ϕ|As,t : As,t → As,t . Since φ is the identity on the fundamental chamber, τ fixes the edge in lk(v, Γ ) that are spanned by vertices
associated with As and At . By Proposition 11.2, ϕ|As,t is either the identity
or a group inversion. Thus ϕ(x1 ) and ϕ(x2 ) are adjacent in XΓ∗ . We deduce
that ϕ is 1–Lipschitz with respect to the word metric. Similarly, we know
ϕ−1 is 1–Lipschitz. Thus ϕ ∈ Isom(AΓ ). We define h1 (φ) = ϕ and one
readily verifies that h1 : Aut(DΓ ) → Isom(AΓ ) is a homomorphism.
It is clear there is a homomorphism h2 : Isom(AΓ ) → QI(AΓ ). By Theorem 11.7, there is a homomorphism h3 : QI(AΓ ) → Aut(DΓ ). It is clear that
h3 ◦ h2 ◦ h1 is the identity map. Thus the theorem follows.

A group G is strongly rigid if any element in QI(G) is uniformly close to
an automorphism of G.
Theorem 11.10. Let AΓ be a large-type and triangle-free Artin group. Then
AΓ is strongly rigid if and only if Γ satisfies all of the following conditions:
(1) Γ is connected and has ≥ 3 vertices;
(2) Γ does not have separating vertices and edges;
(3) any label preserving automorphism of Γ which fixes the neighborhood
of a vertex is the identity.
Moreover, if a large-type and triangle-free Artin group AΓ satisfies all the
above conditions and H is a finitely generated group quasi-isometric to AΓ ,
then there exists a finite index subgroup H 0 ≤ H and a homomorphism
φ : H 0 → AΓ with finite kernel and finite index image.
Recall that a global inversion of AΓ is the automorphism of AΓ sending
each generator to its inverse. This will be used in the following proof.
Proof. First we prove the “if” direction. Let q : AΓ → AΓ be a quasiisometry. Suppose q̃ is the map in Theorem 11.7. Let φ : DΓ → DΓ be
the isomorphism induced by q̃. As in Theorem 11.9, by modifying q̃ by
a left translation and an automorphism of AΓ induced by label-preserving
graph automorphism of Γ, we assume φ is the identity on the fundamental
chamber K. Also by Proposition 11.2, φ is either the identity or induced by
the group inversion on the link of each rank 2 vertex of K. By connectedness
of Γ, we know if q̃ is an inversion on As for some vertex s ∈ Γ, then q̃ is

84

JINGYIN HUANG AND DAMIAN OSAJDA

an inversion on At for any vertex t ∈ Γ. Thus by possibly modifying q̃ by a
global inversion, we can assume φ is the identity on both K and the closed
star of any rank 2 vertex in K. Now the argument in the last paragraph
of [Cri05, pp. 1436] implies that φ is the identity on DΓ (assumption (3) is
used in this step). Hence q̃ is the identity and the if direction follows.
Before turning to the “only if” direction we prove the last statement
in the theorem. Since H is quasi-isometric AΓ , there is a discrete and
cobounded quasi-action of H on AΓ (see [KL01, Section 2] for setting up
on quasi-actions). By Theorem 11.9, we can replace each quasi-isometry in
the quasi-action by a unique element in Isom(AΓ ), which gives a homomorphism h : H → Isom(AΓ ). Since the quasi-action is discrete, h has finite
kernel. Let N be the finite subgroup of Aut(AΓ ) generated by global inversion and automorphisms arise from label-preserving graph automorphisms
of Γ. Then Isom(AΓ ) ∼
= AΓ o N by the previous paragraph (the copy of
AΓ in Isom(AΓ ) corresponds to left translations). Now the coboundedness
of the quasi-action implies Im h has finite index in Isom(AΓ ). Since AΓ is
finite index in Isom(AΓ ), the moreover statement follows.
It remains to prove the “only if” direction. If Γ is not connected, then
AΓ is a free product and clearly there are quasi-isometries which are not
uniformly close to any automorphisms. Thus Γ is connected. If Γ has only
two vertices, then AΓ is quasi-isometric to either Z⊕Z or F2 ⊕Z (F2 denotes
the free group of two generators). Again AΓ is not strongly rigid. Thus (1)
holds.
Now we assume Γ has a separating vertex or edge. Let Γ = Γ1 ∪T Γ2 ,
where Γ1 and Γ2 are full subgraphs of Γ such that T is an edge or a vertex,
Γ1 ∪ Γ2 = Γ and Γ1 ∩ Γ2 = T . We also assume T 6= Γ1 and T 6= Γ2 . Let
g be an element in the centralizer of AT . Then there is an automorphism
φ of AΓ defined by φ(v) = gvg −1 for any vertex v ∈ Γ2 , and φ(v) = v for
any vertex in Γ1 . This is called a Dehn twist automorphism by Crisp. We
denote the standard presentation complex of AΓ by PΓ . Let f : PΓ → PΓ be
a homotopy equivalence such that f induces φ on the fundamental groups.
We can assume f |PΓ1 is the identity map and f (PΓ2 ) ⊂ PΓ2 . We pull apart
PΓ1 and PΓ2 in PΓ to form a graph of spaces X = PΓ1 ∪ PT × [0, 1] ∪ PΓ2
with the attaching maps defined in the natural way. Then f induces a
homotopy equivalence g : X → X. Let T be the associated Bass-Serre tree.
e → T where X
e is the universal cover of X.
There is a projection map p : X
e → X
e be a lift of g. We can assume g̃ is the identity on a lift
Let g̃ : X
e
e
e Let E ⊂ T be the edge which is
PΓ1 ∪ PT × [0, 1] of PΓ1 ∪ PT × [0, 1] in X.
the p-image of such lift and let V1 be the vertex of E associated with PeΓ1 .
The midpoint of E divides T into two halfspace. Let H1 be the halfspace
containing V1 and H2 be the other halfspace. Now we define a new map
e →X
e such that h̃ is the identity on p−1 (H1 ) and h̃ = g̃ on p−1 (H2 ).
h̃ : X
One readily verifies that h̃ is a quasi-isometry, and h̃ is not uniformly close
to an automorphism.

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

85

Now we assume (1) and (2) hold, but (3) fails. Let v ∈ Γ be a vertex and
let α be a non-trivial label-preserving automorphism of Γ which fixes the
closed star of v pointwise. Let f be the automorphism of AΓ induced by α.
Then f induces an automorphism φ : Γ → Γ . Let K be the fundamental
chamber in Γ and let E be the edge in K between the rank 0 vertex in K
and the rank 1 vertex in K corresponding to the subgroup generated by v.
Let HE be the hyperplane in Γ dual to E. Suppose Γ1 is the full subgraph
of Γ spanned by the closed star of v. Then there is a natural isometric
embedding Γ1 → Γ2 . Note that HE ⊂ Γ1 and φ fixes HE pointwise.
Let H1 and H2 be two halfspaces bounded by HE such that v ∈ H1 . Now
we define an automorphism φ0 of Γ such that φ0 is the identity on H1 and
φ0 = φ on H2 . Then φ0 induces an isometry f 0 : AΓ → AΓ as in the proof of
Theorem 11.9. Now we show f 0 is not uniformly close to an automorphism.
Since we already assume (1) and (2) hold, by [Cri05, Theorem 1], Aut(AΓ )
is generated by automorphisms induced by label-preserving automorphisms
of Γ, global inversions and inner automorphisms. On the other hand, f 0 |K
is induced by α and f 0 is the identity on some translate of K. No elements
in Aut(AΓ ) can induce such automorphism of Γ . Thus f 0 is not uniformly
close to any automorphism by Theorem 11.9 (2).

12. Ending remarks and open questions
Here we leave some remarks concerning perspectives of extending the
results of Section 11 to more general 2–dimensional Artin groups and ask
several related questions.
Question 12.1. Let AΓ and A0Γ be two 2–dimensional Artin groups with
finite outer automorphism groups. Suppose Γ has more than two vertices.
Suppose AΓ and A0Γ are quasi-isometric. Are they isomorphic?
By Theorem 10.16, Question 12.1 reduces to the following question:
Question 12.2. Let AΓ and A0Γ be two 2–dimensional Artin groups with
finite outer automorphism groups. Suppose that Γ has more than two vertices
and suppose that IΓ and IΓ0 are isomorphic as graphs. Are AΓ and A0Γ
isomorphic as groups?
To answer this question, one need to generalize [Cri05, Proposition 23].
This question has a positive answer in the right-angled case [BKS08,Hua17a].
Even in the case of large type Artin groups answering Question 12.1 and
Question 12.2 will be interesting.
In view of [Cri05, Proposition 23], it is also natural to ask when an analogue of “Ivanov’s theorem” hold for 2–dimensional Artin groups.
Question 12.3. Let AΓ be two 2–dimensional Artin groups. Find conditions
on Γ such that each automorphism of AΓ induces a graph automorphism of
IΓ and vice versa.

86

JINGYIN HUANG AND DAMIAN OSAJDA

Of course one can ask more questions of this kind by relaxing the assumptions of the results in Section 11.2. A question of different flavor, motivated
by the work of Kim and Koberda [KK14], and Behrstock, Hagen and Sisto
[BHS17a], is the following.
Question 12.4. Suppose that AΓ is 2–dimensional and that Γ is connected.
Is IΓ Gromov-hyperbolic? Does AΓ have a Mazur-Minsky hierarchy structure
with IΓ being the “largest Gromov-hyperbolic space”?
It is known that in the right-angled case, IΓ is always a quasi-tree [KK14].
We suspect this is not true outside the right-angled world, since the intersection pattern of flats will be substantially more complicated.
Question 12.5. Under what condition, the graph IΓ is not a quasi-tree?
References
[App84] Kenneth I. Appel, On Artin groups and Coxeter groups of large type, Contributions to group theory, 1984, pp. 50–78. MR767099
[AS83] Kenneth I. Appel and Paul E. Schupp, Artin groups and infinite Coxeter
groups, Invent. Math. 72 (1983), no. 2, 201–220. MR700768
[BC02] Noel Brady and John Crisp, Two-dimensional Artin groups with CAT(0) dimension three, Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), 2002, pp. 185–214. MR1950878
[Bel05] Robert W. Bell, Three-dimensional FC Artin groups are CAT(0), Geom. Dedicata 113 (2005), 21–53. MR2171297
[Bes99] Mladen Bestvina, Non-positively curved aspects of Artin groups of finite type,
Geom. Topol. 3 (1999), 269–302 (electronic). MR1714913
[BH99] Martin R. Bridson and André Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999.
MR1744486
[BHS15] Jason A. Behrstock, Mark F. Hagen, and Alessandro Sisto, Hierarchically
hyperbolic spaces II: combination theorems and the distance formula, preprint
arXiv:1509.00632 (2015).
, Hierarchically hyperbolic spaces, I: Curve complexes for cubical
[BHS17a]
groups, Geom. Topol. 21 (2017), no. 3, 1731–1804. MR3650081
, Quasiflats in hierarchically hyperbolic spaces, preprint
[BHS17b]
arXiv:1704.04271 (2017).
[BJN10] Jason A. Behrstock, Tadeusz Januszkiewicz, and Walter D. Neumann, Quasiisometric classification of some high dimensional right-angled Artin groups,
Groups Geom. Dyn. 4 (2010), no. 4, 681–692. MR2727658
[BKMM12] Jason A. Behrstock, Bruce Kleiner, Yair Minsky, and Lee Mosher, Geometry
and rigidity of mapping class groups, Geom. Topol. 16 (2012), no. 2, 781–888.
MR2928983
[BKS08] Mladen Bestvina, Bruce Kleiner, and Michah Sageev, The asymptotic geometry of right-angled Artin groups. I, Geom. Topol. 12 (2008), no. 3, 1653–1699.
MR2421136
, Quasiflats in CAT(0) 2-complexes, Algebr. Geom. Topol. 16 (2016),
[BKS16]
no. 5, 2663–2676. MR3572343
[BM00a] Thomas Brady and Jonathan P. McCammond, Three-generator Artin groups
of large type are biautomatic, J. Pure Appl. Algebra 151 (2000), no. 1, 1–9.
MR1770639

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

[BM00b]
[BM10]
[BN08]
[BS72]
[CC05]
[CC07]
[CD95a]

[CD95b]

[Cha16]
[Cha92]
[Cha95]
[CP03]
[CP14]
[Cri05]
[Cum17]
[CW17]
[Del72]
[DH17]

[Dig06]
[Dig12]
[EF97]
[Els17]
[Gor04]
[GP12]
[Ham05]

87

, Three-generator Artin groups of large type are biautomatic, J. Pure
Appl. Algebra 151 (2000), no. 1, 1–9. MR1770639
, Braids, posets and orthoschemes, Algebr. Geom. Topol. 10 (2010),
no. 4, 2277–2314. MR2745672
Jason A. Behrstock and Walter D. Neumann, Quasi-isometric classification of
graph manifold groups, Duke Math. J. 141 (2008), no. 2, 217–240. MR2376814
Egbert Brieskorn and Kyoji Saito, Artin-Gruppen und Coxeter-Gruppen, Invent. Math. 17 (1972), 245–271. MR0323910
Ruth Charney and John Crisp, Automorphism groups of some affine and finite
type Artin groups, Math. Res. Lett. 12 (2005), no. 2-3, 321–333. MR2150887
, Relative hyperbolicity and Artin groups, Geom. Dedicata 129 (2007),
1–13. MR2353977
Ruth Charney and Michael W. Davis, The K(π, 1)-problem for hyperplane
complements associated to infinite reflection groups, J. Amer. Math. Soc. 8
(1995), no. 3, 597–627. MR1303028
, The K(π, 1)-problem for hyperplane complements associated to infinite reflection groups, J. Amer. Math. Soc. 8 (1995), no. 3, 597–627.
MR1303028
Ruth Charney, Problems related to Artin groups, Preprint available at http:
//people.brandeis.edu/~charney/papers/Artin_probs.pdf (2016).
, Artin groups of finite type are biautomatic, Math. Ann. 292 (1992),
no. 4, 671–683. MR1157320
, Geodesic automation and growth functions for Artin groups of finite
type, Math. Ann. 301 (1995), no. 2, 307–324. MR1314589
Ruth Charney and David Peifer, The K(π, 1)-conjecture for the affine braid
groups, Comment. Math. Helv. 78 (2003), no. 3, 584–600. MR1998395
Ruth Charney and Luis Paris, Convexity of parabolic subgroups in Artin
groups, Bull. Lond. Math. Soc. 46 (2014), no. 6, 1248–1255. MR3291260
John Crisp, Automorphisms and abstract commensurators of 2-dimensional
Artin groups, Geom. Topol. 9 (2005), 1381–1441. MR2174269
Marı́a Cumplido, On the loxodromic actions of Artin-Tits groups, preprint
arXiv:1706.08377 (2017).
Matthieu Calvez and Bert Wiest, Acylindrical hyperbolicity and Artin-Tits
groups of spherical type, Geom. Dedicata 191 (2017), 199–215. MR3719080
Pierre Deligne, Les immeubles des groupes de tresses généralisés, Invent.
Math. 17 (1972), 273–302. MR0422673
Michael W. Davis and Jingyin Huang, Determining the action dimension of
an artin group by using its complex of abelian subgroups, Bull. Lond. Math.
Soc. 49 (2017), no. 4, 725–741.
e
François Digne, Présentations duales des groupes de tresses de type affine A,
Comment. Math. Helv. 81 (2006), no. 1, 23–47. MR2208796
, A Garside presentation for Artin-Tits groups of type Cn , Ann. Inst.
Fourier (Grenoble) 62 (2012), no. 2, 641–666. MR2985512
Alex Eskin and Benson Farb, Quasi-flats and rigidity in higher rank symmetric
spaces, J. Amer. Math. Soc. 10 (1997), no. 3, 653–692. MR1434399
Tomasz Elsner, Quasi-flats in systolic complexes, preprint (2017).
Cameron McA. Gordon, Artin groups, 3-manifolds and coherence, Bol. Soc.
Mat. Mexicana (3) 10 (2004), no. Special Issue, 193–198. MR2199348
Eddy Godelle and Luis Paris, Basic questions on Artin-Tits groups, Configuration spaces, 2012, pp. 299–311. MR3203644
Ursula Hamenstaedt, Geometry of the mapping class groups III: Quasiisometric rigidity, preprint (2005).

88

JINGYIN HUANG AND DAMIAN OSAJDA

[HJP16] Jingyin Huang, Kasia Jankiewicz, and Piotr Przytycki, Cocompactly cubulated
2-dimensional Artin groups, Comment. Math. Helv. 91 (2016), no. 3, 519–542.
MR3541719
[HK17] Jingyin Huang and Bruce Kleiner, Groups quasi-isometric to RAAG’s, Duke
Math. J., to appear (2017).
[HKS16] Thomas Haettel, Dawid Kielak, and Petra Schwer, The 6-strand braid group
is CAT(0), Geom. Dedicata 182 (2016), 263–286. MR3500387
[HO17a] Jingyin Huang and Damian Osajda, Large-type Artin groups are systolic,
preprint arXiv:1706.05473 (2017).
[HO17b]
, Metric systolicity and two-dimensional Artin groups, preprint
arXiv:1710.05157 (2017).
[HR12] Derek F. Holt and Sarah Rees, Artin groups of large type are shortlex automatic with regular geodesics, Proc. Lond. Math. Soc. (3) 104 (2012), no. 3,
486–512. MR2900234
[Hua16a] Jingyin Huang, Commensurability of groups quasi-isometric to RAAG’s,
preprint arXiv:1603.08586 (2016).
[Hua16b]
, Quasi-isometric classification of right-angled Artin groups II: several
infinite out cases, preprint arXiv:1603.02372 (2016).
[Hua17a]
, Quasi-isometric classification of right-angled Artin groups, I: The
finite out case, Geom. Topol. 21 (2017), no. 6, 3467–3537. MR3692971
, Top-dimensional quasiflats in CAT(0) cube complexes, Geom. Topol.
[Hua17b]
21 (2017), no. 4, 2281–2352. MR3654109
[KK13] Sang-hyun Kim and Thomas Koberda, Embedability between right-angled
Artin groups, Geom. Topol. 17 (2013), no. 1, 493–530. MR3039768
[KK14] Sang-Hyun Kim and Thomas Koberda, The geometry of the curve graph of
a right-angled Artin group, Internat. J. Algebra Comput. 24 (2014), no. 2,
121–169. MR3192368
[KL01] Bruce Kleiner and Bernhard Leeb, Groups quasi-isometric to symmetric
spaces, Comm. Anal. Geom. 9 (2001), no. 2, 239–260. MR1846203
[KL97a] Michael Kapovich and Bernhard Leeb, Quasi-isometries preserve the geometric decomposition of Haken manifolds, Invent. Math. 128 (1997), no. 2, 393–
416. MR1440310
[KL97b] Bruce Kleiner and Bernhard Leeb, Rigidity of quasi-isometries for symmetric
spaces and Euclidean buildings, C. R. Acad. Sci. Paris Sér. I Math. 324 (1997),
no. 6, 639–643. MR1447034
[KS04] Ilya Kapovich and Paul Schupp, Relative hyperbolicity and Artin groups,
Geom. Dedicata 107 (2004), 153–167. MR2110760
[LS01] Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Classics
in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1977 edition.
MR1812024
[McC15] Jon McCammond, Dual euclidean Artin groups and the failure of the lattice
property, J. Algebra 437 (2015), 308–343. MR3351966
[Mcc17] Jon Mccammond, The mysterious geometry of Artin groups, Preprint
available
at
http://web.math.ucsb.edu/~jon.mccammond/papers/
mysterious-geometry.pdf (2017).
[MSW11] Lee Mosher, Michah Sageev, and Kevin Whyte, Quasi-actions on trees II:
Finite depth Bass-Serre trees, Mem. Amer. Math. Soc. 214 (2011), no. 1008,
vi+105. MR2867450
[OS17] Alexander Yu. Olshanskii and Mark V. Sapir, On flat submaps of maps of
non-positive curvature, preprint arXiv:1702.08205 (2017).
[Par02] Luis Paris, Artin monoids inject in their groups, Comment. Math. Helv. 77
(2002), no. 3, 609–637. MR1933791

QUASI-EUCLIDEAN TILINGS AND THEIR APPLICATIONS

89

[Pei96] David Peifer, Artin groups of extra-large type are biautomatic, J. Pure Appl.
Algebra 110 (1996), no. 1, 15–56. MR1390670
[Pri86] Stephen J. Pride, On Tits’ conjecture and other questions concerning Artin
and generalized Artin groups, Invent. Math. 86 (1986), no. 2, 347–356.
MR856848
[vdL83] Harm van der Lek, The homotopy type of complex hyperplane complements,
1983.
[Wor06] Kevin Wortman, Quasiflats with holes in reductive groups, Algebr. Geom.
Topol. 6 (2006), 91–117. MR2199455
[Yan16] Wenyuan Yang, Statistically convex-cocompact actions of groups with contracting elements, preprint arXiv:1612.03648 (2016).
[Zee64] Erik Christopher Zeeman, Relative simplicial approximation, Proc. Cambridge
Philos. Soc. 60 (1964), 39–43. MR0158403
Max Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, Germany
E-mail address: jingyin@mpim-bonn.mpg.de
Instytut Matematyczny, Uniwersytet Wroclawski, pl. Grunwaldzki 2/4,
50–384 Wroclaw, Poland
Institute of Mathematics, Polish Academy of Sciences, Śniadeckich 8, 00656 Warszawa, Poland
E-mail address: dosaj@math.uni.wroc.pl

