arXiv:1611.06393v1 [math.GR] 19 Nov 2016

THE RELATIVE EXPONENTIAL GROWTH RATE OF
SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
EDUARD SCHESLER
Abstract. In this paper we prove that the relative exponential growth rate
of any subgroup H of a finitely generated group G exists with respect to every
finite generating set of G if H contains a generalized loxodromic element. We
will prove that the relative exponential growth rate of any subexponentially
distorted embedding of an acylindrically hyperbolic group H in a finitely generated group G exists with respect to every finite generating set of G. We
introduce a new invariant of finitely generated groups, the ambiguity function,
and we show that every finitely generated acylindrically hyperbolic group G
possesses a linearly bounded ambiguity function. We also extend these results
to the case of direct products of finitely generated acylindrically hyperbolic
groups.

Contents
1. Introduction
2. Weak Supermultiplicativity
3. Hyperbolic spaces
4. Acylindrically hyperbolic groups
5. Existence of the growth rate
6. The case of products
References

1
3
7
8
9
14
18

1. Introduction
Given a finitely generated group G and a finite symmetric generating set X
X
of G, the growth function βG
: N Ñ N of G with respect to X is defined by
X
X
X
βG pnq “ |BG pnq|, where BG pnq denotes the set of all elements of G which are
represented by words of length ď n in the generators of X. By definition, G has
X
exponential growth if there is a constant a ą 1 such that βG
pnq ą an for every
n P N. Using the submultiplicativity
X
X
X
βG
pm ` nq ď βG
pmqβG
pnq,
1

X
Milnor proved in [M` 68] that the limit lim βG
pnq n exists for every finitely genernÑ8

ated group G and every finite generating set X of G. Thus, if this limit a is larger
than 1, then for every ε ą 0, there is a number N P N such that for every n ě N
we have
(1.1)

X
pa ´ εqn ď βG
pnq ď pa ` εqn .

Date: NOVEMBER 19, 2016.
1

2

EDUARD SCHESLER

This justifies the notion of exponential growth. In this paper we study the following
relative analogue of the growth function.
Definition 1.1. Let G be a finitely generated group with a finite generating set
X and let H ď G be an arbitrary subgroup of G. Then
X
BH
pnq “ th P H : |h|X ď nu

(1.2)

X
X
denotes the dX -ball of radius n P N inside of H. We write βH
pnq “ |BH
pnq| for
X
the cardinality of this ball. The function βH : N Ñ N is called the relative growth
function of H in G with respect to X.
1

X
Again we can ask for the existence of the limit of the sequence pβH
pnq n qnPN .
1
X
n
If the limit lim βH pnq exists we will say that the relative exponential growth rate
nÑ8

of H in G exists with respect to X. Grigorchuk [Gri80] proved that the relative
exponential growth rate of every normal subgroup of a finitely generated free group
F exists with respect to a free generating set of F . This result was extended by
Olshanski [Ols13, Theorem 1.5] by showing that the relative exponential growth
rate of any subgroup of a finitely generated free group F exists with respect to a
free generating set of F . Further Olshanski [Ols13, Remark 3.1] pointed out that
the relative exponential growth rate does not exist in general. He showed that there
is a finitely generated solvable group G and an infinite cyclic subgroup H ď G such
that
(1.3)

lim inf
nÑ8

X
βH
pnq
“ 0 @ε ą 0 and
1`ε
n

1

X
lim sup βH
pnq n ą 1.
nÑ8

The main result of this paper is the following theorem.
Theorem 5.9. Let G be a finitely generated group and H ď G a subgroup of
G. If H contains a generalized loxodromic element h P H, then the relative exponential growth rate of H in G exists with respect to every finite generating set of G.
In Section 2 we introduce a new invariant of a finitely generated group, the ambiguity function, that seems to be useful in studying of the relative exponential growth
rate. We prove the following theorem.
Theorem 5.10. Let G be a finitely generated acylindrically hyperbolic group. Then
G possesses a linearly bounded ambiguity function with respect to every finite generating set of G.
We deduce from this theorem the following result.
Theorem 5.11. Let H be a finitely generated acylindrically hyperbolic group. Let
ι : H Ñ G be a subexponentially distorted embedding in a finitely generated group
G. Then the relative exponential growth rate of H in G exists with respect to every
finite generating set of G.
In Section 6 we give an extension of Theorem 5.10 to direct products of acylindrically hyperbolic groups.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
3

Theorem 6.6. Let G “

m
ś

Gi be a finite direct product of finitely generated

i“1

acylindrically hyperbolic groups Gi and let H be a subgroup of G. Suppose that,
for each i “ 1, . . . , m, the image of the canonical projection of H to Gi contains a
generalized loxodromic in Gi . Then the relative exponential growth rate of H in G
exists with respect to every finite generating set X of G.
2. Weak Supermultiplicativity
In this section we give analytical tools which will be used later in the proof of
existence of the relative exponential growth rate. The distortion function of a subgroup, recalled in Definition 2.2, is a well known invariant of a finitely generated
subgroup. In Definition 2.3, we introduce the ambiguity function of a finitely generated group with respect to a finite generating set. In Corollaries 2.12 and 2.13 we
give a sufficient condition for the existence of the relative exponential growth rate
in terms of the distortion and the ambiguity functions of a subgroup.
Definition 2.1. A function f : N Ñ N is called sublinear, if lim

nÑ8

subexponential, if

lim f pnq
n
nÑ8 a

f pnq
n

“ 0 and

“ 0 for every a ą 1.

Definition 2.2. Let G be a finitely generated group with a finite generating set X.
Let H be a finitely generated subgroup of G with a finite generating set Y . The
distortion function of H in G with respect to X and Y is defined by
(2.1)

∆G
H : N Ñ N, n ÞÑ maxt|h|Y : h P H, |h|X ď nu.

