## MINIMAL ALMOST CONVEXITY

MURRAY ELDER AND SUSAN HERMILLER 1

Abstract. In this article we show that the Baumslag-Solitar group BS (1 , 2) is minimally almost convex, or MAC . We also show that BS (1 , 2) does not satisfy Po´ enaru's almost convexity condition P (2), and hence the condition P (2) is strictly stronger than MAC . Finally, we show that the groups BS (1 , q ) for q ≥ 7 and Stallings' nonFP 3 group do not satisfy MAC . As a consequence, the condition MAC is not a commensurability invariant.

## 1. Introduction

Let G be a group with finite generating set A , let Γ be the corresponding Cayley graph with the path metric d , and let S r ( ) and B r ( ) denote the sphere and ball, respectively, of radius r in Γ. The pair ( G,A ) satisfies the almost convexity condition AC f,r 0 for a function f : N → R + and a natural number r 0 ∈ N if for every natural number r ≥ r 0 and every pair of vertices a, b ∈ S r ( ) with d a, b ( ) ≤ 2, there is a path inside B r ( ) from a to b of length at most f ( r ). Note that every group satisfies the condition AC f, 1 for the function f ( r ) = 2 r . A group is minimally almost convex , or MAC (called K (2) in [10]), if the condition AC f,r 0 holds for the function f ( r ) = 2 r -1 and some number r 0 ; that is, the least restriction possible is imposed on the function f . If the next least minimal restriction is imposed, i.e. if G is AC f,r 0 with the function f ( r ) = 2 r -2, then the group is said to be M AC ′ ( K ′ (2) in [10]). Increasing the restriction on the function f further, the group satisfies Poenaru's P (2) condition [7, 13] if AC f,r 0 holds for a sublinear function f : N → R + , i.e. f satisfies the property that for every number C &gt; 0 the limit lim r →∞ ( r -Cf r ( )) = ∞ . All of these definitions are generalizations of the original concept of almost convexity given by Cannon in [3], in which the greatest restriction is placed on the function f , namely that a group is almost convex or AC if there is a constant function f ( r ) ≡ C for which the group satisfies the condition AC C, 1 . Results of [3, 10, 14] show that the condition MAC , and hence each of the other almost convexity conditions, implies finite presentation of the group and solvability of the word problem.

Date : August 5, 2014.

2000

Mathematics Subject Classification.

20F65.

Key words and phrases. (Minimally) almost convex, Baumslag-Solitar group, Stallings group.

1 Supported under NSF grant no. DMS-0071037

The successive strengthenings of the restrictions in the definitions above give the implications AC ⇒ P (2) ⇒ M AC ′ ⇒ MAC . For this series of implications, a natural question to ask is, which of the implications can be reversed? A natural family of groups to consider are the Baumslag-Solitar groups BS (1 , q ) := 〈 a, t | tat -1 = a q 〉 with | q | &gt; 1, which Miller and Shapiro [12] proved are not almost convex with respect to any generating set.

In the present paper, the structure of geodesics in the Cayley graph of BS (1 , q ) is analyzed in greater detail, in Section 2. In Section 3, we use these results to show that the group BS (1 2) satisfies the property , M AC ′ . In Section 4 we show that the group BS (1 2) , does not satisfy the P (2) condition, and hence the implication P (2) ⇒ M AC ′ cannot be reversed.

In section 4 we also show that the groups BS (1 , q ) = 〈 a, t | tat -1 = a q 〉 for q ≥ 7 are not MAC . Since the group BS (1 8) , is a finite index subgroup of BS (1 2), an immediate consequence of this result is that both , MAC and M AC ′ are not commensurability invariants, and hence not quasiisometry invariants. The related property AC is also known to vary under quasi-isometry; in particular, Thiel [16] has shown that AC depends on the generating set.

Finally, in Section 5 we consider Stallings' nonFP 3 group [15], which was shown by the first author [4, 5] not to be almost convex with respect to two different finite generating sets. In Theorem 5.3, we prove the stronger result that this group also is not MAC , with respect to one of the generating sets. Combining this with a result of Bridson [2] that this group has a quadratic isoperimetric function, we obtain an example of a group with quadratic isoperimetric function that is not MAC . During the writing of this paper, Belk and Bux [1] have shown another such example; namely, they have shown that Thomson's group F , which also has a quadratic isoperimetric function function [9], does not satisfy MAC .

## 2. Background on Baumslag-Solitar groups

Let G := BS (1 , q ) = 〈 a, t | tat -1 = a q 〉 with generators A := { a, a -1 , t, t -1 } for any natural number q &gt; 1. Let Γ denote the corresponding Cayley graph with path metric d , and let C denote the corresponding Cayley 2-complex.

The complex C can be built from 'bricks' homeomorphic to [0 1] , × [0 , 1], with both vertical sides labeled by a ' ' upward, the top horizontal side t labeled by an ' a ' to the right, and the bottom horizontal side split into q edges each labeled by an ' a ' to the right. These bricks can be stacked horizontally into 'strips'. For each strip, q other strips can be attached at the top, and one on the bottom. For any set of successive choices upward, then, the strips of bricks can be stacked vertically to fill the plane. The Cayley complex then is homeomorphic to the Cartesian product of the real line with a regular tree T of valence q + 1; see Figure 1. Let π : C → T be the horizontal projection map. For an edge e of T , e inherits an upward

a

Figure 1. A brick in a plane, and a side-on view of the Cayley graph Γ for BS (1 4). ,

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-70bee243-9a70-4a5d-bc66-728052fac48b.jpg)

direction from the upward labels on the vertical edges of C that project onto e . More details can be found in [6] (pages 154-160).

For any word w ∈ A ∗ , let w denote the image of w in BS (1 , q ). For words v, w ∈ A ∗ , denote v = w if v and w are the same words in A ∗ , and v = G w if v = w . Let l ( w ) denote the word length of w and let w i ( ) denote the prefix of the word w containing i letters. Then ( w -1 ( )) i -1 is the suffix of w of length i . Define σ t ( v ) to be the exponent sum of all occurrences of t and t -1 in v . Note that relator tat -1 a -q in the presentation of G satisfies σ t ( tat -1 a -q ) = 0; hence whenever v = G w , then σ t ( v ) = σ t ( w ).

The following Lemma is well-known; a proof can be found in [11].

Lemma 2.1 (Commutation) . If v, w ∈ A ∗ and σ t ( v ) = 0 = σ t ( w ) , then vw = G wv .

Let E denote the set of words in { a, a -1 } ∗ , P the words in { a, a -1 , t } ∗ containing at least one t letter, and N the words in { a, a -1 , t -1 } ∗ containing at least one t -1 letter. A word w = w w 1 2 with w 1 ∈ N and w 2 ∈ P , then, will be referred to as a word in NP . Finally, let X denote the subset of the words in PN with t -exponent sum equal to 0. Letters in parentheses denote subwords that may or may not be present; for example, P X ( ) := P ∪ PX . The following statement is proved in [8].

Lemma 2.2 (Classes of geodesics) . A word w ∈ A ∗ that is a geodesic in Γ must fall into one of four classes:

- (1) E or X,
- (2) N or XN,
- (3) P or PX,
- (4) NP, or NPX with σ t ( w ) ≥ 0 , or XNP with σ t ( w ) ≤ 0 .

Analyzing the geodesics more carefully, we find a normal form for geodesics in the following Proposition.

Proposition 2.3 (Normal form) . If w ∈ A ∗ is a geodesic in G = BS (1 , q ) , then there is another geodesic ˆ w ∈ A ∗ with ˆ = w w such that for w in each class, ˆ w has the following form (respectively):

- (1) ˆ = w a i for | i | ≤ C q where C q := /floorleft q 2 + 1 /floorright if q &gt; 2 and C 2 := 3 , or ˆ = w w 0 ∈ X ,
- (3) ˆ = w a n 0 t · · · a n f -1 tw 0 with | n j | ≤ /floorleft q 2 /floorright for all j , f ≥ 1 , and either w 0 = a i for | i | ≤ C q or w 0 ∈ X ,
- (2) ˆ = w w t 0 -1 a m 1 · · · t -1 a m e with | m j | ≤ /floorleft q 2 /floorright for all j , e ≥ 1 , and either w 0 = a i for | i | ≤ C q or w 0 ∈ X ,
- (4) Either ˆ w = t -e a m f ta m f -1 · · · a m 1 tw 0 with 1 ≤ e ≤ f , or ˆ w = w t 0 -1 a m 1 · · · t -1 a m e t f with 1 ≤ f ≤ e , such that | m j | ≤ /floorleft q 2 /floorright for all j , and either w 0 = a i for | i | ≤ C q or w 0 ∈ X . Note that if σ t ( w ) = 0 then e = f and either expression is valid.

In every class the word w 0 ∈ X can be chosen to be either of the form w 0 = t h a t s -1 a k h -1 · · · a k 1 t -1 a k 0 or w 0 = a k 0 ta k 1 · · · ta k h -1 ta t s -h with | k j | ≤ /floorleft q 2 /floorright for all j , 1 ≤ | s | ≤ q -1 if q &gt; 2 , 2 ≤ | s | ≤ 3 if q = 2 , and h ≥ 1 .

Proof. Note that the natural number q = /floorleft q 2 +1 + /floorright /ceilingleft q 2 - /ceilingright 1 .

Next suppose that w is a geodesic in class (2). Then w ∈ ( X N ) , so w = w t ′ 0 -1 a l 1 t -1 a l 2 · · · t -1 a l e for some word w ′ 0 in class (1), e ≥ 1, and integers l i . Again we reformulate the defining relation of G , in this case to t -1 a ±/floorleft q 2 +1 /floorright = G a ± 1 t -1 a ∓ /ceilingleft ( q 2 - /ceilingright 1 ) . If q is odd, then we may (repeatedly) replace any occurrence of t -1 a ±/floorleft q 2 +1 /floorright by a ± 1 t -1 a ∓ /ceilingleft ( q 2 - /ceilingright 1 ) . If q is even, t -1 a ±/floorleft q 2 +1 /floorright is not geodesic, so | l j | ≤ /floorleft q 2 /floorright for all j and replacements are not needed. In both cases, then, we obtain a geodesic word of the form w t ′′ 0 -1 a m 1 t -1 a m 2 · · · t -1 a m e with each | m j | ≤ /floorleft q 2 /floorright and w ′′ 0 in class (1); to form the normal form ˆ, then, replace w w ′′ 0 by its normal form.

