THE GEOMETRY OF GENERALIZED LOXODROMIC
ELEMENTS

arXiv:1802.03089v1 [math.GR] 9 Feb 2018

CAROLYN R. ABBOTT AND DAVID HUME
Abstract. We explore geometric conditions which ensure a given
element of a finitely generated group is, or fails to be, generalized
loxodromic; as part of this we prove a generalization of Sisto’s
result that every generalized loxodromic element is Morse. We
provide a sufficient geometric condition for an element of a small
cancellation group to be generalized loxodromic in terms of the
defining relations and provide a number of constructions which
prove that this condition is sharp.

1. Introduction
A recurring theme in group theory is that a useful way to develop
an understanding for a given group or class of groups satisfying some
weak form of non-positive curvature is to construct interesting actions
of them on hyperbolic spaces. Principal examples of this heuristic come
from Bass-Serre theory, understanding actions of groups on trees in
terms of amalgamations and HNN-extensions; understanding relatively
hyperbolic groups via their actions on coned-off graphs, cusped spaces,
or combinatorial horoballs; understanding mapping class groups via
their actions on curve complexes of subsurfaces; and understanding
Out(Fn ) via its actions on the free factor and free splitting complex,
among many others. One particular type of interesting action which
has received much recent attention is an acylindrical action.
An action of a group G by isometries on a metric space X is acylindrical if for all d ≥ 0 there exist constants M, N ≥ 0 such that for all
x, y ∈ X with d(x, y) ≥ M , the number of elements g ∈ G satisfying
d(x, gx) ≤ d and d(y, gy) ≤ d is at most N . An element g of a group G
is generalized loxodromic if there is an acylindrical action of G on
a hyperbolic space X such that g acts loxodromically. A non-virtually
cyclic group is acylindrically hyperbolic if and only if it contains a
generalized loxodromic element [15].
The class of acylindrically hyperbolic groups is incredibly rich, including all non-elementary hyperbolic and relatively hyperbolic groups,
as well as two of the most intensively studied classes of groups in recent
years: mapping class groups and the outer automorphism groups of
free groups. At the same time the consequences of being acylindrically
Date: February 12, 2018.
1

2

ABBOTT AND HUME

hyperbolic are strong: these groups are SQ-universal [10], have nonabelian free normal subgroups [10], have infinite dimensional second
bounded cohomology [6, 13], and have a well-developed small cancellation theory [14].
One of the most important outstanding questions about finitely generated acylindrically hyperbolic groups is whether the class is closed
under quasi-isometry. One important difficulty in answering this questions is that there is currently little connection between the existence of
generalized loxodromic elements and the geometry of the group. Given
a finitely generated (non-virtually cyclic) group G, there exist both sufficient and necessary geometric conditions for an element g (of infinite
order) to be generalized loxodromic (see §?? for precise definitions):
• If there is a finite symmetric generating set S of G and a constant D such that hgi is D–quasi-convex and D–strongly contracting in Cay(G, S), then g is generalized loxodromic [5].
• If g is generalized loxodromic, then for any finite symmetric generating set S of G, hgi is a Morse quasi-geodesic in
Cay(G, S) [16].
Note that by [3, Theorem 4.19] the statement “there exists a constant D
such that hgi is D–strongly contracting in Cay(G, S)” can even depend
on the choice of finite generating set S.
In [4] ρ–contraction is introduced as a generalization of strongly contracting, and it is proved that a subset of a geodesic metric space is
Morse if and only if it is ρ–contracting for some function ρ. Moreover,
in [3, Theorem 4.15] it is demonstrated that (periodic) geodesics in
finitely generated groups exhibit all possible types of ρ–contraction.
1.1. Saturation. Our first task in this paper is to prove that contraction is (in general) the wrong measure to use to determine whether an
element is generalized loxodromic.
Theorem 1.1. Given any non-decreasing unbounded function ρ : [0, ∞) →
[0, ∞), there is a group G generated by a finite set S and an element
a ∈ S such that the map n 7→ an is an isometric embedding of Z
into Cay(G, S) and hai is ρ0 –contracting for some ρ0  ρ, but a is not
generalized loxodromic.
Theorem 1.2. There is a group G generated by a finite set S and an
element a ∈ S such that the map n 7→ an is an isometric embedding
of Z into Cay(G, S) and a is generalized loxodromic, but hai is not
ρ–contracting for any ρ such that lim inf r→∞ ρ(r) log(r)/r = 0.
The first of these results was also proved in [3, Theorem 6.4] using
torsion as an obstruction. The examples we give can be made torsionfree, but rely heavily on the technology developed in [3] to control the
contraction. The log(r) term in Theorem 1.2 is intriguing. While it
is clear that our method cannot be improved, we can show that for

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

3

any function ρ such that lim inf r→∞ ρ(r)/r = 0 there is a countable
group G generated by a set X and an element a ∈ X such that the
map n 7→ an is an isometric embedding of Z into Cay(G, X) and a is
generalized loxodromic, but hai is not ρ–contracting.
Let us introduce a new measure which is more closely linked to generalized loxodromic elements. Given two words v, w ∈ F (S), with v cyclically reduced, we define the w–saturation of v to be satw (v) = k/|v|S
where k is the largest number of letters in a cyclic conjugate of v which
can be covered by (not necessarily disjoint) copies of cyclically reduced
conjugates of the word w. For example sata (a3 ba4 ) = sata4 (a3 ba4 ) = 87
but sata8 (a3 ba4 ) = 0. Our first result states that for any group, a strong
form of w-saturation is sufficient to prevent w from being a generalized
loxodromic element.
Theorem 1.3. Let G be a group generated by a symmetric set S. If
there exist cyclically reduced words vi ∈ F (S) such that vi =G 1 for
each i, the image of the path [1, vi ] in Cay(G, S) is quasi-isometric to
a cycle of length |vi |S (with constants independent of i) and
lim lim sup (satwn (vi )) > 0,

n→∞

(1)

i→∞

then w is not generalized loxodromic.
When (1) is satisfied we say {vi } is w–saturated. To prove Theorem
1.3 we use an obstruction given by [10, Proposition 4.14]. From this
we deduce the following corollary, first proved by Sisto [16].
Corollary 1.4 ([16]). Let G be a group generated by a symmetric subset
S, and let hwi be an undistorted infinite cyclic subgroup of G with
respect to the word metric on S. If w is generalized loxodromic, then
hwi is Morse as a subset of Cay(G, S).
1.2. Small cancellation groups. The examples constructed in Theorems 1.1 and 1.2 are small cancellation groups (which are acylindrically
hyperbolic by [12]). Thanks to [3], we have a clear understanding of
contraction in such groups: given a C 0 ( 16 ) small cancellation presentation G = hS |R i and an infinite order element g ∈ G, we have that
g being ρ-contracting is essentially equivalent to the statement that
no relation in R with length at most n contains a subword equal to
a power of a cyclically reduced conjugate of g of length greater than
ρ(n).
For these reasons, small cancellation groups are a natural collection
of groups in which to start studying connections between generalized
loxodromic elements and geometric notions of negative curvature. Our
next goal in this paper is to better understand when an element of a
small cancellation group is (and is not) generalized loxodromic.
Theorem 1.5. Let G = hS |R i be a C 0 ( 61 ) small cancellation presentation, enumerate R = {r1 , r2 , . . .} and let pi be the length of the longest

