arXiv:1706.08019v2 [] 29 Jun 2017

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC
ADAM WILKS

Abstract. We show that the (2,4,5) triangle Coxeter group is not systolic.

Contents
1. Introduction
1.1. Organisation
2. Systolic Spaces and Edge Types
3. Proving Theorem 2.7
4. Base Case
5. Induction Step
6. Edge Types Between Cliques
7. Showing The Cliques are Pairwise Adjacent
8. Finding cycles in the (5,4) Pentagonal Tiling
References

1
2
2
4
4
19
30
33
35
40

1. Introduction
We begin with the definition of a systolic complex, introduced and studied independently by Haglund [4] and Januszkiewicz–Świa̧tkowski [5]. The 1–skeleta of
systolic complexes were studied even earlier by Chepoi and other under the name
of bridged graphs (see [1]). A simplicial complex X is flag if any clique in X spans
a simplex of X. A subcomplex K of X is full if any simplex of X spanned by
vertices in K, also is contained in K. A flag simplicial complex X is k-large, if
there are no embedded cycles of length less than k and greater than 3 which are
full subcomplexes of X. A simplicial complex X is systolic if it is connected, simply
connected, flag, and 6-large. A group is systolic if it acts geometrically, ie properly
and cocompactly, by simplicial automorphisms on some systolic complex X.
Our paper produces one of the few examples of a hyperbolic group that is not
systolic. Previously, the only known obstruction for hyperbolic groups to be systolic was given by Januszkiewicz and Świa̧tkowski (see [6]). In their paper they
introduced filling invariants that excluded some groups from being systolic. We
cannot use their techniques, instead the main tools we use are the systolic fixed
point theorem, Chepoi–Osajda [2] , and the systolic Projection Lemma, first shown
by Januszkiewicz and Świa̧tkowski in [5].
Our example comes from the class of triangle Coxeter groups, which are groups
of the form
W “ xr, s, t|r2 “ s2 “ t2 “ prsqk “ pstql “ ptrqm “ 1y
1

2

ADAM WILKS

where the exponents k, l, m ě 2. Previously Przytycki and Schwer in [8] showed
that all triangle Coxeter groups were systolic, except for those with exponents
p2, 4, 4q, p2, 4, 5q, and p2, 5, 5q. The group with exponents p2, 4, 4q was shown to
not be systolic using the flat torus theorem following the proof of Theorem 4.1 in
[3], but whether the groups with exponents p2, 4, 5q and p2, 5, 5q are systolic was
left open. Our paper deals, in particular, with the triangle Coxeter group with
exponents p2, 4, 5q, but we believe our techniques can be adapted to handle the
remaining group as well. For the rest of the paper we refer to the triangle Coxeter
group with exponents p2, 4, 5q by W and we will fix the presentation as
W “ xr, s, t|r2 “ s2 “ t2 “ prsq4 “ pstq5 “ ptrq2 y.
Our main result is the following theorem.
Theorem 1.1. W is not systolic.
A crucial intermediary step that is needed in the proof of Theorem 1.1 is a
strengthened version of the fixed point theorem for W .
Theorem 1.2. If W acts geometrically by simplicial automorphisms on a systolic
complex X, then there exist simplices A, B, C of X such that A is fixed by xr, sy, B
is fixed by xs, ty, C is fixed by xt, ry, and A X B X C ‰ H.
1.1. Organisation. Preliminary definitions, notation, and lemmas are given in
Section 2. The outline of the proof of Theorem 1.2 is given in Section 3 with the
details being filled in by Sections 4 and 5. The proof of Theorem 1.1 is given in
Section 6, postponing the proofs of some of the intermediary results to Sections 7–8.
2. Systolic Spaces and Edge Types
Notation 2.1. From now on all actions are implied to be by simplicial automorphisms.
Definition 2.2. Suppose G is a group, X is a systolic space, and that G acts on
X. An edge in X is a pair of 0–cells (not necessarily adjacent). The edge type of
the edge pu, vq is the G´orbit Gpu, vq. We say that the edge pu, vq is contained in
X if u and v are adjacent in X. We say that the edge type of pu, vq is contained in
X if every edge in the edge type of pu, vq is contained in X.
In Defintion 2.2 since the action of G is simplicial if some edge pu, vq is contained
in X then all the edges in the edge type of pu, vq are contained in X. For this reason
when we say pu, vq is contained in X, the reader should take this to mean that both
the edge pu, vq is contained in X and that the edge type of pu, vq is contained in X.
For convenience we say that pv, vq is contained in X for all v P X 0 .
Definition 2.3. An n-cycle is a sequence of vertices in X of length n. We say
that X contains the n-cycle, v1 , . . . , vn if X contains the edge types pvi , vi`1 q for
i ă n and the edge type pvn , v1 q. For an n-cycle γ we say that a side of γ is
an edge between consecutive vertices in γ and a diagonal of γ is an edge between
nonconsecutive vertices in γ. An n-cycle type is the G–orbit of an n-cycle.
Remark 2.4. Suppose X is a systolic complex. Since X is a 6-large complex, if
X contains a 4-cycle or a 5-cycle C, then X contains one of the diagonals of C.
This remarks is still true if the cycle is not embedded in X. For instance if two
consecutive vertices in a 4 or 5 cycle γ are equal then some of the sides of γ are
also diagonals, so the remark is trivially true.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

3

Definition 2.5. Let S be a triangulated surface with boundary. For v P S 0 let
=pvq denote the number of 2-cells containing v. If v is in the interior of S we say
v has curvature κpvq “ 6 ´ =pvq. If v is on the boundary of S then we say that v
has boundary curvature κB pvq “ 3 ´ =pvq.
Lemma 2.6. (Gauss–Bonnet Theorem) If S is a compact triangulated surface, then
ÿ
ÿ
6χpSq “
κB pvq `
κpvq
vPBS

vPIntS

As mentioned by the authors in the introduction for [3] a direct consequence of
Theorem C of their paper is the systolic fixed point theorem, stated now.
Theorem 2.7 (systolic fixed point theorem). Let G be a finite group acting on a
systolic complex X. Then there exists a simplex σ P X which is invariant under
the action of G.
We follow Definition 2.6 and Theorem 2.7 from [7] in giving a formulation of a
filling diagram and their existence in systolic complexes.
Definition 2.8. A simplicial complex X is locally k-large if the link of every vertex
in X is k-large.
Lemma 2.9. Suppose a simplicial complex X is k-large. Then X is locally k-large.
In particular a systolic complex is locally 6-large.
Definition 2.10. Let γ be a a cycle in a simplicial complex X. A filling diagram
for γ is a simplicial map f : D Ñ X, where D is a triangulated 2-disc, and f |BD
maps isomorphically onto γ. Fix a filling diagram f . We say f is minimal if D
consists of the least possible number of 2-simplices among filling diagrams for γ.
We say f is locally k-large if D is locally k-large as simplicial complex. We say f is
nondegenerate if f is injective on each simplex.
Theorem 2.11. Let γ be a cycle in a systolic complex X. Then we have the
following:
(1) there exists a filling diagram for γ,
(2) any minimal filling diagram for γ is simplicial, locally 6-large and nondegenerate
Remark 2.12. Suppose f : D Ñ X is a minimal filling diagram for a cycle in a
systolic complex X. Since D is locally 6-large for any v in the interior of D we have
that =pvq ě 6 and consequently κpvq ď 0.
We state a projection lemma for systolic space given by Lemma 7.9 (1) in [5].
Definition 2.13. Suppose X is a simplicial complex, σ is a simplex in X, and Y
is a subcomplex of X. The residue of σ in X, Respσ, Xq is the union of all the
simplices of X that contain σ.
Definition 2.14. A subcomplex Q in a simplicial complex X is convex if it is full
and given any geodesic path γ in the 1-skeleton of X, with both endpoints in Q,
the path γ is contained in Q. Obviously a 1–cell in X is convex.
Lemma 2.15 (Projection Lemma). Let X be a systolic simplicial complex, Q a
convex subcomplex in X, and n ě 1 a natural number. Then for any simplex ρ of
the sphere Sn pQ, Xq the intersection Bn´1 pQ, xq X Respρ, Xq is a single, nonempty
simplex of X.

4

ADAM WILKS

3. Proving Theorem 2.7
In this section we give an outline for proving Theorem 1.2. The main difficulties of the proof lie in the proof of the following propositions, which we prove in
subsequent sections.
Proposition 3.1. Suppose that W acts geometrically on a systolic complex X. If
there exist cliques A and B fixed by xs, ty and xr, sy, respectively, such that dpA, Bq “
1, then there exist cliques A1 and B 1 fixed by xs, ty and xr, sy, respectively, such that
A1 X B 1 ‰ H.
Proposition 3.2. Suppose that W acts geometrically on a systolic complex X. If
there exist cliques A and B fixed by xs, ty and xr, sy, respectively, such that dpA, Bq “
n, for n ě 2, then there exists cliques A1 and B 1 fixed by xs, ty and xr, sy, respectively,
such that dpA1 , B 1 q ă n.
With these two propositions we can prove Theorem 1.2 in the following way:
Proof of Theorem 1.2. By assumption we have that W acts on a systolic complex
X. By Theorem 2.7 there are cliques A and B fixed by the finite subgroups xs, ty
and xr, sy, respectively. We prove that there exists intersecting A1 and B 1 fixed by
xs, ty and xr, sy respectively by induction on dpA, Bq “ n. The base case for n “ 1
is Proposition 3.1 and the induction step is Proposition 3.2.
Now let v P A1 X B 1 and let C “ xr, tyv. By construction C is invariant under
xr, ty and intersects with A1 X B 1 , so for C to satisfy conditions of Theorem 1.2 all
that remains is to show that C is a clique. Since A1 and B 1 are cliques, we see that
v is adjacent or equal to rv and tv. Therefore X contains pv, rvq and pv, tvq, so
the vertices of C form a cycle γ contained in X. If γ is of length 1, 2, or 3 then
it has no diagonals so C is a clique. If γ is of length 4 and then by Remark 2.4 X
contains one of the diagonals of γ. Since both of the diagonals of γ are in the same
edge type, we get that both of the diagonals of γ are contained in X. Therefore C
is a clique.

