arXiv:1611.00101v2 [math.GR] 8 Feb 2017

A Cayley graph for F2 × F2 which is not minimally almost
convex.
Andrew Elvey Price1
ARC Centre of Excellence for
Mathematics and Statistics of Complex Systems,
School of Mathematics and Statistics,
The University of Melbourne, Victoria 3010, Australia
Abstract
We give an example of a Cayley graph Γ for the group F2 × F2 which is not
minimally almost convex (MAC). On the other hand, the standard Cayley graph for
F2 × F2 does satisfy the falsification by fellow traveler property (FFTP). As a result,
we show that any Cayley graph property K which satisfies FFTP ⇒ K ⇒ MAC
is dependent on the generating set. This includes the well known properties FFTP
and almost convexity, which were already known to depend on the generating set.
This also shows the new results that Poénaru’s condition P (2) and the basepoint loop
shortening property both depend on the generating set. We also show that the Cayley
graph Γ does not have the loop shortening property, so this property also depends on
the generating set.

1

Introduction

In this note, we consider two different presentations for the group F2 × F2 , whose Cayley
graphs exhibit quite different geometry. First we consider the standard presentation
(G, S1 ) = ha, b, c, d|ac = ca, bc = cb, ad = da, bd = dbi.
Note that this is a right angled Artin group with the standard presentation, so by theorem
3.1 in [5], the pair (G, S1 ) satisfies the falsification by fellow traveller property. The other
presentation that we will consider is
(G, S2 ) = hx, y, c, d|xc = cx, yc = cy, xcd = dxc, ycd = dyci.
These presentations can be seen to define the same group by the Tietze transformations
below:
ha, b, c, d | ac = ca, bc = cb, ad = da, bd = dbi
=hx, y, a, b, c, d | x = ac−1 , y = bc−1 , ac = ca, bc = cb, ad = da, bd = dbi
=hx, y, a, b, c, d | a = xc, b = yc, xcc = cxc, ycc = cyc, xcd = dxc, ycd = dyci
=hx, y, c, d | xcc = cxc, ycc = cyc, xcd = dxc, ycd = dyci
=hx, y, c, d|xc = cx, yc = cy, xcd = dxc, ycd = dyci.
1

email: andrewelveyprice@gmail.com

1

Our main theorem is that the pair (G, S2 ) is not minimally almost convex. As a corollary,
the following properties all depend on the generating set:
• The falsification by fellow traveler property
• The basepoint loop shortening property
• Every non-trivial almost convexity condition. This includes almost convexity, Poénaru’s
condition P (2), minimal almost convexity (MAC) and the slightly stronger condition
M0 AC.
In the final section we show that (G, S2 ) does not satisfy the loop shortening property, so
this property also depends on the generating set.
There are many known examples of groups which satisfy FFTP with respect to one
generating set but not others. For example, Neumann and Shapiro gave an example in [7]
when they introduced the property, and Elder gave another example in [3]. The only
previous example for almost convexity was given by Theil [9]. Elder and Hermiller used
solvable Baumslag-Solitar groups to show that minimal almost convexity is not a quasiisometry invariant, nor is M0 AC [4], so it is not surprising that these both depend on the
generating set. It was previously unknown, however, whether Poénaru’s condition P(2) or
either of the loop shortening properties were dependent on the generating set.

2

Almost convexity conditions