4

ABBOTT AND HUME

piece in ri . Let w ∈ F (S) have infinite order in G. If there exists some
m such that
lim sup pi · satwm (ri ) < ∞,
(2)
i→∞

then w is generalized loxodromic.
The strategy behind the proof is to show that G is a subgroup of another C 0 ( 16 ) small cancellation group G0 such that hwi is D–contracting
in a Cayley graph of G0 .
We present two results explaining the sharpness of Theorem 1.5. The
first is Theorem 1.3: if lim supi→∞ satwm (ri ) has a positive lower bound
which is independent of m, it is clear that (2) cannot hold, since (pi ) is
unbounded (for every m, some cyclically reduced conjugate of wm is a
piece). The second says that it is always possible to build examples of
groups which prevent the hypotheses of the above theorem from being
strengthened.
Theorem 1.6. For every unbounded function ρ : N → N there is
a C 0 ( 61 ) small cancellation presentation G = ha, b, c, d |r1 , r2 , . . .i such
that the map Z → Cay(G, {a, b, c, d}) given by n 7→ bn is an isometric
embedding and pi · satb (ri )  ρ(i) (where pi is the length of the longest
piece in ri ), but b is not generalized loxodromic.
Notice that Theorems 1.3 and 1.5 greatly generalize the sufficient
and necessary conditions for an element of a group to be a generalized
loxodromic given earlier, but they certainly do not give a complete
classification of generalized loxodromic elements.
1.3. Universally acylindrical groups. Given an acylindrically hyperbolic group it is natural to ask not only which of its elements are
generalized loxodromic, but also which of these generalized loxodromic
elements can simultaneously act loxodromically with respect to single
acylindrical action on a hyperbolic space. A particularly strong version
of this is to ask whether a given group is universally acylindrical;
that is, does it admit an acylindrical action on a hyperbolic space in
which every generalized loxodromic element acts loxodromically. Such
an action is called a universal acylindrical action. Non-elementary
hyperbolic groups, mapping class groups, and, more generally, hierarchically hyperbolic groups are all universally acylindrical [1, 8]. In
[2], the first author proved that Dunwoody’s inaccessible group is not
universally acylindrical, the first finitely generated example of such a
group.
One can ask under what conditions a small cancellation group is
universally acylindrical. The only existing construction of a hyperbolic
space admitting a natural action of a small cancellation group is the
coned-off graph described by Gruber and Sisto in [12], which is defined
to be the Cayley graph of the group with respect to the generating set

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

5

consisting of the original generating set together with all subwords of
relators. Coulon and Gruber show in [9] that the action of the group on
this graph is acylindrical if and only if there is an upper bound on the
proper powers appearing in relators and, moreover, that this action is
a universal acylindrical action if and only if the same condition holds.
Our goal is find more general hypotheses which determine when a
small cancellation group is universally acylindrical. Our first result in
this direction is a natural extension of Theorem 1.5. Given a cyclically
reduced word w ∈ F (S) and n ∈ N we define the saturation by nth
powers of w to be satn (w) = k/|w|S where k is the maximal number
of letters in a cyclic conjugate of w which can be covered by copies
of nth powers of cyclically reduced elements of F (S). For example
sat1 (a3 ba4 ) = 1, sat6 (a3 ba4 ) = 87 and sat8 (a3 ba4 ) = 0.
Theorem 1.7. Let G = hS |R i be a C 0 ( 61 ) small cancellation presentation, and enumerate R = {r1 , r2 , . . . }. Let pi be the length of the longest
piece in ri . If there exists some m such that limi→∞ pi · satm (ri ) < ∞,
then G is universally acylindrical.
The second result uses techniques from Theorem 1.1 to construct
uncountably many quasi-isometry classes of torsion-free groups which
are acylindrically hyperbolic but not universally acylindrical.
Theorem 1.8. There exist 2ℵ0 quasi-isometry classes of torsion-free
C 0 ( 16 ) small cancellation groups which are not universally acylindrical.
1.4. Questions.
(i) Let us construct a small cancellation presentation which contains an element which does not satisfy the hypotheses of either
of Theorems 1.3 or 1.5. Define w1 = b ∈ F (a, b) and inductively define wi = wi−1 ai wi−1 . Let {vi } ⊂ F (c, d) be a family
1
of C 0 ( 11
) small cancellation relations with |vi | = 11 |wi |. Set
R = {ri = vi wi } and G = ha, b, c, d |R i. A simple calculation
shows that this presentation is C 0 ( 16 ) and limi→∞ satan (ri ) =
αn > 0 for all n, but αn → 0 as n → ∞. Is a ∈ G generalized
loxodromic?
(ii) Is there an “unsaturated criterion” in the style of (2) such that
given any finitely generated group G generated by a finite set
S and an infinite order element w ∈ G where every undistorted
loop in Cay(G, S) is w-unsaturated, then w is generalized loxodromic?
(iii) Is it true that for any function ρ such that lim inf r→∞ ρ(r)/r =
0 there is a group G generated by a finite set S and an element
a ∈ S such that the map n 7→ an is an isometric embedding of
Z into Cay(G, S) and a is generalized loxodromic, but hai is
not ρ–contracting?

6

ABBOTT AND HUME

Plan of the paper. After establishing some background results we
prove all the sufficient statements in §3. In particular, we give a general
construction which embeds one small cancellation group into another
(Theorem 3.2), from which we deduce Theorems 1.2, 1.5 and 1.7 as
corollaries. The obstructions are contained in §4.2: we first prove Theorem 1.3, then give a method of building non-examples from which we
deduce Theorems 1.1, 1.6 and 1.8.
Acknowledgements. The authors are grateful to Rémi Coulon and
Dominik Gruber for interesting conversations, and for sharing with us
the results of their paper. The first author was partially supported by
the NSF RTG awards DMS-1502553. The second author was supported
by the NSF grant DMS-1440140 while the author was in residence at
the Mathematical Sciences Research Institute in Berkeley, California,
during the Fall 2016 semester, and by a Titchmarsh Research Fellowship from the University of Oxford.
2. Preliminaries
Given a group G which is generated by a symmetric set X we denote
the word metric on G with respect to X by dX and define |g|X =
dX (1, g) for all g ∈ G.
2.1. Small cancellation theory. Let S be a set, and let R be a subset
of a free group F (S) \ {1} consisting of cyclically reduced elements
which is closed under taking inverses and cyclic conjugates. Given
λ ∈ (0, 1), we say R satisfies the C 0 (λ) small cancellation condition
if, given any distinct pair of elements r, r0 ∈ R which have reduced
decompositions r = us and r0 = us0 , we have |u| < λ |r|. Any word u
satisfying the above property is called a piece.
It is useful to represent families of small cancellation relations graphically. To each element r ∈ R, we define a cyclic graph Cr with |r|
directed edges each of which is labeled by elements of S in such a way
that the word in F (S) read clockwise from a fixed vertex v is exactly r
(for an edge labeled s directed clockwise we read s, if it is directed anticlockwise we read s−1 ). Changing the cyclically reduced representative
of r changes the fixed vertex from which the label is read, while taking
inverses corresponds to reading the label anticlockwise (or considering a reflection of the cycle). A piece is therefore a labeled, directed
subpath which appears in at least two cycles.
We require two fundamental results from small cancellation theory.
Lemma 2.1. Let R ⊂ F (S) satisfy the C 0 (λ) small cancellation condition for some λ ≤ 61 , and define G = hS |R iand X = Cay(G, S). For
each r ∈ R, the natural label-preserving map Cr → X which sends v to
1 is an isometric embedding.

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