4. Base Case
In this section we prove Proposition 3.1. In the first part of the section we prove
a number of structural lemmas used in the proof, which constitutes the second half
of the section.
Lemma 4.1. Suppose γ is a 6-cycle embedded in a systolic complex X. Then either
X contains a diagonal of γ or there exists v P X 0 adjacent to all the vertices of γ.
Proof. Suppose X does not contain a diagonal of γ. By Theorem 2.11, there exists
a filling diagram of γ. By Remark 2.12 every vertex in the interior of D has
nonpositive curvature. Therefore by Lemma 2.6
ÿ
κB pvq ě 6.
vPBD

Since X does not contain a diagonal of γ for every v P BD κB pvq ď 1. Combining
this fact with the inequality on the sum of the boundary curvatures we see that all
the boundary vertices have boundary curvature exactly 1. Therefore they are all
adjacent to a common vertex in D.


THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

5

Lemma 4.2. Suppose γ is an 8-cycle in a systolic complex X and f : D Ñ X is a
minimal filling diagram of γ. Then either D is isomorphic to the diagram P8 on the
left in Figure 4.1 or is isomorophic to the diagram P10 on the right in Figure 4.1
or some 0-cell on the boundary of D has curvature 2.

Figure 4.1. P8 and P10
Proof. Let the vertices of γ be labeled v0 , . . . , v7 . By Remark 2.12 every vertex in
the interior of D has nonpositive curvature. Therefore by Lemma 2.6 we have
ÿ
κB pvq ě 6.
vPBD

Suppose no 0-cell on the boundary of D has curvature 2. Then at least 6 of the
0-cells on the boundary of D have curvature 1. Let a and b be the remaining two
0-cells on the boundary of D, which do not necessarily have to have curvature 1.
We can assume up to relabeling that a “ v0 .
First suppose that b “ v1 . We see that all the 0-cells on the boundary of D are
adjacent to a common vertex. Therefore D “ P8 .
Now suppose b “ v2 . Then v2 , . . . , v7 , v0 are adjacent to a common 0-cell, say
w. Their configuration is shown in Figure 4.2 . We see that D contains the 4-cycle
v1 , v2 , w, v0 , so D must contain either pv2 , v0 q or pv1 , wq. If v2 is adjacent to v0
then v1 would have curvature 2 contradicting our assumption so v1 is adjacent to
w. Therefore D “ P8 .
Now suppose b “ v3 . Then v3 , v4 , v5 , v6 , v7 , v0 are adjacent to some common
vertex, say w, and v0 , v1 , v2 , v3 are connected to some common vertex, say x. If
w “ x then we are done otherwise their configuration is given by Figure 4.3 . We
see that D contains the 4-cycle v0 , x, v3 , w, therefore D contains pv0 , v3 q or px, wq.
In either case κpxq ą 0, which gives a contradiction.
Now suppose b “ v4 . Then v4 , v5 , v6 , v7 , v0 are connected to a common vertex,
say w, and v0 , v1 , v2 , v3 , v4 are connected to a common vertex, say x. If w “ x
then we are done, otherwise the configuration of D is given by Figure 4.4. We see
that D contains the 4-cycle v0 , x, v4 , w, so D contains either pv0 , v4 q or px, wq. If D
contains pv0 , v4 q then κpxq ą 0, which gives a contradiction. Therefore D contains
px, wq, so D “ P10 .

6

ADAM WILKS
v3

v2
v1

v4

v5

v0
v7

v6

Figure 4.2
v2
v1

v3
v4

x
w

v5

v0
v7

v6

Figure 4.3
v2

v3
x

v1

v4

w

v5

v0
v7

v6

Figure 4.4

Lemma 4.3. Suppose X is a systolic complex. Let D8 be the dihedral group with
presentation xa, b|pabq4 “ a2 “ b2 “ 1y and assume it acts on X. Let v P X and
assume that the cycle v, av, abv, abav, . . . , abababav is contained in X, call it O. If
any two non-consecutive vertices in the cycle O are adjacent, then O is a clique.
Proof. We use the labels 2, 3, 31, and 4 to respectively refer to the edge types pv, abvq,
pv, abavq, pv, babvq, and pv, ababvq. The labeling is shown in Figure 4.5. We use the
notation n ñ m to say that if X contains the edge type n then it needs to contain
the edge type m. We claim the following implications.
3 or 31 ñ 2 ñ 4 ñ 3 and 31

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC
v

v

av

av

v

7
av

2
bv
3
1

3

abv

abv

bv

abv

bav

abav

4
abav

bav
babv

bv

abav

bav

ababv

babv

Figure 4.5

babv

ababv

Figure 4.6

ababv

Figure 4.7

These implications finish the proof because given that X contains any edge type
all the other edge types are implied to also be contained by X. Now we prove each
implication individually.
Suppose that X contains 2. Then X contains the 4-cycle v, abv, ababv, bav shown
in Figure 4.6. The 4-cycle has diagonals in 4, so X contains 4.
Suppose X contains 4. Then X contains the 4-cycle v, av, babv, ababv, shown in
Figure 4.7. The 4-cycle has diagonals in 31 , so X contains 31 . Also, we see that X
contains the 4-cycle v, bv, abav, ababv, which has diagonals in 3, so X contains 3.
Suppose X contains 3. Then X contains the 4-cycle v, av, abv, abav, which has
diagonal in 2 so X contains 2. Now suppose that X contains 31 , then X contains
the 4-cycle v, bv, bav, babv, which has diagonals in 2, so X contains 2.

Lemma 4.4. Suppose X is a systolic complex. Let D10 be the dihedral group with
presentation xa, b|pabq5 “ a2 “ b2 “ 1y and assume it acts on X. Let v P X 0 and
assume that the 10-cycle v, av, abv, abav, . . . , pabq4 av is contained in X, call it O.
If any two non-consecutive vertices in the cycle O are adjacent then O is a clique.
Proof. We label the edge types pv, abvq, pv, abavq, pv, babvq, pv, ababvq, pv, ababavq as
2, 3, 31, 4, and 5. This labeling is shown in Figure 4.8.
v

av
2

bv

abv
3

31

4
5

bav

abav

ababv

babv
babav

ababav

Figure 4.8
Using the same notation as we did in the proof of the previous lemma we claim
the following implications hold,
3 or 31 ñ 2 ñ 4 ñ 5 ñ 3 and 31

8

ADAM WILKS
v

v

av

bv

bv

abv

abav

bav

babv

ababv
babav

abav

babv

ababav

bv

v

abav

ababv

babv
babav

ababav

Figure 4.12

ababav

Figure 4.11

av

v
abv

bav

ababv
babav

ababav

bv

abv

bav

abav

bav

Figure 4.10

av

abv

babv

ababv
babav

av

bv

abv

bav

Figure 4.9
v

v

av

av

bv

abav

abv

bav

abav

ababv

babv

ababv

babv
babav

ababav

Figure 4.13

babav

ababav

Figure 4.14

Suppose that X contains 3. Then X contains the 4-cycle v, abav, abv, av shown
in Figure 4.9, therefore contains one of its diagonals both of which are in 2. Now
suppose X contains 31 . Then X contains the 4-cycle v, babv, bav, bv, therefore it
contains one of its diagonal, both of which are in 2.
Suppose that X contains 2. Then X contains the 5-cycle v, abv, ababv, babav, bav
shown in Figure 4.10. All the cycle’s diagonals are in 4, so X contains 4.
Suppose X contains 4. Then X contains the 4-cycle v, ababv, ababav, bv shown
in Figure 4.11. X has to contain at least one of the 4-cycle’s diagonals and both
diagonals are in 5, so X contains 5.
Suppose X contains 5. Then X contains the 4-cycle v, av, babav, ababav shown
in Figure 4.12. This figure has diagonals in 4 so X contains 4. Therefore X contains
the 5-cycle v, av, abv, abav, ababv shown in Figure 4.13. Any triangulation of this
5-cycle contains an edge in 2, so X contains 2. Therefore X contains the 4-cycle
v, abv, babv, ababav, shown in Figure 4.14. The diagonals of the 4-cycle are in 31
therefore X contains 31 . Also X contains the 4-cycle v, abv, abav, ababav, which has
diagonals in 3 therefore X contains 3.

Lemma 4.5. Suppose X is a systolic complex and O is an 8-cycle embedded in
X. Suppose r and t are simplicial automorphisms of X, which reflect O over the

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

9

axes shown Figure 4.15. Then there cannot be a minimal filling diagram of O with
domain P10 .
w

tw
t

v

tv
r
trv

rv
rw

trw

Figure 4.15
Proof. Suppose there exists a minimal filling diagram f with domain P10 . We label
the internal vertices of P10 x and y as shown in Figure 4.16. We see that X contains
the 4-cycle ry, tv, x, v shown in Figure 4.17.
Suppose X contains pv, tvq one of the diagonals of the 4-cycle ry, tv, x, v. Then
we can construct a filling diagram of O by constructing a filling diagram of the
6-cycle v, tv, trv, rw, rw, rv and a filling diagram of the 4-cycle v, w, tw, tv. The
4-cycle has a diagonal, so has a filling diagram with a domain containing two 2cells. By Lemma 4.1 either X contains a diagonal of the 6-cycle or there is a vertex
adjacent to all the vertices in the 6-cycle. Either way we can produce a filling
diagram of the 6-cycle with a domain containing at most six 2-cells. Therefore we
can produce a filling diagram of O with a domain containing at most eight 2-cells
contradicting the minimality of f .
Suppose X contains px, ryq, the other diagonal of the 4-cycle ry, tv, x, v. By a
similar argument, we can show X contains py, rxq. Therefore X contains the 4cycle x, y, rx, ry, so X contains either px, rxq or py, ryq. Without loss of generality
assume X contains py, ryq if instead X contains px, rxq we can proceed similarly
(swapping x with y in the argument). Now we see that X contains the 4-cycle
y, rv, v, ry seen in Figure 4.18. Both of the cycle’s diagonals are in the edge type
py, vq, so X contains py, vq. Therefore X contains the 5-cycle y, v, w, tw, tv seen in
w

w

tw

w