The subgroup H is called linearly, polynomially, or subexponentially distorted in G,
if ∆G
H pnq is bounded, respectively, by a linear, polynomial, or subexponential function. A linearly distorted subgroup H of G is also said to be an undistorted subgroup
of G.
It is easy to see that the property of a subgroup H ď G to be linearly, polynomially, or subexponentially distorted in G does not depend on a choice of finite
generating sets of H and G.
The following maps (indexed by m, n P N) are important in studying of exponential growth rates:
X
X
X
pnq Ñ BG
pm ` nq,
Φm,n : BG
pmq ˆ BG

pu, vq ÞÑ uv.

The main difficulty is that, given natural numbers m, n P N and an element w P
X
BG
pm ` nq, there may be many different representations of the form w “ uv
X
X
with u P BG
pmq and v P BG
pnq. It would be useful to give a subexponential
upper bound on the cardinality of the preimage Φ´1
m,n pwq in terms of n only, i.e.,
independent of m and w. However, such a bound does not exist even in the case
of free groups Fk with basis X. Indeed, consider the preimage of the identity
´1
1 P BFXk pm ` nq. Then Φ´1
q P BFXk pmq ˆ BFXk pnq : |u|X ď m, nu
m,n p1q “ tpu, u
´1
X
and thus |Φ2n,n p1q| “ |BFk pnq| “ 2kp2k ´ 1qn´1 has exponential growth with
respect to n. This also shows that we cannot guarantee that |uv|X is approximately
|u|X ` |v|X .
In [Ols13, Theorem 1.5] Olshanski considers the free group case and suggests to
modify the map Φm,n by insertion a word from a ball BFXk pcq between u and v. In
the following definition we promote this idea in the general case.

4

EDUARD SCHESLER

Definition 2.3. Let G be a finitely generated group with a finite generating set
X. A function f : N Ñ N is an ambiguity function of G with respect to X, if there
is a finite subset M Ă G and a map of the form
Φ : G ˆ G Ñ G, pu, vq ÞÑ ugu,v v
with gu,v P M , which, with notation below, satisfies the following property (˚):
Denote c :“ max |g|X , and, for every m, n P N, consider the restriction:
gPM

X
X
X
Φm,n : BG
pmq ˆ BG
pnq Ñ BG
pm ` n ` cq, pu, vq ÞÑ Φppu, vqq.
X
Property p˚q: For every m, n P N and every z P BG
pm ` n ` cq, we have

|Φ´1
m,n pzq| ď f pnq.
The set M is called the set of connecting pieces and the map Φ is called the
concatenation map corresponding to f .
Remark 2.4. It is easily seen that, up to equivalence, an ambiguity function of a
group G does not depend on the choice of the finite generating set of G. Indeed,
let f be an ambiguity function of G with respect to a finite generating set X of G.
Let Φ be the concatenation map and M the set of connecting pieces corresponding
to f . Let c :“ max |g|X . For an arbitrary finite generating set Y of G we define
gPM

p “ max |y|X . Then the inclusion
yPY

Y
Y
X
X
BG
pmq ˆ BG
pnq Ă BG
ppmq ˆ BG
ppnq

is well defined and by definition the preimage of
X
X
X
Φpm,pn : BG
ppmq ˆ BG
ppnq Ñ BG
ppm ` pn ` cq
Y
is bounded by f ppnq. Thus the preimage of the restriction of Φpm,pn to BG
pmq ˆ
Y
BG pnq is also bounded by f ppnq. Therefore the function g : N Ñ N, n ÞÑ f ppnq is
an ambiguity function of G with respect to Y .

We use the following simple remarks.
Remark 2.5. Let X and Y be two sets and f : X Ñ Y a function such that the
cardinality of every preimage f ´1 pyq with y P Y is uniformly bounded by a number
n P N. Then we have |X| ď n ¨ |Y |.
Remark 2.6. Let f : N Ñ N be a subexponential function and let g : N Ñ N be a
polynomially bounded function. Then the composition g ˝ f is subexponential.
Remark 2.7. Let f : N Ñ N be a linearly bounded function and let g : N Ñ N be a
subexponential function. Then the composition g ˝ f is subexponential.
Proposition 2.8. Let G be a finitely generated group with a finite generating set
X and let H ď G be a finitely generated, subexponentially distorted subgroup with a
finite generating set Y . If H possesses a polynomially bounded ambiguity function
with respect to Y , then there is a subexponential function ε : N Ñ N and a constant
c P N such that
(2.2)

X
X
X
βH
pmqβH
pnq ď εpnq ¨ βH
pm ` n ` cq for all m, n P N.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
5

Proof. Let f be a subexponential distortion function of H in G with respect to X
and Y . Then the trivial inclusion
(2.3)

X
X
Y
Y
ι : BH
pmq ˆ BH
pnq Ñ BH
pf pmqq ˆ BH
pf pnqq.

is well defined. Let P be a polynomially bounded ambiguity function of H with
respect to Y , let M Ă H be the finite set of connecting pieces and let Φ : HˆH Ñ H
be the concatenation map corresponding to P . We set p
c “ max |h|Y . By restricting
hPM

Y
Y
Φ to subsets of the form BH
pmq ˆ BH
pnq, we obtain the maps

(2.4)

Y
Y
Y
Φm,n : BH
pmq ˆ BH
pnq Ñ BH
pm ` n ` p
cq pu, vq ÞÑ Φppu, vqq “ ugu,v v

Y
such that gu,v P M and |Φ´1
cq and every
m,n pzq| ď P pnq for every z P BH pm ` n ` p
pm, nq P N ˆ N. In particular we get

(2.5)

|Φ´1
f pmq,f pnq pzq| ď P pf pnqq

Y
for all m, n P N and every z P BH
pf pmq ` f pnq ` p
cq. By combining (2.3) and (2.5)
we note that the cardinality of every preimage Ψ´1
m,n pzq of

(2.6)

Y
X
X
pmq ˆ BH
pnq Ñ BH
pf pmq ` f pnq ` p
cq
Ψm,n :“ Φf pmq,f pnq ˝ ι : BH

is bounded by P pf pnqq. Now let c “ max |h|X be the diameter of M in ΓpG, Xq.
hPM

The definition of Φ immediately implies that
(2.7)

X
impΨm,n q Ă BH
pm ` n ` cq.

Thus the cardinality of the preimage of an arbitrary element with respect to the
map
(2.8)

X
X
X
Ψm,n : BH
pmq ˆ BH
pnq Ñ BH
pm ` n ` cq

is bounded by the function εpnq :“ P ˝ f pnq. Due to Remark 2.6 this function is
subexponential and the desired inequalities follow with the help of Remark 2.5. 
If the distortion function f is polynomial the ambiguity function g is subexponential, then the composition? ε “ g ˝ f does not have to be subexponential. Just
consider the case of gpnq “ 2 n and f pnq “ n2 .
In the case that the subgroup H is undistorted, we get the following analogue of
Proposition 2.8.
Proposition 2.9. Let G be a finitely generated group and let H ď G be a finitely
generated, undistorted subgroup of G. If H possesses a subexponential ambiguity
function, then there exists a subexponential function ε : N Ñ N and a constant
c ě 0 such that
(2.9)

X
X
X
pmqβH
pnq ď εpnq ¨ βH
pm ` n ` cq for all m, n P N.
βH