In the following definition, let Sph(r) denote the sphere of radius r around the identity in
the Cayley graph, and let B(r) denote the ball of radius r.
Definition 2.1. Let G be a group and let S be a finite generating set for G. Let r0 ∈ Z>0
and let f : Z>0 → Z>0 be a function. The pair (G, S) is said to satisfy the almost convexity
condition ACf,r0 if the following holds: If r ∈ Z>r0 and u, v ∈ Sph(r) satisfy d(u, v) ≤ 2,
then there is some path p between u and v such that p is contained in B(r) and p has
length at most f (r).
Using this definition, almost convexity (AC) imposes the strongest possible restriction
on f , namely that f is a constant function. This property was introduced by Cannon
in [1], and remains the most widely studied almost convexity condition. A pair (G, S) is
said to satisfy Poénaru’s condition P (2) [8] if it satisfies an almost convexity condition
ACf,r0 for some sub-linear function f .
Note that the points u and v in the definition above are joined via the origin by a
path of length 2r, so every finitely generated group trivially satisfies any almost convexity
condition where f (r) ≥ 2r. Hence, minimal almost convexity (MAC) requires the weakest
possible non-trivial almost convexity condition: that f (r) = 2r − 1. The slightly stronger
condition M0 AC requires that f (r) = 2r − 2. Due to the successive strengthening of these
conditions, we have the implication chain
AC ⇒ P(2) ⇒ M0 AC ⇒ MAC.
The last two conditions M0 AC and MAC were introduced in [6], where they are called
K(2) and K 0 (2), respectively. These conditions are discussed in greater detail in [4], where
2

Elder and Hermiller show that M0 AC does not imply P (2). It is still an open question,
however, whether the properties M0 AC and MAC are equivalent.

3

The pair (G, S2 ) does not satisfy MAC

The main theorem in this section is that the group (G, S2 ) with presentation
ha, b, c, t|ac = ca, bc = cb, act = tac, bct = tbci
does not satisfy MAC.
Consider the group P = F2 × C∞ = ha, b, c|ac = ca, bc = cbi and let H be the
subgroup generated by ac and bc. Then G is the HNN extension P ∗φ where φ : H → H
is the identity.
Lemma 3.1. H is the subgroup of G consisting of all elements wck , where w is a word
in {a, b, a−1 , b−1 }∗ and k is the sum of the exponents in w.
Proof. Let w be a word in {a, b, a−1 , b−1 }∗ and let k be the sum of the exponents in w.
We will show that wck ∈ H. Let w = sp11 sp22 . . . spnn , where each si ∈ {a, b} and each
pi ∈ {−1, 1}. Then
wck = wcp1 +...+pn = (s1 c)p1 (s2 c)p2 . . . (sn c)pn ∈ H.
Now let h ∈ H. We will show that h = wck for some word w ∈ {a, b, a−1 , b−1 }∗ , where
k is the sum of the exponents in w. Since h ∈ H = hac, bci, we can write
h = (s1 c)p1 (s2 c)p2 . . . (sn c)pn ,
where each si ∈ {a, b} and each pi ∈ {−1, 1}. Then we have
h = sp11 sp22 . . . spnn cp1 +p2 +...+pn = wck ,
where w = sp11 sp22 . . . spnn and k is the sum of the exponents in w.
Theorem 3.2. The pair (G, S2 ) does not satisfy MAC.
Proof. Consider the elements an b−n and tan b−n+1 in G. Then
|an b−n | = 2n = |tan b−n+1 |
and
d(an b−n , tan b−n+1 ) = |bn a−n tan b−n+1 | = |tbn a−n an b−n+1 | = |tb| = 2.
So we just need to prove that if p is a path in B(2n) between an b−n and tan b−n+1 , then
p has length at least 4n.
Let p be a path in B(2n) between an b−n and tan b−n+1 .
Then let h and ht be adjacent vertices in p, such that h is in the same sheet of the
HNN extension as 1 and ht is in the same sheet as t. Then h ∈ H. Moreover, since p is
contained in B(2n), the length |h| + 1 = |ht| ≤ 2n, so |h| ≤ 2n − 1. Let h = wck where w
is a word in {a, b, a−1 , b−1 }∗ and k is the sum of the exponents in w. Then
d(an b−n , h) = |bn a−n h| = |bn a−n wck | = |bn a−n w| + |k|.
3

Figure 1: Part of the Cayley graph Γ(G, S2 ). The bold vertices and edges are those within
the ball of radius 10.

4