tw

tw

w

tw

ry
x

v

tv

v

v

tv

x

y
rv

trv

rw

trw

Figure 4.16

rv

trv

ry
rw

trw

Figure 4.17

rv

y
rw

trw

Figure 4.18

tv

v

trv

rv

tv

trv

y
rw

trw

Figure 4.19

10

ADAM WILKS

sv
v

tv
v

w

tv
rv
rsrv

rv

rtv

rsv

rsrtv

rsv

rstv

rstv

Figure 4.20
Figure 4.21
Figure 4.19. Any 5-cycle in a systolic complex has a filling diagram with a domain
containing no more than three 2-cells. Therefore we can produce a filling diagram of
O with a domain containing no more than eight 2-cells contradicting the minimality
of f .

Lemma 4.6. Suppose X is a systolic complex, which W acts geometrically on. Let
v P X 0 and assume the 8-cycle O given by v, rv, rsv, . . . , rpsrq3 v is contained in X.
Then either O is a clique or there is a filling diagram f : P8 Ñ X of O.
Proof. If X contains a diagonal of O then by Lemma 4.3 O is a clique, so assume
not. Therefore by Lemma 4.2 we know there exists a minimal filling diagram of
O, f : D Ñ X, such that D “ P8 or P10 . However if D “ P10 then we can apply
Lemma 4.5 with w “ sv and t “ srs to get a contradiction. Therefore D “ P8 . 
Lemma 4.7. Suppose X is a systolic complex, which W acts on geometrically. Let
v P X 0 . Assume xs, tyv and xt, ryv are cliques. Then either xs, ryv is a clique or
there is some other vertex v 1 such that xs, ryv 1 , xt, ryv 1 , and xs, tyv 1 are cliques.
Proof. If X contains any diagonal of xs, ryv then by Lemma 4.3 xs, ryv is a clique.
Otherwise by Lemma 4.6 there exists a filling diagram of xs, ryv, f : P8 Ñ X. Let
w be the internal vertex in P8 . We see that X contains the 4-cycles w, rsrv, rstv, rv
and w, sv, tv, rv seen in Figure 4.20. These 4-cycles have psv, rvq and prsrv, rvq as
diagonals. If either of these edges are contained in X then by Lemma 4.3 xs, ryv
would be a clique. Therefore assume that the other two diagonals of these 4-cycles
are contained in X namely pw, tvq and pw, rstvq. Then X contains the 5-cycle
w, tv, tw, trsv, rstv shown in Figure 4.22. If X contains ptv, trsvq then by Lemma
4.3 xs, ryv is a clique, so assume not. Therefore X needs to contain either the
diagonal ptv, rstvq or pw, twq.
First assume that X contains ptv, rstvq. We claim that v 1 “ tv satisfies conditions
of lemma. The edge ptv, tsrvq is a diagonal of the 8-cycle xs, ryv 1 as seen in Figure
4.21. Therefore by Lemma 4.3 xs, ryv 1 is a clique. By assumption xs, tyv 1 and xr, tyv 1
are cliques so we are done.

trv

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

11

sv
v

tv

w
tw

rv
rsrv

rtv

rsv

rsrtv

trsv

rstv

Figure 4.22
1

1

0

1
0

0

0

1
1

1
1

0

Figure 4.23

1
0
1

1
1

0
1

0

Figure 4.24

Now assume that X does not contain ptv, rstvq so that X contains pw, twq. Then
we claim that v 1 “ w satisfies the conditions of the lemma. If w1 and w2 are two
0-cells in xr, syw then X contains the 4-cycle w1 , sv, w2 , rv. Therefore X contains
pw1 , w2 q, so xr, syw is a clique. The same argument that we used to show that X
contains pw, twq can be used to show that X contains psw, twq, which is a diagonal
of the 10-cycle xs, tyw so by Lemma 4.4 the 10-cycle is a clique. The 4-cycle xr, tyw
is trivially a clique. Therefore w “ v 1 satisfies the conditions of the lemma.

Lemma 4.8. Suppose X is a systolic complex, which W acts on geometrically. Let
v P X 0 . Suppose the 10-cycle O given by v, sv, stv, . . . , pstq4 sv, is contained in X.
Then there is some vertex w adjacent to every vertex of O or O is a clique.
Proof. If X contains any diagonal of xs, tyv, then xs, tyv is a clique by Lemma 4.4 so
assume not. We proceed by showing the existence of points adjacent to increasing
collections of consecutive points of xs, tyv.
First we show that there exists a w P X 0 adjacent to 5 consecutive points of the
10-cycle xs, tyv. By Theorem 2.11 there exists a minimal filling diagram of xs, tyv,
f : D Ñ X. By Remark 2.12 for any v PIntD, we have κpvq ď 0. This inequality

12

ADAM WILKS

1

1

0

1
0

0
1

1

1
0

1

1

0

0

0

0
1

1

1

1

Figure 4.26

Figure 4.25
together with Lemma 2.6 gives us that
ÿ
κB pvq ě 6.
vPBD

If 3 consecutive vertices on the boundary have curvature 1, then there is a vertex
adjacent to 5 consecutive 0-cells of the xs, tyv, so assume not. No boundary vertex
has curvature 2 because by assumption X contains no diagonals of xs, tyv. If any
boundary 0-cell has curvature less than 0, then the remaining 9 boundary 0-cells
would have curvature at least 7, however there is no valid configuration of curvatures
with the assumption that no 3 consecutive boundary vertices have curvature 1.
Therefore all boundary vertices have curvature 0 or 1. Up to symmetry there are
3 configurations of possible curvatures of the boundary vertices these are shown in
Figure 4.23, Figure 4.24, and Figure 4.25.
In Figure 4.23 and Figure 4.24 we see that the 4 internal vertices of the partial
configurations constitute 4-cycles contained in X. However, there is no way to triangulate these 4-cycles so that all the internal vertices have nonpositive curvature so
we get contradictions. The partial diagram in 4.25 is part of a unique minimal filling
diagram shown in Figure 4.26. Up to rotation this filling diagram can be labeled
as in Figure 4.27. We see that X contains the 4-cycle tx, tsv, z, tstsv which implies that X contains ptx, zq. Therefore X contains the 6-cycle γ “ tx, z, y, x, tz, tw
show in Figure 4.28. By Lemma 4.1 we see that there is a vertex adjacent to all
the vertices in γ or X contains a diagonal of γ.
First let us assume that there is a single vertex a adjacent to every vertex in γ.
Then X contains the 5-cycle a, tx, tv, v, x shown in Figure 4.29. If X contains px, tvq
or ptx, vq then x is adjacent to 5 consecutive vertices in the 10 cycle, so assume not.
Then X contains pa, vq and pa, tvq. By a symmetric argument X contains pa, ststvq
and pa, ststsvq. Then X contains the 4-cycle a, tv, tsv, z as seen in Figure 4.30. If
X contains pz, tvq then z is adjacent to 5 consecutive vertices so assume not. Then
X contains pa, tsvq. Then X contains the 5-cycle a, tsv, tstv, tstsv, ststsv and since
X does not contain any diagonals of the 10-cycle we have that X contains pa, tstvq
and pa, tstsvq. Therefore a is adjacent to more than 5 consecutive vertices of the
10-cycle so we are done.
Now assume that instead X contains some diagonal of γ. If X contains the diagonal px, txq then X contains the 4-cycle x, tx, tv, v. Both of its diagonals produce
a vertex adjacent to at least 5 consecutive vertices. By a symmetric argument if

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

sv
v

sv

stv
v

stsv

x

13

stv
stsv

x
tz
tw

y

w

tv

ststv

y

tv
tx

z
tsv
tstv

z

tsv

ststsv

ststsv
tstv

tstsv

ststv

tstsv

Figure 4.27

Figure 4.28

sv

sv

v

stv

a

tv

v

stsv

x

ststv

stv
stsv

a

tv

ststv

tx
z
tsv

ststsv
tstv

tstsv

Figure 4.29

tsv

ststsv
tstv

tstsv

Figure 4.30

X contains ptz, zq then we can produce a vertex adjacent to at least 5 consecutive
vertices, so assume X contains neither px, txq nor ptz, zq. If X contains px, zq then
X contains the 4-cycle x, z, tx, tz which has diagonals px, txq and pz, tzq, which are
by assumption not contained in X, so X does not contain px, zq. Now with our
assumptions X has to contain ptw, yq. So X contains the 5-cycle tw, sv, stv, stsv, y
shown in Figure 4.31. If either tw or y are adjacent to two additional vertices in
the 10-cycle we are done and if not X contains ptw, stvq and py, stvq. Then X contains the 5-cycle v, w, y, stv, sv shown in Figure 4.32. If X contains py, svq then y
is adjacent to 5 consecutive vertices and if not then X contains pw, svq and pw, stvq
making w adjacent to 5 consecutive vertices in the 10-cycle, so we are done.
Now assume there is some vertex w adjacent to 5 consecutive vertices of the
10-cycle as in Figure 4.33. Then X contains the 4-cycle w, sv, stw, tv show in
Figure 4.34. Therefore X contains pw, stwq. Therefore X contains the 5-cycle
w, stw, pstq2 w, pstq3 w, pstq4 w (see Figure 4.35). Therefore X contains pw, pstq2 wq.
Then X contains the 5-cycle w, pstq2 w, ststsv, tstsv, tstv, so X contains one of
pw, tstsvq or ppstq2 w, tstsvq showing that X contains a vertex adjacent to 6 consecutive vertices of the 10-cycle.
Now assume a vertex w is adjacent to 6 consecutive vertices as in Figure 4.36. X
contains the 4-cycle w, stv, stw, ststv therefore X contains pw, stwq. Therefore X

14

ADAM WILKS
sv

stv

sv

v

v

stsv
tw

ststv

tsv

tsv

tstsv

ststv

ststsv
tstv

tstsv

Figure 4.32

Figure 4.31
sv

stv

v

y

w

tv

ststsv
tstv

sv

stsv

y

tv

stv

sv

stv

v

stsv

stv

v

stsv

stsv

stw

tv

w

ststv

tsv

tv

Figure 4.33

v

v

stsv

ststv

tv

tsv

