arXiv:1801.04484v2 [math.GR] 22 Jan 2018

2D PROBLEMS IN GROUPS
ADITI KAR AND NIKOLAY NIKOLOV
Abstract. We investigate a conjecture about stabilisation of deficiency
in finite index subgroups and relate it to the D2 Problem of C.T.C.
Wall and the Relation Gap problem. We verify the pro-p version of the
conjecture, as well as its higher dimensional abstract analogues.

Given a finitely presented group G, the deficiency δ(G) of G is defined as
the maximum of |X| − |R| over all presentations G = hX | Ri. We related
deficiency of a group with 2-dimensionality in [8] and proposed the following
conjecture.
2D Conjecture ([8]). Let G be a residually finite finitely presented group
such that δ(H) − 1 = [G : H](δ(G) − 1) for every subgroup H of finite index
in G. Then G has a finite 2-dimensional classifying space K(G, 1).
In this paper, we relate the above conjecture with two well-known problems in topological group theory: Wall’s D2 problem and the Relation Gap
problem. The main purpose of the paper is to explain the implications
affirmative D2 problem ⇒ no relation gap ⇒ 2D conjecture
1. Background
Let G be a finitely presented group. Set d(G) to be the cardinality of a
minimal generating set of G.
We denote by bi (G) = dimQ Hi (G, Q) and note that δ(G) ≤ b1 (G) ≤ d(G).
Starting with a presentation hX|Ri for G, one obtains a Schreier presentation
for H with [G : H](|X| − 1) + 1 generators and [G : H]|R| relations showing
that
δ(H) − 1 ≥ [G : H](δ(G) − 1).
We are interested in the situation when the above inequality is in fact equality for every finite index subgroup H of G.
We next introduce the invariant µn (G) of Swan [13]. Let n ∈ N. A partial
free resolution of Z of length n is an exact sequence
(ZG)fn → (ZG)fn−1 → · · · → (ZG)f0 → Z → 0
P
and we define µn (F) = ni=0 (−1)n−i fi .
Recall the well-known Morse inequalities.

(1)

F:

1

2

ADITI KAR AND NIKOLAY NIKOLOV

Proposition 1. Let n ∈ N and F be a partial free resolution (1) as above.
Then
n
X
(−1)n−i bi (G) ≤ µn (F).
i=0

R. Swan [13] defined the following invariant while studying free resolutions
of modules of finite groups.
Definition 2. Let n ∈ N. The invariant µn (G) is defined as the minimum
of µn (F) as F ranges over all partial free resolutions F of Z.
Given a presentation of G with e1 generators and e2 relations one has the
partial free resolution
(2)

∂

∂

∂

2
1
0
(ZG)e2 −→
(ZG)e1 −→
ZG −→
Z→0

arising as the cellular chain complex of the universal cover of the presentation
complex of G. By taking a presentation which realizes the deficiency of G
we obtain µ2 (G) ≤ 1 − δ(G). The case n = 2 of the Morse inequalities
applied to (2), together with b0 (G) = 1 gives the well-known inequality
δ(G) ≤ b1 (G) − b2 (G).
1.1. Groups with two dimensional classifying spaces. The deficiency
is easy to compute for groups which have finite two-dimensional classifying spaces. Examples of such groups are surface groups or more generally,
torsion-free one relator groups and direct products of two free groups.
Lemma 3. If a group G has a finite two-dimensional space K(G, 1), then
δ(G) = 1 − χ(G) and consequently, δ(H) − 1 = [G : H](δ(G) − 1) for every
subgroup H of finite index in G.
For example δ(Fn × Fm ) = −(n − 1)(m − 1) while the deficiency of a
torsion-free one relator group defined on d generators is d − 2.
The 2D Conjecture stated in the introduction proposes that the converse
of Lemma 3 holds. Note that its 1-dimensional analogue is true as shown
by R. Strebel [12] (see also [1, Theorem 7] for a different perspective).
Proposition 4 ([12]). Let G be a finitely generated residually finite group.
Then G is a free group if and only if d(H) − 1 = |G : H|(d(G) − 1) for every
subgroup H of finite index in G.
Strebel proved Proposition 4 as an answer to a question of Lubotzky and
van den Dries [10], who had shown that its analogue does not hold in the
class of profinite groups. At the same time Lubotzky [9, Proposition 4.2]
proved that the analogue of Proposition 4 is true in the class of pro-p groups.
We will return to pro-p groups in section 5 below.
We remark that the 2D conjecture is closely connected with gradients in
groups and their L2 cohomology. The following basic result characterizes
groups G with two dimensional classifying spaces in terms of their L2 Betti
numbers βi (G).