Let x ∈ Z≥0 be maximal such that the word w splits as w = ax w1 . In other words, x
is the number of a’s at the start of w. Then the sum of the exponents in w1 is k − x, so
|w1 | ≥ |k − x|. Therefore,
2n − 1 ≥ |h| = |w| + |k| = x + |w1 | + |k| ≥ x + |k − x| + |k| ≥ 2x,
so x < n. Therefore, bn ax−n w1 is freely reduced, so
|bn a−n ax w1 | = |bn ax−n w1 | = 2n − x + |w1 |.
Therefore,
d(an b−n , h) = |bn a−n w| + |k| = 2n − x + |w1 | + |k| ≥ 2n − x + x = 2n.
Hence, the path p satisfies
|p| ≥ d(an b−n , h) + 1 + d(tan b1−n , ht) ≥ d(an b−n , h) + d(tan b−n , ht) = 2d(an b−n , h) ≥ 4n,
as required. So (G, S2 ) does not satisfy MAC.

4

loop shortening properties

In [2] Elder introduced the loop shortening and basepoint loop shortening properties as a
natural generalisation of the falsification by fellow traveller property. Where FFTP gives
a simple way to check if a word is a geodesic, each of the loop shortening properties gives
a somewhat simple way to check if a word represents the identity in the group.
Definition 4.1. Let G be a group with finite generating set S. (G, S) has the (synchronous) loop shortening property (LSP) if there is a constant k such that for any loop
v0 , v1 , . . . , vn in Γ(G, S) with n ≥ 1, there is a shorter loop u0 , u1 , . . . , um such that
d(uj , vj ) < k for each j ≤ m, and d(um , vj ) < k for m ≤ j ≤ n. In other words, the
paths (synchronously) k-fellow travel.
Definition 4.2. Let G be a group with finite generating set S. (G, S) has the (synchronous) basepoint loop shortening property (BLSP) if there is a constant k such that for
any loop v0 , v1 , . . . , vn in Γ(G, S) with n ≥ 1, there is a shorter loop (v0 = u0 ), u1 , . . . , um
such that d(uj , vj ) < k for each j ≤ m, and d(um , vj ) < k for m ≤ j ≤ n. In other words,
the paths (synchronously) k-fellow travel.
Note that the only difference between these two properties is that for the basepoint
loop shortening property, the initial loop is around a basepoint which the shorter loop has
to pass through, whereas for the loop shortening property no such restriction is imposed.
Hence, it is clear that
BLSP ⇒ LSP.
Elder also showed that the basepoint loop shortening property is strictly stronger than
almost convexity and strictly weaker than the falsification by fellow traveller property
(FFTP), so we have the long implication chain
FFTP ⇒ BLSP ⇒ AC ⇒ P(2) ⇒ M0 AC ⇒ MAC.
5

