arXiv:1610.05944v1 [math.GR] 19 Oct 2016

GROWTH OF HOMOLOGY TORSION OF METABELIAN
GROUPS
NIKOLAY NIKOLOV
Abstract. We study the growth of torsion of the abelianization of finite
index subgroups in finitely generated metabelian groups. This complements the results in [3] which covered the finitely presented amenable
groups.

1. Introduction
For subgroups A, B of a group G we denote by [A, B] the subgroup of G
generated by all commutators [a, b] with a ∈ A, b ∈ B. Set G′ = [G, G] and
Gab = G/G′ ≃ H1 (G, Z). Let d(G) denote the minimal size of a generating
set of a group G. Let t(G) be the maximal size of a finite subgroup of G
(where we set t(G) = ∞ if there is no such maximum). Note that when
G is a finitely generated abelian group then t(G) is the size of the torsion
subgroup of G and is always finite.
Given a finitely generated group G and a subgroup H of finite index in
G we are interested in the growth of t(H ab ) in terms of [G : H]. This
topic is at the crossroads of group theory, operator algebras, geometry and
number theory and has intriguing open questions, see [1], [2], [4]. It is easy
to see (cf. [1], Lemma 27, restated as Lemma 7 below) that if G is a finitely
presented group then t(H ab ) is bounded above by an exponential function
in [G : H]. In case G is a finitely presented amenable group and (Hi ) is
a Farber chain in G (for example if (Hi ) are normal subgroups of G with
trivial intersection) it is proved in [3] that t(Hiab ) grows subexponentially
in [G : Hi ]. By way of contrast [1] also proves that when G is allowed to
vary over all finitely generated solvable groups of derived length 3, then
there is no single function f in terms of [G : Hi ] which bounds t(Hiab ) as
[G : Hi ] → ∞. One is thus led to the question what happens for finitely
generated metabelian groups which are not finitely presented. It is easy
to see that some function bounding t(H ab ) exists in this class: There are
only countably many finitely generated metabelian groups and a diagonal
argument produces a function f : N → N with the following property: Given
a finitely generated metabelian group G there is a = a(G) ∈ N such that if
H ≤ G with a < [G : H] < ∞, then t(H ab ) < f ([G : H]). It is natural to
expect that this non-constructive bound could be improved when we require
that the coset space G/H approximates G sufficiently well, for example if
H is member of a chain of normal subgroups (Hi ) with trivial intersection.
1

2

NIKOLAY NIKOLOV

Part 1 of Theorem 1 shows that the function f above can be taken to be
any superexponential functon, e.g. f (n) = nn .
Theorem 1. Let G be a finitely generated metabelian group and let A = G′ .
1. There is a constant D depending on G such that t(H ab ) < D [G:H] for
every subgroup H of finite index in G.
2. Let (Hi ) be a sequence of finite index subgroups in G such that [A :
(A ∩ Hi )] → ∞. Then
log t(Hiab )
lim
= 0.
i→∞ [G : Hi ]
It is easy to see that the exponential bound in part 1 of Theorem 1 is sharp.
Let us take G = C2 ≀ Z and for n ∈ N let Hn = π −1 (nZ) where π : G → Z is
the homomorphim of G onto the top group Z. Then t(Hnab ) = 2n .
As a by-product of our method we can give a short proof of a special case
of a theorem of Luck from [4].
Theorem 2. Let G be a finitely presented group with an infinite abelian
normal subgroup A. Let (Hi ) be a sequence of finite index subgroups of G
with [A : (A ∩ Hi )] → ∞. Then
log t(Hiab )
= 0.
i→∞ [G : Hi ]
lim