7

We call translates of the image of the cycle Cr in X relators (with
label r).
Lemma 2.2 (Greendlinger’s Lemma). Let R ⊂ F (S) satisfy the C 0 (λ)
small cancellation condition, define G = hS |R i and let w ∈ F (S) \ {1}
satisfy w =G 1. There is a cyclically reduced conjugate w0 of w and
some r ∈ R with reduced decompositions r = us and w0 = uv 0 such that
|u|S ≥ (1 − 3λ) |r|S .
2.2. ρ–contraction. A subset Y of a geodesic metric space X is quasiconvex if there exists a constant M such that any geodesic between
two points in Y is contained in the M –neighborhood of Y . Moreover, Y is Morse if, for every K ≥ 1 and C ≥ 0, there is a constant
N = N (K, C) such that any (K, C)–quasi-geodesic between two points
in Y is contained in the N –neighborhood of Y . When these conditions
are satisfied we say that Y is M –quasi-convex and N –Morse respectively.
Given a subset Y of the vertex set of a graph X we define the closest
point projection πY from X to a subset of Y by the rule
πY (x) = {y ∈ Y | d(x, y) ≤ d(x, Y )} .
Given a non-decreasing function ρ : [0, ∞) → [0, ∞) such that ρ(r)/r →
0 as r → ∞, we say Y is ρ–contracting if for any two points x, z ∈ X
with d(x, z) ≤ d(x, Y ),
diam (πY (x) ∪ πY (z)) ≤ ρ(d(x, Y )).
We say Y is D–contracting for a constant D if Y is ρ–contracting
with ρ(r) = D for all r. By [4, Theorem 1.3], a quasi-convex subset
Y ⊆ V X is Morse if and only if it is ρ–contracting for some ρ. We
compare contraction functions using the partial order  defined as
follows: ρ  ρ0 if there exists a constant C such that
ρ(r)  Cρ0 (r) + C

for all r.

We write ρ  ρ0 when ρ  ρ0 and ρ0  ρ.
We recall the key local-to-global theorem [3, Theorem 4.1] which
allows us to control contraction in small cancellation groups:
Theorem 2.3. Let R ⊂ F (S) satisfy the C 0 ( 61 ) small cancellation condition, set G = hS |R i and let α be a geodesic in X = Cay(G, S). There
exists a sublinear function ρ0 such that α is ρ0 –contracting in X if and
only if there exists a sublinear function ρ such that given any relator
Cr which intersects α, we have |Cr ∩ α| ≤ ρ(|Cr |).
Moreover, when either of the above conditions hold we may take ρ0 
ρ.

8

ABBOTT AND HUME

3. Detecting generalized loxodromic elements
We begin by describing a hyperbolic graph on which C 0 ( 16 )–small
cancellations groups act. This space was introduced and studied in
[12] in a more general context than we will present here.
Let R ⊂ F (S) satisfy the C 0 ( 61 ) condition and let X be the Cayley
graph of G = hS |R i with respect to the generating set S. Let L be the
set of all initial subwords of words in R, that is, the set of all u ∈ F (S)
such that there is some r ∈ R with reduced decomposition r = uv.
The coned-off graph X̂ is Cay(G, S ∪ L), that is, the Cayley graph
of G with respect to the (typically infinite) generating set S ∪ L.
By [12, Proposition 3.2], X̂ is hyperbolic. Moreover, by [12, Proposition 4.8], G contains an element g which acts loxodromically on X̂
and satisfies the weak proper discontinuity (WPD) property (see [6]).
In [15, Theorem 1.4] Osin showed that the existence of an element g
satisfying the WPD property in an action of G on a hyperbolic space
is equivalent to g being a generalized loxodromic element and G being
an acylindrically hyperbolic group.
However, in general the action of G on X̂ is not acylindrical [12,
Proposition 4.20]. We recall the one situation in which acylindricity of
this action is known. We say R ⊂ F (S) is power-free if, for every
w ∈ F (S) \ {1}, there exists an n such that no r ∈ R has reduced
decomposition r = wn v. If n can be chosen independently of w, then
we say R is uniformly power-free. Coulon and Gruber prove that
the action of every uniformly power-free (graphical) small cancellation
group on its coned-off graph X̂ is acylindrical [9]. They also show that
every infinite order element of G is loxodromic with respect to this
action, and thus these groups are universally acylindrical. Our goal
in this section is to give an alternative construction which enables us
to detect generalized loxodromic elements in small cancellation groups
which are not necessarily uniformly power-free and to find more groups
which are universally acylindrical.
Definition 3.1. Let G = hS |R i be a C 0 ( 61 ) small cancellation presentation. For r ∈ R, let pr be the length of the longest piece in r.
Let W ⊆ F (S), and let W m = {wm | w ∈ W}. We define lW (r) to
be the maximum of the sum of the lengths of disjoint subpaths of Cr
labeled by powers of cyclically reduced conjugates of elements of W.
The W–saturation of Cr is defined as
satW (Cr ) =

lW (r)
∈ [0, 1].
|Cr |

We say R is W–sparse if there exists m ≥ 1 such that
sup (pr · satW m (Cr )) < ∞,
r∈R

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

9

and R is W–saturated if
lim lim sup (satW m (Cr )) > 0.

m→∞ |r| →∞
S

Notice that for any two cyclically reduced conjugate words v, w ∈
F (S), v n is a subword of wn+1 . Hence the properties of being W–sparse
and W–saturated do not depend on particular choices of cyclically reduced conjugate.
Given a C 0 ( 16 ) small cancellation group G = hS |R i and a subset
W ⊆ F (S) such that R is W–sparse, we first show how to construct a
C 0 ( 16 ) small cancellation group G0 = hS 0 |R0 ifor which there exists an
l ≥ 0 such that no r0 ∈ R0 has reduced decomposition r0 = wl v 0 for any
w ∈ W, together with an embedding of G as a subgroup of G0 .
Theorem 3.2. Let R ⊂ F (S) satisfy the C 0 ( 61 ) condition, and let W ⊆
F (S). If R is W–sparse, then there exists a set S 0 containing S and
a C 0 ( 16 ) subset R0 ⊆ F (S 0 ) such that the following hold: the inclusion
S ,→ S 0 extends to a monomorphism G = hS |R i → G0 = hS 0 |R0 i,
and there exists a constant l ≥ 0 such that no r0 ∈ R0 has reduced
decomposition r0 = wl v 0 for any w ∈ W \ {1}.
Moreover, if |S| < ∞, then every element of W which has infinite
order in G is a generalized loxodromic element of G.
Proof. Define a countably infinite set Y = {y1 , y2 , . . . } such that Y ∩
S = ∅. We will see that the set Y ∪ S is our desired generating set S 0 .
Enumerate R = {r1 , r2 , . . . }, and let Ci = Cri . Our goal is to define a
new set of disjoint cycles, whose labels give the desired set of relations
R0 .
Since R is W–sparse, there is a constant m ≥ 1 such that
lim sup pi · satW m (Ci ) = D < ∞.
i→∞