ststsv
tstsv

Figure 4.36

tv

ststv

tstsv

Figure 4.35
stv
stsv

w

ststw

ststv

tsv

ststsv
tstv

ststw

ststsv
tstv

tstsv

sv

stv

w

tsv

Figure 4.34

w

tstv

tv

ststsv
tstv

tstsv

sv

ststv

tsv

ststsv
tstv

w

tstsv

Figure 4.37

contains the 5-cycle w, stw, pstq2 w, pstq3 w, pst4 qw, pstq5 w so X contains pw, pstq2 wq.
Therefore X contains the 4-cycle w, pstq2 w, tsv, tv shown in Figure 4.37. Therefore
w is adjacent to 7 consecutive vertices of the 10-cycle.
Now assume a vertex w is adjacent to 7 consecutive vertices. The 4-cycle
w, sv, tw, tsv, w shows that X contains pw, twq. Then X contains the 4-cycle

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC
sv
v

sv

stv

ststv

tv

tw

tsv

ststsv
tstv

v

stsv

w

tstsv

Figure 4.38

15

stv
stsv

w

ststv

tv

tsv

ststsv
tstv

tstsv

Figure 4.39

w, tw, ststsv, ststv shown in Figure 4.38. Therefore w is adjacent to 8 consecutive vertices.
Now assume a vertex w is adjacent to 8 consecutive vertices as in Figure 4.39.
Then w, tsv, tstv, tstsv, ststsv is a 5-cycle, therefore w is adjacent to every vertex
of the 10-cycle.

Lemma 4.9. Suppose X is a systolic complex, which is acted on geometrically by
W . Let v P X 0 such that xr, syv and xt, ryv are cliques. Then either xs, tyv is a
clique or there is some other vertex v 1 such that xr, syv 1 , xt, ryv 1 , and xs, tyv 1 are
cliques.
Proof. If X contains any diagonal of xs, tyv then by Lemma 4.4 it is clique, so assume not. Then by Lemma 4.8 there is a vertex w adjacent to all the vertices of
xs, tyv. Then X contains the 4-cycles w, tv, tsrv, tstv and w, sv, rv, tv shown in Figure 4.40, which show that X contains pw, tsrvq and pw, rvq respectively. Therefore
X contains the 5-cycle w, rv, rw, trsv, tsrv seen in Figure 4.41. By assumption X
does not contain prv, trsvq, therefore X contains pw, rwq or prv, tsrvq.
First we deal with the case where X contains prv, tsrvq. Then we claim v 1 “ rv
satisfies the conditions of the lemma. It is already clear that xr, syv 1 and xt, ryv 1 are
cliques. Then since prv, tsrvq is a diagonal of the 10-cycle xs, tyv 1 by Lemma 4.3
xs, tyv 1 is a clique.
Now assume that X does not contain prv, tsrvq, then it needs to contain pw, rwq.
We claim that v 1 “ w satisfies the conditions of the lemma. If w1 and w2 are two
vertices of xs, tyv 1 , then since s and t fix xs, tyv we have that X contains the 4-cycle
w1 , v, w2 , stv, which shows that X contains pw1 , w2 q. Therefore xs, tyv 1 is a clique.
We can reuse the argument that showed that X contained pw, rwq to show that
X contains psw, rwq, which is a diagonal of the 8-cycle xr, syv 1 so by Lemma 4.3
xr, syv 1 is a clique. Then since xt, ryv 1 is trivially a clique we are done.

Now we are ready to prove the main result of this section Proposition 3.1.
Proof of Proposition 3.1. Let v and w be vetices of A and B, respectively, such
that dpv, wq “ dpA, Bq. Using the group action we infer the configuration of edges
in X shown in Figure 4.42.

16

ADAM WILKS

stv
stsv

stv
stsv

sv

sv
v
v

rv

rv
w

rw

w
tv
tv
tsv

trv

trv

tsv
trsv

trsv

tstv
tsrv

tsrv

Figure 4.41
Figure 4.40
B

A

w

tw

v

tv

rv

trv
rw

trw

Figure 4.42
Let C be the 8-cycle v, w, tw, tv, trv, trw, rw, rv as seen in Figure 4.42. We label
the edge types pv, rwq and pv, twq by 2 and 2’. We label the edge types pv, trvq
and pw, trwq by 4 and 4’.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

17

We proceed by proving a collection of implications involving conditions on X.
The implications are summarized in Figure 4.43. The condition given by P8 in
the figure is that C has a filling diagram with domain P8 . The conditions given
by edge labels are that X contains those edges. The arrows indicate that every
condition implies that X satisfies some condition further to the right in the figure
(not necessarily the condition at the head of an arrow).
By Lemma 4.2 there exists a minimal filling diagram f : D Ñ X of C, such
that D “ P8 , D “ P10 , or there is a vertex on the boundary of D with boundary
curvature 2. By Lemma 4.5 D ‰ P10 . Therefore in Figure 4.43 we know that either
X satisfies P8 or 2 or 21 . Therefore it is enough to show that every condition implies
that X satisfies a condition further to the right to show the proposition.
2 or 21 Ñ P8 Ñ 2 and 21 Ñ 4 or 41 Ñ pv, tvq or pw, rwq Ñ Prop 3.1
Figure 4.43
2 or 21 Ñ P8 :
Assume X contains 21 , the case where X contains 2 is handled similarly. We
see that X contains the 6-cycle v, tw, tv, trv, rw, rv. By Lemma 4.1 either there is
a vertex x adjacent to every vertex of the 6-cycle or X contains some diagonal of
the 6-cycle.
First assume X contains some diagonal of C. Any diagonal of C splits C into
cycles of length less than 5, which need to have triangulations since X is systolic, so
C has some triangulation in X. If X contains pv, rwq or ptw, trwq then X contains
2 and 2’ so assume not. If X contains prv, tvq or prv, trvq then we are done, so
assume X does not contain these edges. These assumption are shown in Figure
4.44. This allows for only one valid triangulation shown in Figure 4.45. Therefore
X contains prw, twq in edge type 41 .

w

tw

v

w

tv

w

tw

v

tv

tw

v

tv
x

rv

trv

rw

trw

Figure 4.44

rv

trv
rw

trw

Figure 4.45

rv

trv
rw

trw

Figure 4.46

Now assume there is a vertex x adjacent to all of the vertices in the 6-cycle as in
Figure 4.46. The 4-cycle x, v, w, tv has diagonals pw, xq and pv, tvq. If X contains
pv, tvq then the claim is true, so assume X instead contains pw, xq. The 4-cycle
x, trv, trw, rv has diagonals prv, trvq and px, trwq. If X contains prv, trvq then we
are done, so assume not, then X contains px, trwq. Now x is adjacent to every
vertex of C so P8 is a filling diagram of C.

18

ADAM WILKS

sx

sx
sw

sw
w

sv

sv

tw
tv

v

tsw
w
tw

tsv
tv

v

x

x

rv

rv
trv

rw

Figure 4.47

trw

trv

rw

trw

Figure 4.48

P8 Ñ 2 and 21 :
Assume X does not contain psx, xq, psv, tsvq, and psw, rswq. First assume for
contradiction that X does not contain 2. X contains the 4-cycle x, rv, sv, w shown
in Figure 4.47. By assumption X does not contain 2, so X must contain px, svq.
Therefore X contains the 5-cycle x, sv, sw, tsw, tsv as seen in Figure 4.48. By
assumption psv, tsvq is not contained in X, so X has to contain either px, swq or
px, tswq. Assume without loss of generality that X contains px, swq, if not then
we can let x1 “ sx and then apply the subsequent argument to x1 . Therefore
X contains the 5-cycle x, sw, sx, srv, rv shown in Figure 4.49. By assumption X
does not contain the diagonals psw, srvq and px, sxq. Therefore X must contain
the diagonal psw, rvq. Therefore X contains the 4-cycle rv, sw, w, srv which has
diagonals solely in 2 contradicting our assumption. Therefore X contains 2. To
show that X contains 21 we use a symmetric argument by swapping the labels (ie
replace v by w).
Now we deal with the case where X contains px, sxq. We claim that A1 “ xs, tyx
and B 1 “ xr, syx satisfy the proposition. To see that xt, ryx is a clique observe that
r and t fix C so every point in xr, tyx is adjacent to every point in C. Therefore if
v1 , v2 P xr, tyx then v1 , v, v2 , rw is a 4-cycle and by assumption X does not contain
pv, rwq so v1 and v2 are adjacent. Therefore xr, tyx is a clique. The points rx and tx
are adjacent to sx by the same argument that was used to show x was adjacent to
sx. Therefore by Lemma 4.3 and Lemma 4.4 the sets xt, ryx and xr, syx are cliques.
If X contains psv, tsvq, then we label sv as v 1 . Therefore xr, syv 1 is a clique fixed
by xr, sy at distance 1 from xs, tyw. We see that X contains the edge pv 1 , tv 1 q, so
we let v 1 take the place for v and we are done. A symmetric argument is used for
if X contains psw, rswq by switching the labels.
2 and 21 Ñ 4 or 41 :

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

19

sx
sw
tw

w

sv
srv

v

tv

x

rv

trv
rw

trw

Figure 4.49
X contains the 4-cycle v, tw, trv, rw as shown in Figure 4.50. X contains one
of its diagonals pv, trwq or prw, twq both of which imply that X contains an edge
between 0-cells at distance 4 in C.
4 or 41 Ñ pv, tvq or pw, rwq:
If X contains pv, trvq then X contains the 4-cycle v, trv, tv, rv shown in Figure 4.51 with diagonals in the edge type pv, tvq. Likewise if X contains pw, trwq
then X contains pw, rwq by a similar argument.

w

w

tw

tw

v

tv

v

tv

rv

trv

rv

trv

rw

rw

trw

Figure 4.50

trw

Figure 4.51

pv, tvq or pw, rwq Ñ Prop 3.1:
Follows directly from either Lemma 4.7 or Lemma 4.9.

5. Induction Step
In this section we prove Proposition 3.2.

20

ADAM WILKS