Elder asked two questions about the two loop shortening properties. The first is
whether they are equivalent, and this remains an open problem. The second is whether
either or both of these properties depend on the generating set. We have already shown
that the group G = F2 × F2 satisfies FFTP with respect to one generating set, but fails
MAC with another, which implies that BLSP depends on the generating set. Our final
theorem settles the other half of this question, namely that the loop shortening property
also depends on the generating set.
Theorem 4.3. The group (G, S2 ) with presentation
ha, b, c, t|ac = ca, bc = cb, act = tac, bct = tbci
does not satisfy the loop shortening property.
Proof. Let k ∈ Z>0 . We will show that there is a loop l in Γ(G, S2 ) such that there is no
shorter loop l0 in Γ(G, S2 ) which k-fellow travels with l. Hence this will show that Γ(G, S2 )
does not satisfy the loop shortening property. Let l be the loop given by the word
w = a2k b−4k a2k ta−2k b4k a−2k t−1 .
We can easily check algebraically that w = 1, so this is indeed a loop. Now let l0 be a loop
which k-fellow travels with l. Then we just need to show that the length of l0 is at least
the length of l, which is 16k + 2. Since the four vertices
u1 = ak , u2 = a2k b−4k ak , u3 = ta2k b−4k ak and u4 = tak ,
appear in l in that order, there must be vertices v1 , v2 , v3 and v4 appearing in l0 in that
order which satisfy d(ui , vi ) ≤ k for each i ∈ {1, 2, 3, 4}. Hence it suffices to prove that
d(v1 , v2 ) + d(v2 , v3 ) + d(v3 , v4 ) + d(v4 , v1 ) ≥ 16k + 2.
For each i, let wi be a word of minimal length from ui to vi . So |wi | ≤ k and wi = u−1
i vi .
For each i ∈ {1, 2, 3, 4}, let xi , yi , zi be the sums of the powers of a, b and c, respectively
in the word wi . Then we will show the following four inequalities, from which the desired
result follows:
d(v1 , v2 ) ≥ 6k − x1 + x2 + |y1 | + |y2 | + |z1 − z2 |,
d(v2 , v3 ) ≥ 2k + 1 − x2 − x3 − y2 − y3 + z2 + z3 ,
d(v3 , v4 ) ≥ 6k − x4 + x3 + |y4 | + |y3 | + |z4 − z3 |,
d(v4 , v1 ) ≥ 2k + 1 + x1 + x4 + y1 + y4 − z1 − z4 .
Let w be a word of minimal length from v1 to v2 . So
w = w1 −1 u1−1 u2 w2 = w1−1 ak b−4k ak w2 .
Consider the quotient map f : G → G defined by f (a) = a, f (b) = b, f (c) = c and
f (t) = 1. Note that this is well defined since f (ac) = f (ca), f (bc) = f (cb), f (act) = f (tac)
and f (bct) = f (tbc). Since c commutes with a and b, we can write f (w1 ) = cz1 r1 , where

6

Figure 2: The loop l in red and a k-fellow travelling loop l0 in blue.
r1 is a reduced word over the alphabet {a, b, a−1 , b−1 }. Then x1 and y1 are the sums of
the powers of a and b, respectively, in r1 and
k ≥ |w1 | ≥ |r1 |.
Similarly we can write f (w2 ) = cz2 r2 . Now,
d(v1 , v2 ) = |w| ≥ d(1, f (w)) = d(1, f (w1 )−1 ak b−4k ak f (w2 )) = d(1, cz2 −z1 r1 −1 ak b−4k ak r2 ).
Since r1 and r2 each have length at most k, they can only cancel with letters in ak on
either side of the last expression, and not the b−4k term in the middle. In other words,
if s1 is a reduced word for r1 −1 ak and s2 is a reduced word for ak r2 , then cz2 −z1 s1 b−4k s2
is a reduced word for cz2 −z1 r1 −1 ak b−4k ak r2 . Moreover, the sums of the powers of a in s1
and s2 are k − x1 and k + x2 respectively, and the sums of the powers of b in s1 and s2 are
−y1 and y2 respectively. Hence, |s1 | ≥ k − x1 + |y1 | and |s2 | ≥ k + x2 + |y2 |. Therefore,
d(v1 , v2 ) ≥d(1, cz2 −z1 r1 −1 ak b−4k ak r2 )
=|cz2 −z1 s1 b−4k s2 |
=4k + |z2 − z1 | + |s1 | + |s2 |
≥4k + |z2 − z1 | + k − x1 + |y1 | + k + x2 + |y2 |
=6k − x1 + x2 + |y1 | + |y2 | + |z1 − z2 |.
Similarly,
d(v3 , v4 ) ≥ 6k − x4 + x3 + |y4 | + |y3 | + |z4 − z3 |.
Now let r be a word of minimal length between v2 and v3 . Then w2 rw3−1 forms a path
p from u2 to u3 . Since u2 is in the sheet of the HNN extension containing 1 and u3 is in the
sheet containing t, there must be vertices v5 and v6 which are adjacent in p and such that
v5 is in the sheet containing 1 and v6 is in the sheet containig t. So v6 = v5 t and v5 ∈ H,
7