For a geodesic w in class (1), if w ∈ E , then w = a i for some i . If q = 2, then a ± 6 = ta ± 3 t -1 so | i | ≤ 6, and the words a ± (4+ k ) have normal form ta ± 2 t -1 a ± k ∈ X for k = 0 and k = 1. If q &gt; 2, then the relation tat -1 = G a q can be reformulated as a ±/floorleft q 2 +1 +1 /floorright = G ta ± 1 t -1 a ∓ /ceilingleft ( q 2 - /ceilingright1 1) . If q is even, then a ± q 2 +2 is not geodesic, so | i | ≤ /floorleft q 2 + 1 . /floorright On the other hand, if q is odd, then a ± q +1 2 +2 = G ta ± 1 t -1 a ∓ ( q -1 2 -2) so a ± q +1 2 +2 is not geodesic; hence | i | ≤ /floorleft q 2 +1 +1, and the words /floorright a ±/floorleft q 2 +1 +1 /floorright have a normal form in X .

The proof of the normal form for geodesics in class (3) is very similar, using the relation a ±/floorleft q 2 +1 /floorright t = G a ∓ /ceilingleft ( q 2 - /ceilingright 1 ) ta ± 1 .

Suppose next that w is a geodesic in class (4) with σ t ( w ) ≥ 0. Then w = t -1 a k 1 · · · a k e -1 t -1 a l f ta l f -1 · · · a l 1 tw ′ 0 with w ′ 0 in class (1), 1 ≤ e &lt; f , and each k , l j i ∈ Z . First use Lemma 2.1 to replace w by the geodesic word

$$t ^ { - e } a ^ { l _ { f } } t a ^ { k _ { e - 1 } + l _ { f - 1 } } \cdots t a ^ { k _ { 1 } + l _ { f - e + 1 } } t a ^ { l _ { f - e } } \tilde { w } _ { 0 } t a ^ { l _ { f - e - 1 } } \cdots a ^ { l _ { 1 } } t w _ { 0 } ^ { \prime }.$$

To complete construction of the normal form ˆ from this word, replace the w subword a l f t · · · a l 1 tw ′ 0 by its normal form from class (3).

The constructions for the normal forms of geodesics w in class (4) with σ t ( w ) ≤ 0, and of geodesics w 0 ∈ X , are analogous. /square

## 3. The group BS(1,2) satisfies M AC ′

Let G := BS (1 2) = , 〈 a, t | tat -1 = a 2 〉 with generators A := { a, a -1 , t, t -1 } . In this section we prove, in Theorem 3.5, that this group is M AC ′ . We begin with a further analysis of the geodesics in G , via several lemmas which are utilized in many of the cases in the proof of Theorem 3.5.

Lemma 3.1 (Large geodesic) . If w is a geodesic of length r &gt; 200 in one of the classes (1), (2), or (3) of Proposition 2.3 and | σ t ( w ) | ≤ 2 , then w is in either X XN , , or PX , respectively. Moreover, the X subword of w must have the form w w 1 2 with w 1 ∈ P and w 2 ∈ N such that σ t ( w 1 ) = -σ t ( w 2 ) &gt; 10 .

Proof. Suppose that w is a geodesic in either E N , , or P of length r &gt; 200, and | σ t ( w ) | ≤ 2. Then w contains at most two occurrences of the letters t and t -1 . As mentioned in the proof of Proposition 2.3, a ± 6 = ta ± 3 t -1 so a j is not geodesic for | j | ≥ 6. Hence w contains at most 15 occurrences of the letters a and a -1 interspersed among the t ± 1 letters. Then l ( w ) ≤ 17, giving a contradiction. /square

Given a word w 0 ∈ X , there is a natural number k ∈ N with w 0 = G a k ; denote ˜ w 0 := a k . If w is a geodesic word in E ∪ N ∪ P ∪ NP , then let ˜ := w w . Combining these, for any geodesic word w = w w 0 1 (or w = w w 1 0 ) with w 0 ∈ X and w 1 ∈ N ∪ P ∪ NP , define ˜ := w ˜ w w 0 1 = a w k 1 (or ˜ := w w w 1 ˜ 0 = w a 1 k , respectively). Then ˜ w ∈ N ∪ P ∪ NP , and the subword w 1 is geodesic.

Lemma 3.2. If w is a word in NP , NPX or XNP , and ˜ w contains a subword of the form t -1 a 2 i t with i ∈ Z , then w is not geodesic.

Proof. The word w can be written as w = w w w 0 1 2 with w 1 ∈ NP and each of w 0 and w 2 either in X or E . Since ˜ = w ˜ w w w 0 1 ˜ 2 contains the subword t -1 a 2 i t ∈ NP , the word t -1 a 2 i t must be a subword of w 1 , and hence also of w . Since t -1 a 2 i t = G a i , this subword is not geodesic, and hence w also is not geodesic. /square

Lemma 3.3. If w is any word in NP or NPN and w = G 1 , then w must contain a subword of the form t -1 a 2 i t for some i ∈ Z .

Proof. Since G = BS (1 2) is , an HNN extension, Britton's Lemma states that if w ∈ NP N ( ) and w = G 1, then w must contain a subword of the form ta t i -1 or t -1 a 2 i t for some i ∈ Z . If w ∈ NP then w must contain the second type of subword.

If w ∈ NPN , then w = w w w 1 2 3 with w , w 1 3 ∈ N and w 2 ∈ P . Since σ t ( w 1 ) &lt; 0 and 0 = σ t (1) = σ t ( w 1 ) + σ t ( w 2 ) + σ t ( w 3 ), σ t ( w 2 ) &gt; σ t ( w 3 ) and the word w w 2 3 ∈ PX . Then w w 2 3 = w w 4 5 with w 4 ∈ P and w 5 ∈ X , and

the word w w w 1 4 ˜ 5 ∈ NP with w w w 1 4 ˜ 5 = G w = G 1. Then Britton's Lemma applies again to show that the prefix w w 1 4 of w must contain a subword of the form t -1 a 2 i t for i ∈ Z . /square

Lemma 3.4. If w and u are geodesics, w ∈ NP ∪ XNP ∪ NPX σ w , t ( ) ≤ σ t ( u ) , and 1 ≤ d w, u ( ) ≤ 2 , then u ∈ NP ∪ XNP ∪ NPX and for some w , u 1 1 ∈ N and w , u 2 2 ∈ P with σ t ( w 1 ) = σ t ( u 1 ) , ˜ = w w w 1 2 and ˜ = u u u 1 2 .

Proof. The definition of ˜ shows that we can write w ˜ = w w w 1 2 with w 1 ∈ N and w 2 ∈ P . Let γ label a path of length 1 or 2 from w to u ; since σ t ( w ) ≤ σ t ( u ), then γ ∈ E ∪ P . Proposition 2.3 says that ˜ u ∈ E ∪ P ∪ N ∪ NP . Since w is a geodesic, Lemma 3.2 implies that ˜ cannot contain a subword w of the form t -1 a 2 i t for any integer i . Then Lemma 3.3 says that the word ˜ wγu ˜ -1 , which represents the trivial element 1 in G , cannot be in NP N ( ). Therefore ˜ u ∈ E ∪ P ∪ N , so ˜ u ∈ NP . Hence u ∈ NP ∪ XNP ∪ NPX .

/negationslash

-1

We can now write ˜ = u u u 1 2 with u 1 ∈ N and u 2 ∈ P . The word ˜ u ˜ wγ = u -1 2 u -1 1 w w γ 1 2 is another representative of 1. Repeatedly reducing subwords ta t j -1 to t 2 j in the subword u -1 1 w 1 ∈ PN results in a word ˜ u -1 1 w 1 ∈ E ∪ P ∪ N . Then 1 = G u -1 2 ˜ u -1 1 w w γ 1 2 ∈ NP N ( ), so this word must contain a subword of the form t -1 a 2 i t for some integer i . Since w and u are geodesics, w w 1 2 and u -1 2 u -1 1 cannot contain such a subword. Therefore we must have ˜ u -1 1 w 1 ∈ E . Hence σ t ( w 1 ) = σ t ( u 1 ). /square

We split the proof of Theorem 3.5 into 10 cases, depending on the classes from Proposition 2.3 to which the two geodesics w and u belong. In overview, we begin by showing that the first three cases cannot occur; that is, for a pair of length r geodesics w and u in the respective classes in these three cases, it is not possible for d w, u ( ) to be less than three. In cases 4-6, we show that a path δ can be found that travels from w along the path w -1 to within a distance 2 of the identity vertex, and, after possibly traversing an intermediate edge, δ then travels along a suffix of u to u . In case 7 we show that the path δ can be chosen to have length at most six, traveling around at most two bricks in the Cayley complex. In case 8 there are subcases in which each of the two descriptions above occur, as well as a subcase in which the path δ initially follows the inverse of a suffix of w from w , then travels along a path that 'fellow-travels' this initial subpath, and then repeats this procedure by traversing a fellow-traveler of a suffix of u , and then traveling along the suffix itself to u . In cases 9 and 10, the paths δ constructed in each of the subcases follow one of these three patterns.

Theorem 3.5. The group G = BS (1 2) = , 〈 a, t | tat -1 = a 2 〉 is M AC ′ with respect to the generating set A = { a, a -1 , t, t -1 } . In particular, if w and u are geodesics of length r &gt; 200 with 1 ≤ d w, u ( ) ≤ 2 , then there is a path δ inside B r ( ) from w to u of length at most 2 r -2 .

Proof. Suppose that w and u are geodesics of length r &gt; 200 with 1 ≤ d w, u ( ) ≤ 2. Using Proposition 2.3, by replacing w and u by ˆ w and ˆ u

respectively, we may assume that each of w and u are in one of the normal forms listed in that Proposition. Using Lemma 3.1, we may assume that neither w nor u is in E .

Let γ be the word labeling a geodesic path of length at most 2 from w to u , so that wγu -1 = G 1. Since d w, u ( ) ≥ 1,

$$\gamma \in \{ a ^ { \pm 1 }, t ^ { \pm 1 }, a ^ { \pm 2 }, a t ^ { \pm 1 }, a ^ { - 1 } t ^ { \pm 1 }, t a ^ { \pm 1 }, t ^ { - 1 } a ^ { \pm 1 }, t ^ { \pm 2 } \}.$$

Then γ is in one of the sets E P , , or N .

We divide the argument into ten cases, depending on the class of the normal forms w and u from Proposition 2.3, which we summarize in the following table.

| Case    | Class of w   | Class of u   | Case     | Class of w   | Class of u   |
|---------|--------------|--------------|----------|--------------|--------------|
| Case 1: | (4)          | (1)          | Case 6:  | (3)          | (3)          |
| Case 2: | (4)          | (3)          | Case 7:  | (2)          | (2)          |
| Case 3: | (2)          | (3)          | Case 8:  | (1)          | (3)          |
| Case 4: | (1)          | (1)          | Case 9:  | (2)          | (4)          |
| Case 5: | (1)          | (2)          | Case 10: | (4)          | (4)          |

This table represents a complete list of the cases to be checked. In particular, if w is in class (2) and u in class (1), then the inverse of the path in Case 5 will provide the necessary path δ , and similarly for the remainder of the cases.