Notice that increasing m does not increase D, so we may assume that
m > 12D. Fix N such that for all n ≥ N we have pn ·satW m (Cn ) < 2D.
For each n ≥ N we construct a finite set of cycles Dnj as follows.
First, color every edge red in Cn which is contained in a path whose
label is a cyclically reduced conjugate of an element of W m . There
are at most lW m (rn ) such edges. Color the other edges blue. In the
procedure that follows, we will be adding new edges at each step which
will be colored white; in the first step, there are no white edges.
For each n ≥ N , define Cn0 = Cn . For each j = 1, 2, . . . in turn,
if Cnj−1 has no subpath of length at least m consisting solely of red
edges, then set Dnj = Cnj−1 and move on to n + 1. Otherwise, notice
that the maximal number of disjoint subpaths of length m consisting
solely of red edges is at most lW m (rn )/m. Additionally, by our choice
of constants we have
m|Cn |
m
pn m
=
>
> 6pn .
lW m (rn )
satW m (Cn )
2D

10

ABBOTT AND HUME

Cn
Dn3
Dn4
Dn5
Dn2

Dn1

Figure 1. The darkened portions of the cycle Cn are
composed of red edges, the interior arcs are white, and
all other edges are blue.
The pigeon-hole principle implies that there is a path Pnj in Cnj−1 consisting of m red edges followed by a mixture of blue, red and white
edges satisfying the following properties:
• there is no red subpath of length greater than m; and
• there are exactly 6pn edges that are blue or red.
Recall that for j = 1 there are no white edges.
Add a path αnj of length pn connecting the last vertex of Pnj to the
first vertex of Pnj , and label its edges using the first pn unused elements
of Y . Color these new edges white. The graph obtained by adding
the path αnj has two simple cycles containing αnj . Denote the simple
cycle containing Pnj by Dnj , and denote the other by Cnj . There are only
finitely many red edges in Cn so this process will terminate for each n.
(See Figure 1.)
Let S 0 = S ∪ Y , and let R0 be the union of {ri | i < N } and the set
labels of the cycles Dnj . It is clear that S ,→ S 0 . We claim that this
inclusion induces a monomorphism φ : G = hS |R i → G0 = hS 0 |R0 i.
To see that this inclusion induces a homomorphism φ : G → G0 , we
show that all relations in G hold in G0 . If i < N , then ri ∈ R0 . If
i ≥ N , then ri is the label of the cycle Ci , and by construction, ri
is the label of the boundary of a product of finitely many cycles Dij ,
whose labels are elements of R0 . In either case, the relation ri holds
in G0 . To further prove that φ is a monomorphism, suppose v ∈ F (S)
is trivial in G0 . Then v is the label of a product of cycles Ci and Dij .
However, by construction, the only way the label of such a product
can be an element of F (S) is if v can also be written as the label of a
product of cycles Cn . Therefore, v =G 1.
We now show that show that R0 is a C 0 ( 16 ) subset of F (S 0 ) and that
there exists some l ≥ 0 such that no r ∈ R0 has a reduced decomposition
r0 = wl v 0 for any w ∈ W.

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

11

By construction, a piece in R0 is either a piece in R or the label of
a subpath of some αnj . If it is a piece in R then it is the label of a
subpath of some Cn . If n < N there is nothing to prove. Otherwise,
the piece has length at most pn , while the length of any Dnj is at least
7pn by construction. Thus R0 is a C 0 ( 61 ) subset of F (S 0 ).
Fix l > m so that no subpath of any Cn with n ≤ N has label
contained in W l \ {1}, and suppose there exists some r0 ∈ R0 which has
a reduced decomposition r0 = wl v 0 such that w ∈ W. Then r0 must be
the label of a subpath of some Dnj which contains at least l consecutive
red edges. However, by construction, any subpath of any Dnj consisting
solely of red edges has length at most m, so there are no such subpaths.
Finally, suppose |S| < ∞. Since there are only finitely many words
of a given length, pn → ∞ as n → ∞. Thus there is a last cycle
which contains a path of any fixed length which has not appeared as
a subpath of any previous cycle. For each k let lk be the length of
the longest cycle Cn with pn ≤ k. It follows that for all g ∈ G such
0
that dS 0 (1, g) ≤ m, we have dS (1, g) ≤ lm m, so G ∩ B S (1; m) has
finitely many elements. Therefore, the image of G in G0 is metrically
proper, so every element of infinite order in G acts weakly properly
discontinuously on Cay(G0 , S 0 ). Moreover, every infinite order element
of W has strongly contracting orbits in Cay(G0 , S 0 ) by [3, Corollary
4.14]. Therefore, by applying [5, Theorem H] and [15, Theorem 1.4],
we conclude that all such elements are generalized loxodromic elements
of G.

Theorems 1.5 and 1.7 are special cases of the above theorem, where
W is a single infinite order element or the whole of G = hS |R i, respectively. In the second case it is easy to see that R0 is uniformly
power-free. Thus [9, Theorem 5.10] implies G0 (and hence G) acts
c0 and every infinite order eleacylindrically on its coned-off graph X
c0 is universally
ment of G0 acts loxodromically. Hence the action G y X
acylindrical.
Remark 3.3. To conclude that elements of W are generalized loxodromic in the case where |S| = ∞, one can begin with the argument
above and attempt to prove directly that each infinite order element
of W acts as a WPD isometry of G0 . The necessary ingredients would
likely include an understanding of quadrangles with two sides labeled
by powers of a word. Since these are not geodesics in general (though
they are close, see [11, Theorem 4.2]) there is an extra complication to
be dealt with before the classification of quadrangles in small cancellation groups can be used. Since most interest in these groups is focused
on finitely generated examples, we will not pursue this further here.
We are now ready to prove Theorem 1.2.

12

ABBOTT AND HUME

Proof of Theorem 1.2. Set S = {a, b, c, d}, and for each k ≥ 5 fix 2k+4
distinct words wik (b, c) in F (b, c) of length exactly k. Now define
k

k+4

2
dwik .
rk = a2 Πi=1