the subgroup generated by ac and bc. Let C1 = hei be the one generator cyclic group, and
let h : G → C1 be the group homomorphism defined by h(a) = h(b) = e, h(c) = e−1 and
h(t) = 1. Then H is in the kernel of h, so h(v5 ) = h(v6 ) = 1. Since h(u2 ) = h(u3 ) = e−k ,
the distances d(u2 , v5 ) and d(u3 , v6 ) are both at least k. But the sections of p joining u2
and v2 and v3 to u3 both have length at most k. Hence v5 and v6 lie on the section of p
between v2 and v3 . Hence, the distance
d(v2 , v3 ) = d(v2 , v5 ) + 1 + d(v3 , v6 ).
Now h(v2 ) = h(u2 )h(w2 ) = e−k ex2 ey2 e−z2 = e−k+x2 +y2 −z2 . Therefore,
d(v2 , v5 ) ≥ k − x2 − y2 + z2 .
Similarly,
d(v3 , v6 ) ≥ k − x3 − y3 + z3 .
Putting these together gives
d(v2 , v3 ) = d(v2 , v5 ) + 1 + d(v3 , v6 ) ≥ 2k + 1 − x2 − x3 − y2 − y3 + z2 + z3 .
In exactly the same way, we deduce the final inequality,
d(v4 , v1 ) ≥ 2k + 1 + x1 + x4 + y1 + y4 − z1 − z4 .
So we now have lower bounds for all four of the distances d(v1 , v2 ), d(v2 , v3 ), d(v3 , v4 ), d(v4 , v1 ).
Therefore, the length of the loop l0 is at least
d(v1 , v2 ) + d(v2 , v3 ) + d(v3 , v4 ) + d(v4 , v1 )
≥6k − x1 + x2 + |y1 | + |y2 | + |z1 − z2 | + 2k + 1 − x2 − x3 − y2 − y3 + z2 + z3
+6k − x4 + x3 + |y4 | + |y3 | + |z4 − z3 | + 1 + x1 + x4 + y1 + y4 − z1 − z4
=16k + 2 + |y1 | + y1 + |y2 | − y2 + |y3 | − y3 + |y4 | + y4
+|z1 − z2 | − (z1 − z2 ) + |z4 − z3 | − (z4 − z3 )
≥16k + 2,
which is the same as the length of l. Hence the pair (G, S2 ) does not enjoy the loop
shortening property.

References
[1] Cannon, James W. “Almost convex groups.” Geometriae Dedicata 22.2 (1987): 197210.
[2] Elder, Murray. “The loop shortening property and almost convexity.” Geometriae
Dedicata 102.1 (2003): 1-17.
[3] Elder, Murray. “Regular geodesic languages and the falsification by fellow traveler
property.” Algebraic & Geometric Topology 5 (2005): 129-134.

8

[4] Elder, Murray, and Susan Hermiller. “Minimal almost convexity.” Journal of Group
Theory 8.2 (2005): 239-266.
[5] Holt, Derek F., and Sarah Rees. “Shortlex automaticity and geodesic regularity in
Artin groups.” Groups-Complexity-Cryptology 5.1 (2013): 1-23.
[6] Kapovich, Ilya. “A note on the Poénaru condition.” J. Group Theory 5 (2002), no.
1, 119127.
[7] Neumann, Walter D., and Michael Shapiro. “Automatic structures, rational growth,
and geometrically finite hyperbolic groups.” Inventiones mathematicae 120.1 (1995):
259-287.
[8] Poénaru, V. “Almost convex groups, Lipschitz combing, and π1∞ for universal covering
spaces of closed 3-manifolds.” Journal of Differential Geometry 35.1 (1992): 103-130.
[9] Thiel, Carsten. Zur fast-Konvexitt einiger nilpotenter Gruppen. No. 234. Mathematisches Institut der Universitt Bonn, 1992.

9