Case 1: If w is in class (4) and u is in class (1) : Then w is in either NP , NPX or XNP , and u ∈ X . Since ˜ w ∈ NP u , ˜ ∈ E , and the path γ is either in E N , or P , then 1 = G wγu -1 = G ˜ wγu ˜ -1 ∈ NP N ( ) (that is, replacing the X subwords of w and u by powers of a ). By Lemma 3.3, ˜ wγu ˜ -1 contains a subword of the form t -1 a 2 s t ∈ NP , which therefore must occur within ˜. w Then Lemma 3.2 says that w is not a geodesic, which is a contradiction. Hence Case 1 cannot hold.

Case 2: If w is in class (4) and u is in class (3) : Then w is in either NP , XNP or NPX , and u ∈ P X ( ). In this case 1 = G ˜ wγu ˜ -1 ∈ NPN , and the same proof as in Case 1 shows that Case 2 cannot occur.

Case 3: If w is in class (2) and u is in class (3) : Then w ∈ ( X N ) and u ∈ P X ( ). Since σ t ( w ) &lt; 0 and σ t ( u ) &gt; 0 then we must have σ t ( w ) = -1, σ t ( u ) = 1, and γ = t 2 . Lemma 3.1 says that w ∈ XN , and u ∈ PX . Since w is in normal form, w = ˆ = w w t 0 -1 a i with | i | ≤ 1 and w 0 ∈ X , and similarly u = a tu j 0 with | j | ≤ 1 and u 0 ∈ X . Then 1 = G ˜ wγu ˜ -1 = G ˜ w t 0 -1 a t i 2 ˜ u -1 0 t -1 a -j ∈ NPN . Lemma 3.3 then says that w t 0 -1 a t i 2 ˜ u -1 0 t -1 a -j contains a subword of the form t -1 a 2 s t for some s ∈ Z , so i must be a multiple of 2, and hence i = 0. Using the last part of Proposition 2.3, we can further write the normal form for w 0 ∈ X as w 0 = w t 1 -1 ,

Figure 2. Case 6: w = a tw w i 1 0 , u = a -i tu u 1 0 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-745ab84d-4241-4deb-a5d8-218c23a440ba.jpg)

so w = w t i -2 . Then u = G wγ = G w r ( -2), contradicting the hypothesis that u is a geodesic word of length r . Thus Case 3 does not hold.

Case 4: If both w and u are in class (1) : Then w and u are both in X . From Proposition 2.3 the normal forms w = ˆ and w u = ˆ can be chosen of the u form ˆ = w t h w 1 and ˆ = u t u i 1 with h, i &gt; 0 and w , u 1 1 ∈ N . Then w and u have a common prefix t = w (1) = u (1), and the path δ := w -1 1 t -( h -1) t i -1 u 1 from w through w (1) to u has length 2 r -2 and stays inside B r ( ).

Case 5: If w is in class (1) and u is in class (2) : Then w ∈ X and u ∈ ( X N ) . In this case σ t ( w ) = 0, σ t ( γ ) = σ t ( w -1 u ) = σ t ( w ) + σ t ( u ) = σ t ( u ), and σ t ( u ) &lt; 0, so σ t ( u ) is either -1 or -2. The hypothesis that r &gt; 200 and Lemma 3.1 imply that u ∈ XN . Then both of the normal forms ˆ and ˆ w u can be chosen to begin with t , and the same proof as in Case 4 gives the path δ .

Case 6: If both w and u are in class (3) : In this case both w and u are in P X ( ). Without loss of generality assume that σ t ( w ) ≤ σ t ( u ), so σ t ( γ ) ≥ 0 and γ ∈ E ∪ P . Since both w and u are in normal form, w = a tw w i 1 0 and u = a tu u j 1 0 with w , u 1 1 ∈ P ∪ E ; w , u 0 0 ∈ X ∪ E ; and | i , | | j | ≤ 1. Then 1 = G u -1 wγ = G ˜ u -1 0 u -1 1 t -1 a i -j tw w γ 1 ˜ 0 ∈ NP . By Lemma 3.3, u -1 0 u -1 1 t -1 a i -j tw w γ 1 ˜ 0 has a subword of the form t -1 a 2 s t , so i -j is a multiple of 2 and hence either i = j with 0 ≤ | | ≤ i 1 or i = -j with | i | = 1.

If i = j then w and u have a common prefix a t i = w (1 + | i | ) = u (1 + | i | ). The path δ := w -1 0 w -1 1 u u 1 0 from w follows the suffix w w 1 0 of w backward to w (1 + | i | ) and then follows the suffix u u 1 0 of u to u , remaining in B r ( ). If i = -j with | i | = 1, define the path

δ := w -1 0 w -1 1 a -i u u 1 0 = G w -1 0 w -1 1 t -1 a -i a -i tu u 1 0 = w -1 u = G γ.

Then δ labels a path of length 2 r -3, traveling along w -1 from w to wδ r ( -2) = w (2), then along a single edge to wδ r ( -1) = u (2), and finally along a suffix of u to u , thus remaining in B r ( ). (See Figure 2.)

Figure 3. Case 7.3: w = w w t 0 1 -1 , u = u u t 0 1 -1 a j .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-6b53b8c1-6fa9-4cec-950d-7fc57c8df964.jpg)

Case 7: If both w and u are in class (2) : In this case, both w and u are in ( X N ) . We can assume without loss of generality that σ t ( w ) ≤ σ t ( u ), so again σ t ( γ ) ≥ 0 and γ ∈ E ∪ P .

From Proposition 2.3 we have w = w w t 0 1 -1 a i and u = u u t 0 1 -1 a j with w , u 0 0 ∈ X ∪ E ; w , u 1 1 ∈ N ∪ E ; and | i , | | j | ≤ 1. Thus 1 = G ˜ wγu ˜ -1 = ˜ w w t 0 1 -1 a γa i -j tu -1 1 ˜ u -1 0 ∈ NP . By Lemma 3.3 the latter contains a subword of the form t -1 a 2 s t , and so t -1 a γa i -j t must contain this subword.

Since γ ∈ E ∪ P , then γ ∈ { t, t 2 , ta ± 1 , a ± 1 t, a ± 1 , a ± 2 } , and we may divide the argument into four subcases.

Case 7.1: If γ ∈ { t, a ± 1 t } : Then t -1 a 2 s t must be a subword of t -1 a γ i . If γ = t , then since | i | ≤ 1 we have i = 0 and w = w w t 0 1 -1 , so u = G wγ = G w r ( -1). If γ = a ± 1 t , then | i | = 1, and γ = a ± i t . If γ = a t i , then u = G wγ = w r ( -2) t -1 a a t i i = G w r ( -2) a i . Finally, if γ = a -i t , then u = G wγ = w r ( -2) t -1 a a i -i t = G w r ( -2). All three of these options result in a contradiction of the fact that u is a geodesic of length r , so subcase 7.1 can't occur.

Case 7.2: If γ ∈ { t 2 , ta ± 1 } : In this subcase, t -1 a 2 s t must be a subword of t -1 a t i again, so i = 0 and w = w w t 0 1 -1 . Note that γ (1) = t and wγ (1) = G w r ( -1). Then γ is a path of length 2 inside B r ( ) from w to u . In this subcase, we may define the path δ := γ .

Case 7.3: If γ ∈ { a ± 1 } : Write γ = a k with | k | = 1. Recall that 0 ≤ | | ≤ i 1. If i = 0, then t -1 a 2 s t must be a subword of t -1 a a k -j t , so 2 ( | k -j ) and | j | = 1. Then γ = a ± j . If γ = a j , then w = G uγ -1 = u r ( -2) t -1 a a j -j = G u r ( -2) t -1 , contradicting the length r of the geodesic w . Thus γ = a -j . The word δ := ta -j t -1 a j = G a -j labels a path from w to u of length 4. Since wδ (1) = G w r ( -1) and wδ (2) = G u r ( -2), the path δ stays inside B r ( ), and hence satisfies the required properties. (See Figure 3.)

If | i | = 1, then we can write γ = a ± i . If γ = a -i , then u = G wγ = G w r ( -1), again giving a contradiction; hence γ = a i . Note that the word

t -1 a 2 s t must be a subword of t -1 a 2 i a -j t , so 2 (2 | i -j ) and j = 0. Defining δ := a -i ta t i -1 = G a i , then δ labels a path of length 4 from w to u , with wδ (2) = G w r ( -2) and wδ (3) = G u r ( -1), so the path remains in B r ( ) as required.

Case 7.4: If γ ∈ { a ± 2 } : Write γ = a 2 k with | k | = 1. As in the previous subcase, we consider the options i = 0 and | i | = 1 in separate paragraphs.

If i = 0, then t -1 a 2 s t must be a subword of t -1 a 2 k a -j t , so j = 0. Then the length 3 path labeled by δ := ta k t -1 from w to u traverses the vertices represented by wδ (1) = G w r ( -1) and wδ (2) = G u r ( -1), hence remaining in B r ( ).

If | i | = 1, then γ = a ± 2 i . If γ = a -2 i , then wγ (1) = G w r ( -1), so we may define δ := γ .

If | i | = 1 and γ = a 2 i , then t -1 a 2 s t must be a subword of t -1 a 3 i a -j t . Thus | j | = 1, so j = ± i . If j = , then i wγ (1) = G u r ( -1), so again the path δ := γ has the required properties. If j = -i , then the path of length 6 labeled by δ := a -i ta 2 i t -1 a -i = G a 2 i starting at w ends at u . Since wδ (2) = G w r ( -2) and wδ (4) = G u r ( -2), this path also remains within B r ( ).

Case 8: If w is in class (1) and u is in class (3) : Then w ∈ X and u ∈ P X ( ). In this case, σ t ( w ) = 0, σ t ( u ) &gt; 0, and σ t ( u ) = σ t ( w ) + σ t ( γ ) = σ t ( γ ), so 0 &lt; σ t ( u ) = σ t ( γ ) ≤ 2. Thus γ ∈ P , so γ ∈ { t, ta ± 1 , t 2 , a ± 1 t } .

/negationslash

Suppose γ ∈ { t, ta ± 1 , t 2 } . By Proposition 2.3 and Lemma 3.1, the normal form w can be chosen in the form w = w t 1 -h with w 1 ∈ P and h &gt; 10. Then the length r geodesic u cannot represent wt = G w r ( -1) or wt 2 = g w r ( -2), so γ = t and γ = t 2 . For γ = ta ± 1 , since wγ (1) = G w r ( -1), we may define δ := γ .

/negationslash

Suppose for the rest of Case 8 that γ = a ± 1 t and write γ = a m t with | m | = 1. Proposition 2.3 says that the normal form w can also be chosen in the form w = tw t 0 -1 a i with w 0 ∈ X and 0 ≤ | | ≤ i 1. If i = m , then u = G wγ = tw t 0 -1 a m m a t = G w r ( -2) a m , and if i = -m , then u = G tw t 0 -1 a -m m a t = w r ( -2), both contradicting the geodesic length r of u . Then i = 0 and w = tw t 0 -1 with w 0 in X . We also have σ t ( u ) = σ t ( γ ) = 1, and Lemma 3.1 implies that u ∈ PX , so the normal form u = a tu j 0 with u 0 in X and | j | ≤ 1.