Proof of Proposition 3.2. We proceed by contradiction and assume that n is the
minimal distance between two cliques with the desired properties. Let v P A0 and
w P B 0 be chosen such that dpv, wq “ n.
Claim 5.1. There exists a minimal path P from v to w such that for all adjacent
0-cells a and b in P we have that a, sa, b, sb forms a clique.
Proof. We inductively construct the path P in the following way. We let v0 “ v.
Now we construct vi for 1 ď i ă n. Let Q be the edge spanned by w and sw, which
is a convex subcomplex of X. By the induction hypothesis we know that vk´1
and svk´1 span a 1–cell ρ in Sn´pk´1q pQq. By Lemma 2.15 Bn´k pQq X Respρ, Xq
is a nonempty simplex. Let vk be a 0-cell in this simplex. Since sQ “ Q and
sρ “ ρ, we see that svk P Bn´k pQq X Respρ, Xq, therefore vk and svk are adjacent.
Therefore vk´1 , svk´1 , svk , vk is a 4-cycle, therefore X contains pvk´1 , svk q making
vk´1 , svk´1 , svk , vk a clique, thus finishing the proof.

Claim 5.2. For any P satisfying the conditions of Claim 5.1, then P is disjoint
from tP and rP .
Proof. Suppose not. In particular suppose that rP intersects with P (the case
where tP intersects P is handled similarly). We pick a vertex x P P X rP . Since
A “ rA and the action of W is distance preserving we see that dpA, xq “ dpA, rxq.
It is easy to see that rx P P as well therefore since P is a minimal path it contains
one vertex at distance dpA, xq “ dpA, rxq from A therefore x “ rx.
Therefore by Lemma 4.3 xr, syx is a clique. This contradicts the minimality of
n.

Let P be a minimal path satisfying the conditions of Claim 5.1. We can concatenate the paths P, tP, rP, andrP to form a cycle γ. Let f : D Ñ X be a minimal
filling diagram of γ, which we know exists by Theorem 2.11. We say the total
boundary curvature of f is the sum of the curvature of all its boundary 0-cells given
explicitly by the formula
ÿ
κB pvq.
vPBD

We now need a claim about the structure of γ.
We pick A, B, v, w, P, then f to minimize the number of 2 ´ cells in D, and
secondly to minimize the total boundary curvature of f .
We can partition the vertices in BD into 8 sets. For n odd the partitioning is
shown in Figure 5.3 and for n even the partition is shown Figure 5.2. We now
make two claims concerning the sums of boundary curvatures of these sets, which
we prove later in the section.
Claim 5.3. For all 1 ď i ď 4, either the following inequality holds,
ÿ
κB pvq ď 1
vPEi
1

1

1

1

1

or we can pick A , B , v , w , P , then f 1 that satisfy our minimality assumption such
that the inequality holds and such that all vertices in C have the same boundary
curvature in f as f 1 except for a and d (labels shown in Figure 5.1) with the
boundary curvature of d being decreased by 1 and the boundary curvature of a
being increased by 1.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

21

Ei
a

d
b

c

Figure 5.1
Claim 5.4. For all 1 ď i ď 4, the following inequality holds,
ÿ
κB pvq ď 0.
vPFi

For n ě 3 we can apply Claim 5.3 for all Ei and then apply Claim 5.4 for all
Fi and we see that the total boundary curvature of the resultant filling diagram
satisfies
4 ÿ
4 ÿ
ÿ
ÿ
ÿ
κB pvq ď 4 ¨ 1 ` 4 ¨ 0 ă 6
κB pvq `
κB pvq “
i“1 vPFi

i“1 vPEi

vPBD

which contradicts Lemma 2.6.
For n “ 3 the Fi are empty, so when we apply Claim 5.3 to Ei in the resulting
f the boundary curvature of a vertex in Ei`1 (with the index taken mod 4) may
be increased by 1. To deal with this obstruction we iteratively apply Claim 5.3 to
E1 then E2 then E3 giving us a filling diagram f . We also observe that since in
Claim 5.3 we only decrease the curvature by 1 of a single vertex in the new filling
diagram, we observe that the sum of boundary curvatures of vertices in E4 is at
most 2. Therefore the choice of f satisfies
ÿ
vPBD

κB pvq “

3 ÿ
ÿ
i“1 vPEi

κB pvq `

ÿ