2D PROBLEMS IN GROUPS

3

Lemma 5 ([8]). Let G be an infinite finitely presented group. Then δ(G) −
1 ≤ β1 (G) − β2 (G) with equality if and only if G has a two dimensional
classifying space.
In particular any counterexample to the 2D conjecture must be a group
G with deficiency gradient strictly less than β1 (G) − β2 (G), see [8] for more
details on this connection.
2. Wall’s D2 Problem
Wall’s D2 problem is a generalisation of the Eilenberg Ganea Conjecture
and belongs to the class of questions that explore links between homological
and geometric dimensions. A finite CW-complex X is said to be a D2
complex if it has cohomological dimension 2. The D2 Problem for a finitely
presented group G asks if every finite D2 complex with fundamental group
G is homotopy equivalent to a finite 2-complex. If the answer is affirmative
we shall say that G has the D2 property. The problem was proposed by
C.T.C. Wall in 1965 [14] and little is known about it except in the case
when G is finite, free or abelian, see [7].
The Eilenberg-Ganea Conjecture asks if every group of cohomological
dimension 2 is of geometric dimension 2. Note that a group of cohomological
dimension 2 does not necessarily have a finite classifying space, as famously
shown by M. Bestvina and N. Brady [2]. However, if one assumes that
a group G of cohomological dimension 2 has a finite classifying space X,
then X is a D2 complex. If in addition G has the D2 property, then X is
homotopy equivalent to a finite 2-complex. So, G has geometric dimension
two, as predicted by Eilenberg-Ganea.
3. The Relation Gap problem
Suppose that a finitely presented group G is given by the quotient F/N
where F is free on the group generators X and N is normally generated in
F by the relators R ⊂ F . The action of F by conjugation on N induces
an action of G on the abelianisation N ab of N . This makes N ab into a
G-module called the relation module of the presentation. Evidently, the
G-module N ab can be generated by |R| elements and so the G-rank of N ab ,
written dG (N ab ), satisfies dG (N ab ) ≤ dF (N ), where dF (N ) is the minimum
number of normal generators required for N .
A presentation is said to have a relation gap if dG (N ab ) 6= dF (N ) and the
relation gap problem asks, if there exists a finitely presented group with a
relation gap. As with the D2 problem, very little is known about the relation
gap problem and most proposed counterexamples are not torsion-free, see
[5].
We give a proof to the following.
Theorem 6. A finitely presented group G with the D2 property does not
have a relation gap for presentations realizing δ(G).

4

ADITI KAR AND NIKOLAY NIKOLOV