If j = 0 then w and u have a common t prefix, and the path δ := tw -1 0 u 0 has the required properties.

Suppose for the remainder of Case 8 that | j | = 1. Then either γ = a t j or γ = a -j t ; we consider these two subcases separately.

Case 8.1: If γ = a t j : Applying Lemma 2.1 to commute the subwords in parentheses with zero t -exponent-sum,

$$1 = _ { G } w \gamma u ^ { - 1 } = t w _ { 0 } t ^ { - 1 } ( a ^ { j } ) ( t u _ { 0 } ^ { - 1 } t ^ { - 1 } ) a ^ { - j } = _ { G } t w _ { 0 } u _ { 0 } ^ { - 1 } t ^ { - 1 },$$

which yields w 0 = G u 0 . By Proposition 2.3 we can replace each subword with a normal form w 0 = u 0 = vta t k -p such that 2 ≤ | k | ≤ 3 and v ∈ P

Figure 4. Case 8.1: w = tvta k t - -p 1 , u = a tvta j k t -p , γ = a t j .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-7e0cd4d5-82f5-4ace-acf6-f1e07bfdb79d.jpg)

with σ t ( v ) = p -1. Since r &gt; 200, Lemma 3.1 implies that p &gt; 10. Let s := sign( k ). Then w = tvta | k s | t -( p +1) and u = a tvta j | k s | t -p .

Consider the path δ := t p a -2 s t -p a t a j p 2 s t 1 -p starting at w . Using Lemma 2.1,

$$\delta = ( t ^ { p } a ^ { - 2 s } t ^ { - p } ) ( a ^ { j } ) t ^ { p } a ^ { 2 s } t ^ { - ( p - 1 ) } = _ { G } ( a ^ { j } ) ( t ^ { p } a ^ { - 2 s } t ^ { - p } ) t ^ { p } a ^ { 2 s } t ^ { - ( p - 1 ) } = _ { G } a ^ { j } t = \gamma,$$

so δ labels a path from w to u . This path δ both follows and 'fellow travels' suffixes of w and u ; see Figure 4 for a view of this path, shown in shading, when k and j have the same sign.

In order to check that δ remains in the ball B r ( ), we analyze the distances from 1 of several vertices along the path δ , and together with the lengths of the subpaths between the vertices. The prefix t p of δ is the inverse of a suffix of w , so starting from w the path δ follows the path w backward. Then d (1 , wδ ( )) = i r -i for 0 ≤ i ≤ p and wδ p ( ) = G w r ( -p ). The point wδ p ( +1) must then also lie in the ball B r ( -( p -1)). Since wδ p ( +2) = wt a p -2 s = G w r ( -p a ) -2 s = G w r ( -p ta ) -s t -1 = G w r ( -( p +2)) t -1 , the point C := wδ p ( +2) must lie in the ball B r ( -( p +1)). Then the initial segment of δ of length p +2 from w to C lies inside B r ( ).

Similarly, the suffix t -( p -1) of δ is also a suffix of u , so d (1 , wδ (3 p +5+ )) = i r -( p -1) + i for 0 ≤ i ≤ p -1 and wδ (3 p +5) = G u r ( -( p -1)). The point wδ (3 p +4) ∈ B r ( -( p -2)). Since wδ (3 p +3) = G wδ (3 p +5) a -2 s = G u r ( -( p -1)) ta -s t -1 = G a tvta j | k s | t -1 ta -s t -1 = G u r ( -( p +1)) t -1 , the point D := wδ (3 p +3) must lie in the ball B r ( -p ). So the final segment of δ of length p +1 from D to u also lies in B r ( ).

Finally, the central section labeled t -p a t j p of the path δ from C ∈ B r ( -( p +1)) to D ∈ B r ( -p ) has length 2 p +1, and hence never leaves the ball B r ( ). The entire path δ has length 4 p +4, whereas r = ( ) + l v | k | + p +3 ≥ ( p -1) + 2 + p + 3 = 2 p + 4, so l ( δ ) ≤ 2 r -4. Thus the path δ has the required properties in this subcase.

Case 8.2: If γ = a -j t : Applying Lemma 2.1 again yields 1 = G wγu -1 = tw t 0 -1 ( a -j )( tu -1 0 t -1 ) a -j = G tw t 0 -1 tu -1 0 t -1 a -j a -j = G tw u 0 -1 0 a -j t -1 , implying that u 0 = G a -j w 0 . Plugging this into the expression for u gives u = a tu j 0 = G a ta j -j w 0 = G a -j tw 0 . Note that r = ( l w ) = ( l w 0 ) + 2, so a -j tw 0 is another geodesic from 1 to u . Replacing u with a -j tw 0 , we can now find the path δ using subcase 8.1.

/negationslash

Case 9: If w is in class (2) and u is in class (4) : Then w ∈ ( X N ) and u is either in NP , XNP , or NPX . Since w ∈ ( X NP ) ∪ NPX , Lemma 3.4 says that σ t ( w &lt; σ ) t ( u ). Therefore σ t ( γ ) &gt; 0, so γ ∈ { t, t 2 , a ± 1 t, ta ± 1 } . We divide this case into two subcases, depending on the t -exponent sum of u .

Case 9.1: If σ t ( u ) ≤ 0 : By Proposition 2.3, the geodesic normal form u = u u t 0 1 -1 a m e t f with u 0 ∈ X ∪ E u , 1 ∈ N , | m e | = 1, and 1 ≤ f ≤ e = | σ t ( u 1 ) | +1.

/negationslash

Case 9.1.1: If γ ∈ { t, t 2 , a ± 1 t } : Then γ and u share a suffix t , so u r ( -1) = uγ -1 (1). The geodesic w = u r ( -1), so γ = . For t γ ∈ { t 2 , a ± 1 t } , the path δ := γ has the required properties.

/negationslash

Case 9.1.2: If γ ∈ { ta ± 1 } : Write γ = ta k with | k | = 1. Also write w = w w 0 1 with w 0 ∈ X ∪ E and w 1 ∈ N . Then

= G ˜ u u t 0 1 -1 a m e t f -1 a -2 k w -1 1 ˜ w -1 0 ∈ NP .

1 = G ˜ uγ -1 ˜ w -1 = ˜ u u t 0 1 -1 a m e t f a -k t -1 w -1 1 ˜ w -1 0

/negationslash

Lemma 3.3 implies that the latter word must contain a non-geodesic t -1 a 2 s t subword. Then the first occurrence of a t must be in w -1 1 , so f = 1. Write u = u u t 0 1 -1 a m e t = u u t 0 ′ 1 with u ′ 1 := u t 1 -1 a m e ∈ N . Note that w = G uγ -1 = G u u ta 0 ′ 1 -k t -1 = G u r ( -1) a -2 k . Let v := u u a 0 ′ 1 -k = u r ( -1) a -k = G wa k . The vertex v ∈ B r ( ). If v ∈ B r ( -1), then the path δ := a 2 k t from w to u satisfies wδ (1) = G v and wδ (2) = G u r ( -1), so δ is a path of length 3 inside B r ( ) from w to u . On the other hand, if v ∈ B r ( -1), then v is a length r geodesic in ( X N ) , and w = G va -k so d v, u ( ) = 1. Applying case 7.3 to the geodesics v and w in class (2), there is a path δ ′ of length 4 inside B r ( ) from w to v . Let δ := δ a ′ k t . Then δ is a path of length 6 from w to u inside B r ( ).

/negationslash

Case 9.2: If σ t ( u ) &gt; 0 : Since σ t ( w ) &lt; 0 and σ t ( w ) + σ t ( γ ) = σ t ( u ) then we must have σ t ( w ) = -1, σ t ( u ) = 1, and γ = t 2 . By Proposition 2.3 and Lemma 3.1, w = w t 0 -1 a i with w 0 ∈ X , | i | ≤ 1, w 0 = vta k t - -p 1 with v ∈ P , σ t ( v ) = p &gt; 9, and 2 ≤ | k | ≤ 3. Since u = G wγ = vta k t -p t -2 a t i 2 and u has geodesic length r = ( l w ) = l ( v ) + | k | + | i | + p +3, then i = 0. Using Lemma 2.1, u = G ( t -1 a t i )( vta k t - -p 1 ) . t The word x := t -1 a tvta i k t -p is another geodesic labeling a path from the identity to u .

Let s :=sign( k ), and define the path

$$\delta \coloneqq a ^ { - i } t ^ { p + 1 } a ^ { - 2 s } t ^ { - ( p - 1 ) } t ^ { - 2 } a ^ { i } t ^ { 2 } t ^ { p - 1 } a ^ { 2 s } t ^ { - ( p - 1 ) }$$

starting at w . Using Lemma 2.1, so δ labels a path from w to u = x . The length l ( δ ) = 4 p +8, and the length r l w l v k p p l δ r

δ = G a -i t p +1 a -2 s t -( p -1) ( t p -1 a 2 s t -( p -1))( t -2 a t i 2 ) = G t 2 = γ, = ( ) = ( ) + | | + +4 ≥ 2 +6, so ( ) ≤ 2 -4.

The proof that δ remains in B r ( ) is similar to case 8.1. In particular, note that wδ p ( +2) = w r ( -( p +2)) ∈ B r ( -( p +2)). Since wδ p ( +4) = ( vta k t -p t -2 a i )( a -i t p +1 a -2 s ) = G vta k -s t -1 = G w r ( -( p +4)) t -1 , the point wδ p ( +4) ∈ B r ( -( p +3)). Also wδ (3 p +9) = x r ( -( p -1)) ∈ B r ( -( p -1)). Finally, since wδ (3 p + 7) = G x r ( -( p -1)) a -2 s = G t -1 a tvta i k t -1 a -2 s = G t -1 a tvta i k -s t -1 = G x r ( -( p +1)) t -1 , then the point wδ (3 p +7) ∈ B r ( -p ). Then the five successive intermediate subpaths of δ between w , these four points, and u are too short to allow δ to leave B r ( ).

Case 10: If both w and u are in class (4) : In this case both w and u are in ( X NP ) ∪ NPX . We may assume without loss of generality that σ t ( w ) ≤ σ t ( u ). It follows that σ t ( γ ) ≥ 0, so γ ∈ { a ± 1 , a ± 2 , a ± 1 t, ta ± 1 , t, t 2 } .

We divide this case into three subcases, depending on the t -exponents of w and u .