Luck’s result proves subexponential growth of the torson of integral homology in all degrees (provided G has type F ) in the more general situation
when G has an infinite normal elementary amenable subgroup but under
the stronger assumption that (Hi ) is a normal chain in G with trivial intersection.
A question. Let G be an amenable group of type Fn+1 . Corollary 2 of [3]
proved subexponential growth of t(Hn (Mi , Z)) for any Farber chain of finite
index subgroups (Mi ) in G. In view of Theorem 1 we can ask whether in case
G is a metabelian group the conclusion holds under the weaker assumption
that G is of type Fn or even F Pn .
Question 3. Let G be a metabelian group of type Fn and let (Mi ) be a chain
of normal subgroups with trivial intersection in G. Is it true that
lim

i→∞

t(Hn (Mi , Z))
= 0?
[G : Mi ]

Note that we need that G is at least of type F Pn in order to guarantee
that Hn (G, Z) is finitely generated.
2. Proofs
We begin with some elementary results.

GROWTH OF HOMOLOGY TORSION OF METABELIAN GROUPS

3

Proposition 4. Let N be a normal subgroup of a group G. Then
t(N ) ≤ t(G) ≤ t(N )t(G/N ).
If G/N is torsion-free then t(N ) = t(G).
|N |t(G/N ).

If N is finite then t(G) =

Proof. This is clear.



Lemma 5. Let M be a right Z[G]-module and let L ≤ M be a submodule
of finite index. Then [M (G − 1) : L(G − 1)] ≤ [M : L]d where d = d(G)
Proof. Let g1 , . . . , gd be a generating set for G of minimal size. Note that
P
M (G−1) = di=1 M (gi −1). Therefore the map f : M d → M (G−1) defined
Pd
by f (m1 , . . . , md ) =
i=1 mi (gi − 1) (mi ∈ M ) is surjective. Sumilarly
d
f (L ) = L(G − 1) and so f induces an additive group homomorphism
 d
M (G − 1)
M
¯
−→
f:
L
L(G − 1)
which is surjective. The claim of the lemma follows.

The following Lemma is well known (compare with Lemma 6 of [3]).
For a P
vector v = (x1 , . . . xn ) ∈ Zn we denote by |v| the l1 -norm of v, i.e.
|v| = ni=1 |xi |.
P
Lemma 6. Let n ∈ N and let v1 , . . . , vk ∈ Zn . Let G = Zn /( kj=1 Zvj ).
Qn
Then t(A) ≤ i=1 ci where c1 , . . . cn are the n largest values from the list
|v1 |, . . . , |vk |.
Proof. Let X be the n × k matrix with rows v1 , . . . , vk . Then t(A) is the
g.c.d of the non-zero minors of maximal rank in X. Any such minor has
rank at most n and so is at most c1 · · · cn .

Lemma 7 (Lemma 27 of [1]). Let G be a finitely presented group. There is
a constant C depending on G such that t(H ab ) ≤ C [G:H] for any subgroup
H of finite index in G.
Proposition 8. Let G be group with a normal abelian subgroup A. Let H
be a subgroup of finite index in G such that HA = G. Then
t(H ab ) ≤ [G : H]d(G/A) t(Gab ).
Proof. Let B = A ∩ H, this is a normal subgroup of G with [A : B] =
[G : H] = n say. Considering A and B as Z[G/A]-modules (with the action
of G/A on A by conjugation) Lemma 5 gives [[A, G] : [B, G]] ≤ nd where
d = d(G/A).
The group A/[A, G] is central in G/[A, G] and expanding G′ = [G, G] =
[HA, HA] mod [A, G] we obtain G′ = H ′ [A, G]. Therefore [G′ : H ′ ] =
[[A, G] : ([A, G] ∩ H ′ )] ≤ [[A, G] : [B, G]] since B = H ∩ A and so H ′ ≥
[B, H] = [B, G]. Therefore [G′ : H ′ ] ≤ nd and in particular [(G′ ∩ H) :
H ′ ] ≤ nd .

4

NIKOLAY NIKOLOV

Now we can apply Proposition 4 to H/H ′ with a finite normal subgroup
(G′ ∩ H)/H ′ and we obtain
t(H/H ′ ) = |(G′ ∩ H)/H ′ | t(H/(G′ ∩ H)) ≤ nd t(H/(G′ ∩ H)).
On the other hand H/(G′ ∩ H) ≃ HG′ /G′ ≤ G/G′ . Hence t(H/(G′ ∩ H)) =
t(HG′ /G′ ) ≤ t(G/G′ ) and the result follows.