κB pvq ď 3 ¨ 1 ` 2 “ 5 ă 6,

vPE4

which contradicts Lemma 2.6.
The next few claims are concerned with proving Claim 5.4.
Claim 5.5. If a, b, c P P are 0-cells distinct from v and w with a common neighbor
d P D. Then X cannot contain pd, saq as shown in Figure 5.4. This claim is
true for any minimal filling diagram f , not necessarily satisfying our assumption to
minimize the total boundary curvature.
Proof. If X contains the edge pc, saq or psc, saq then our minimality assumption is
contradicted. If X contains pd, sdq then we can replace b in the path P by d yielding
a new path P 1 and a new filling diagram f 1 with fewer 2 cells, contradicting our
minimality assumption. Therefore there is no valid triangulation of the 5-cycle
d, sa, sd, sc, c, which gives a contradiction.

Claim 5.6. There are no two consecutive vertices in the interior of P, tP, rP, or trP
with boundary curvatures 1 and 0. In particular this shows that any consecutive
set of vertices in the interior of P, tP, rP or trP of an even cardinality has at most
curvature 0, thus proving Claim 5.4.

22

ADAM WILKS
E3
rtv

F2

tv

tv

rtv

F3

F2

E3
F3
tw

rtw
E4

rw

E4

E2

rw

w
F4

tw

rtw
E2

w
F1

F4

F1

E1

E1
v

rv

rv

Figure 5.2

v

Figure 5.3

d

c

sc

b

sb

a

sa

sd

Figure 5.4
w3

b

w2

w1

sw3

sw2
sw1
sa

a

w0

sb

sw0

Figure 5.5
Proof. Assume there are two consecutive vertices with curvature 1 and 0 as in Figure 5.5. By Claim 5.5 we know that X cannot contain pa, sw2 q. If X contains
pw3 , w1 q then P is not a minimal path between v and w, contradicting our assumption. Since X contains the 5-cycle a, w1 , sw2 , w3 , b and does not contain pa, sw2 q
or pw3 , w1 q, X must contain pb, sw2 q. X contains the 4-cycle a, w2 , sw1 , w0 so must

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

23

a
c
rb
sc

b
rv
rsv

sb

v
sv

Figure 5.6
contain pa, sw1 q. Therefore X contains the 4-cycles b, sw2 , w1 , a and b, sw2 , sw1 , a,
which imply that X contains pb, w1 q and pb, sw1 q respectively. Therefore X contains
the 5-cycle b, sw1 , sb, sw3 , w3 , which implies the that X contains pb, sbq. Then we
can replace w2 in P with P yielding a new path P 1 and a filling diagram f 1 with
fewer 2-cells, contradicting our minimality assumption.

The next few claims are used to show Claim 5.3. In the claims we look at the
possible configurations of the boundary curvatures of the vertices of an Ei that
sum to at least 2. In each case we show that the resulting filling diagram satisfies
the conditions of Claim 5.3. We now list the possible assignments of boundary
curvature of b, c, and d (with labels taken from Figure 5.1) where the sum of their
curvatures is at least 2. We give each possible assignment as a string of digits
with the digits refering to the boundary curvature of b, c, and d respectively. The
configurations are: 111, 110, 101, 011, 211, 210, 201, 200, 21 ´ 1, 2 ´ 11, 120, 020, and
12 ´ 1.
Remark 5.7. There is no filling diagram that satisifies our minimality assumption
such the curvatures of b, c, and d are given by any string of the form ˚21, where ˚
represents any digit.
Claim 5.8. For this following claim we do not assume that f was chosen to minimize total boundary curvature. The vertices rv, v,and b, do not have curvature 1, 1
and 1 as seen in Figure 5.6.
Proof. First assume that X does not contain prb, bq. We see that X contains the
5-cycle b, a, rb, rsv, sv. X cannot contain pa, svq by Claim 5.5. So X must contain prsv, bq. Then X contains the 4-cycle rb, sv, b, a, but X does not contain a
triangulation of this 4-cycle so we have a contradiction.
Now we assume that X contains prb, bq. Then X contains the 4-cycle rb, b, sv, rsv,
so X contains prb, svq. Also X contains the 4-cycle pa, v, sb, cq and since X cannot
contain pv, cq by the minimality of P we see that X contains pa, sbq. Therefore X
contains the 4-cycle a, sb, sv, rb, so X must contain prb, sbq. The edge prb, sbq is
a diagonal of the 8-cycle xr, syb, so by Lemma 4.3, we see that xr, syb is a clique.
Then the fact that b is closer to w than v contradicts the minimality of P .

Remark 5.9. The previous claim still holds if instead of focusing on the boundary
curvatures of v, rv, we instead worked with the 0-cells w and tw. The proof is

24

ADAM WILKS
c

c

d

a

d

a
sd

sd
b

b
rv

sb

v

rv
sc

sv

sb

v

sc

sv

sa

sa
srv

Figure 5.7
c

Figure 5.8
c

d

a

d

a
sd

sd

b
rv

b
sb

v

rv
sc

sv

sb

v

sc

sv

sa

sa

srv

Figure 5.9

Figure 5.10

identical aside from the fact that instead of applying Lemma 4.3 to show the 8cycle is a clique, we would instead apply Lemma 4.4 to show a 10-cycle is a clique.
Therefore we can apply this claim to any Ei . This remark is true for the subsequent
claims as well.
Claim 5.10. The 0-cells rv, v, b cannot have boundary curvatures 1, 1, and 0 as in
Figure 5.7.
Proof. First we observe that X cannot contain the edge prv, bq because if we replace pa, vq with prv, bq we obtain a filling diagram with a smaller total boundary
curvature contradicting our minimality assumption.
We first deal with the case where X contains the edge pa, sbq. Then X contains
the 5-cycle a, sb, sa, srv, rv shown in Figure 5.8. Since X does not contain prv, bq “
psb, srvq either X contains pa, saq or X contains psa, rvq. However if X contains
psa, rvq, then it contains the 4-cycle sa, b, a, rv shown in Figure 5.9, which implies
that X contains pa, saq. Therefore X must contain pa, saq.
Next we observe that since X contains the 4-cycle a, rv, ra, b, we get that X
contains pa, raq. Therefore xr, sya is a 8-cycle. The argument we used to show that

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

c

c

d

a

25

d

a
sd

sd

b
rv

b
sb

v

rv
sc

sv

sb

v

sc

sv

sa

sa

srv

srv

Figure 5.11

Figure 5.12

a

a

rb

b

rv

v

rb

b

rv
sv

Figure 5.13

v
sv

Figure 5.14

a is adjacent to sa did not use the fact that sa is adjacent to sc, therefore we can use
this argument to show that a is adjacent to sra as well. Therefore by Lemma 4.3
xr, sya is a clique Now we can replace the clique A by the clique xr, sya and the new
cycle γ allows for a filling diagram with fewer 2-cells yielding a contradiction.
Now assume instead X does not contain pa, sbq. X contains the 4-cycle rv, a, b, sv
seen in Figure 5.10. Therefore X must contain pa, svq. Next we observe that X contains the 5-cycle a, v, sb, d, c shown in Figure 5.11. Since X does not contain pa, sbq
and since X does not contain pv, dq by the minimality of P , we see that X must
contain pv, cq. X also contains the 5-cycle a, sv, sb, d, c, which by a similar argument shows that X contains psv, cq. Therefore X contains the 5-cycle c, v, sc, sd, d
shown in Figure 5.12. By the minimality of P , X cannot contain pv, dq or pv, sdq.
Therefore X must contain pc, scq, but then we can replace b in P with c producing
a new cycle γ admitting a filling diagram with fewer interior 2-cells, contradicting
our minimality assumption.

Claim 5.11. The 0-cells rv, v, and b cannot have curvatures 0, 2 and 0 as seen in
Figure 5.13.

26

ADAM WILKS
d

a
rb

b

sd
sb

v

rv

sv

Figure 5.15
c

d

a
rb

b

rv

sd
sb

v
sv

sc
sa

Figure 5.16
Proof. X contains the 4-cycle rb, a, b, v shown in Figure 5.14. If X contains the
edge pa, vq, then the 0-cells rv,v and b have curvature 1, so we apply the result
from Claim 5.8 to get a contradiction. Otherwise X contains prb, bq. However if we
replace pa, rvq in the filling diagram with prb, bq we decrease the curvature of the
boundary vertices by 1, contradicting that the filling diagram was constructed to
minimize the boundary curvature.

Claim 5.12. The 0-cells rv, v and b cannot have curvatures 2, 0, and 1 as in Figure 5.15.
Proof. If X contains pa, rvq then rv, v, and b have curvature 1, which contradicts
Claim 5.8. If X contains prb, bq then we can replace pa, rvq in the filling diagram f
with prb, bq reducing the total boundary curvature giving a contradiction. Therefore
there is no triangulation of the 4-cycle a, b, rv, rb, proving the claim.

Claim 5.13. If the 0-cells rv, v, b cannot have curvatures 2, 0 and 0 as seen in
Figure 5.16 then there is a minimal filling diagram of γ that satisfies our minimality
assumption such that rv, v, b have curvatures 0, 2, and -1, the curvature of rb is
increased by 1, and the other vertices in γ have the same curvature as in f .

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

d

d
a

a
sd

c
rv

27

sc

v

sd

c
rv

sc

v

sv

sv

srv

srv

Figure 5.18

Figure 5.17

d
rc
sd

c
rv

sc

v
sv
srv

Figure 5.19
Proof. We see that X contains the 4-cycle rb, rv, b, a. X cannot contain prb, bq
because this would contradict our minimality assumption, therefore X contains
prv, aq. Therefore we construct f 1 an alternate filling diagram by removing prb, vq
and pa, vq from f and replacing them by the 1-cells pa, rvq and prv, bq. f 1 satisfies
the conditions of claim so we are done.

Claim 5.14. The 0-cells v and c cannot have curvatures 1 and 1 as in Figure 5.17.
As consequence the 0-cells rv, v and c cannot have curvatures 0, 1 and 1 or 2, 1, and
1.
Proof. First we notice that X cannot contain prv, cq since if it did we could replace
the 1-cell pv, aq with prv, cq in the filling diagram to produce a filling diagram with
less curvature in the boundary producing a contradiction. We see that X contains
the 4-cycle rv, a, c, sv shown in Figure 5.18, so X must contain pa, svq, but this
gives a contradiction by Claim 5.5.

Claim 5.15. The 0-cells rv, v and c cannot have curvatures 1, 2, and 0 shown in
Figure 5.19.

28

ADAM WILKS
d
d

a

b

sd

c
rv

a

b

sd

c

sc

v
sv

sa

srv

sb

rv

sc

v
sv

sa

srv

sb

Figure 5.21

Figure 5.20

c

a
rb

b
sc
rv

rsv

v

sb
sv

Figure 5.22
Proof. We can replace the 1-cells with ends c and rv in f with the 1-cell with ends
v and rc. In the resulting filling diagram rv, v and c have curvatures 2, 1, and 1
contradicting Claim 5.14.

Claim 5.16. The 0-cells rv, v and c cannot have curvatures 1, 0 and 1 as in Figure 5.20.
Proof. If X contains the prv, aq then we can construct a filling diagram with an
equal number of 2-cells and equal curvature in the boundary such that rv, v an c
have curvatures 0, 1 and 1 so we can apply Claim 5.14 to get a contradiction. If
X contains pa, svq then applying Claim 5.5 gives a contradiction. If X contains
pb, cq then we can produce a filling diagram with an equal number of 2-cells and
boundary curvature such that rv, v and c have curvatures 1, 1 and 0 so we can
apply Claim 5.10 to get a contradiction. Therefore the 5-cycle a, b, rv, sv, c shown
in Figure 5.21 has no valid triangulation so we get a contradiction.

Claim 5.17. The 0-cells rv, v, and b cannot have curvatures 1, 2 and ´1 as seen
in Figure 5.22.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

29

1
aa11

c

a
rb
b

rv

c

a

v

sc

sb

rb

b

rv

sv

Figure 5.23

v

sc
sb

sv

Figure 5.24

Proof. First we see that if X contains prb, sbq then by Lemma 4.3, we have that
xr, syb is a clique, which contradicts our minimality assumption. Also X cannot
contain pv, cq by the minimality of P . Therefore since X contains the 5-cycle
sb, c, a, rb, v we have that X contains pa, sbq.
Since X contains the 4-cycle rb, b, sv, rsv we see that X contains prb, svq. Therefore X contains the 4-cycle rb, sv, sb, a, which implies that X contains psv, aq, however this produces a contradiction by Claim 5.5.

Claim 5.18. The rv, v, and b cannot have curvatures 2, 1 and 0 as seen in Figure 5.23.
Proof. We can produce the filling diagram f 1 by replacing the 1-cell prb, vq in f with
prv, bq. f 1 satisfies our minimality assumption and the conditions of Claim 5.17,
therefore we get a contradiction.

Claim 5.19. If rv, v and b have curvatures 2, 1 and ´1 as in Figure 5.24, then
there is a filling diagram f 1 that satisfies our minimality assumption and such that
rv, v and b have curvatures 1, 2 and ´2, the curvature of rb is increased by 1, and
all the other vertices of γ have the same boundary curvature as they do in f .
Proof. To obtain f 1 we replace the 1-cell prb, vq with prv, bq.



Claim 5.20. If the curvatures of rv, v and a are 2, ´1 and 1 as in Figure 5.25 ,
then γ admits a filling diagram f 1 that satisfies our minimality assumption such
that the sum of the curvatures of rv, v and a is 1, the curvature of e is increased
by 1, and all other 0-cells in γ have the same boundary curvature as they do in f .
Proof. If X contains pe, cq then we can replace the 1-cell pb, vq with pe, cq in f to get
a filling diagram that satisfies our minimality assumption and the assumptions of
Claim 5.12, giving a contradiction, so X cannot contain pe, cq. If X contains pe, aq
then we can produce a valid filling diagram with a lower total boundary curvature
than f contradicting our minimality assumption, so X does not contain pe, aq. If
X contains pa, bq then we can replace the 1-cell pv, cq in f with pa, bq to get a filling
diagram that satisfies the conditions of Claim 5.13, which would prove this claim,

30

ADAM WILKS

c

b

c

b
d

e

d
e

a
rv

v

a
sa

rv

sv

Figure 5.25

v

sa
sv

Figure 5.26

so instead assume X does not contain pa, bq. Then since X contains the 5-cycle
a, c, b, e, rv, we see that X contains prv, bq and prv, cq. Then we can produce the
filling diagram f 1 which agrees with f everywhere except for the changes shown in
Figure 5.26 and f 1 satisfies the claim so we are done.

Now we can prove Claim 5.3.
Proof of Claim 5.3. All the combinations of boundary curvatures of the three vertices of each Ei that sum up to more than 1 have been show to adhere to the
restrictions in Claim 5.3 by the previous claims.



6. Edge Types Between Cliques
In this section we give a proof of Theorem 1.1. We introduce Theorems 6.4 6.5,
which will guarantee that W cannot act geometrically on any systolic complex X
containing specific subcomplexes. The formalism of Definitions 6.1 and 6.9 allows
us to construct a way of applying Theorems 6.4 6.5 to a more general class of
systolic complexes through a procedure described in Lemma 6.10.
Definition 6.1. Suppose Y is a simplicial complex acted on by a group G. We
say the the edge type E is elementarily implied from a set of edge types E by a
γ
cycle γ or that E ÞÝ
Ñ E if there is a 4-cycle or 5-cycle γ, such that the sides of γ are
contained in E and the diagonals of γ are all in the edge type E. We say that the
edge type E is chain implied from a set of edge types E by a sequence of cycles pγi q
pγi q

or that E ùùñ E if there exists a sequence of sets of edge types E “ E0 , . . . , En and
a sequence of edge types E0 , . . . , En “ E such that for i ě 1, Ei “ Ei´1 Y tEi´1 u
and Ei is elementarily implied from Ei by γi .
Remark 6.2. By Remark 2.4, if X is a systolic complex and E is any subset of
the edge types contained in X then any edge type E that is chain implied by E is
in fact contained in X.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

31

FixD8

FixD4

FixD10

rFixD10

tFixD8

Figure 6.1
Notation 6.3. We identify the following subgroups of W with their names as
groups:
xr, sy “ D8
xs.ty “ D10
xt, ry “ D4
Let Y be the 1-skeleton of the Coxeter complex of W . The subgroups D8 , D10 ,
and D4 each fix unique vertices of Y , which together span a clique in Y . We label
the vertices fixed by D8 , D10 , and D4 as FixD8 , FixD10 , and FixD4 (see Figure 6.1).
Theorem 6.4. Let Y be the 1-skeleton of the Coxeter complex of W . Let E be the
set consisting of only one edge type (FixD8 , tFixD8 ). For any n ą 0 there exists
an edge type E chain implied by E between vertices of at least distance n apart in
Y.
The proof of Theorem 6.4 is given in Section 8.
Theorem 6.5. Let Y be the 1-skeleton of the Coxeter complex of W . Let E be
the set consisting of only one edge type (FixD10 , rFixD10 ). Then for any n ą 0,
there exists an edge type E chain implied by E between vertices of at least distance
n apart in Y .
The proof of Theorem 6.5 is omitted for thesis and will be prepared for the
forthcoming publication.
Definition 6.6. Let X be a simplicial complex and let G be a group acting on
X. Let A and B be cliques in X 1 . Then we say X contains the edge pA, Bq or,
equivalently, that A and B are adjacent if A Y B is a clique in X 1 . Also, as with
our notation for edges between 0-cells, we say X contains the edge type pA, Bq if
gA and gB are adjacent for all g P G.
Lemma 6.7. Suppose X is a systolic complex acted on by W . Let v P X 0 and
suppose D8 v, D10 v, and D4 v are cliques then they are pairwise adjacent in X.

32

ADAM WILKS

The proof of the Lemma 6.7 will be given in Section 7. Directly following from
Theorem 1.2 and Lemma 6.7 we get the following result.
Corollary 6.8. Suppose X is a systolic complex acted on geometrically by W .
Then there exists v P X 0 such that D8 v, D10 v, and D4 v are pairwise adjacent
cliques.
Proof. By Theorem 1.2 there exists cliques A, B, and C fixed respectively by D8 ,
D10 , and D4 and v P A X B X C. Then D8 v Ă A, D10 v Ă B, and D4 v Ă C so all are
cliques. Therefore by Lemma 6.7 D8 v, D10 v, and D4 v are pairwise adjacent.

Definition 6.9. Suppose X is a systolic complex, which is acted on geometrically
by W . Let Y be the 1-skeleton of the Coxeter complex of W . By Corollary 6.8 there
exists v P X 0 such that D8 v, D10 v, and D4 v are pairwise adjacent. We identify
vertices in Y with some cliques in X by identifying FixD8 , FixD10 , and FixD4
with D8 v, D10 v, and D4 v. We then extend the identification to all the vertices of
Y using the group action. This identification also gives an identification between
edge types of Y according to Definition 2.2 with some edge types between cliques
of X according to Definition 6.6. We note that the identification depends on the
choice of v P X 0 , which we call the root of the identification.
Lemma 6.10. Suppose X is a simplicial complex acted on geometrically by W .
Let Y be the 1-skeleton of the Coxeter complex of W . Suppose X contains the set
of edge types E and E chain implies E in Y . Then X contains E.
Proof. We prove the Lemma for elementary implications. Since chain implications
are composed of finitely many elementary implications we can just recursively apply
our proof to expand our result to all chain implications.
If E is elementarily implied by E in Y , then there exists a cycle γ in Y with
length 4 or 5 such that the sides of γ are in E and the diagonals are in E.
First suppose γ has length 4. We label the vertices of γ by a, b, c, d and the
corresponding cliques in X by A, B, C, D. We suppose for contradiction that X
does not contain some edge pv, wq, where v P A and w P C. By assumption pa, cq
and pb, dq are in E so there exists g P W such that gpa, cq “ pb, dq. Therefore
gpv, wq has ends in B and D. We see that X contains the 4-cycle v, gw, w, gv, but
by assumption both the diagonals of this 4-cycle are not contained in X so we get
a contradiction.
Now suppose γ has length 5. We label the vertices of γ by a, b, c, d, e and the
corresponding cliques in X by A, B, C, D, E. We suppose for contradiction that X
does not contain some edge pv, wq, where v P A and w P C. Since all the diagonals
of γ are in a single edge type E we have that there exists g1 , g2 , g3 g4 P W such that
g1 v P B, g1 w P D, g2 v P C, g2 w P E, g3 v P D, g3 w P A, g4 v P E, and g4 w P B.
X contains the 5-cycle g3 w, g4 w, g2 v, g3 v, g2 w. Since X does not contain diagonals
pg3 w, g3 vq and pg2 w, g2 vq we see that X contains pg4 w, g2 wq. Also, X contains
the 5-cycle g3 w, g4 w, g2 v, g3 v, g4 v. Since X does not contain diagonals pg4 w, g4 vq
and pg3 v, g3 wq we see that X contains pg2 v, g4 vq. Therefore X contains the 4-cycle
g4 v, g2 v, g4 w, g2 w. However both diagonals of the 4-cycle are in the edge type pv, wq
so we get a contradiction.

Using the above results we can now prove Theorem 1.1.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

33

Proof of Theorem 1.1. Assume for contradiction that W is systolic, then there exists some systolic complex X acted on geometrically by W . By Corollary 6.8 there
exist v P X 0 such that D8 v, D10 v, and D4 v are pairwise adjacent cliques.
Now we claim that X either contains pD8 v, tD8 vq or pD10 v, rD10 vq. Suppose X
does not contain pD8 v, tD8 vq. Then there exist a, b in D8 v and tD8 v respectively
such that X does not contain pa, bq. Now let c and d be any pair of verices from
D10 v and rD10 v, respectively. Then X contains the 4-cycle a, c, b, d. Therefore, X
contains pc, dq and since c and d were chosen arbitrarily we have that X contains
pD10 v, rD10 vq finishing the proof of the claim.
Let E be the set edge types of cardinality one containing either pFixD8 , tFixD8 q
or pFixD10 , rFixD10 q depending on whether X contains pD8 v, tD8 vq or pD10 v, rD10 vq.
Then E chain implies edges of arbitrary distance in Y by either Theorem 6.4 or Theorem 6.5. Therefore, by Lemma 6.10, X contains infinitely many edge types so the
action of W cannot be cocompact, which gives a contradiction.

7. Showing The Cliques are Pairwise Adjacent
Proof of Lemma 6.7. We can map the right Cayley graph of W onto the subcomplex W v of X in the following way:
g Ñ gv.
This map obviously preserves the left action of W . For the rest of the section we
use labels for vertices from the right Cayley graph. If there exists some n-cycle in
the right cayley graph we can obviously use our map to produce an n-cycle in X.
We label all edge types by a single vertex and take the edge type’s other end always
to be e. For instance for g P W , we label the edge type pe, gq as g.
We recall Remark 6.2 that if X contains E and E elementary implies E, then E
is contained in X. We prove that X contains a number of edges using this remark.
We list a number of elementary implications below. The cycles used can be seen in
Figure 7.1.
e,tr,tsr,tst

ttr, tst, rsru ÞÝÝÝÝÝÝÝÑ tsr
This elementary implication indicates that if X contains the edge types pe, trq, pe, tstq,
and pe, rsrq then X contains the 4´cycle e, tr, tsr, tst. In addtion every diagonal
of the 4´cycle is in the edge type pe, tsrq. Since X contains pe, trq, pe, tstq, and
pe, rsrq by assumption using this implication and Remark 6.2 we see that X contains pe, tsrq. The reader is advised to use this explanation to help them parse the
following list of elementary implications.
e,ts,trs,r

tts, srs, ru ÞÝÝÝÝÝÝÑ trs
e,tsr,trsr,r

ttsr, srs, ru ÞÝÝÝÝÝÝÝÑ trsr
e,rst,trst,t

trs, tstst, tu ÞÝÝÝÝÝÝÝÑ trst
e,trst,trsrst,tsrt

ttrstu ÞÝÝÝÝÝÝÝÝÝÝÝÑ trsrst
e,trsr,rtstsr,rststr,rstr

ttrsru ÞÝÝÝÝÝÝÝÝÝÝÝÝÝÝÝÑ rtstsr

34

ADAM WILKS
trsrst

tsrst

trsrs

tsrs

trstr

tstr
trsr

tsr

rtstsr
trst

rtststr

tst
trs

ts

tsts

rtsts
tr

rtstst

t

r

rstst

rst

s

rs

ststr

sts
st

rsr

rstsr

stst

e

rststr
rsts

tstst

stsr

sr

rstsrs

str

rstrsr

stsrs

rsrs

rstr

srs

strs

rstrs

strsr

rstsrsr

rsrst

srst

rstrst
rstrstr

strst

rsrstst

rsrsts

srsts

strstr
srstst

strsts

rstrsts
srststs
rstrstst

Figure 7.1
e,trsrst,tsrst,r

ttrsrst, ru ÞÝÝÝÝÝÝÝÝÝÝ
Ñ tsrst
e,trsrst,trsrs,t

ttrsrst, srsr, tu ÞÝÝÝÝÝÝÝÝÝÝ
Ñ trsrs
e,tsrst,tsrs,t

ttsrst, srs, tu ÞÝÝÝÝÝÝÝÝÑ tsrs
e,rtstsr,rtsts,rst

trtstsr, rst, ru ÞÝÝÝÝÝÝÝÝÝÝÝÑ rtsts
e,rtstsr,rtststr,rsr

trtstsr, rsr, tu ÞÝÝÝÝÝÝÝÝÝÝÝÝÑ rtststr
e,rtststr,rtstst,r

trtststr, r, tststu ÞÝÝÝÝÝÝÝÝÝÝÝÑ rtstst
e,trs,rsts,rsr

ttrs, tstst, rsru ÞÝÝÝÝÝÝÝÝÑ rsts
e,trst,rstst,rsr

ttrst, sts, rsru ÞÝÝÝÝÝÝÝÝÝÝ
Ñ rstst
e,srs,strs,sts

tsrs, stsu ÞÝÝÝÝÝÝÝÝÑ strs
e,strs,srsts,rsr

trsr, strs, tststu ÞÝÝÝÝÝÝÝÝÝÝÑ srsts
e,srst,strst,sts

tsts, srst, tststu ÞÝÝÝÝÝÝÝÝÝÑ strst
e,strst,srstst,rsr

tsts, strst, rsru ÞÝÝÝÝÝÝÝÝÝÝÝÑ srstst

strsrs

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

35

e,sts,strsts,srsts

tsts, srsts, tstu ÞÝÝÝÝÝÝÝÝÝÝÝÑ strsts
e,strsts,srststs,rsr

trsr, strsts, su ÞÝÝÝÝÝÝÝÝÝÝÝÝÑ srststs
e,srsts,rsrsts,r

tsrs, srsts, ru ÞÝÝÝÝÝÝÝÝÝÝÑ rsrsts
e,rsrstst,rstrs,s

trsrsts, tstst, su ÞÝÝÝÝÝÝÝÝÝÝÑ rstrs
e,rstst,rstrst,srs

trstst, tsrst, srsu ÞÝÝÝÝÝÝÝÝÝÝÝÑ rstrst
e,rstrst,rsrstst,s

ts, rstrst, stsu ÞÝÝÝÝÝÝÝÝÝÝÝÑ rsrstst
We see that since X contains rsr that D10 r is a 10-cycle. Since the action of
D10 on the 10-cycle satisfies the conditions of Lemma 4.4 and since X contains the
edge trsr a diagonal of the 10-cycle, we see that rD10 is a clique. In particular
X contains rstsr. Now, we show a couple more edges are contained in X using
elementary implications.
e,rsrsts,rstrsts,rstsr

trstsr, tst, rsrstsu ÞÝÝÝÝÝÝÝÝÝÝÝÝÝÝÑ rstrsts
e,rstrsts,rstrstst,s

trstrsts, s, tu ÞÝÝÝÝÝÝÝÝÝÝÝÝÑ rstrstst
We have shown that X contains the necessary edges for D8 , D10 , and D4 to be
pairwise adjacent, so we are done.

8. Finding cycles in the (5,4) Pentagonal Tiling
This section is concerned with proving Theorem 6.4. To prove the theorem first
we develop a notation to describe edge types in Y . Then we describe sequences of
4-cycles and 5-cycles that give us the elementary implications. Then we give an
inductive argument to produce the necessary chain implication.
Notation 8.1. We identify strings pci qni“0 in the language tL, S, Ru with edge types
in the following way:
First we inductively construct the path P “ pvi qn`2
i“0 as follows
v0 “FixD8
v1 “ tFixD8
For i ě 2 let vi be the unique vertex in W FixD8 such that the 1-cell with ends
vi and vi`1 is at (clockwise) angle θ from the 1-cell with ends vi´1 and vi in the
link of v where θ “ π2 , π,or 3π
2 if ci´2 “ L, S, or R respectively (see Figure 8.1).
We identify pci qni“0 with the edge type pFixD8 , vn`2 q.
Remark 8.2. A string pci q is not unique in describing an edge type. For instance
we can exchange all the occurrences of R and L in pci q to get a new string pc1 i q that
refers to the same edge type as pci q. For example lrlsr “ rlrsl. If we reverse pci q
then the resulting string refers to the same edge type. For example rllss “ ssllr.
Remark 8.3. The paths described in Notation 8.1 all lie in the subcomplex of
Y with 0-cells W FixD8 and all the 1-cells with ends wFixD8 and wtFixD8 for
w P W . We can identify this subcomplex with the tiling by right-angled pentagons