The proof is essentially the same as the proof of Proposition 2.8. One only has
to replace Remark 2.6 by Remark 2.7 in the argumentation.
The following lemma provides us with an alternative definition of a subexponential function which will be easier to apply for our purposes.
Lemma 2.10. A function f : N Ñ N is subexponential if and only if
(2.10)

1

lim f pnq n “ 1.

nÑ8

6

EDUARD SCHESLER

Proof. First we assume that f is subexponential. Then for every a ą 1 and every
1
ď ε for all but finitely many n P N. Due to lim ε n “ 1 we
ε ą 0 we have fapnq
n
nÑ8

1

1

therefore obtain f pnq n ď pan εq n for all but finitely many n P N. Since we can chose
1
a ą 1 and ε ą 0 arbitrary close to 1 and 0, respectively, we get lim f pnq n “ 1.
nÑ8

1

Now we assume lim f pnq n “ 1. Thus, for every ε ą 0 we have f pnq ď p1 ` εqn
nÑ8

for all but finitely many n P N. Let δ ą 0 and a “ 1 ` δ ą 1. By setting ε “
obtain
´ 1 ` δ ¯n
f pnq
p1 ` εqn
2
(2.11)
lim sup n ď lim sup
“
lim
sup
“ 0.
a
an
1`δ
nÑ8
nÑ8
nÑ8
f pnq
n
nÑ8 a

Since f pnq ą 0 we get lim

“ 0.

δ
2

we



The crucial analytical ingredient for the proof of the existence of some relative
exponential growth rates is provided by the following proposition. This is essentially
the analytical part of the proof of Lemma 1.6 in [Ols13]. For convenience we shall
include a proof here.
Proposition 2.11. Let B, C ą 0 be two real numbers, ε : N Ñ N a subexponential
function and l : N Ñ N a sublinear function. If f : N Ñ N is a monotonically
increasing function with the properties
1) f pmqf pnq ď εpnqf pm ` n ` lpnqq for all n ě C and all m P N and
2) 1 ď f pnq ď B n for all n P N,
1

then the limit lim f pnq n exists.
nÑ8

1

Proof. First we see that lim sup f pnq n exists due to the second property of f .
nÑ8
1

Without loss of generality we may assume that a :“ lim sup f pnq n ą 1. Indeed,
nÑ8

since f pnq ě 1 for every n P N we would obtain
1

1

1 ď lim inf f pnq n ď lim sup f pnq n ď 1

(2.12)

nÑ8

nÑ8
1

otherwise. Let δ P p0, a ´ 1q and let an :“ f pnq n . With Lemma 2.10 we get
´1
1
lim εpsq s “ 1. Thus we obtain lim εpsq s “ 1. Since l is sublinear, we further
sÑ8
sÑ8
get
s ` lpsq
s lpsq
“ lim `
“ lim 1 ` 0 “ 1.
sÑ8
sÑ8 s
sÑ8
s
s
So there is a natural number s ě C such that
s`lpsq
´
´1
δ
δ
2δ ¯ s
ăa´ .
(2.14)
|as εpsq s ´ a| ď and a ´
3
3
3
In the following, a natural number n will be written an n “ qps ` lpsqq ` r with
r ă s ` lpsq and q P N. Since f is monotonically increasing and
´
2δ ¯n´s´lpsq
(2.15)
a´
ą pa ´ δqn
3
holds for all but finitely many n P N we have
(2.13)

lim

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
7

f pnq ě f pqps ` lpsqqq

ě εpsq´1 f psqf ppq ´ 1qps ` lpsqqq
ě εpsq´q`1 f psqq´1 f ps ` lpsqq

ě ...
ě εpsq´q f psqq .

´1

1

The definition an “ f pnq n gives us εpsq´q f psqq “ pεpsq s as qsq . In view of the
inequalities above this gives us
´
´
¯sq
´
´1
δ ¯sq
2δ ¯ps`lpsqqq
f pnq ě as εpsq s
ě a´
ě a´
3
3
´
´
2δ ¯n´r
2δ ¯n´s´lpsq
“ a´
ą a´
ą pa ´ δqn .
3
3
Altogether we obtain an ą a ´ δ for almost every n P N. Since δ was chosen
arbitrarily small, the claim follows.

Due to Proposition 2.11 and the two Propositions 2.8 and 2.9 we get immediately
the two following corollaries, which we use later to show the existence of some
relative exponential growth rates.
Corollary 2.12. Let G be a finitely generated group and H ď G a finitely generated, subexponentially distorted subgroup of G. If H possesses a polynomially
bounded ambiguity function, then the relative exponential growth rate of H in G
exists with respect to every finite generating set of G.
It would be interesting to know, whether there is an undistorted subgroup H of
a finitely generated group G such that the relative exponential growth rate of H
in G does not exist with respect to some finite generating set of G. The following
corollary gives an obstruction to this case.
Corollary 2.13. Let G be a finitely generated group and H ď G a finitely generated
undistorted subgroup of G. If H possesses a subexponential ambiguity function, then
the relative exponential growth rate of H in G exists with respect to every finite
generating set of G.
3. Hyperbolic spaces
In this section we summarize some properties of hyperbolic metric spaces. We
follow the book of Bridson and Haefliger [BH99, III.H]. First we recall the definition
of Gromov product.
Definition 3.1. Let pΩ, dq be a metric space and let o, x, y P Ω be arbitrary points
of Ω. The Gromov product of x and y at o is defined by
(3.1)

px.yqo “

1
pdpx, oq ` dpy, oq ´ dpx, yqq.
2

Definition 3.2 (Gromov). A metric space pΩ, dq is called δ-hyperbolic for some
constant δ ě 0 if all points o, x, y, z P Ω satisfy
(3.2)

px.yqo ě minppx.zqo , pz.yqo q ´ δ.

Further pΩ, dq is said to be hyperbolic if pΩ, dq is δ-hyperbolic for some δ. In the
following, the condition (3.2) will be referred to as the Gromov condition.

8

EDUARD SCHESLER