Proof of Theorem 2. . Let Gi = AHi and mi = [G : Gi ], ai = [Gi : Hi ] =
[A : (A ∩ Hi )]. Thus [G : Hi ] = mi ai with ai → ∞. Let d = d(G). The
Nielsen-Schreier theorem gives d(Gi ) ≤ (d − 1)mi + 1 ≤ dmi . By Lemma
mi . Now
7 there is a constant C depending on G such that t(Gab
i ) ≤ C
we apply Proposition 8 to Gi with normal subgroup A and a finite index
subgroup Hi (which satisfies Hi A = Gi by the definition of Gi ). We obtain
d(Gi /A)

t(Hiab ) ≤ ai

dmi mi
t(Gab
C .
i ) ≤ ai

Therefore
mi (d log ai + log C)
d log ai + log C
log t(Hiab )
≤
=
→ 0,
(1)
[G : Hi ]
ai mi
ai
since a−1
i log ai → 0 as ai → ∞.



Proof of Theorem 1. We need the following.
Proposition 9. Let G be a finitely generated metabelian group. There is a
constant C depending on G with the following property: Let H be a subgroup
of finite index in G containing G′ . Then t(H ab ) ≤ C [G:H] .
Let us postpone the proof of Proposition 9 for the moment and finish the
proof of Theorem 1.
Define Gi = AHi and set mi = [G : Gi ], ai = [Gi : Hi ] = [A : (A ∩ Hi )]
mi for
so that [G : Hi ] = ai mi . By Proposition 9 we have t(Gab
i ) ≤ C
some constant C depending only on G. On the other hand we can apply
Proposition 8 to Gi with a normal abelian subgroup A and a finite index
d(G /A)
subgroup Hi obtaining t(Hi ) ≤ ai i
t(Gab
i ). Since G/A is abelian we
deduce that d(Gi /A) ≤ d(G/A) = d say, and so t(Hiab ) ≤ adi C mi . Part 1
follows since adi C m1 ≤ 2dai C mi ≤ (2d C)[G:Hi ] and we can take D = 2d C.
Part 2 of Theorem 1 easily follows from a computation similar to (1) using
that ai → ∞.

It remains to prove Proposition 9.
Proof of Proposition 9. Let g1 , . . . , gd be a generating set of G. Let n = [G :
H] and note that H is normal in G since H ≥ G′ . Let L := Gn G′ , then
L ≤ H and [G : L] ≤ nd . Let A := G′ , then A is a Z[Gab ] module generated
by {[gi , gj ] | 1 ≤ i < j ≤ d}. Let W := [A, H] ≤ A. The quotient H/W
is a finitely generated nilpotent group of class at most 2 and LW/W is a
subgroup of finite index in H/W . Therefore (LW/W )′ = L′ W/W has finite
index in (H/W )′ = H ′ W , i.e. the index [H ′ : L′ W ] is finite. By Proposition

GROWTH OF HOMOLOGY TORSION OF METABELIAN GROUPS

5

4 t(H/L′ W ) = t(H/H ′ )|H ′ /LW | and in particular t(H/H ′ ) ≤ t(H/L′ W ).
In turn t(H/L′ W ) ≤ t(H/A)t(A/L′ W ) ≤ t(Gab )t(A/L′ W ). We will find a
bound for t(A/L′ W ). Note that A/W is in the centre of L/W and L =
hg1n , . . . , gdn iA. Hence L′ W = h[gin , gjn ] | 1 ≤ i < j ≤ diW .
Let
M
X :=
ei,j Z[Gab ]
1≤i<j≤d

Z[Gab ]-module