Case 10.1: If σ t ( w ) ≥ 0 and σ t ( u ) ≥ 0 : In this case Proposition 2.3 says that we have geodesic normal forms u, w ∈ NP X ( ), and moreover w = t -p 1 w ′ and u = t -p 2 u ′ with p 1 &gt; 0, p 2 &gt; 0, and w , u ′ ′ ∈ P X ( ). Thus w (1) = t -1 = u (1), and we may define δ := w ′-1 t p 1 -1 t -( p 2 -1) u ′ .

Case 10.2: If σ t ( w ) &lt; 0 and σ t ( u ) ≤ 0 : In this subcase, we have normal forms w,u ∈ ( X NP ) , and we can write

$$w = w _ { 0 } w _ { 1 } t ^ { - 1 } a ^ { i _ { 1 } } t ^ { f _ { 1 } } \quad \text{ and } \quad u = u _ { 0 } u _ { 1 } t ^ { - 1 } a ^ { i _ { 2 } } t ^ { f _ { 2 } }$$

with w , u 0 0 ∈ X ∪ E w , 1 ∈ N u , 1 ∈ N ∪ E f , 1 ≥ 1, f 2 ≥ 1, σ t ( w 1 ) ≤ -f 1 , σ t ( u 1 ) ≤ -( f 2 -1), and | i 1 | = | i 2 | = 1. Lemma 3.4 implies that σ t ( w 1 ) = σ t ( u 1 ). Then σ t ( wγ ) = σ t ( w 1 ) -1 + f 1 + σ t ( γ ) = σ t ( u ) = σ t ( u 1 ) -1 + f 2 , so f 2 = f 1 + σ t ( γ ) ≥ f 1 .

Case 10.2.1: If γ ∈ { t, t 2 , a ± 1 t } : Since the last letter of u is t , the proof of Case 9.1.1 shows that γ = , and for t γ ∈ { t 2 , a ± 1 t } , we may define δ := γ .

/negationslash

Case 10.2.2: If γ ∈ { a ± 1 } : Write γ = a k with | k | =1. The word δ := t -1 a 2 k t labels a path of length 4 from w to u . Since both words w and u end with a t , then wδ (1) = G w r ( 1 ) and wδ (3) = G u r ( -1), hence δ lies in B r ( ).

Case 10.2.3: If γ ∈ { ta ± 1 } : Write γ = ta k with | k | = 1. In this subcase, f 2 = f 1 + σ t ( γ ) = f 1 +1 ≥ 2. Then the word w ends with a t and u ends with t 2 . Now u = u r ( -1) t = G wγ = wta k = G wa 2 k t . Let v := u r ( -1) a -k = G wa k . Then v ∈ ( X NP ) and v ∈ B r ( ). The remainder of the proof in this subcase is similar to Case 9.1.2. If v ∈ B r ( -1), then δ := a 2 k t has the required properties. If v ∈ B r ( -1), then Case 10.2.2 provides a path

/negationslash

δ ′ = t -1 a 2 k t inside B r ( ) from w to v , and the path δ := δ a ′ k t = t -1 a 2 k ta k t from w to u satisfies the required conditions.

Case 10.2.4: If γ ∈ { a ± 2 } : Write γ = a 2 k with | k | = 1. In this case we have σ t ( u ) = σ t ( w &lt; ) 0 and f 2 = f 1 + σ t ( γ ) = f 1 .

/negationslash

/negationslash

/negationslash

Define δ := t -f 1 ( a -i 1 )( t f 1 a 2 k t -f 1 ) a i 1 t f 1 . Using Lemma 2.1 to commute the subwords in parentheses, and freely reducing the resulting word, shows that δ = G a 2 k = γ , so δ labels a path from w to u . The length l ( γ ) = 4 f 1 + 4 = 2(2 f 1 +3) -2 ≤ 2 r -2. The prefix δ f ( 1 +2) = w -1 ( f 1 +2) is the inverse of a suffix of w , so wδ f ( 1 +2) = w r ( -( f 1 +2)) ∈ B r ( -( f 1 + 2)). The word t f i is a suffix of both δ and u , so wδ (3 f 1 +4) = u r ( -f 1 ) ∈ B r ( -f 1 ). The three subpaths of δ between w , the two points above, and u are again too short to allow δ to leave B r ( ).

The radius r = l ( w ) = l ( w 0 ) + l ( w 1 ) + 2 + f 1 ≥ σ t ( w 1 ) + 2 + f 1 ≥ 2 f 1 + 2. If r = 2 f 1 + 2, then w = t -f 1 -1 a i 1 t f 1 and u = t -f 1 -1 a i 2 t f 1 . Since w = u , then i 1 = i 2 , so i 2 = -i 1 . Since r &gt; 200, then f 1 &gt; 1. Now u -1 wγ = G ( t -f 1 -1 a i 2 t f 1 ) -1 ( t -f 1 -1 a i 1 t f 1 ) a 2 k = G t -( f 1 -1) a i 1 t f 1 -1 ) a 2 k ; according to Britton's Lemma, this last expression cannot equal the trivial element 1 in G . Thus the radius r = 2 f 1 +2, so r ≥ 2 f 1 +3.

Case 10.3: If σ t ( w ) &lt; 0 and σ t ( u ) &gt; 0 : Then γ = t 2 , σ t ( w ) = -1, and σ t ( u ) = 1. From Proposition 2.3, the normal form

$$w = w _ { 0 } t ^ { - 1 } a ^ { m _ { 1 } } t ^ { - 1 } \cdots t ^ { - 1 } a ^ { m _ { p } } t ^ { p - 1 }$$

with either w 0 ∈ X or w 0 = a k ∈ E for some | k | ≤ 3, p ≥ 2, and | m p | = 1. Using Lemma 2.1, then the word ˇ := w w t 0 -p a m p ta m p -1 · · · ta m 1 is another geodesic representative of w . The normal form for u ∈ NP X ( ) has the form u = t -e a tu u j 1 0 with e ≥ 1, | j | = 1, u 1 ∈ P with σ t ( u 1 ) = p , and u 0 ∈ X ∪ E . Lemma 3.4 shows that p = . Replacing e w by the alternate normal form ˇ, w then we can write

$$w = w _ { 0 } t ^ { - p } a ^ { i } t w _ { 2 } \quad \text{ and } \quad u = t ^ { - p } a ^ { j } t u _ { 1 } u _ { 0 }$$

such that either w 0 ∈ X or w 0 = a k for | k | ≤ 3, p ≥ 2, | i | = 1, w 2 ∈ P ∪ E with σ t ( w 2 ) = p -2, | j | = 1, u 1 ∈ P with σ t ( u 1 ) = p , and u 0 ∈ X ∪ E .

We will divide case 10.3 into further subcases, depending on the form of w 0 and the length of w 2 .

Case 10.3.1: If w 0 ∈ X : In this case Proposition 2.3 says that we can write w 0 = w ta t 3 k -l with l ≥ 1, w 3 ∈ P ∪ E σ , t ( w 3 ) = l -1, and 2 ≤ | m | ≤ 3. Let s = ± 1 be the sign of m , so that m = | ms | . Then

$$w = w _ { 3 } t a ^ { | m | s } t ^ { - l } t ^ { - p } a ^ { i } t w _ { 2 } \.$$

The radius r = ( l w 3 ) + l ( w 2 ) + | m | + + l p +3 ≥ σ t ( w 3 ) + l ( w 2 ) + l + p +5 = l ( w 2 ) + 2 l + p +4.

Applying Lemma 2.1, we obtain u = G ˇ wt 2 = ( w ta 3 | ms | t -l )( t -p a tw t t i 2 ) = G t -p a tw tw ta i 2 3 | ms | t - -( l 1) . Then

$$\check { u } \coloneqq t ^ { - p } a ^ { i } t w _ { 2 } t w _ { 3 } t a ^ { | m | s } t ^ { - ( l - 1 ) } \.$$

is another geodesic representative of u .

$$C a s e \, 1 0. 3. 1. 1 \colon I f \, l \geq 2 \colon Define$$

$$\delta \coloneqq ( w _ { 2 } ^ { - 1 } t ^ { - 1 } a ^ { - i } t ^ { p - 1 } ) ( t ^ { l } a ^ { - 2 m } t ^ { - l } ) t ^ { - ( p - 1 ) } a ^ { i } t w _ { 2 } t ^ { l } a ^ { 2 m } t ^ { - ( l - 2 ) } \.$$

Applying Lemma 2.1 to the subwords in parentheses shows that δ = G t 2 = γ , so δ labels a path from w to ˇ = u u . The length l ( δ ) = 2 ( l w 2 ) + 4 l +2 +4 p ≤ 2 r -4.

The vertex wδ l w ( ( 2 ) + p + +1) = l w r ( -( ( l w 2 ) + p + +1)) l ∈ B r ( -( ( l w 2 ) + p + l + 1)). Now wδ l w ( ( 2 ) + p + l + 3) = G w ta 3 | ms | t -1 a -2 s = G w ta 3 ( | m |-1) s t -1 w r ( -( ( l w 2 )+ + +3)) p l t -1 , implying wδ l w ( ( 2 ) + p + +3)) l ∈ B r ( -( ( l w 2 ) + p + l + 2)). The suffix t - -( l 2) of δ is also a suffix of ˇ, u so wδ (2 ( l w 2 ) + 3 l +2 +6) = ˇ( p u r -( l -2)) ∈ B r ( -( l -2)). Finally, wδ (2 ( l w 2 )+3 +2 +4) = l p G ˇ( u r - -( l 2)) a -2 s = G t -p a tw tw ta i 2 3 | ms | t -1 a -2 s = G t -p a tw tw ta i 2 3 ( | m |-1) s t -1 , so wδ (2 ( l w 2 ) + 3 l +2 +4) = ˇ( p u r -l ) t -1 ∈ B r ( -( l -1)). The five subpaths of δ between w , these four points, and u are each too short to leave B r ( ).

Case 10.3.1.2: If l = 1 : In this case define

$$\delta \coloneqq ( w _ { 2 } ^ { - 1 } t ^ { - 1 } a ^ { - i } t ^ { p - 1 } ) ( t a ^ { - 2 s } t ^ { - 1 } ) t ^ { - ( p - 1 ) } a ^ { i } t w _ { 2 } t ^ { 2 } a ^ { s } \.$$

Commuting the subwords in parentheses, then δ = G t 2 = γ and δ labels a path from w to u . The length l ( δ ) = 2 ( l w 2 ) +2 p +9 = 2 ( l w 2 ) +4 +2 l p +5 ≤ 2 r -3.