36

ADAM WILKS

vi if ci´2 “ S

vi if ci “ L

vi if ci “ R
vi´1

vi´2

Figure 8.1

Figure 8.2. an

Figure 8.3. bn

Figure 8.4. cn

of the hyperbolic plane. For the rest of the section in the figures we only show this
subcomplex.
Now using our notation we describe 6 sequences of edge types.
n
n´1
pan q8
,...
n“0 “ ǫ, SR, . . . , S RS
n
n´1
pbn q8
,...
n“0 “ R, SRL, . . . , S RLS
n
n
pcn q8
n“0 “ R, SRS, . . . , S RS , . . .
2n`1
pdn q8
,...
n“0 “ S, SSS, . . . , S
n´2
pen q8
RLRS n´2 , . . .
n“0 “ ǫ, R, RLR, . . . , S
n´1
pfn q8
RLS n´1 , . . .
n“0 “ ǫ, RL, SRLS, . . . , S

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

Figure 8.5. dn

37

Figure 8.6. en
Figure 8.7. fn

Now we describe six sequences of 4-cycles and 5-cycles that admit elementary
implications.
P entn is the sequence of 5-cycles whose first 3 iterations are shown in Figure 8.8.
The sequence gives the following sequence of elementary implications:
P ent

n
tan u ÞÝÝÝÝÑ
bn

Sqn is the sequence of 4-cycles whose first 3 iterations are shown in Figure 8.9.
The sequence gives the following sequence of elementary implications:
Sq

n
dn
tcn u ÞÝÝÑ

Rectn is the sequence of 4-cycles whose first 3 iterations are shown in Figure 8.10.
The sequence gives the following sequence of elementary implications:
Rect

n
tdn , en`1 u ÞÝÝÝÝÑ
fn`1

T rapAn is the sequence of 4-cycles whose first 3 iterations are shown in Figure 8.11. The sequences gives the following sequence of elementary implications:
T rapA

n
en`1
ten , an , cn u ÞÝÝÝÝÝÑ