Definition 3.3. Let pΩ, dq be a metric space and I Ă R an (not necessary bounded)
interval. Let λ ě 1 and ε ě 0 be some constants. A map c : I Ñ Ω is called pλ, εqquasigeodesic, if
1 1
(3.3)
|t ´ t| ´ ε ď dpcpt1 q, cptqq ď λ|t1 ´ t| ` ε
λ
for every t1 , t P I. We can replace I by I X Z to get a discrete version of a pλ, εqquasigeodesic which will be used later.
Definition 3.4. Let pΩ, dq be a metric space. For any subset X Ă Ω and any
number ε ą 0 we denote by Vε pXq the ε-neighbourhood of X in Ω. Given two
subsets A, B Ă Ω, the Hausdorff-distance between them is defined by
(3.4)

HdpA, Bq :“ inftε P Rě0 | A Ă Vε pBq, B Ă Vε pAqu.

Although geodesics in hyperbolic spaces are not uniquely determined by their
endpoints in general, we will denote a geodesic segment connecting to points x, y of a
hyperbolic space pΩ, dq by rx, ys. The following proposition gives us a legitimization
for that.
Proposition 3.5. [BH99, III.H.1.7] For all δ ą 0, λ ě 1 and ε ě 0 there is a
constant K “ Kpδ, λ, εq with the following property: Let pΩ, dq be a δ-hyperbolic
space and let c be a finite pλ, εq-quasigeodesic in Ω. Let rp, qs be a geodesic segment
connecting the endpoints of c. Then the Hausdorff-distance between rp, qs and the
image of c is bounded by K.
Using this result, it is not hard do derive the following lemmas.
Lemma 3.6. Let pΩ, dq be a δ-hyperbolic space and let γ : ra, bs Ñ Ω be a pλ, εqquasigeodesic. Then for every m P ra, bs the Gromov product pγpaq.γpbqqγpmq is
bounded by Kpδ, λ, εq.
Lemma 3.7. Let pΩ, dq be a δ-hyperbolic space and let x, y, z, w P Ω such that
(3.5)

px.zqy ď C1 , py.wqz ď C2 and N :“ dpy, zq ą C1 ` C2 ` δ.

Then every geodesic rx, ws runs through the p2C1 ` 5δ ` 1q-neighbourhood of y.
4. Acylindrically hyperbolic groups
In this chapter we recall some known results on acylindrically hyperbolic groups
which will be used in the next section.
Definition 4.1. Let G be a group which acts by isometries on a metric space pΩ, dq.
The action is called acylindrical, if for every ε ą 0 there are constants R, N ą 0
such that for every two points x, y P Ω with dpx, yq ě R, there are at most N
elements g P G such that dpx, gxq ď ε and dpy, gyq ď ε.
Remark 4.2. Let G be a group which acts acylindrically on a metric space pΩ, dq.
Then the induced action of every subgroup K ď G on Ω is acylindrical.
Definition 4.3. Let G be a group which acts on a hyperbolic space pΩ, dq. An
element g P G is called
‚ elliptic, if the set tg n x | n P Zu is bounded for some (equivalently, any)
x P Ω.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
9

‚ loxodromic, if the map Z Ñ Ω, n ÞÑ g n x is a quasigeodesic for some
(equivalently, any) x P Ω.
Recall that two loxodromic elements are independent if their fixed point sets in
the Gromov boundary BΩ of Ω are disjoint. Osin [Osi16, Theorem 1.1] classifies
acylindric actions on hyperbolic spaces as follows:
Theorem 4.4. Let G be a group which acts acylindrically on a hyperbolic space
pΩ, dq. Then exactly one of the following statements is true:
1) G has bounded orbits.
2) G is virtually cyclic and contains a loxodromic element.
3) G contains infinitely many independent loxodromic elements.
Definition 4.5. A group G is called acylindrically hyperbolic if G acts acylindrically
on a hyperbolic space pΩ, dq such that G contains infinitely many independent
loxodromic elements.
The following theorem is a part of a result obtained by Osin [Osi16, Theorem
1.4].
Theorem 4.6. Let G be a group and let g P G be an arbitrary element. The
following conditions are equivalent.
1) There exists a (possibly infinite) generating set X of G such that the corresponding Cayley graph ΓpG, Xq is hyperbolic, the natural action of G on
ΓpG, Xq is acylindrical and g is loxodromic.
2) There exists an acylindrical action of G on a hyperbolic space pΩ, dq such
that g is loxodromic.
In general in may happen that there are two non elementary acylindrical actions
of a group G on two hyperbolic spaces such that an element g P G is loxodromic
for exactly one of these actions. For our purposes we need an element which is
loxodromic for some action. Such elements are called generalized loxodromic, see
[Osi16, Definition 6.4].
Definition 4.7. Let G be an arbitrary group. An element g P G is called generalized loxodromic, if there is an acylindrical action of G on a hyperbolic space pΩ, dq,
such that g P G is a loxodromic element for this action.
5. Existence of the growth rate
We start with the following simple observations which follow right from the
definitions.
Lemma 5.1. Let G be a group which acts by isometries on a metric space pΩ, dq.
Then for every g P G and every x, y, z P Ω we get
(5.1)

px.yqz “ pgx.gyqgz .

Lemma 5.2. Let G be a group with a generating set Y such that ΓpG, Y q is hyperbolic and the canonical action of G on ΓpG, Y q is acylindrical. Let g, h P G be
two independent loxodromic elements. Then there is a constant C ě 0, such that
for every n P Z and every two elements x, y P tg n , g ´n , hn , h´n u with x ‰ y ˘1 the
inequality px.yq1 ď C holds.

10

EDUARD SCHESLER

Lemma 5.3. Let G be a group with a generating set Y such that ΓpG, Y q is hyperbolic and the canonical action of G on ΓpG, Y q is acylindrical. Let g, h P G be
two independent loxodromic elements. Then there is a constant A ě 0 such that
for every n P N and every pair of elements pu, vq P G ˆ G there is at least one
xu,v P tg n , g ´n , hn , h´n u such that
(5.2)

pu´1 .xu,v q1 ď A and pv.x´1
u,v q1 ď A.

Proof. First we observe that there is a constant C0 such that
(5.3)

mintpg n .uq1 , pg ´n .uq1 u ď C0 and mintphn .uq1 , ph´n .uq1 u ď C0

for every n P N and every u P G.
Indeed, since the maps n ÞÑ hn and n ÞÑ g n are quasiisometric embeddings of Z
into G, Lemma 3.6 implies that there is a constant C1 such that pg ´n .g n q1 , ph´n .hn q1 ď
C1 for every n P Z. The Gromov condition implies
(5.4)

C1 ě ph´n .hn q1 ě mintph´n .uq1 , pu.hn q1 u ´ δ.

Thus the claim follows by setting C0 :“ C1 ` δ.
Next, there is a constant C2 ě 0, such that for every n P N and every u P G at
least one of the following statements holds.
1) pg n .uq1 ď C2 and pg ´n .uq1 ď C2 .
2) phn .uq1 ď C2 and ph´n .uq1 ď C2 .
Indeed, due to Lemma 5.2 there is a constant C3 ě 0 such that the Gromov product
px.yq1 of two elements x, y P tg n , g ´n , hn , h´n u with x ‰ y ˘1 is bounded by C3 .
The Gromov condition gives us
C3 ě pg n .hn q1 ě mintpg n .uq1 , pu.hn q1 u ´ δ,
C3 ě pg ´n .hn q1 ě mintpg ´n .uq1 , pu.hn q1 u ´ δ,
C3 ě pg n .h´n q1 ě mintpg n .uq1 , pu.h´n q1 u ´ δ,
C3 ě pg ´n .h´n q1 ě mintpg ´n .uq1 , pu.h´n q1 u ´ δ.
If pg n .uq1 ą C3 ` δ or pg ´n .uq1 ą C3 ` δ we thus obtain
(5.5)