This may be known to topological group theorists but we have not found
it in the literature. There is a result of Dyer [4, Theorem 3.5 ] with the same
statement but with the additional hypothesis H 3 (G, ZG) = 0.
We need the following.
Proposition 7 ([6] Proposition 4.3, or [3], Remark 1.3). Let G be a finitely
presented group with the D2 property. Then µ2 (G) = 1 − δ(G).
For completeness we give a proof of Proposition 7 following [3], based on
the following theorem of Wall.
Theorem 8 ([14], Theorem 4). Let X be a connected CW-complex, G =
π1 (X) and let A∗ be a positive free chain complex equivalent to the cellular
chain complex C∗c (X) of the universal cover of X. Let K 2 be a connected
CW-complex with fundamental group G. There exists another CW complex
Y and a homotopy equivalence h : Y → X such that Y is obtained from K 2
by adding 2-cells and 3-cells at the base point to obtain a D2 complex Y0 and
then further cells such that C∗c (Y, Y0 ) is the part of A∗ in dimension ≥ 3.
If the symbol αi denotes the number of i-cells or of generators in degree i
then
α2 (Y0 − K 2 ) = α2 (A) + α1 (K) + α0 (A),
α3 (Y 0 − K 2 ) = α2 (K) + α1 (A) + α0 (K).
Proof of Proposition 7. Let
(ZG)f2 → (ZG)f1 → (ZG)f0 → Z → 0
be a partial free resolution of Z with f2 − f1 + f0 = µ2 (G). Extend this to a
free resolution A∗ and let X be a CW complex which is a classifying space
for G. Now A∗ is homotopy equivalent to the cellular complex C∗c (X) of X̃
and therefore starting with any finite presentation complex K 2 for G we can
apply Theorem 8 above. In particular there exists a finite 3-dimensional D2
complex Y0 with π1 (Y0 ) = G and we compute
2
3
X
X
i
(−1)i αi (A∗ ) = µ2 (G).
(−1) αi (Y0 ) =
χ(Y0 ) =
i=0

i=0

We are assuming that the D2 Problem has positive solution for G, therefore Y0 is homotopy equivalent to a finite 2-dimensional complex L. We have
G = π1 (K) = π1 (L) and χ(L) = χ(Y0 ) = µ2 (G). Hence
δ(G) − 1 ≥ α1 (L) − α0 (L) − α2 (L) = −χ(L) = −µ2 (G).
Therefore 1 − δ(G) ≤ µ2 (G). Since the opposite inequality µ2 (G) ≤ 1 − δ(G)
always holds we have equality.

Proof of Theorem 6. Let G be a group with the D2 property. Take a presentation hX | Ri for G with e1 generators and e2 relations such that
e1 − e2 = δ(G). We have G ∼
= F/N where F is a free group of rank e1

2D PROBLEMS IN GROUPS

5

on X and N is the normal closure of the relations R. Since e1 − e2 realises
the deficiency of G it follows that e2 = dF (N ). Let M = N ab be the relation
module of this presentation. Recall the chain complex (2) above. We have
M ∼
= ker ∂1 = im∂2 . If M has relation gap then u := dG (M ) < e2 and in
particular there is a surjection of ZG modules f : (ZG)u → ker ∂1 . Therefore
we can amend the partial resolution above to
f

∂

∂

1
0
(ZG)u −→ (ZG)e1 −→
ZG −→
Z → 0.

This gives µ2 (G) ≤ 1 + u − e2 < 1 − δ(G) contradicting Proposition 7.
Therefore presentations of G which realize δ(G) have no relation gap.

4. Relation Gap problem v.s. 2D Conjecture
Theorem 9. If G is a counterexample to the 2D conjecture then there exists
a finite index subgroup H of G such that H has a presentation with relation
gap.
Proof. Suppose that G is a finitely presented group; assume that X is a
presentation 2-complex for G realising the deficiency δ(G). If X is not
aspherical, then by Whitehead’s Theorem, H2 (X̃) 6= 0. Let ei denote the
number of i-cells in X. So δ(G) − 1 = e1 − e2 − 1. We have the exact
sequence of G-modules
∂

∂

2
1
F : 0 −→ H2 (X̃) −→ ZGe2 −→
ZGe1 −→
ZG −→ Z −→ 0

where H2 (X̃) = ker ∂2 . The relation module R associated to X is isomorphic
to ker ∂1 = im∂2 ∼
= ZGe2 /H2 (X̃). Take a non-zero element ρ of H2 (X̃). As
an element of ZGe2 , ρ has a representation as a non-zero tuple (a1 , . . . , ae2 ),
where each ai is a linear combination in ZG with support Ci as follows:
X
ai =
aig g
g∈Ci

Let C = ∪i Ci ; this is a finite collection of elements of G. There exists
a finite index normal subgroup of G, say H such that the elements of C
project to distinct cosets in G/H. The natural structure of ZG as a ZHmodule makes F into the chain complex for the action of H on X̃. Let E be
a collection of coset representatives for H in G such that C ⊆ E. Consider

 e2