T rapBn is the sequence of 4-cycles whose first 3 iterations are given by Figure 8.12. The sequence gives the following sequence of elementary implications:
T rapBn

ten , fn`1 , cn u ÞÝÝÝÝÝÑ an`1
T rapCn is the sequence of 4-cycles whose first 3 iterations are given in Figure 8.13. The cycles give the following sequence of elementary implications:
T rapC

n
cn`1
tcn , bn`1 , en`1 u ÞÝÝÝÝÝÑ

Lemma 8.4. For any n ě 1 E “ pFixD8 , tFixD8 q chain implies dn .
m
Proof. To show the lemma for every n we have to produce sequences pEi qm
i“0 , pEi qi“0 ,
m
and pγi qi“0 such that E0 “ E, Em “ dn , for i ě 1, Ei “ Ei´1 Y tEi´1 u and for i ě 0

38

ADAM WILKS

Figure 8.8. P entn
γ

i
Ei . We prove the stronger result that in addition to the previously stated
Ei ÞÝÑ
requirements, we also require that

tan , bn , cn , en , fn u Ă Em .
We will proceed by induction on n. For the base case, n “ 1, we first note that the
edge type corresponding to the empty string, ǫ “ pFixD8 , tFixD8 q “ a1 “ e1 “ f1
is in E trivially. Let γ0 “ P ent1 , so E0 “ b1 “ c1 . Let γ1 “ Sq1 , so E1 “ d1 . This
gives us a chain implication of d1 , satisfying our extra requirement, completing the
base case.
Now we show the induction step. By the induction hypothesis we have the chain
pγi qm
i“0

m
m
implication E ùùùùñ dn´1 given by sequences pEi qm
i“0 , pEi qi“0 , and pγi qi“0 such
that

tan´1 , bn´1 , cn´1 , en´1 , fn´1 u Ă Em .
We let γm`1 “ T rapAn´1 , therefore Em`1 “ en . Let γm`2 “ Rectn´1 , therefore Em`2 “ fn . Let γm`3 “ T rapBn´1 , therefore Em`3 “ an . Let γm`4 “
P entn , therefore Em`4 “ bn . Let γm`5 “ T rapCn´1 , therefore Em`5 “ cn . Let

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

39

Figure 8.9. Sqn

Figure 8.10. Recn

γm`6 “ Sqn , therefore Em`6 “ dn . Therefore we have produced a chain implication
m`6
pγqi“0

E ùùùùñ dn that satisfies our additional requirement, so we are done.
As a direct consequence of Lemma 8.4 we can prove Theorem 6.4.



40

ADAM WILKS

Figure 8.11. T rapAn

Figure 8.12. T rapBn
Proof of Theorem 6.4. For any n there exists m such that dm is between vertices
at least distance n distance in Y . By Lemma 8.4 the set E “ tpFixD8 , tFixD8 )u
chain implies dm . This completes the proof.

The proof of Theorem 6.5 uses the same techniques, but is more complex and
requires more cycles. We omit the proof, but it will be included upon publication.
References
[1] Hans-Jürgen Bandelt and Victor Chepoi, Metric graph theory and geometry: a survey, Surveys on discrete and computational geometry, Contemp. Math., vol. 453, Amer. Math. Soc.,
Providence, RI, 2008, pp. 49–86.

THE (2,4,5) TRIANGLE COXETER GROUP IS NOT SYSTOLIC

41

Figure 8.13. T rapCn
[2] Victor Chepoi and Damian Osajda, Dismantlability of weakly systolic complexes and applications (2014), accepted to Transactions of the American Mathematical Society, available at
arXiv:0910.5444v2
[3] Tomasz Elsner and Piotr Przytycki, Square complexes and simplicial nonpositive curvature
(2013), Proc. AMS 141, 2997–3004.
[4] Frédéric Haglund, Complexes simpliciaux hyperboliques de grande dimension, Prepublication
Orsay 71 (2003).
[5] Tadeusz Januszkiewicz and Jacek Świa̧tkowski, Simplicial nonpositive curvature, Publ. Math.
Inst. Hautes Études Sci. 104 (2006), 1–85.
[6] Tadeusz Januszkiewicz and Jacek Świa̧tkowski, Filling invariants of systolic complexes and
groups. Geometry&Topology 11 (2007), 727–758.
[7] Tomasz Prytula, Infinite systolic groups are not torsion (2014), available at arXiv:1402.4421
[8] Piotr Przytycki and Petra Schwer, Systolizing Buildings(2013), accepted to Groups, Geometry,
and Dynamics, available at arXiv:1310.5525.