C3 ` δ ě phn .uq1 and C3 ` δ ě ph´n .uq1 .

In the same way if phn .uq1 ą C3 ` δ or ph´n .uq1 ą C3 ` δ we obtain
(5.6)

C3 ` δ ě pg n .uq1 and C3 ` δ ě pk ´n .uq1 .

The claim now follows by setting C2 :“ C3 ` δ.
To prove the lemma, let u´1 , v P G be arbitrary. Then, on the one hand there is
an element x P tg n , g ´n , hn , h´n u such that
(5.7)

px.u´1 q1 ď C2 and px´1 .u´1 q1 ď C2 .

And on the other hand we have mintpx.vq1 , px´1 .vq1 u ď C0 . Without loss of generality we may assume that px´1 .vq1 ď C0 . Then the statement of the lemma follows
by setting A :“ maxtC0 , C2 u and xu,v :“ x.

We are now ready to define the concatenation map and the set of connecting
pieces corresponding to the predicted linear ambiguity function for acylindrically
hyperbolic groups.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
11

Definition 5.4. Let G be a finitely generated group with a finite generating set X
and a generating set Y such that ΓpG, Y q is hyperbolic and the canonical action of
G on ΓpG, Y q is acylindrical. Let g and h be two independent loxodromic elements
and let
(5.8)

cn :“ maxt|g n |X , |g ´n |X , |hn |X , |h´n |X u for every n P N.

Due to Lemma 5.3 there exists a constant A such that for every n P N there is a
map
Φn : G ˆ G Ñ G, pu, vq ÞÑ uxu,v v

(5.9)

with xu,v P tg , g , h , h´n u and maxtpu´1 .xu,v q1 , pv.x´1
u,v q1 u ď A for every pair
X
X
of elements pu, vq P G ˆ G. By restriction to subsets of the form BG
psq ˆ BG
ptq
we obtain well defined maps
n

(5.10)

´n

n

X
X
X
BG
psq ˆ BG
ptq Ñ BG
ps ` t ` cn q, pu, vq ÞÑ uxu,v v.

To keep the notation simple, these restrictions are also denoted by Φn .
The construction of Φn depends on some specific loxodromic elements g and h.
If it is clear from the context to which elements Φn corresponds to, we will not
mention this correspondence explicitly.
Proposition 5.5. Let G be a group with a generating set Y such that ΓpG, Y q is
hyperbolic and the canonical action of G on ΓpG, Y q is acylindrical. Let g, h P G be
two independent loxodromic elements. Then there are two constants N P N and ε ě
0 such that for every natural number n ě N every geodesic r1, Φn pu, vqs Ă ΓpG, Y q
runs through the ε-neighbourhoods of u and uxu,v with respect to dY .
Proof. We want to apply Lemma 3.7 on the points 1, u, uxu,v and uxu,v v. Let
A be the constant from definition 5.4. Then Lemma 5.1 implies p1.uxu,v qu “
pu´1 .xu,v q1 ď A and
pu.uxu,v vquxu,v

“ ppuxu,v q´1 u.puxu,v q´1 uxu,v vqpuxu,v q´1 uxu,v
“ ppxu,v q´1 .vq1 ď A.

Since g and h are loxodromic, we can choose N big enough to satisfy
(5.11)

mint|g n |Y , |g ´n |Y , |hn |Y , |h´n |Y u ą 2A ` δ

for every n P Z with |n| ě N . Thus we obtain
(5.12)

dY pu, uxu,v q “ |xu,v |Y ą 2A ` δ.

Setting ε “ 2A ` 5δ ` 1, Lemma 3.7 implies that every geodesic r1, uxu,v vs runs
through the ε-neighbourhood of u. Symmetric argumentation shows that every
geodesic ruxu,v v, 1s runs through the ε-neighbourhood of uxu,v .

The following lemma implies in particular that finite changes of generating sets
X and Y of a group G don’t affect the acylindricity of the action of G on its Cayley
graph with respect to X and Y .
Lemma 5.6. [Osi16, Lemma 5.1] For any group G and any generating sets X and
Y of G such that
(5.13)

sup |x|Y ă 8 and sup |y|X ă 8,
xPX

the following hold.

yPY

12

EDUARD SCHESLER

1) ΓpG, Xq is hyperbolic if and only if ΓpG, Y q is hyperbolic.
2) G acts acylindrically on ΓpG, Xq if and only if G acts acylindrically on
ΓpG, Y q.
Proposition 5.7. Let G be a finitely generated group with a finite generating set X
and a generating set Y such that ΓpG, Y q is hyperbolic and the canonical action of
G on ΓpG, Y q is acylindrical. Let g and h be two independent loxodromic elements.
Then there is a number n and a linearly bounded function ln : N Ñ N such that for
X
every pair of natural numbers ps, tq P N ˆ N and every element w P BG
ps ` t ` cn q,
the cardinality of the preimage of w with respect to the concatenation map
X
X
X
psq ˆ BG
ptq Ñ BG
ps ` t ` cn q
Φn : BG

(5.14)
is bounded by ln ptq.

Proof. Due to Lemma 5.6 we can assume that X is a subset of Y . Further Proposition 5.5 provides us with a number N P N and a constant ε ą 0, such that for
every number n ě N and every pair of elements pu, vq P G ˆ G, every geodesic
r1, Φn pu, vqs runs through the ε-neighbourhoods of the elements u and uxu,v with
respect to dY .
Since the action of G on ΓpG, Y q is acylindrical, we can choose positive constants
R and L such that for every two points x, y P ΓpG, Y q with dY px, yq ě R there are at
most L elements g P G satisfying the inequalities dY px, gxq ď 6ε and dY py, gyq ď 6ε.
The definition of a loxodromic element implies immediately that there is a number
Θ ě N such that for every number n ě Θ, and every x P Mn “ tg n , g ´n , hn , h´n u
we have |x|Y ě R. From now on we fix such a number n ě Θ. Let s, t P N and
X
w P BG
ps ` t ` cn q. We want to bound the cardinality of the set of all pairs
X
X
pu, vq P BG
psq ˆ BG
ptq which satisfy the equation Φn pu, vq “ w. For this we fix a
geodesic r1, ws in ΓpG, Y q.
X
X
Let u P BG
psq be an element such that there exists an element v P BG
ptq with
the property Φn pu, vq “ w. Then there are elements z and ζ on the geodesic
r1, Φn pu, vqs “ r1, ws such that dY pu, zq ď ε and dY puxu,v , ζq ď ε. We obtain
dY pu, wq “ dY pu, Φn pu, vqq “ dY pu, uxu,v vq
“ dY p1, xu,v vq ď dX p1, xu,v q ` dX p1, vq
ď t ` cn .
Thus we get
(5.15)

dY pz, wq ď dY pz, uq ` dY pu, wq ď ε ` t ` cn .