M
ZGe2 = 
ZH.g ∼
= ZH e2 [G:H]
g∈E

Let d be the greatest common divisor of the integers {aig | g ∈ Ci , i =
1, 2, . . . , e2 }. Then ρ = dρ′ , where ρ′ ∈ ZGe2 and all its coefficients are coprime. As ρ is an element of ker ∂2 and ∂2 is a homomorphism of torsion-free
abelian groups, we deduce that ρ′ is also an element of ker ∂2 . Therefore,
we can assume that d = 1.

6

ADITI KAR AND NIKOLAY NIKOLOV

Consider the presentation for H arising from the action of H on X̃: this
presentation has (e1 − 1)[G : H] + 1 generators and e2 [G : H] relations.
The relation module R′ for this presentation of H is the restriction R ↓G
H
of the relation module R, wherein ρ represents the zero element. We have
assumed that the coefficients of ρ are co-prime and so ρ is a primitive element
in the abelian group (ZE)e2 containing its support in ZGe2 ∼
= ZH e2 [G:H] .
Consequently R′ ∼
= ZH e2 [G:H] /H2 (X̃) can be generated by fewer than e2 [G :
H] elements as an H-module. If the above presentation of H has no relation
gap then it needs strictly fewer than e2 [G : H] relations and hence δ(H)−1 >
[G : H](e1 − e2 − 1) = [G : H](δ(G) − 1), contradiction.
Therefore if X is not aspherical some finite index subgroup of G has a
relation gap.

We note that the argument above gives the following general criterion for
freeness of ZG-modules.
Proposition 10. Let G be a residually finite group and let M be a finitely
generated ZG-module. Assume that M is torsion free as an abelian group
and let f : (ZG)r → M be a surjective homomorphism of ZG modules. Then
f is an isomorphism if and only of dH (M ) = r[G : H] for each subgroup H
of finite index in G.
In particular M is a free module if and only if dH (M ) = [G : H]dG (M )
for each subgroup H of finite index in G.
Proof. If f is not injective we can find an element ρ = (a1 , . . . , P
ar ) ∈ ker f
with support C = ∪ri=1 Ci and coefficients aig ∈ Z defined by ai = g∈Ci aig g.
Since M is torsion free we can assume that the greatest common divisor of
all integers aig is 1. There is a finite index subgroup H of G such that C
projects injectively into G/H and arguing in the same way as in the proof
of Theorem 9 we deduce dH (M ) < r[G : H], contradiction. Therefore f is a
bijection and M is a free module.

5. The 2D conjecture for pro-p groups.
In this section G denotes a finitely presented pro-p group, where we consider presentations in the category of pro-p groups. We keep the notation
δ(G) for the maximum of |X| − |R| over all pro-p presentations hX, Ri of G.
Below we prove the analogue of the 2D conjecture for G:
Theorem 11. Let G be a finitely presented pro-p group. The following are
equivalent:
(i) δ(G) − 1 = [G : H](δ(H) − 1) for every open subgroup H of G.
(ii) cdp (G) ≤ 2.
It will be interesting to find a characterizetion of the finitely presented
profinite groups G for which the condition (i) above holds. Note that already
the 1-dimensional situation for profinite groups is quite different. See [10]
for examples of profinite groups which satisfy Schreier’s rank-index formula
for all open subgroups, but are not projective.

2D PROBLEMS IN GROUPS

7

Proof. For pro-p groups δ(G) = dimFp H 1 (G)−dimFp H 2 (G) where we write
H i (G) = H i (G, Fp ), see [11, I.4.2 & I.4.3]. Hence, if cdp (G) ≤ 2 then
δ(G) − 1 = −χ(G), the pro-p Euler characteristic of G and therefore (1)
holds.
Conversely, suppose that (1) holds and let ei = dimFp H i (G) for i = 1, 2.
We have the partial free resolution
d

d

2
1
Fp [[G]]e2 −→
Fp [[G]]e1 −→
Fp [[G]] −→ Fp −→ 0,