be the free
with basis {ei,j | 1 ≤ i < j ≤ d} and let f : X → A
be the surjective Z[Gab ]-module homomorphism such that f (ei,j ) = [gi , gj ].
Since X is a Noetherian module ker f is generated (as a Z[Gab ]-module) by
finitely many elements, say {rL
1 , . . . , rk } ⊂ X.
Let Y := X/X(H − 1) =
i<j ei,j Z[G/H] and denote by π : X → Y
the natural quotient map such that π(ei,j · aG′ ) = ei,j · aH for each ei,j
and each a ∈ G. Again there is a unique Z[G/H]-module homomorphism
h : Y → A/W = A/[A, H] such that h(ei,j ) = [gi , gj ]W . We have f = h ◦ π.
Using the commutator identities [ab, c] = [a, c]b [b, c] and [c, ab] = [c, b][c, a]b
Q 2
we can write [gin , gjn ] = ns=1 [gi , gj ]zi,j,s for some elements zi,j,s ∈ G. Define
P 2
ui,j = ei,j · ns=1 zi,j,s G′ , we have f (ui,j ) = [gin , gjn ].
We have
X
Zui,j )
L′ W = h[gin , gjn ] | 1 ≤ i < j ≤ diW = f (X(H − 1)) + f (
1≤i<j≤n

and from f = h ◦ π it follows that
Y
A
P
≃
.
L′ W
π(ker f ) + i<j Zπ(ui,j )

We consider the l1 norm | − |X on the free Z-module X (respectively
the l1 norm | − |Y on Y ) as the sum of the absolute values of coordinates
computed with respect to the standard Z-basis {ei,j ḡ | i < j, ḡ ∈ Gab } of
X (respectively the Z-basis {ei,j g̃ | i < j, g̃ ∈ G/H} of Y ). Note that for
any element v ∈ X we have |v|X ≥ |π(v)|Y and also |v|X = |v · ḡ|X for any
ḡ ∈ Gab .
Let c = max{|r1 |X , . . . , |rk |X } where r1 , . . . rk are the Z[Gab ] module generators of ker f . Then π(ker f ) is generated as Z-module by the set T :=
{π(rs )g̃ | s = 1, . . . , k, g̃ ∈ G/H}. Observe that |π(ui,j )|Y ≤ |ui,j |X ≤ n2
for each 1 ≤ i < j ≤ d while for each w = π(rs )g̃ we have |w|Y ≤ |rs |X ≤ c.
The group (Y, +) is a free Z-module of rank nd(d − 1)/2 and A/L′ W ≃
Y /Z where
X
X
X
Z = π(ker f ) +
Zπ(ui,j ) =
Zw +
Zπ(ui,j ).
1≤i<j≤d

w∈T

1≤i<j≤d

Lemma 6 applied to Y /Z gives t(A/L′ W ) ≤ (n2 )d(d−1)/2 cnd(d−1)/2 and so
t(H/H ′ ) ≤ t(Gab )t(A/L′ W ) ≤ t(Gab )(n2 )d(d−1)/2 cnd(d−1)/2

6

NIKOLAY NIKOLOV
2 /2

Since t(Gab ) does not depend on H and n2 < 3n we may take C = (t(Gab )3c)d
giving t(H/H ′ ) < C n as required.

References
[1] M. Abert, T. Gelander, N. Nikolov, Rank, combinatorial cost and homology torsion
growth in higher rank lattices, to appear in Duke Math. J. 2017.
[2] N. Bergeron, A. Venkatesh, The Asymptotic Growth of Torsion Homology for Arithmetic Groups. J. Inst. Math. Jussieu, 12 (2) 391-447 (2013).
[3] A. Kar, P. Kropholler, N. Nikolov, On growth of homology torsion in amenable groups,
Math. Proc. Cambridge Phil. Soc., doi: dx.doi.org/10.1017/S030500411600058X.
[4] W. Luck. Approximating L2 -invariants and homology growth. Geom. Funct. Anal. ,
Vol. 23, pp. 622-663, 2013.
[5] R. Sauer, Volume and homology growth of aspherical manifolds, Geometry & Topology
20 (2016) 1035-1059.