So there are at most ε`t`cn points z on the fixed geodesic r1, ws with the property
dY pu, zq ď ε. Now let z P G be an arbitrary point on the geodesic r1, ws. We want
X
Y
to estimate the cardinality of the set of elements u P BG
psq X BG
pz, εq that satisfy
X
the equation Φn pu, vq “ w for some v P BG ptq.
To get a contradiction we assume that there are more than 4 ¨ L such elements u.
By definition Mn contains 4 elements. Thus Dirichlet’s box principle implies that
X
X
there are L ` 1 pairs pu1 , v1 q, . . . , puL`1 , vL`1 q P BG
psq ˆ BG
ptq satisfying xui ,vi “
x0 P Mn and Φn pui , vi q “ w for every i P t1, . . . , L ` 1u. Let i, j P t1, . . . , L ` 1u.
Due to the triangle inequality we get the inequalities
dY pui , uj q ď dY pui , zq ` dY pz, uj q ď 2ε.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
13

We fix elements ζi , ζj P r1, ws such that dY pζi , ui x0 q, dY pζj , uj x0 q ď ε. Then
dY pz, ζi q ď dY pz, ui q ` dY pui , ui x0 q ` dY pui x0 , ζi q ď 2ε ` |x0 |Y
and
dY pz, ζi q ě dY pui , ui x0 q ´ dY pz, ui q ´ dY pui x0 , ζi q ď |x0 |Y ´ 2ε.
Analogously we obtain
|x0 |Y ´ 2ε ď dY pz, ζj q ď |x0 |Y ` 2ε
Since ζi and ζj lie on the same geodesic r1, ws, we obtain dY pζi , ζj q ď 4ε. Finally
this implies
dY pui x0 , uj x0 q ď dY pui x0 , ζi q ` dY pζi , ζj q ` dY pζj , uj x0 q ď 6ε.
By defining ûj :“ u´1
j u1 , the obtained inequalities can be rewritten as
dY pûj , 1q ď 2ε and dY pûj x0 , x0 q ď 6ε
for every j P t1, . . . , L ` 1u. This is a contradiction to the acylindricity of the action
X
since dY p1, x0 q ě R. So there are at most 4L ¨ pε ` t ` cn q elements u P BG
psq
X
which satisfy the equation Φn pu, vq “ w for some appropriate elements v P BG ptq.
Due to construction there are just 4 possible choices for xu,v P Mn . But if we fix u
X
ptq satisfying uxu,v v “ w. Thus the
and xu,v , there is at most one element v P BG
X
cardinality of the preimage of an element of BG
ps ` t ` cn q with respect to Φn is
bounded by 16L ¨ pε ` t ` cn q.

Together with Remark 2.5, Proposition 5.7 immediately implies the following
corollary:
Corollary 5.8. Let G be a finitely generated group with a finite generating set X
and a generating set Y such that ΓpG, Y q is hyperbolic and the canonical action of G
on ΓpG, Y q is acylindric. Let H be a subgroup of G which contains two independent
loxodromic elements g and h. Then there is a constant c and a linearly bounded
function l : N Ñ N such that the inequality
X
X
X
βH
psq ¨ βH
ptq ď lptq ¨ βH
ps ` t ` cq

(5.16)
holds for all s, t P N.

Proof. By considering Proposition 5.7, one only has to notice that Φn restricts to
X
X
X
BH
psq ˆ BH
ptq Ñ BH
ps ` t ` cn q since g, h P H.

Theorem 5.9. Let G be a finitely generated group and H ď G a subgroup of G. If
H contains a generalized loxodromic element h P H, then the relative exponential
growth rate of H in G exists with respect to every finite generating set of G.
Proof. First Theorem 4.6 gives us a generating set Y of G such that ΓpG, Y q is
hyperbolic and the canonical action of G on ΓpG, Y q is acylindrical and h is a loxodromic element for this action. Then Theorem 4.4 implies that there are two cases
to consider for H. Either H is virtually cyclic or H contains infinitely many independent loxodromic elements. In the first case H is quasiisometrically embedded
in ΓpG, Y q. In particular H is quasiisometrically embedded in ΓpG, Xq and there is
X
a constant c ą 0 such that βH
pnq ď c ¨ n for every n P N. Thus we see immediately
1
X
that the limit lim βH pnq n exists and is equal to 1. For the second case we can
nÑ8

14

EDUARD SCHESLER

choose a finite generating set X of G. Then we can apply Corollary 5.8 and we get
the inequality
(5.17)

X
X
X
βH
pmq ¨ βH
pnq ď lpnq ¨ βH
pm ` n ` cq

for all m, n P N. Now the statement follows from Proposition 2.11.



In the same way we get the following invariant of acylindrically hyperbolic
groups.
Theorem 5.10. Let G be a finitely generated acylindrically hyperbolic group. Then
G possesses a linearly bounded ambiguity function with respect to every finite generating set of G.
The following result is an immediate consequence of Theorem 5.10 and Corollary 2.12.
Theorem 5.11. Let H be a finitely generated acylindrically hyperbolic group. Let
ι : H Ñ G be a subexponentially distorted embedding in a finitely generated group
G. Then the relative exponential growth rate of H in G exists with respect to every
finite generating set of G.
6. The case of products
In this section we shall see that the relative exponential growth rate of a subgroup
of a direct product of finitely generated acylindrically hyperbolic groups exists if the
projection of the subgroup on each coordinate contains a generalized loxodromic
element. First we shall introduce some notation, which we will use throughout this
section.
Notation. To each element i of an indexset I “ t1, . . . , mu we associate a finitely
generated group Gi and a finite generating set Xi for Gi . For a subset J Ă I we
define
ś
ś
ś
ś
Gj
Gi Ñ
Gi and ψJ :
Gj Ñ
ιJ :
jPJ

iPI

iPI

jPJ

canonically. We will write ιi :“ ιtiu and ψi :“ ψtiu .
Remark 6.1. Let X “

Ť

ιi pXi q. Then |pg1 , . . . , gm q|X “

m
ř

|gi |Xi .

i“1

iPI

The following definition is a relative analogue of the ordinary ambiguity function.
Definition 6.2. Let G be a finitely generated group with a finite generating set X.
Let H ď G be an arbitrary subgroup. A function f : N Ñ N is a relative ambiguity
function of H in G with respect to X, if there is a finite subset M Ă H and a map
of the form
(6.1)

Φ : H ˆ H Ñ H, pu, vq ÞÑ ugu,v v

with gu,v P M such that by setting c :“ max |g|X the following property is satisfied.
gPM

‚ For all m, n P N and all restrictions
(6.2)

X
X
X
Φm,n : BH
pmq ˆ BH
pnq Ñ BH
pm ` n ` cq, pu, vq ÞÑ Φppu, vqq,
X
the cardinality of every preimage Φ´1
m,n pzq with z P BH pm`n`cq is bounded
by f pnq.

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
15

In the following we will refer to M as the set of connecting pieces and to Φ as the
concatenation map corresponding to f .
Lemma 6.3. Let G be a finitely generated group with a finite generating set X. Let
H, K ď G be subgroups such that there is an epimorphism ψ : H Ñ K satisfying
X
|ψphq|X ď |h|X for every h P H. If βkerpψq
is a subexponential function and K
possesses a subexponential relative ambiguity function ε with respect to X, then H
possesses a subexponential relative ambiguity function with respect to X.
Proof. Let MK be the set of connecting pieces corresponding to ε. For each x P MK
weŤpic a preimage x1 of x with respect to ψ. We will show that the set MH :“
tx1 u gives rise to a subexponential relative ambiguity function δ for H. To do

xPMK

so, we define the concatenation map for H by
ΦH : H ˆ H Ñ H, pu, vq ÞÑ ux1u,v v,
where x1u,v is the chosen preimage of xψpuq,ψpvq P MK . As in the previous sections,
the element xψpuq,ψpvq is the connecting piece defined by the (relative) ambiguity
function
ΦK : K ˆ K Ñ K, pu, vq ÞÑ uxu,v v
corresponding to ε. Let cH :“ max |g|X . As in the non relative case, we shall
gPMH

denote the restrictions
X
X
X
BH
psq ˆ BH
ptq Ñ BH
ps ` t ` cH q, pu, vq ÞÑ ux1u,v v
X
by ΦK . We fix two numbers s, t P N and an element w P BH
ps ` t ` cH q. We
X
want to bound the number of elements v P BH ptq, such that there is an element
X
u P BH
psq satisfying ux1u,v v “ w. Let N :“ kerpψq. Due to our assumption, the
X
set of distinct classes rvs P H{N satisfying ux1u,v v “ w for some u P BH
psq and
X
a representative element v P BH ptq is bounded by εptq. This is because distinct
classes vN are associated to distinct solutions ψpuqxψpuq,ψpvq ψpvq “ ψpwq with
X
ψpvq P BH
ptq. Indeed, due to our assumption we have |ψpvq|X ď |v|X ď t. Now
X
X
we fix an element v P BH
ptq. We shall bound the number of elements v̂ P BH
ptq
X
representing v modulo N . Every such v̂ has the form v̂ “ vg P BH ptq for some
X
g P N . Thus we have to bound the cardinality of the set N X v ´1 BH
ptq. Since
´1 X
X
´1 X
X
|v|X ď t we have v BH ptq Ă BH p2tq and thus |N Xv BH ptq| ď βN p2tq. It is easy
X
X
to verify that t ÞÑ βN
p2tq is a subexponential function since βN
is a subexponential
X
function. Putting these bounds together, we see that the set of elements v P BH
ptq
1
X
X
satisfying uxu,v v for some u P BH psq is bounded by εptqβN p2tq, which is easily seen
to grow subexponentially with respect to t.


Lemma 6.4. Let I “ t1, . . . , mu be a finite set of indices. To each i P I we associate
a group Gi and a generating set Yi such
ś that ΓpGi , Yi q is hyperbolic and Gi acts
Gi be a subgroup, such that ψi pHq ď Gi
acylindrically on ΓpGi , Yi q. Let H ď
iPI

contains a loxodromic element hi for each i P I. Then there is a decomposition of
I into disjoint subsets I1 and I2 , such that the following properties are satisfied.
1) The kernel of the restricted projection ψI1 |H is finite.
2) For every index i P I1 there is a loxodromic element gi P Gi such that H
contains an element of the form pg1 , . . . , gm q with gj “ 1 for j P I1 ztiu.

16

EDUARD SCHESLER

Proof. Let I1 Ă I be a minimal subset such that ψI1 |H has a finite kernel. Thus, if
we take i P I1 , the kernel of ψI1 ztiu|H has to be infinite. This implies that there is
an infinite subset Ai Ă Gi with the following property. For every element h P Ai
there is an element of the form pg1 , . . . , gm q P H with gj “ 1 for j P I1 ztiu and
gi “ h. Due to our assumption there is an element ph1 , . . . , hm q P H such that hi
is loxodromic. We note that
´n
phn1 , . . . , hnm qpg1 , . . . , gm qph´n
1 , . . . , hm q “: pk1 , . . . , km q P H

satisfies kj “ 1 for j P I1 ztiu and ki “ hni gi h´n
“ hni hh´n
i
i . It remains to show
´n
n
that the set thi hhi | n P N, h P Ai u contains a loxodromic element. Due to
Theorem 4.4 this is equivalent to show that there is no uniform bound ε ą 0 such
that |hni hh´n
i |Y ď ε for every element h P Ai and every number n P N. To get
a contradiction, we assume that there is such a bound ε. Since the action of G
on ΓpG, Y q is acylindrical there are constants L, R ą 0 such that for every pair of
elements x, y P G with dY px, yq ě R we have
|tg P G | dY px, gxq ď ε and dY py, gyq ď εu| ď N.
Since hi is loxodromic, we can choose n P N big enough to satisfy |hni |Y ě R. Then,
by setting x “ 1 and y “ hni , we see that every element h P Ai satisfies
dY p1, h1q ď ε and dY phni , hhni q ď ε.
This is a contradiction since Ai is infinite.



Proposition 6.5. Let I “ t1, . . . , mu be a finite set of indices. To each i P I we
associate a finitely generated group Gi and a generating set Yi such
ś that ΓpGi , Yi q
Gi “: G be a
is hyperbolic and Gi acts acylindrically on ΓpGi , Yi q. Let H ď
iPI

subgroup with the following property. For each i P I there are elements g piq “
piq
piq
piq
piq
piq
piq
pg1 , . . . , gm q P H and hpiq “ ph1 , . . . , hm q P H such that gi and hi are inpiq
piq
dependent loxodromic elements and gj , hj “ 1 for j ‰ i. Then the relative
exponential growth rate of H in G exists with respect to every finite generating set
of G.
Proof. Let X be a finite generating set of G. Using Lemma 5.6 we may assume
that Yi contains ψi pXq “ Xi for each i P I. We shall proceed with each factor Gi
as in Proposition 5.7. To do so, we define
ś
ś
Mn “ t pg piq qεn | ε P t1, ´1uu Y t phpiq qεn | ε P t1, ´1uu
iPI

iPI

to be the set of connecting pieces and cn “ max |z|X . For each i P I we define
zPMn

Φnpiq : Gi ˆ Gi Ñ Gi , pu, vq ÞÑ uxpiq
u,v v
as in Definition 5.4. Thus, using Proposition 5.5 for large enough n P N, we see
that there is a constant ε ě 0 such that by defining
piq

piq

Φn : G ˆ G Ñ G, ppui qiPI , pvi qiPI q ÞÑ pΦn pui , vi qqiPI “ pui xu,v vi qiPI ,
the projections of the geodesics
r1, Φn ppui qiPI , pvi qiPI qs Ă ΓpG,

Ť

iPI

piq

ιi pYi qq onto r1, Φn pui , vi qs Ă ΓpGi , Yi q

THE RELATIVE EXPONENTIAL GROWTH RATE OF SUBGROUPS OF ACYLINDRICALLY HYPERBOLIC GROUPS
17

run through the ε-neighbourhoods of ui and ui xui ,vi with respect to dYi . Then, by
the same arguments as in Proposition 5.7, we see that the set of possible choices for
piq
Xi
Yi
Xi
u i P BG
ptq Ă BG
ptq satisfying Φn pui , vi q “ wi for a fixed wi P BG
ps ` t ` cn q,
i
i
i
X
is bounded by a linear function in t. Now let w P BG ps ` t ` cn q be fixed. Then
Xi
we obviously have |ψi pwq|Xi ď |w|X and hence wi :“ ψi pwq P BG
ps ` t ` cn q.
i
Xi
X
Thus, the possible different images ui :“ ψi puq P BGi psq for u P BG
psq satisfying
piq

Xi
Φn pui , vi q “ wi for some appropriate vi P BG
ptq is bounded by a linear function
i
li in t. Since u is uniquely determined by its images ui and there is at most one
X
element v P BG
ptq satisfying uxu,v v “ w for fixed elements u, xu,v and w, wee see
that the cardinality of the preimage of w with respect to the restriction
X
X
X
Φn : BH
psq ˆ BH
ptq Ñ BH
ps ` t ` cn q

is bounded by
|Mn |

ś

iPI

li ptq “ 2n`1