arising from the presentation of G with e1 generators and e2 relations. We
claim that J := ker d2 must be zero. Suppose not. Then we can find an open
normal subgroup N of G such that the image J¯ of J under the reduction
(Fp [[G]])e2 → (Fp [G/N ])e2 is non-zero.
Note that the free Fp [[G]] resolution above is also a partial free resolution
of Fp [[N ]] modules. We apply the functor HomN (−, Fp ) to the above resolution, using HomN (Fp G, Fp ) ≃ (Fp [G/N ])∗ , where by V ∗ we denote the dual
of the vector space V over Fp . We obtain the chain complex
d′

d′

d′

3
2
1
0 ← J¯∗ ←−
(Fp [G/N ]∗ )e2 ←−
(Fp [G/N ]∗ )e1 ←−
Fp [G/N ]∗ ← 0.

which is exact at J¯∗ and whose homology group in degree i is H i (N ) Therefore
2
X
(−1)i+1 dim H i (N ) =
δ(N ) − 1 =
i=0

= (e1 − e2 − 1)[G : N ] + dim J¯∗ > [G : N ](δ(G) − 1),
since J¯∗ =
6 {0}, a contradiction to (i). Therefore J = {0} and cdp (G) ≤
2.

6. Higher dimensional analogues
Deficiency can be viewed as one of the partial Euler characteristics, which
are defined as follows:
Let n ≥ 2 be an integer and let G be a group of type Fn . Define νn (G) to
be the minimum of (−1)n χ(X) where X is a finite CW complex of dimension
n such that π1 (X) = G and πi (X) = {0} for i = 2, 3, . . . , n − 1 (i.e its
universal cover X̃ is (n − 1)-connected. Note that ν2 (G) = 1 − δ(G) and for
completeness we define ν1 (G) = d(G) − 1. From the definition of νn and µn
we have νn (G) ≥ µn (G) for all n. We note that Theorem 8 above implies
Proposition 12. νn (G) = µn (G) when n ≥ 3.
Here we prove the higher dimensional analogue of the 2D conjecture.
Theorem 13. Let n > 2 be an integer and let G be a residually finite group
of type Fn . Then G has finite classifying space of dimension n if and only
if νn (H) = νn (G)[G : H] for every subgroup H of finite index in G.

8

ADITI KAR AND NIKOLAY NIKOLOV

Proof. Suppose that X is an n-dimensional K(G, 1) complex for G, then
νn (G) ≤ (−1)n χ(X) from the definition
of νn (G). On the other hand the
P
Morse inequalities give νn (G) ≥ ni=0 (−1)n−i bi (G) = (−1)n χ(X). Therefore νn (G) = (−1)n χ(X) and in the same way νn (H) = (−1)n χ(X ′ ), where
X ′ is the cover of X corresponding to H. Since χ(X ′ ) = [G : H]χ(X) the
equality follows.
For the other direction we could use Proposition 12. Instead we take a
more elementary approach and argue directly using Proposition 10.
Suppose that νn (H) = νn (G)[G : H] for every subgroup H of finite index
in G. Let X be the n-dimensional CW complex which realises νn (G). Let
ei be the number of i-dimensional cells of X and let
∂

∂n−1

∂

n
1
Fn −→
Fn−1 −→ · · · −→
F0 −→ Z −→ 0

with Fi = (ZG)ei be the chain complex of the universal cover X̃. By the
Hurewicz theorem πn (X) ≃ Hn (X) = ker ∂n and thus X is aspherical if and
only if ∂n is injective.
Suppose ker ∂n 6= {0} and consider M = ker ∂n−1 = im∂n . We apply
Proposition 10 to the ZG- homomorphism ∂n : Fn → M , where Fn = (ZG)en
to deduce that u := dH (M ) < en [G : H] for some subgroup H.
Choose a set of generators α1 , . . . , αu of the ZH-module M . Let Y be
the cover of X with degree [Y : X] = [G : H] and π1 (Y ) = H. Let
p : X̃ → Y be the universal covering map. Denote by Y n−1 and X̃ n−1 the
(n − 1)-skeleta of Y and X̃ respectively and observe that πn−1 (Y n−1 ) ≃
Hn−1 (X̃ n−1 ) = ker ∂n−1 = M by the Hurewicz theorem. Therefore for each
i = 1, . . . , u we can find a cellular map ji : S n−1 → X̃ n−1 representing αi .
This means that Hn−1 (ji ) sends the generator of Hn−1 (S n−1 ) to the element
αi ∈ Hn−1 (X̃ n−1 ) = M .
We now attach n-dimensional cells σin to Y n−1 for i = 1, . . . u with boundary attaching maps
p

ji

S n−1 −→ X̃ n−1 −→ Y n−1
and define Z := Y n−1 ∪ui=1 σin . Note that since Y n−1 = Z n−1 we have
πi (Z) = πi (Y ) for i = 1, . . . , n − 2. We claim that πn−1 (Z) = {0}. It
is sufficient to prove that Hn−1 (Z̃) = {0} for the universal cover Z̃ of Z.
Since the (n − 1)-skeleta of Z and X coincide, the boundary maps ∂n−1
on the chain complex of Z̃ and X̃ are the same and hence ker ∂n−1 = M .
On the other hand the boundary map ∂n′ : (ZH)u → M of degree n of the
chain complex of Z̃ is surjective since by construction its image contains the
generators αi . Therefore Hn−1 (Z̃) = {0} and so Z̃ is (n − 1)-connected as
claimed.
Note that Z has [G : H]ei cells in dimension i for i = 0, 1 . . . , n − 1 and
u cells in dimension n. Since u < en [G : H] it follows that
νn (H) ≤ (−1)n χ(Z) = u +

n−1
X

(−1)n−i ei [G : H] < νn (G)[G : H],

i=0

2D PROBLEMS IN GROUPS

9

contradiction. Therefore Hn (X̃) = {0} and X is a finite K(G, 1)-complex
of dimension n.

References
[1] M. Abért, A. Jaikin-Zapirain and N. Nikolov, The rank gradient from a combinatorial
viewpoint, Groups Geom. Dyn. 5 (2011), 213-230.
[2] M. Bestvina and N. Brady, Morse theory and finiteness properties of groups, Invent
Math (1997) 129: 445-470.
[3] I. Hambleton, Two Remarks on Wall’s D2 Problem, arXiv:1708.08532v1.
[4] J. Harlander, Some aspects of efficiency, GroupsKorea 98 (Pusan), de Gruyter, Berlin,
2000, pp. 165180.
[5] J. Harlander, On the relation gap and relation lifting problem, Groups St. Andrews
2013, London Math. Soc. Lecture Note Ser., vol. 422, (2015), pp. 278-285.
[6] F. Ji and S. Ye, Partial Euler Characteristic, Normal Generations and the stable D(2)
problem, arxiv.org/abs/1503.01987.
[7] F. E. A. Johnson, Stable modules and Walls D(2)-problem, Comment. Math. Helv. 78
(2003) 18-44.
[8] A. Kar and N. Nikolov, On Deficiency Gradient of Groups, International Mathematics
Research Notices, Vol. 2016 (2016), No. 3, 696 -716.
[9] A. Lubotzky, Combinatorial group theory for pro-p groups, J. Pure and Applied Algebra, 25 (1982) 311-325.
[10] A. Lubotzky and L. van den Dries, Subgroups of free profinite groups and large
subfields of Q, Israel J. Math. 39 (1981), no. 1-2, 25-45.
[11] J.-P. Serre, Galois Cohomology, Springer-Verlag, Berlin, 1964.
[12] R. Strebel, A converse to Schreier’s index-rank formula, arxiv.org/abs/1801.03078 .
[13] R. Swan, Minimal resolutions of finite groups, Topology, Vol. 4, Issue 2, (1965), 193208.
[14] C.T.C. Wall, Finiteness conditions for CW complexes II, Proc. Roy. Soc. Ser. A 295
(1966), 129-139.