Set G = hS |r5 , r6 , . . .i. It is easy to check that this presentation satisfies C 0 ( 16 ), since |rk | = (16k + 17)2k and the longest possible piece
k
in this relator is w2kk+4 a2 dw1k which has length 2k + 2k + 1 ≤ 2.2k .
Since relators in C 0 ( 61 ) groups are isometrically embedded in the Cayley graph, the map Z → Cay(G, S) given by n 7→ an is an isometric
embedding. Using [3, Theorem 4.1], we see that hai is not ρ–contracting
in Cay(G, S) unless ρ(r)  r/ log(r). It remains to prove that a is a
generalized loxodromic element.
Next let X = {x1 , x2 , . . .} be a countably infinite set, define S 0 =
S t X and for each k ≥ 5 and 0 ≤ j ≤ 2k − 1 define the following
elements of F (S 0 ):
i
h
16(j+1)
j
j
k
−1
Rk = axk Πi=16j+1 dwi (b, c) (xj+1
k )
where each xjk is the product of the first k elements of X which have
not already appeared in some xil with either i < j and l ≤ k or l < k,
k
except for x0k and x2k which are equal to the identity.
We first claim that G0 = hX |Ri is C 0 ( 18 ) where R is the set of
cyclically reduced conjugates of the Rkj and their inverses. Since the
xjk are all distinct, any piece which is an initial subword of some Rkj
must either be some (xjk )±1 or must be a subword of a word of the
k
k
k
)±1 . Hence any piece u contained
aw16j+1
)±1 or (w16(j+1)
form (wik dwi+1
in a relation Rkj satisfies |u| ≤ 2k + 1 and Rkj ≥ 16(k + 1). Since
2k + 1 < 18 16(k + 1) the claim is verified.
The proof of Theorem 3.2 can be repeated verbatim to deduce that
the inclusion S ,→ S 0 extends to a monomorphism G → G0 , that hai is
a strongly contracting in X 0 = Cay(G0 , S 0 ) and that the action of a on
X 0 is weakly properly discontinuous. It follows that a is a generalized
loxodromic element of G by again applying [5, Theorem H] and [15,
Theorem 1.4].

It is clear that the log(r) term in statement of Theorem 1.2 is necessary for our method of proof, since any word in a finitely generated
free group of length n must contain two identical subwords of length
 log(n) by the pigeon-hole principle. However, if we do not require
that our group be finitely generated, then for any function ρ such that
lim inf r→∞ ρ(r)/r = 0, we can find a countable group G generated by
a set Y and an element a which is a generalized loxodromic element
of G but is not ρ–contracting in Cay(G, X). We end this section by
describing this construction.

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

13

Example 3.4. Fix a function ρ(r) such that ρ(r) ≤ r for all r and
lim supr→∞ ρ(r)/r = 0 and define an unbounded function τ : N → N
such that τ (r)2 ≤ r/ρ(r). Now let Y = {y1 , y2 , . . .} be a countably
infinite set. Fix a sequence (nk )k∈N ⊂ N such that for each nk , lk :=
bnk /τ (nk )c ≥ 6 and τ (nk ) ≥ k, and define the following elements of
F ({a} t Y ):
rk = alk wk ,
where wk is the product of the first 2nk elements of Y which have not
previously appeared in any wl with l < k. Now
|rk | = lk + 2nk > 2klk ,
so G = h{a} t Y |r3 , r4 , . . .i is C 0 ( 61 ) since the only pieces are powers
of a. Again, the map n → an defines an isometric embedding of Z into
Cay(G, {a}tY ). Suppose for a contradiction that hai is ρ–contracting,
so by Theorem 2.3 it is locally ρ0 –contracting for some ρ0  ρ. This
means that for any (cyclically reduced conjugate of) a relation rk with
reduced decomposition al w we must have ρ0 (|w| /2) ≥ |l|. But the
relations rk above satisfy
nk
nk
1
ρ0 (|w| /2) = ρ0 (nk )  ρ(nk ) 

 lk ,
2
τ (nk )
kτ (nk )
k
which is a contradiction for sufficiently large k.
Arguing as before we can construct a supergroup G0 of G such that
hai is strongly contracting in a Cayley graph X 0 of G0 and G acts
metrically properly on X 0 (the xjk should be chosen to have length
τ (nk )). Hence, a is a generalized loxodromic element of G.
4. Detecting non-generalized loxodromic elements
In this section, we give a sufficient condition for an element of a
group to fail to be generalized loxodromic, proving Theorem 1.3 and
Corollary 1.4. Additionally, we construct a particularly nice family of
examples which are used to prove Theorems 1.1, 1.6, and 1.8.
4.1. Hyperbolically embedded subgroups. We briefly review the
definition of a hyperbolically embedded subgroup and refer the reader
to [15] and [10] for a more complete discussion.
Let H be a subgroup of G and X ⊆ G a relative generating set,
i.e., a subset such that G = hX ∪ Hi. We consider the Cayley graphs
Cay(G, X t H) and Cay(H, H), and we naturally think of the latter as
a subgraph of the former. We define a metric db: H × H → [0, ∞] as
b 1 , h2 ) be the length of the shortest
follows. Given h1 , h2 ∈ H, let d(h
path from h1 to h2 in Cay(G, X t H) that does not include any edges
b 1 , h2 ) = ∞.
from Cay(H, H). If no such path exists, then let d(h
We say H is hyperbolically embedded in G with respect to
X, and write H ,→h (G, X), if the following hold:

14

ABBOTT AND HUME

(i) Cay(G, X t H) is hyperbolic; and
b is a locally finite metric space, i.e., any ball of finite
(ii) (H, d)
radius in H with respect to the metric db contains finitely many
elements.
We first gather some facts about hyperbolically embedded subgroups.
Given a generalized loxodromic element w ∈ G, let E(w) be the maximal virtually cyclic subgroup containing w. The following lemma is
[14, Cor. 2.9].
Lemma 4.1. Suppose X is a subset of G such that Cay(G, X) is hyperbolic, G y Cay(G, X) is acylindrical, and w ∈ G is loxodromic with
respect to this action. Then E(w) ,→h (G, X).
The next lemma follows from [10, Lemma 4.11(b)] and [10, Theorem
4.24(a)].
Lemma 4.2. If H is a subgroup of G and X a subset of G such that
H ,→h (G, X), then there is a finite subset Y ⊂ H such that db is
biLipschitz equivalent to a word metric dY .
We require one additional lemma, which is a simplified version of
[10, Proposition 4.14]. If H ,→h (G, X), then a subpath p of a path q
in Cay(G, X t H) is an H–component if the label of p is a word in the
alphabet H and p is not contained in a longer subpath of q whose label
is a word in the alphabet H. Two H–components p1 , p2 of a path q are
connected if there is an edge c labeled by an element of H whose initial
vertex is on p1 and whose terminal vertex is on p2 . Algebraically, this
corresponds to every vertex of p1 and p2 belonging to the same coset
of H. An H–component p of a path q is isolated if it is not connected
to any other H–component of q.
For each µ ≥ 1, c ≥ 0, and n ≥ 2, let Qµ,c (n) denote the set of all
pairs (P, I) where P = p1 . . . pn is an n–gon in Cay(G, X t H) and I is
the distinguished subset of sides {p1 , p2 , . . . , pn } such that each pi ∈ I
is a (µ, c)–quasi-geodesic and an isolated H–component in P. Note
that we allow sides of P to be trivial. Given (P, I) ∈ Qµ,c (n), let
X
b i )− , (pi )+ ),
s(P, I) =
d((p
pi ∈I

and let
sµ,c (n) =

sup

s(P, I).

(P,I)∈Qµ,c (n)

Lemma 4.3. Let H be a subgroup of G and X a subset of G such that
Cay(G, X t H) is hyperbolic. Then for any µ ≥ 1 and c ≥ 0, there
exists a constant D = D(µ, c) > 0 such that sµ,c (n) ≤ Dn for any
n ∈ N.
Notice that the hypotheses of Lemma 4.3 are satisfied if H ,→h
(G, X).

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

15

4.2. Detecting non-generalized loxodromic elements. In this section, we give a sufficient condition under which an element is not generalized loxodromic. Recall that given a family of cyclic graphs {Cn }
with directed edges labelled by elements of S, and an element w ∈ F (S)
we say {Cn } is w–saturated if
lim lim sup (satwm (Cn )) > 0,

m→∞ |C | →∞
n S

where satv (Cn ) = lv (Dn )/ |Cn | and lv (Cn ) is the maximal number of
edges in Cn which lie on (not necessarily disjoint) subpaths of Cn whose
labels are powers of cyclically reduced conjugates of v.
Theorem 4.4. Let G be a group generated by a symmetric set S, and
suppose there are uniformly (µ0 , c0 )-quasi-isometric simplicial maps ψn :
Cn → Cay(G, S). Denote the (not necessarily embedded) cycle ψ(Cn )
in Cay(G, S) by
F Dn , and denote the label of Dn (as a word in F (S))
by rn . If Γ = n Dn is {w}–saturated for some w ∈ F (S), then w is
not a generalized loxodromic element of G.
Proof. Without loss of generality, we may assume that w is cyclically
reduced. Suppose for a contradiction that w is a generalized loxodromic element and choose X ⊂ G such that Cay(G, X) is hyperbolic,
G y Cay(G, X) is acylindrical and w is loxodromic with respect to
this action. Let E(w) be the maximal virtually cyclic subgroup containing w. Choose a constant M so that E(w) is contained in the M –
neighbourhood of hwi in Cay(G, X). By Lemma 4.1, E(w) ,→h (G, X).
Let Y ⊂ E(w) be the finite subset provided by Lemma 4.2. It follows immediately that there is a constant κ > 0 such that dY (a, b) ≥
κdS (a, b) holds for all a, b ∈ E(w).
For each sufficiently large l, we choose some N = N (l) such that
satwl (DN ) ≥ ε > 0. We will now replace DN by a 2k(l)–gon, where
the images of odd numbered sides are isolated E(w)–components, while
even numbered sides are geodesics in Cay(G, X tE(w)) connecting end
points of consecutive odd numbered sides. We will then show that these
polygons cannot satisfy Lemma 4.3, contradicting the assumption that
w is a generalized loxodromic element.
To do this, consider a maximal collection PN of disjoint subpaths
of CN such that for each P ∈ PN , ψN (P ) is labeled by wk for some
k ≥ l. Extend each ψN (P ) to a maximal length subpath L of DN which
is contained in the same coset of E(w) as the end vertices of ψN (P ).
Notice that for all N large enough, DN cannot be contained in a single
E(w) coset and that multiple P ’s may define the same L. Let L1 , . . . Lk
be the collection of all such paths L, and for each Li let ai , bi be the
end vertices of the path.

16

ABBOTT AND HUME

The cycles DN are uniformly quasi-isometrically embedded in Cay(G, S),
so
k
X
i=1

lS (Li ) 

k
X
i=1

dS (ai , bi ) 

k
X

dY (1, a−1
i bi )



i=1

k
X

b i , bi )
d(a

i=1

The Cayley graph Cay(G, X) is a subgraph of Cay(G, X tE(w)), so we
can consider the Li as paths in Cay(G, X tE(w)). In Cay(G, X tE(w))
each Li ∈ LN can be replaced by an edge ei , and then the ei can be connected by geodesics γi to form a 2k(l)–gon P = (e1 , γ1 , . . . , ek(l) , γk(l) ),
where the ei are all isolated E(w)–components. Setting I = {ei | 1 ≤ i ≤ k(l)}
we see that
k
k
X
X
X
b i , bi ) 
s(P, I) =
d(a
lS (Li ) 
|P |  lN .
i=1

i=1

P ∈PN

The last step uses the fact that the DN are w–saturated. Thus k(l)/lN
is bounded away from 0 by Lemma 4.3.
On the other hand, each isolated component has length which grows
at least linearly with l, and so there are k(l)  lN /l such components.
Therefore, k(l)/lN → 0 as l → ∞, which is a contradiction.

From this, we recover a theorem of Sisto [16, Theorem 1.1].
Corollary 4.5. Let G be a group generated by a finite set S, and
suppose there is some w ∈ G of infinite order such that the orbit of w
is not Morse in X = Cay(G, S). Then w is not a generalized loxodromic
element of G.
Proof. Without loss of generality we may assume w is cyclically reduced
as an element of F (S). Since hwi is not Morse, there exist constants
K ≥ 1 and C ≥ 0 and continuous (K, C)-quasi-geodesics αn from 1 to
wm(n) which are not contained in the n-neighbourhood of hwi.
Fix any geodesic [1, w] in X and consider the bi-infinite path P
obtained by concatenating the translates of [1, w] by hwi. Let k = lS (w)
and assume n > 3k. Increasing K and C if necessary, we ensure that
P is a continuous (K, C)-quasi-geodesic. Let x ∈ αn be a vertex at
maximal possible distance from the restriction of P to a path Pn from
1 to wm(n) . It follows that l = dS (x, Pn ) ≥ n − k. Following αn in each
direction from x, let y and y 0 be the first vertices satisfying
2KdS (·, Pn ) ≤ dS (·, x).

(3)

Choose any geodesics γ and γ 0 from y and y 0 , respectively, to any closest
points z and z 0 on Pn . Denote the quasi-geodesic quadrangle with sides
γ, γ 0 and the restrictions of Pn and αn to paths from z to z 0 and y to
y 0 , respectively, by Dn . (See Figure 2).
We will now argue, using the proof of Theorem 4.4 as our model,
that the cycles Dn provide an obstruction to w being a generalized
loxodromic element.

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

17

x

y0
y
αn
γ

γ0
wm(n)

1

z0

z

Pn

Figure 2
Firstly, we argue that {Dn } is w–saturated. For this it suffices to
show that |P ∩ Dn | = dS (z, z 0 ) is bounded from below by some positive
multiple of |Dn |. Notice that since y, y 0 lie on the continuous (K, C)quasi-geodesic αn , we have
1
dS (y, y 0 ) ≥
(dS (y, x) + dS (x, y 0 )) − C.
(4)
K
Therefore, by the triangle inequality, (3), and (4), we have
dS (z, z 0 ) ≥ dS (y, y 0 ) − dS (y, Pn ) − dS (y 0 , Pn )
≥

1
2K

(dS (y, x) + dS (x, y 0 )) − C,

so it suffices to show that dS (x, y) is uniformly proportional to |Dn |.
By (3) and the fact that dS (x, y) + dS (y, Pn ) ≥ l, we have
dS (x, y) ≥ 2KdS (y, Pn ) ≥ 2Kl − 2KdS (x, y)
2Kl
and thus dS (x, y) ≥ 2K+1
.
Next we bound |Dn |. Since y ∈ αn , d(y, Pn ) ≤ l, so d(x, y) ≤ 2Kl.
Therefore the subpath of αn from y to y 0 has length at most 4K 2 L + C.
Moreover, dS (z, z 0 ) ≤ 4Kl + 2l, so the length of the subpath of P
connecting z to z 0 has length at most 4K 2 l + 2Kl + C. Thus

|Dn | ≤ 8K 2 l + 2Kl + 2l + 2C,
completing the argument (for large enough n).
Now it need not be the case that the Dn are uniformly quasi-isometrically
embedded in Cay(G, S), but even so the technique employed in the
proof of Theorem 4.4 can be made to work. As in that proof, consider
a maximal subpath L of the cycle Dn containing Dn ∩ Pn whose endvertices are contained in E(w). By construction (for sufficiently large
n) this path is contained in Dn ∩ Pn plus two subpaths of [y, z] and
[y 0 , z 0 ] of uniformly bounded length. Let P be the quadrangle consisting of sides L, the subpaths of [y, z] and [y 0 , z 0 ] not already included in
L and the restriction of αn to a path from y to y 0 . Let a, b be the end
vertices of L. Arguing as before we see that
b b)  dS (a, b)  |Dn ∩ Pn |  |Dn | .
s(P, I) = d(a,
This contradicts Lemma 4.3.

18

ABBOTT AND HUME


We immediately deduce Corollary 1.4 from this.
Let us finish this section by giving a simple example of a group with
an infinite order element which is Morse but cannot be generalized
loxodromic by Theorem 4.4.
Example 4.6. Let R be the set of all cyclically reduced conjugates of
the following words (indexed by natural numbers n ≥ 12), and their
inverses, in F (a, b):
2 +1

rn = abn

2 +2

abn

2

. . . ab(n+1)

and define G = hS |R i. Firstly, R satisfies the C 0 ( 16 ) condition, since
2
2
any piece in rn is a subword of b(n+1) −1 ab(n+1) or its inverse and so has
length at most 2(n + 1)2 , while |rn | ≥ (n + 1)3 . Notice that 2(n + 1)2 <
1
(n + 1)3 because we assumed n ≥ 12. The corresponding collection
6
F
of cycles Cn embed isometrically into X = Cay(G, S), and Γ = n Cn
is {b}–saturated, so b is not generalized loxodromic by Theorem 4.4.
However, the map Z → X defined by n 7→ bn is an isometric embedding
2
and the geodesic with vertex set hbi is ρ–contracting for ρ(r)  r 3 (see
Theorem 2.3).
4.3. A construction of non-examples. Here we will give a versatile
construction which allows us to prove that the seemingly arbitrary
hypotheses of Theorem 1.5 are sharp. This construction can be used
to build groups with elements that are contracting but not generalized
loxodromic, as well as torsion-free groups which are not universally
acylindrical.
Example 4.7. In each case we begin with a collection of distinct words
{gn | n ∈ N } ⊆ F (a, b) \ {1} and a function f : N → N such that
f (n) ≥ 12 for all n. From this data we construct elements of F (a, b, c, d)
in the following way:
f (n)

Rn =

Y

i

i

(f (n)+i)

[cd gn (c−1 )d , cd

gn (c−1 )d

(f (n)+i)

]

(5)

i=1

where we use the conjugation notation xy = yxy −1 .
Note that to obtain a cyclically reduced word conjugate to Rn we
need only cancel words of the form dd−1 and d−1 d. Let Cn be the
labeled cyclic graph corresponding to Rn . Set S = {a, b, c, d} and
define R to be the set of cyclically reduced conjugates of the Rn and
their inverses. Define G = F (a, b, c, d)/ hRi. Our first goal is to prove
that R satisfies C 0 ( 61 ).
For each 1 ≤ k ≤ 2f (n), and each ε ∈ {±1} there is exactly one
subpath of Cn with each of the following labels:
cd−k gnε ,

gnε dk c−1 .

(6)

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

19

Now suppose the label v of a subpath of Cn is a piece. It follows that v
does not contain any of the above words as subwords, hence it is either
a subword of d−2f (n) gn d2f (n) , or a (strict) subword of a word of the form
0
gnε wgnε where w ∈ F (c, d) has length at most 6f (n) + 2. Note also that
Cn has length at least f (n)(3f (n) + 4|gn |), as each commutator in the
product contributes 3 copies of df (n) and 4 copies of gn to a reduced
decomposition of Rn . It follows that R satisfies C 0 ( 61 ), since
6(6f (n) + 2 + 2|gn |) ≤ 36f (n) + 12 + 12|gn | < f (n)(3f (n) + 4|gn |).
For each n set Sn = {di cd−i gn di c−1 d−i | 1 ≤ i ≤ 2f (n)}. Our next
goal is the following.
Proposition 4.8. For each n, the subgroup of G generated by Sn is
isomorphic to the fundamental group of a closed surface of genus f (n).
It suffices to prove that the F (Sn ) ∩ hh{Rk }iiF (S) = hhRn iiF (Sn ) , where
hhXiiG denotes the subgroup of G normally generated by X. In particular, we need to show that if w ∈ F (Sn ) satisfies w =G 1 then w is
equal in F (S) to a product of conjugates of Rn by elements of F (Sn ).
Lemma 4.9. Any word in F (Sn ) has a reduced decomposition in F (S)
which is obtained from a word of the following form only by cancelling
words of the form dd−1 and d−1 d:
xl
−xl yl xl −1 −xl
w =F (S) Πm
gn d c d
l=1 d cd

(7)

where each xl > 0, yl ∈ Z \ {0} and xl 6= xl+1 .
Proof. This obviously holds, since different elements of Si all begin with
different powers of d.

Proof of Proposition 4.8. Let w ∈ F (Sn ) satisfy w =G 1, and let Dw
be a minimal diagram whose boundary label read clockwise from a
fixed vertex e is the representation of w in the free monoid M (S t S −1 )
presented in (7). Note that this diagram has vertices of degree 1 (which
we will call spurs). Such a vertex is always connected to a vertex of
degree at least 3 in Dw by a unique path, all of whose internal vertices
have degree 2. Necessarily the label of this path is a power of d; this
corresponds exactly to the fact that the representation of w in (7) can
be reduced to a cyclically reduced word in F (S) only by cancelling
words of the form dd−1 and d−1 d.
By Greendlinger’s lemma, there is a face Π in Dw such that ∂Π∩∂Dw
is connected and has at least 21 |∂Π| edges (it may be the whole of ∂Π).
Then the label of ∂Π is equal in F (S) to some Rk , and, in particular,
some subpath of ∂Dw has label dgkε d−1 for ε ∈ {±1}. Since all of the gi
are distinct, and the label of ∂Dw does not contain a subpath labeled
dgi d−1 for any i 6= n, we deduce that k = n.
Moreover, there is a spur x in Dw which is connected by a path to
a vertex in ∂Π of degree at least 3. We see immediately that the label

20

ABBOTT AND HUME

of the subpath of ∂Dw from e to x has exactly the form given in (7)
and consequently is an element of F (Sn ). It also follows that the label
of ∂Π read from x is (a reduction of) a cyclic conjugate of Rn by an
element of F (Sn ). Consequently, w can be expressed as the product
of a word w0 ∈ F (Sn ) satisfying w0 =G 1 and a conjugate of Rn±1 by
an element of F (Sn ).” Moreover, we ensure that lF (S) (w0 ) < lF (S) (w).
Thus by induction on lF (S) (w) we see that any w ∈ F (Sn ) with the
property that w =G 1, can be expressed as a product of conjugates of

Rn±1 by words in F (Sn ).
We illustrate the above proof in the figure below.

...cd−xk gn±1 dxk c−1 ...
e
x1 −xm

d

x
∂D

Π

...cd−x1 gn dx1 c−1 ...
Figure 3. Intersection of relators and boundary words
We now use the above construction to prove the following result,
from which Theorems 1.1 and 1.6 immediately follow. Given a set
R = {r1 , r2 , . . . } ⊂ F (S), let Cn = Crn , and let pn = prn denote the
length of the longest piece in rn .
Corollary 4.10. For every unbounded function ρ : N → N there exists
a set R = {r1 , r2 , . . . } ⊂ F (a, b, c, d) such that pn · satb (Cn )  ρ(n)
and hbi is ρ0 –contracting for some ρ0  ρ, but b is not generalized
loxodromic.
Proof. Without loss of generality, we may assume that ρ(n)/n → 0 as
n → ∞. In the construction in Example 4.7, set gn = an bρ(n) a−n and
f (n) = n. It is clear that b has infinite order in the resulting group
G = F (a, b, c, d)/hRi, and by Theorem 2.3, hbi is ρ0 –contracting for
some ρ0  ρ.
The longest piece in Cn has length  n. To find an upper bound on
the saturation notice that Cn contains exactly 4n copies of bρ(n) and
that |Cn |  n2 . Therefore,
4nρ(n)
 ρ(n).
n2
Suppose for a contradiction that b is a generalized loxodromic element. Then there exists a constant N such that for every n ≥ N , hhbn ii
is a free group. Choose k ∈ N so that ρ(k) ≥ N . By construction,
pn · satb (Cn )  n ·

THE GEOMETRY OF GENERALIZED LOXODROMIC ELEMENTS

21

bρ(k) contains the subgroup of G generated by Sk . However, this
subgroup is not free by Proposition 4.8, yielding the contradiction. 
We are now ready to prove Theorem 1.8.
Proof of Theorem 1.8. Let w∗ = (wk )k∈N = abbabaab... be the ThueMorse sequence, that is, the infinite word generated by iterating the
procedures a 7→ ab and b 7→ ba on the word a. This sequence is
famously triple-free. For each n let
gn = (b3 w2n w2n +1 . . . w2n+1 −1 )n
in the construction in Example 4.7, and let G = F (a, b, c, d)/hRi be
the resulting group.
We will first show that every non-trivial element of F (a, b) is generalized loxodromic in G. Suppose for a contradiction that v is a cyclically
reduced word in F (a, b) such that arbitrary powers of v appear as labels of subpaths of the cycles Cn . By construction of R, v must be a
subword of gn for some n. Choose a cyclic conjugate of v of the form
bk v 0 with |k| maximal. If |k| ≥ 3, then for all n sufficiently large, no
(non-zero) power of v is a subword of gn , which is a contradiction. If
|k| < 3, then for every j > 0 there is some n > 0 such that v j is a
subword of b2 w2n +1 . . . w2n+1 −1 b2 . However, the Thue-Morse sequence
is triple-free, so this word contains no non-trivial seventh powers, and
we again reach a contradiction. Thus v is D–contracting for some constant D, and so by [3, Theorem 6.2], v is a generalized loxodromic
element. Therefore, every non-trivial element of F (a, b) is generalized
loxodromic in G.
We next show that G is not universally acylindrical. Suppose for
a contradiction that G admits a universal acylindrical action. Then
by [10, Theorem 5.3 and Proposition 6.34(b)] there exists a uniform
constant m such that for every generalized loxodromic element h ∈ G,
hhhm ii is a free subgroup of G. Since every non-trivial element of F (a, b)
is generalized loxodromic, it follows that for every n ≥ m, hhgn ii is a free
subgroup of G . However, by construction, hhgn ii contains the subgroup
of G generated by Sn which by Proposition 4.8 is not free, yielding the
contradiction.
The same proof will work for any infinite subset of {Rn }. Using
Bowditch’s taut loop spectrum [7] as an invariant we obtain non-quasiisometric groups which are not universally acylindrical.

Remark 4.11. By adjusting the above construction, it is possible to
give an example of a finitely generated group in which every non-trivial
element is generalized loxodromic but which is not universally acylindrical. For example, one could replace the powers of d in (5) by a
collection of words in F (c, d) which are uniformly power-free.

22

ABBOTT AND HUME

References
[1] Carolyn Abbott, Jason Behrstock, and Matthew Gentry Durham, Largest
acylindrical actions and stability in hierarchically hyperbolic groups, 2017.
[2] Carolyn R. Abbott, Not all finitely generated groups have universal acylindrical
actions, Proc. Amer. Math. Soc. 144 (2016), no. 10, 4151–4155. MR3531168
[3] Goulnara N. Arzhantseva, Christopher H. Cashen, Dominik Gruber, and David
Hume, Contracting geodesics in infinitely presented graphical small cancellation
groups, ArXiv e-prints (2016), available at 1602.03767.
, Characterizations of Morse quasi-geodesics via superlinear divergence
[4]
and sublinear contraction, Doc. Math. 22 (2017), 1193–1224. MR3690269
[5] Mladen Bestvina, Ken Bromberg, and Koji Fujiwara, Constructing group actions on quasi-trees and applications to mapping class groups, Publ. Math.
Inst. Hautes Études Sci. 122 (2015), 1–64.
[6] Mladen Bestvina and Koji Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69–89. MR1914565
[7] B. H. Bowditch, Continuously many quasi-isometry classes of 2-generator
groups, Comment. Math. Helv. 73 (1998), no. 2, 232–236. MR1611695
[8] Brian H. Bowditch, Tight geodesics in the curve complex, Invent. Math. 171
(2008), no. 2, 281–300. MR2367021 (2008m:57040)
[9] Rémi Coulon and Dominik Gruber, Small cancellation theory over burnside
groups (2017), available at 1705.09651.
[10] F. Dahmani, V. Guirardel, and D. Osin, Hyperbolically embedded subgroups and
rotating families in groups acting on hyperbolic spaces, Mem. Amer. Math. Soc.
245 (2017), no. 1156, v+152. MR3589159
[11] Dominik Gruber, Infinitely presented C(6)-groups are SQ-universal, J. Lond.
Math. Soc. (2) 92 (2015), no. 1, 178–201. MR3384511
[12] Dominik Gruber and Alessandro Sisto, Infinitely presented graphical small cancellation groups are acylindrically hyperbolic, to appear in Ann. Inst. Fourier
(2014), available at 1408.4488.
[13] Ursula Hamenstädt, Bounded cohomology and isometry groups of hyperbolic
spaces, J. Eur. Math. Soc. (JEMS) 10 (2008), no. 2, 315–349. MR2390326
[14] Michael Hull, Small cancellation in acylindrically hyperbolic groups, Groups
Geom. Dyn. 10 (2016), no. 4, 1077–1119. MR3605028
[15] D. Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016),
no. 2, 851–888. MR3430352
[16] Alessandro Sisto, Quasi-convexity of hyperbolically embedded subgroups, Mathematische Zeitschrift (2016), 1–10.
E-mail address: c abbott@math.berkeley.edu
Department of Mathematics, University of California, Berkeley,
Berkeley, CA 94720
E-mail address: david.hume@maths.ox.ac.uk
Mathematical Institute, University of Oxford, Woodstock Road,
Oxford OX2 6GG