ś

li ptq.

iPI

This is a polynomial function of degree |I|. Using Remark 2.5, the claim follows by
X
applying Proposition 2.11 on the relative growth function βH
.

Theorem 6.6. Let G “

m
ś

Gi be a finite direct product of finitely generated acylin-

i“1

drically hyperbolic groups Gi and let H be a subgroup of G. Suppose that, for each
i “ 1, . . . , m, the image of the canonical projection of H to Gi contains a generalized loxodromic in Gi . Then the relative exponential growth rate of H in G exists
with respect to every finite generating set X of G.
Proof. Let I “ t1, . . . , mu be the set of indices. It remains to reduce the general
case to the case considered in Proposition 6.5. For this we choose generating sets
Yi for Gi such that ΓpGi , Yi q is hyperbolic, Gi acts acylindrically on ΓpGi , Yi q and
hi is a loxodromic element in ψi pHq. Indeed, this is possible due to Theorem 4.6.
Further Lemma 6.4 provides us with a decomposition of the indexset I into two
disjoint subsets I1 and I2 such that the kernel of the map ψI1 |H is finite and for every
index i P I1 , there is a loxodromic element gi P Gi such that H contains an element
of the form ph1 , . . . , hm q with hj “ 1 for j P I1 ztiu and hi “ gi . Due to Lemma 6.3
we can restrict out attention to the case of I “ I1 . We have to consider two cases.
Since ψi pHq contains a loxodromic element, Theorem 4.4 says that ψi pHq is either
virtually cyclic or it contains infinitely many independent loxodromix elements. Let
I “ I1 “ J1 Y J2 be a disjoint decomposition such that ψi pHq is virtually cyclic
if i P J1 , or contains infinitely many independent loxodromic elements if i P J2 .
In the case of i P J1 , the virtually cyclic subgroup ψi pHq contains a loxodromic
element and hence it is quasiisometrically embedded in ΓpGi , Xi q. From this, it is
easily seen that ψi pHq is also quasiisometrically embedded in ΓpG, Xq via ιi . This
provides us with a constant C ě 0 such that βιXi pψi pHqq ptq ď Ct for every t P N. We
X
note that Ni :“ kerpψIztiu|H q is a subgroup of ιi pψi pHqq and hence βN
ptq ď Ct
i
for every t P N. A further application of Lemma 6.3 reduces the problem to the
case of I “ pJ1 ztiuq Y J2 . Now we see, that an inductive application of Lemma 6.3
reduces the general case to the case of I “ J2 . But this case was already proven in
Proposition 6.5.


18

EDUARD SCHESLER

Acknowledgments. I would like to thank my PhD supervisor Prof. Oleg Bogopolski for guidance in writing this paper.
References
[BH99] Martin R Bridson and André Haefliger. Metric spaces of non-positive curvature, volume
319. Springer Science & Business Media, 1999.
[Gri80] Rostislav I Grigorchuk. Symmetrical random walks on discrete groups. Adv. Probab. Related Topics, 6:285–325, 1980.
[M` 68] John Milnor et al. A note on curvature and fundamental group. Journal of Differential
geometry, 2(1):1–7, 1968.
[Ols13] A. Olshanskii. Subnormal subgroups in free groups, their growth and cogrowth. ArXiv
e-prints, November 2013.
[Osi16] Denis Osin. Acylindrically hyperbolic groups. Transactions of the American Mathematical
Society, 368(2):851–888, 2016.