The proof that δ remains in B r ( ) is similar to Case 10.3.1.1. In particular, wδ l w ( ( 2 ) + p +2) = w r ( -( ( l w 2 ) + p +2)) ∈ B r ( -( r -( ( l w 2 ) + p + 2)), wδ l w ( ( 2 ) + p +4) = w r ( -( ( l w 2 ) + p +4)) t -1 ∈ B r ( -( r -( ( l w 2 ) + p +3)), wδ (2 ( l w 2 ) + 2 p +8) = ˇ( u r -1) ∈ B r ( -1), and the four successive subpaths between w , these three points, and u are too short for δ to leave B r ( ).

Case 10.3.2: If w 0 = a k with | k | ≤ 3 , and l ( w 2 ) = p -2 : Since σ t ( w 2 ) = p -2, then w 2 = t p -2 and w = a t k -p a t i p -1 with p ≥ 2 and | i | = 1. Recall that u = t -p a tu u j 1 0 with | j | = 1 and σ t ( u 1 ) = p . The radius r = | k | + 2 p = p +2+ ( l u u 1 0 ), so | k | = ( l u u 1 0 ) -p +2 ≥ 2.

/negationslash

/negationslash

/negationslash

If | k | = 2, then l ( u u 1 0 ) = p and u = t -p a t j p +1 . The trivial element 1 = G wt u 2 -1 = a t k -p a t i p -1 t 2 t -( p +1) a -j t p = G a t k -p a a i -j t p . Since a k = G 1, i = . But j a t k -p a a t i i p = G a t k -( p -1) a t i ( p -1) , and Britton's Lemma says that the latter word cannot represent the trivial element 1, so i = -j . Therefore we cannot have | k | = 2.

If | k | = 3, then l ( u u 1 0 ) = p +1 and σ t ( u 1 ) = p , so the word u u 1 0 contains one occurrence of a or a -1 . Write u u 1 0 = t b a t l p -b for some 0 ≤ b ≤ p and

| l | = 1. Then wt u 2 -1 freely reduces to a t k -p a t t a i ( b -l t -b )( a -j ) t p . Commuting the parenthetical subwords and reducing again gives 1 = G wt u 2 -1 = G a t k -p a ta i -j t b a -l t p -b . This word is in NP , and doesn't contain a subword of the form t -1 a 2 m t , so Britton's Lemma (or Lemma 3.3) implies a contradiction again. Therefore case 10.3.2 cannot occur.

Case 10.3.3: If w 0 = a k with | k | ≤ 3 and l ( w 2 ) ≥ p -1 : In this case we have the geodesic normal forms w = a t k -p a tw i 2 and u = t -p a tu u j 1 0 . The radius r = ( l w 2 ) + | k | + p +2 = ( l u u 1 0 ) + p +2. We have two subcases, depending on whether i = j or i = . j

/negationslash

Case 10.3.3.1: If i = j : In this subcase note that γ = t 2 = G w -1 u = w -1 2 t -1 ( a -j )( t p a -k t -p ) a tu u j 1 0 . Applying Lemma 2.1 and reducing shows that the word δ := w -1 2 t p -1 a -k t -( p -1) u u 1 0 = G γ , and so δ labels a path from w to u . The length l ( δ ) = 2 r -6.

As usual we analyze the distances from 1 of several vertices along the path δ . wδ l w ( ( 2 )) = w r ( -l ( w 2 )) ∈ B r ( -l ( w 2 )), wδ l w ( ( 2 ) + 2 p -2 + | k | ) = u r ( -l ( u u 1 0 )) ∈ B r ( -l ( u u 1 0 )), and the three intervening subpaths are each too short to allow δ to leave B r ( ).

Case 10.3.3.2: If i = -j : Similar to Case 10.3.3.1, after commuting and reduction we have γ = G w -1 u = G w -1 2 t p -1 a -k t -p a a tu u j j 1 0 . Then the word δ := w -1 2 t p -1 w -1 0 t -( p -1) a u u j 1 0 = G γ labels a path from w to u and has length l ( δ ) = 2 r -5.

As in Case 10.3.3.1, we have wδ l w ( ( 2 )) = w r ( -l ( w 2 )) ∈ B r ( -l ( w 2 )) and wδ l w ( ( 2 ) + 2 p -1 + | k | ) = u r ( -l ( u u 1 0 )) ∈ B r ( -l ( u u 1 0 )). Now wδ l w ( ( 2 )+ 2 p -2 + | k | ) = G ( t -p a t a j ) -j = G t -p a -j t , so wδ l w ( ( 2 ) + 2 p -2 + | k | ) = u r ( -( ( l u u 1 0 ) + 2)) a -j t ∈ B r ( -l ( u u 1 0 )) as well. The four successive subpaths of δ between w , these three vertices, and u have lengths too short to allow δ to leave B r ( ). Therefore δ has the required properties.

Therefore in all of cases 1-10, either the case cannot occur or the path δ with the required properties can be constructed, completing the proof of Theorem 3.5. /square

## 4. Non-convexity properties for BS (1 , q )

In the first half of this section we show, in Theorem 4.3, that the group G := BS (1 2) = , 〈 a, t | tat -1 = a 2 〉 with generators A := { a, a -1 , t, t -1 } does not satisfy Poenaru's P (2) almost convexity condition. We start by defining some notation. Let n be an arbitrary natural number with n &gt; 100 and let w := t n a t 2 -n and u := at n a t 2 -( n -1) (see Figure 5). Then w and u are words of length R := 2 n +2. Moreover, using Lemma 2.1, wat = ( a )( t n a t 2 -n ) t = G u , so d w, u ( ) = 2 and the word γ := at labels a path from w to u .

Lemma 4.1. If m ∈ Z and a m is in the ball B R ( ) = B (2 n + 2) in the Cayley graph of G , then either m = 2 n +1 or m ≤ 2 n +2 n -1 +2 n -2 .

Figure 5. w = t n a t 2 -n , u = at n a t 2 -( n -1)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-5bef82d7-ad04-4ffc-97b7-40b27d8d05ac.jpg)

Proof. For a m ∈ B R ( ), Proposition 2.3 says that there is a geodesic word V in the normal form v = t h a t s -1 a k h -1 t -1 · · · t -1 a k 0 with 2 ≤ | s | ≤ 3 and each | k i | ≤ 1, such that v = G a m . This word contains 2 h letters of the form t ± 1 and l ( v ) ≤ 2 n +2, so h ≤ n . Also, v = G a 2 h s +2 h -1 k h -1 + ··· + k 0 = G a m , so m = 2 h s +2 h -1 k h -1 + · · · + k 0 .

Finally, if h ≤ n -2, then m ≤ 2 n -2 (3) + 2 n -3 (1) + · · · +(1) = 2 n -1 2 -1 , so m&lt; 2 n +2 n -1 +2 n -2 . /square

If h = n , then v = t n a ± 2 t -n , so m = ± 2 n +1 . If h = n -1, then there are at most 4 occurrences of a ± 1 in the expression for v ; that is, | s | + ∑ | k i | ≤ 4. The value of m will be maximized if s = +3, k h -1 = +1, and k i = 0 for all i ≤ h -2; in this case, m = (3)2 n -1 +2 n -2 = 2 n +2 n -1 +2 n -2 .

Lemma 4.2. The words w = t n a t 2 -n , wa wa , -1 , wt -1 , and u = at n a t 2 -( n -1) label geodesics in the Cayley graph of G .

Proof. As a consequence of Lemma 4.1, the vertices a 2 n +1 +1 and a 2 n +1 -1 are not in the ball B R ( ). The words t n a t 2 -n a = wa and aw both label paths from the identity to a 2 n +1 +1 , and the word wa -1 labels a path from 1 to a 2 n +1 -1 . Each of these words has length 2 n +3 = R +1, so all three paths must be geodesic. As a consequence, the subwords w of wa and u of aw are also geodesic.

The element wt -1 has a geodesic normal form from Proposition 2.3 given by v = t h a t s -1 a k h -1 t -1 · · · t -1 a k 0 t -1 a l with | l | ≤ 1. Since a 2 n +1 t -1 v -1 = G 1, Lemma 3.3 shows that a l = a 2 i with i ∈ Z , so l = 0. Hence wt -1 is also geodesic. /square

Theorem 4.3. The group G = BS (1 2) = , 〈 a, t | tat -1 = a 2 〉 is not P (2) with respect to the generating set A = { a, a -1 , t, t -1 } .

Proof. Let n ∈ N with n &gt; 100, w = t n a t 2 -n , u = at n a t 2 -( n -1) , and R = 2 n +2. Then w and u lie in the sphere S R ( ) and d w, u ( ) = 2. Let δ be a path inside the ball B R ( ) from w to u that has minimal possible length. In particular, δ does not have any subpaths that traverse a single vertex more than once.

From Lemma 4.2, wa ± 1 and wt -1 are not in B R ( ), so the first letter of the path δ must be t . Let π : C → T denote the horizontal projection map from the Cayley complex of G to the regular tree T of valence 3, as described at the beginning of Section 2. The vertices π wδ ( (1)) = π t ( ) and π u ( ) = π at ( ) are the terminal vertices of the two distinct edges of T with initial vertex π w ( ) = π (1). Since the projection of the path δ begins at π (1), goes to π t ( ), and eventually ends at π at ( ), there must be another point P := wδ j ( ) along the path δ with π P ( ) = π wδ j ( ( )) = π (1) and 1 &lt; j &lt; l δ ( ). Let δ 1 be the subpath of δ from w to P .

/negationslash

Our assumption that δ has minimal possible length implies that P = w . Since π P ( ) = π (1), P = G a m for some m ∈ Z . Then Lemma 4.1 shows that m ≤ 2 n +2 n -1 +2 n -2 . Since δ 1 labels a path from a 2 n +1 to a m , then δ -1 1 = G a 2 n +1 -m = a k with k = 2 n +1 -m ≥ 2 n -2 &gt; 2 ( n -4)+1 . Applying the contrapositive of Lemma 4.1, a k is not in the ball B (2( n -4) + 2), so the length l ( δ -1 1 ) &gt; 2( n -4) + 2. Therefore l ( δ ) &gt; R -8, so this length cannot be bounded above by a sublinear function of R . /square

For the remainder of this section, let G q := BS (1 , q ) = 〈 a, t | tat -1 = a q 〉 with q ≥ 7 and with generators A := { a, a -1 , t, t -1 } . We will apply methods very similar to those developed above, to show that these groups are not MAC .

Lemma 4.4. If m ∈ Z and a m is in the ball B R ( ) = B (2 n + 1) in the Cayley graph of G q , then either m = q n or m ≤ 3 q n -1 .

Proof. For a m ∈ B R ( ), Proposition 2.3 says that there is a geodesic word V in the normal form v = t h a t s -1 a k h -1 t -1 · · · t -1 a k 0 with 1 ≤ | s | ≤ q -1 and each | k i | ≤ /floorleft q 2 /floorright , such that v = G a m . Then h ≤ n and m = q h s + q h -1 k h -1 + · · · + k 0 .

If h = n , then v = t n a ± 1 t -n , and m = ± q n . If h = n -1, then there are at most 3 occurrences of a ± 1 in the expression for v . The value of m will be maximized if s = +3, in which case, m = (3) q n -1 . Finally, if h ≤ n -2, then m ≤ q n -2 ( q -1) + q n -3 /floorleft q 2 /floorright + · · · +( /floorleft q 2 /floorright ) = q n -1 -q n -2 + q n -2 -1 2 -1 /floorleft q 2 /floorright , so m&lt; q 3 n -1 . /square

Theorem 4.5. The group G q = BS (1 , q ) = 〈 a, t | tat -1 = a q 〉 with q ≥ 7 is not MAC with respect to the generating set A = { a, a -1 , t, t -1 } .

Proof. Let n be an arbitrary natural number with n &gt; 100. Let w ′ := t n at -n and u ′ := at n at -( n -1) . Then w ′ and u ′ are words of length R := 2 n +1. As a consequence of Lemma 4.4, an argument similar to the proof of Lemma 4.2 shows that the words w ′ , u ′ , w a ′ ± 1 , and w t ′ -1 are geodesics. Hence w ′ and u ′ lie in S R ( ). Lemma 2.1 says that w at ′ -1 = ( a )( t n at -n ) t 1 = G u ′ , so d w , u ( ′ ′ ) = 2 and the word γ := at 1 labels a path from w ′ to u ′ . Let δ be a path inside the ball B R ( ) from w ′ to u ′ that has minimal possible length.

Using the information on geodesics from the previous paragraph, the first letter of the path δ must be t . Let π : C → T denote the horizontal projection

map from the Cayley complex of G q to the regular tree T of valence q +1. The vertices π w δ ( ′ (1)) = π t ( ) and π u ( ′ ) = π at ( ) are the terminal vertices of two distinct edges of T with initial vertex π w ( ′ ) = π (1). Consequently, there must be a point P := w δ j ′ ( ) along the path δ with π P ( ) = π w δ j ( ′ ( )) = π (1) and 1 &lt; j &lt; l δ ( ). Write δ = δ δ 1 2 where δ 1 is the subpath of δ from w ′ to P .

/negationslash

The vertex P = w ′ = a q n , and P = G q a m for some m ∈ Z , so Lemma 4.4 shows that m ≤ 3 q n -1 . The word δ 1 labels a path from a q n to a m , so δ 1 = G q a k with k = q n -m ≥ ( q -3) q n -1 &gt; q 3 n -1 since q ≥ 7. Then Lemma 4.4 says that either k = q n or a k is not in the ball B (2 n +1).

If a k is not in the ball B (2 n +1), then the length l ( δ 1 ) &gt; n 2 +1 = R . Note that u t ′ -1 = aw ′ = G q a q n +1 . The word δ t 2 -1 labels a path from P = a m to a q n +1 , so δ t 2 -1 = G q a k +1 with k +1 &gt; q 3 n -1 . Then the length l ( δ t 2 -1 ) &gt; R as well. Thus l ( δ 2 ) ≥ R and the length l ( δ ) ≥ R +1+ R = 2 R +1. Since there is a path w ′-1 u ′ of length 2 R inside B R ( ) from w ′ to u ′ , this contradicts our choice of δ with minimal length.

Then the path δ satisfies k = q n , so P = 1. Therefore the path δ reaches the vertex corresponding to the identity, and the length of the path δ is 2 R . /square

Corollary 4.6. The properties MAC and M AC ′ are not commensurability invariant, and hence also not quasi-isometry invariant.

Proof. The index 3 subgroup of BS (1 2) , = 〈 a, t | tat -1 = a 2 〉 generated by a and t 3 is isomorphic to BS (1 8). , Theorem 3.5 shows that BS (1 2) is , M AC ′ and hence MAC , and Theorem 4.5 proves that BS (1 8) has neither , property. /square

## 5. Stallings' group is not MAC

In [15], Stallings showed that the group with finite presentation

$$S \ \coloneqq \ \langle a, b, c, d, s \ | \ [ a, c ] = [ a, d ] = [ b, c ] = [ b, d ] = 1, \\ ( a ^ { - 1 } b ) ^ { s } = a ^ { - 1 } b, ( a ^ { - 1 } c ) ^ { s } = a ^ { - 1 } c, ( a ^ { - 1 } d ) ^ { s } = a ^ { - 1 } d \rangle$$

does not have homological type FP 3 . In our notation, [ a, c ] := aca -1 c -1 and ( a -1 b ) s := sa -1 bs . Let X := { a, b, c, d, s, a -1 , b -1 , c -1 , d -1 , s -1 } be the inverse closed generating set, and let Γ be the corresponding Cayley graph of S .

Let G be the subgroup of S generated by Y := { a, b, c, d, a -1 , b -1 , c -1 , d -1 } , and let Λ be the corresponding Cayley graph of G . Then G is the direct product of the nonabelian free groups 〈 a, b 〉 and 〈 c, d 〉 . Let H be the finitely generated subgroup of G given by H = 〈 a -1 b, a -1 c, a -1 d 〉 .

Lemma 5.1. The group H consists of all elements of G that can be represented by a word over Y of exponent sum zero. Moreover, every word, over X or Y , representing an element of H must have exponent sum zero.

Proof. Using the fact that a commutes with both c and d , we have that ca -1 , da -1 ∈ H , and so their inverses ac -1 , ad -1 ∈ H . Using the fact that b and c commute,

$$\ a b ^ { - 1 } \ = _ { S } \ a ( c ^ { - 1 } c ) b ^ { - 1 } = _ { S } ( a c ^ { - 1 } ) b ^ { - 1 } c = _ { S } ( a c ^ { - 1 } ) b ^ { - 1 } ( a a ^ { - 1 } ) c \\ = _ { S } \ ( a c ^ { - 1 } ) ( a ^ { - 1 } b ) ^ { - 1 } ( a ^ { - 1 } c ) \in H$$

as well. Taking products of the form h -1 1 h 2 with

$$h _ { 1 }, h _ { 2 } \in \{ a ^ { - 1 } b, a ^ { - 1 } c, a ^ { - 1 } d, a b ^ { - 1 }, a c ^ { - 1 }, a d ^ { - 1 } \}$$

shows that l -1 1 l 2 , l 1 2 l -1 ∈ H for all positive letters l 1 , l 2 ∈ { a, b, c, d } . Finally, consider an arbitrary word w = l /epsilon1 1 1 · · · l /epsilon1 n n with l i ∈ { a, b, c, d } , /epsilon1 i = ± 1, and ∑ i /epsilon1 i = 0. For each i , there is a letter m ∈ Y which commutes with both l /epsilon1 i i and l /epsilon1 i +1 i +1 . Repeating the technique above of inserting the inverse pair mm -1 between l /epsilon1 i i and l /epsilon1 i +1 i +1 and applying the commutation relations as needed, then w can be written as a product of elements of exponent sum zero of the form m m 1 2 with m i ∈ Y . Then w ∈ H . The second sentence of this lemma follows from the fact that the exponent sum for each of generators of H and each of the relators in the presentation for S is zero. /square

Let φ : H → H be the identity function. Then S is the HNN extension extension S = G/star φ with stable letter s , and s commutes with all of the elements of H .

## Lemma 5.2. Let w ∈ X ∗ .

- (1) If w is a geodesic in Γ , then the word w cannot contain a subword of the form sus -1 or s -1 us with u ∈ H .
- (2) If w ∈ G and w is a geodesic in Γ , then w ∈ Y ∗ and w is a geodesic in Λ .
- (3) If w ∈ Y ∗ and w is a geodesic in Λ , then w , sw and ws are all geodesics in Γ .

Proof. Part (1) follows directly from the fact that for u ∈ H , sus -1 = S s -1 us = S u . In parts (2) and (3), suppose that g ∈ G v , is a geodesic word over X in Γ representing g , and w ∈ Y ∗ is a geodesic in Λ with w = g also. Then vw -1 = S 1. Britton's Lemma applied to the HNN extension S says that if either s or s -1 occurs in vw -1 , then vw -1 , and hence v , must contain a subword of the form sus -1 or s -1 us with u ∈ H , contradicting part (1). Therefore v ∈ Y ∗ . Since v, w ∈ Y ∗ and v is is a geodesic in Λ, then l ( v ) ≤ l ( w ) Similarly since v, w ∈ X ∗ and w is a geodesic in Γ, l ( w ) ≤ l ( v ). Thus v is also a geodesic in Λ, and w is a geodesic in Γ.

For the remainder of part (3), suppose that µ is a geodesic representative of sw in Γ. Then w -1 s -1 µ = S 1. Britton's Lemma then says that w -1 s -1 µ must contain a subword of the form sus -1 or s -1 us with u ∈ H . Since µ is a geodesic, part (1) says that the sus -1 or s -1 us cannot be completely contained in µ , so we can write µ = µ sµ 1 2 with µ 1 ∈ H . Since µ 1 and s commute, sµ µ 1 2 = S µ = S sw , so µ µ 1 2 = S w and both µ µ 1 2 and w are

s

Figure 6. Paths in the Cayley graph of Stallings' group.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0322v1-figure-95546eb9-c493-4f0f-97aa-97541bc46a71.jpg)

geodesics representing the same element of G . Hence l ( µ µ 1 2 ) = l ( w ). Then l ( µ ) = l ( µ 1 ) + 1 + l ( µ 2 ) = l ( w ) + 1 = l ( sw ), so sw is a geodesic in Γ. The proof that ws is also a geodesic in Γ is similar. /square

The proof of the following theorem relies further on the HNN extension structure of Stallings' group S . In particular, we utilize an ' s -corridor' to show that the path δ in the definition of MAC cannot exist.

Theorem 5.3. ( S, X ) is not MAC with respect to the generating set X .

Proof. Let α := b -( n +1) a n +1 and β := sb -( n +1) a n , and let χ = b -( n +1) a n be their maximal common subword. The word α ∈ Y ∗ , so α ∈ G ; in particular, the exponent sum of α is zero, so Lemma 5.1 says α ∈ H also. Since α is a geodesic in the Cayley graph Λ of the group G = F 2 × F 2 , Lemma 5.2(3) says that α is a geodesic in Γ. Similarly, χ is a geodesic in Λ, so Lemma 5.2(3) says that β = sχ is also geodesic in Γ. Thus α and β lie in the sphere of radius 2 n +2 in Γ. Since

$$\alpha ^ { - 1 } \beta = a ^ { - ( n + 1 ) } b ^ { n + 1 } s b ^ { - ( n + 1 ) } a ^ { n } = _ { S } s a ^ { - ( n + 1 ) } b ^ { n + 1 } b ^ { - ( n + 1 ) } a ^ { n } = _ { S } s a ^ { - 1 },$$

the distance d α, β ( ) = 2, for all natural numbers n .

Suppose there is a path δ of length at most 2(2 n +2) -1 inside the ball of radius 2 n +2 between α and β . Since the relators in the presentation of S have even length, the word δ must have length at most 2(2 n +2) -2 = 4 n +2.

Applying Britton's Lemma to the product δas -1 = S 1 implies that δ = w sw 1 2 with w , w a 1 2 ∈ H . Then w , w 1 2 ∈ G = F 2 × F 2 . Lemma 5.2(2) and the direct product structure imply that there are geodesic representatives q 1 and q 2 of w 1 and w 2 , respectively, that have the form q 1 = q 1 a,b q 1 c,d and q 2 = q 2 c,d q 2 a,b with q 1 a,b , q 2 a,b ∈ { a, b, a -1 , b -1 } ∗ and q 1 c,d , q 2 c,d ∈ { c, d, c -1 , d -1 } ∗ .

Since α and q 1 = w 1 are both elements of H αq , 1 ∈ H as well. From the direct product structure, there is a geodesic representative σ ∈ Y ∗ of αq 1 of the form σ = σ a,b σ c,d with σ a,b ∈ { a, b, a -1 , b -1 } ∗ and σ c,d ∈ { c, d, c -1 , d -1 } ∗ . (see Figure 6).

The edge in Γ labeled by s connecting σ and σs is part of the path δ , so this edge must lie in the ball of radius 2 n +2 in Γ. Lemma 5.2(3) says that

σs is a geodesic, so d (1 , σ ) + 1 = l ( σ ) + 1 = l ( σs ) = d (1 , σs ) ≤ 2 n +2. Then the vertex σ ∈ B (2 n +1) and l ( σ ) ≤ 2 n +1.

Now l ( q 1 ) + 1 + l ( q 2 ) ≤ l ( δ ) ≤ 4 n + 2, and thus either l ( q 1 ) ≤ 2 n or l ( q 2 ) ≤ 2 n (or both).

Case A: If l ( q 1 ) ≤ 2 n : Note that αq σ 1 -1 = b -( n +1) a n +1 q 1 a,b q 1 c,d σ -1 c,d σ -1 a,b = F 2 × F 2 1. Hence q 1 c,d = F 2 σ c,d and αq 1 a,b = F 2 σ a,b . Since geodesics in free groups are unique, we also have q 1 c,d = σ c,d .

/negationslash

There is an integer 0 ≤ i 1 ≤ 2 n such that q 1 a,b ( i 1 ) = α -1 ( i 1 ) but q 1 a,b ( i 1 + 1) = α -1 ( i 1 + 1), where we denote q 1 a,b (0) := 1 and q 1 a,b ( k ) := q for all k &gt; l q ( 1 a,b ). Write q 1 a,b = α -1 ( i 1 ) r with r ∈ F 2 = 〈 a, b 〉 . The words α q , 1 a,b , and σ a,b are all geodesic representatives of elements of the free group F 2 , and hence these are freely reduced words that define non-backtracking edge paths in the tree given by the Cayley graph for this group. By definition of i 1 , the product αq 1 a,b freely reduces to α (2 n +2 -i 1 ) r , with no further free reduction possible. Then α (2 n +2 -i 1 ) r is the unique geodesic representative in F 2 = 〈 a, b 〉 of αq 1 a,b , and hence α (2 n +2 -i 1 ) r = σ a,b .

Case A.1: If i 1 ≤ n +1 : In this case, q 1 a,b = a -i 1 r . Now q 1 = q 1 a,b q 1 c,d = a -i 1 rq 1 c,d represents an element of H , and so Lemma 5.1 says q 1 has exponent sum zero. Then l ( rq 1 c,d ) ≥ i 1 . We also have σ = σ a,b σ c,d = α (2 n + 2 -i 1 ) rq 1 c,d . Then the length l ( σ ) ≥ (2 n + 2 -i 1 ) + i 1 = 2 n + 2, contradicting the result above that l ( σ ) ≤ 2 n +1. Thus this subcase cannot occur.

Case A.2: If i 1 &gt; n + 1 : In this case, σ a,b = b -(2 n +2 -i 1 ) r . Since σ = σ a,b σ c,d = b -(2 n +2 -i 1 ) rσ c,d represents an element of H , this word has exponent sum zero, so l ( rσ c,d ) ≥ 2 n + 2 -i 1 in this subcase. The word q 1 = q 1 a,b q 1 c,d = α -1 ( i 1 ) rσ c,d then has length l ( q 1 ) ≥ i 1 +(2 n +2 -i 1 ) = 2 n +2, contradicting the fact that we are in Case A.

Case B: If l ( q 2 ) ≤ 2 n : Since σ ∈ H σ , commutes with s . Then

$$\sigma = _ { S } s ^ { - 1 } \sigma s = _ { S } s ^ { - 1 } \alpha q _ { 1 } s = _ { S } s ^ { - 1 } \alpha q _ { 1 } s q _ { 2 } q _ { 2 } ^ { - 1 } = _ { S } s ^ { - 1 } \beta q _ { 2 } ^ { - 1 } = _ { S } \chi q _ { 2 } ^ { - 1 } \.$$

/negationslash

In this case σ a,b σ c,d = F 2 × F 2 b -( n +1) a n +1 q -1 2 a,b q 2 c,d -1 , so q 2 c,d -1 = F 2 σ c,d and χq -1 2 a,b = F 2 σ a,b . Uniqueness of geodesics in F 2 = 〈 c, d 〉 implies q 2 c,d -1 = σ c,d . There is an integer 0 ≤ i 2 ≤ 2 n such that q -1 2 a,b ( i 2 ) = χ -1 ( i 2 ) but q -1 2 a,b ( i 2 + 1) = χ -1 ( i 2 +1). Write q 2 a,b = ( r χ -1 ( i 2 )) -1 with r ∈ F 2 = 〈 a, b 〉 . The words χ , q 2 a,b , and σ a,b are all geodesics, and hence freely reduced words, in F 2 . By definition of i 2 , the product χq -1 2 a,b freely reduces to χ (2 n +1 -i 2 ) r -1 , with no further reduction possible. Then χ (2 n +1 -i 2 ) r -1 = σ a,b .

Case B.1: If i 2 ≤ n : In this case, q 2 a,b = ra i 2 . Now q 2 = q 2 c,d q 2 a,b = q 2 c,d ra i 2 . Recall that q 2 was chosen as a geodesic representative of an element

w 2 ∈ G for which w a 2 ∈ H . Then q a 2 represents an element of H , and so (by Lemma 5.1) has exponent sum zero. Therefore the exponent sum of q 2 is -1. Then l ( q 2 c,d r ) ≥ i 2 +1. We also have σ = σ a,b σ c,d = χ (2 n +1 -i 2 ) r -1 q -1 2 c,d . Then the length l ( σ ) ≥ (2 n +1 -i 2 ) + ( i 2 +1) = 2 n +2, again contradicting the result above that l ( σ ) ≤ 2 n +1.

Case B.2: If i 2 &gt; n : In this case, σ a,b = b -(2 n +1 -i 2 ) r -1 . Since σ = σ a,b σ c,d = b -(2 n +1 -i 2 ) r -1 σ c,d represents an element of H , this word has exponent sum zero, so l ( r -1 σ c,d ) ≥ 2 n +1 -i 2 in this subcase. Therefore the word q 2 = q 2 c,d q 2 a,b = σ -1 c,d r χ ( -1 ( i 1 )) -1 has length l ( q 2 ) ≥ (2 n +1 -i 2 ) + i 2 = 2 n +1, contradicting the fact that we are in Case B.

Therefore every possible subcase results in a contradiction implying that the subcase cannot occur. Then the path δ cannot exist, so S is not MAC with respect to the generating set X . /square

## References

- [1] James Belk and Kai-Uwe Bux. Thompson's group F is maximally nonconvex. In Geometric methods in group theory , volume 372 of Contemp. Math. , pages 131-146. Amer. Math. Soc., Providence, RI, 2005.
- [2] Martin R. Bridson. Doubles, finiteness properties of groups, and quadratic isoperimetric inequalities. J. Algebra , 214(2):652-667, 1999.
- [3] James W. Cannon. Almost convex groups. Geom. Dedicata , 22(2):197-210, 1987.
- [4] Murray Elder. Automaticity, almost convexity and falsification by fellow traveler properties of some finitely generated groups. PhD Dissertation, University of Melbourne, 2000.
- [5] Murray Elder. The loop shortening property and almost convexity. Geom. Dedicata , 102(1):1-18, 2003.
- [6] David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio V. F. Levy, Michael S. Paterson, and William P. Thurston. Word processing in groups . Jones and Bartlett Publishers, Boston, MA, 1992.
- [7] Louis Funar. On discrete solvgroups and Po´naru's condition. e Arch. Math. (Basel) , 72(2):81-85, 1999.
- [8] J. R. J. Groves. Minimal length normal forms for some soluble groups. J. Pure Appl. Algebra , 114(1):51-58, 1996.
- [9] V. S. Guba. The Dehn function of Richard Thompson's group F is quadratic. Invent. Math. , 163(2):313-342, 2006.
- [10] Ilya Kapovich. A note on the Po´ enaru condition. J. Group Theory , 5(1):119-127, 2002.
- [11] Charles F. Miller, III. Normal forms for some Baumslag-Solitar groups. Preprint 1997.
- [12] Charles F. Miller, III and Michael Shapiro. Solvable Baumslag-Solitar groups are not almost convex. Geom. Dedicata , 72(2):123-127, 1998.
- [13] V. Po´ enaru. Almost convex groups, Lipschitz combing, and π ∞ 1 for universal covering spaces of closed 3-manifolds. J. Differential Geom. , 35(1):103-130, 1992.
- [14] Tim R. Riley. The geometry of groups satisfying weak almost-convexity or weak geodesic-combability conditions. J. Group Theory , 5(4):513-525, 2002.
- [15] John Stallings. A finitely presented group whose 3-dimensional integral homology is not finitely generated. Amer. J. Math. , 85:541-543, 1963.

- [16] Carsten Thiel. Zur fast-Konvexit¨t a einiger nilpotenter Gruppen . Universit¨t a Bonn Mathematisches Institut, Bonn, 1992. Dissertation, Rheinische Friedrich-WilhelmsUniversit¨t Bonn, Bonn, 1991. a

School of Mathematics and Statistics, University of St. Andrews, North Haugh, St. Andrews, Fife, KY16 9SS, Scotland

E-mail address :

murray@mcs.st-and.ac.uk

Department of Mathematics, University of Nebraska, Lincoln NE 685880323, USA

E-mail address : smh@math.unl.edu
Murray Elder Susan Hermiller
Minimal Almost Convexity
In this article we show that the Baumslag-Solitar group $BS(1,2)$ is
minimally almost convex, or $MAC$. We also show that $BS(1,2)$ does not satisfy
Po\'enaru's almost convexity condition $P(2)$, and hence the condition $P(2)$
is strictly stronger than $MAC$. Finally, we show that the groups $BS(1,q)$ for
$q \geq 7$ and Stallings' non-$FP_3$ group do not satisfy $MAC$. As a
consequence, the condition $MAC$ is not a commensurability invariant.