A FINITE Q-BAD SPACE

arXiv:1708.00282v1 [math.AT] 1 Aug 2017

SERGEI O. IVANOV AND ROMAN MIKHAILOV
Abstract. We prove that for a free noncyclic group F , H2 (F̂Q , Q) is an uncountable
Q-vector space. Here F̂Q is the Q-completion of F . This answers a problem of A.K.
Bousﬁeld for the case of rational coeﬃcients. As a direct consequence of this result it
follows that, a wedge of circles is Q-bad in the sense of Bousﬁeld-Kan. The same methods
as used in the proof of the above results allow to show that, the homology H2 (F̂Z , Z) is
not divisible group, where F̂Z is the integral pronilpotent completion of F .

1. Introduction
In the foundational work [1], A.K. Bousfield and D. Kan introduced the concept of Rcompletion of a space for a commutative ring R. For a space X, there is an R-completion
functor X ↦ R∞ X, such that a map between two spaces f ∶ X → Y induces an isomorphism of the reduced homology H̃∗ (X, R) = H̃∗ (Y, R) if and only if it induces a homotopy
equivalence R∞ X ≃ R∞ Y . Thus, R-completion can be viewed as an approximation of the
R-homology localization of a space, defined in [2]. For certain classes of spaces, such as
nilpotent spaces, R-completion and R-localization coincide.
The R-completion functor for spaces is closely related to the R-completion functor for
groups. For a group G, denote by {γi (G)}i≥1 the lower central series of G. We will
consider the pronilpotent completion ĜZ of G as well as the Q-completion ĜQ defined as
ĜZ = lim G/γi (G),
ĜQ = lim G/γi (G) ⊗ Q.
←Ð
←Ð
Here G/γi (G) ⊗ Q is the Malcev Q-localization of the nilpotent group G/γi (G). One
can find the definition of Z/p-completion ĜZ/p in [1], [3]. In this paper we do not use
Z/p-completion and work only over Z or Q. It is shown in ([1], Ch.4) that R-completion
̂ , where G is the Kan
of a connected space X can be constructed explicitly as W̄ (GX)
R
̂ the R-completion of GX, W̄ the classifying space functor.
loop simplicial group, (GX)
R
A space X is called R-good if the map X → R∞ X induces an isomorphism of the
reduced homology H̃∗ (X, R) = H̃∗ (R∞ X, R), and called R-bad otherwise. In other words,
for R-good spaces R-homology localization and R-completion coincide.
There are a lot of examples of R-good and R-bad spaces. The key example of [1] is
the projective plane RP 2 , which is Z-bad. This fact implies that some finite wedge of
circles also is Z-bad. It is shown in [3] that the wedge of two circles is Z-bad. In [4], A.K.
Bousfield proved that, for any prime p, the wedge of circles is Z/p-bad, providing first
example of a finite Z/p-bad space. For R a subring of the rationals or Z/n, n ≥ 2, and a
free group F , there is a weak equivalence ([1], 5.3)
R∞ K(F, 1) ≃ K(F̂R , 1).
Therefore, the question of R-goodness of a wedge of circles is reduced to the question of
nontriviality of higher R-homology of R-completion of a free group. The same question
1

2

SERGEI O. IVANOV AND ROMAN MIKHAILOV

naturally appears in the theory of HR-localizations of groups. In ([3], Problem 4.11),
A.K. Bousfield posed the following:
Problem. (Bousfield) Does H2 (F̂R , R) vanish when F is a finitely generated free group
and R = Q or R = Z/n?
In the resent paper [7], the authors show that, for R = Z/n, H2 (F̂R , R) is an uncountable
group, solving the above problem for the case R = Z/n. The key step in [7] substantially
uses theory of profinite groups, the method given in [7] can not be directly transferred to
the case R = Q.
In this paper we answer Bousfield’s problem over Q. Our main results are the following
theorems.
Theorem 1. For a finitely generated noncyclic free group F , H2 (F̂Q , Q) is uncountable.
Moreover, we prove that the image of the map H2 (F̂Z , Z) → H2 (F̂Q , Q) is uncountable.
Theorem 2. For a finitely generated noncyclic free group F and a prime p ≠ 2, H2 (F̂ , Z/p)
is uncountable. In particular, H2 (F̂ ) is not divisible.
Theorem 2 answers a problem posted in [6]. As mentioned above, Q∞ K(F, 1) = K(F̂Q , 1)
therefore, Theorem 1 implies
Corollary. The wedge of ≥ 2 circles is Q-bad.
As it is known to authors, this is the first example of a finite Q-bad space.
The proof is organized as follows. In Section 2 we discuss technical results about power
series. The main result of Section 2, Proposition 2.1, states that the kernel of the natural
map between rational power series and coinvariants of the diagonal action of rationals on
exterior square Q[[x]] → Λ2 (Q[[x]])Q , given by f ↦ f ∧ 1, is countable. (In the proof
of the proposition we sufficiently use that the group algebra Q[Q] is countable. In the
similar statement for the Z/p-completion we should consider the mod-p group algebra
of the group of p-adic integers Z/p[Zp ] which is uncountable. So this method fails for
Z/p-completions.) In Section 3, we consider the integral lamplighter group:
LG = ⟨a, b ∣ [a, ab ] = 1, i ∈ Z⟩,
i

which is isomorphic to the wreath product of two infinite cyclic groups, as well as its
̂ Z and LG
̂Q
p-analog Z/p ≀ C. The group LG is metabelian, therefore, its completions LG
̂ Q , Q) is isomorphic
can be easily described (see (3.1), (3.2)), the homology group H2 (LG
2
to the natural coinvariant quotient of the exterior square Λ (Q[[x]]). The key step of
the proof of main results is done in Section 4, in Proposition 4.1. Let F = F (a, b) be
a free group of rank two with generators a, b. We construct (see Proposition 4.1) an
uncountable collection of elements rq , sq ∈ F̂Z , such that [rq , a][sq , b] = 1 in F̂Z . One can

consider the group homology H2 (F̂Z , Z) as a kernel of the commutator map F̂Z ∧ F̂Z → F̂Z ,
where F̂Z ∧ F̂Z is the non-abelian exterior square of F̂Z [5]. Therefore, the pairs of elements
(rq ∧a)(sq ∧b) ∈ F̂Z ∧F̂Z define certain elements of H2 (F̂Z , Z). Next we consider the following
[ , ]

A FINITE Q-BAD SPACE

3

natural maps between homology groups of different completions, which are induced by
the standard projection F → LG:
H2 (F̂Q , Q) o


H2 (F̂Z , Z)

qq
qqq
q
q
q
x qq

̂ Q , Q)
H2 (LG

/

H2 (F̂Z , Z/p)

◆◆◆
◆◆◆
◆◆◆
◆◆&



̂ Z , Z/p)
H2 (LG

[for p ≠ 2], and show, in the final Section 5, that the sets of images of elements (rq ∧a)(sq ∧b)
̂ Q , Q) and H2 (LG
̂ Z , Z/p) are uncountable. Theorems 1 and 2 follow.
in H2 (LG
2. Technical results about power series

We denote by C the infinite cyclic group written multiplicatively C = ⟨t⟩. For a commutative ring R we denote by R[[x]] the ring of formal power series over R and by R[C]
the group algebra of C. Consider the multiplicative homomorphism
τ ∶ C Ð→ R[[x]],

τ (t) = 1 + x.

The induced ring homomorphism is denoted by the same letter
τ ∶ R[C] Ð→ R[[x]].
Lemma 2.1. If we denote by I the augmentation ideal of R[C] and set R[C]∧ = lim R[C]/I i ,
←Ð
then τ (I n ) ⊆ xn ⋅ R[[x]] and τ induces isomorphisms
R[C]/I n ≅ R[[x]]/xn
R[C]∧ ≅ R[[x]].
Proof. If we set x = t − 1, we obtain R[C] = R[x, (1 + x)−1 ] and I = x ⋅ R[C]. Observe that
the image of the element 1+x in R[x]/xn is invertible. Since the localization at the element
1 + x is an exact functor, the short exact sequence xn ⋅ R[x] ↣ R[x] ↠ R[x]/xn gives the
short exact sequence (xn ⋅R[x])1+x ↣ R[C] ↠ R[x]/xn . It follows that R[C]/xn ≅ R[x]/xn .
The assertion follows.

Denote by σ the antipode of the group ring R[C] ∶
σ ∶ R[C] Ð→ R[C],

σ(∑ ai ti ) = ∑ ai t−i .

Obviously σ(I n ) = I n , and hence it induces a continuous involution
σ̂ ∶ R[C]∧ Ð→ R[C]∧ .

Composing this involution with the isomorphism R[C]∧ ≅ R[[x]] we obtain a continuous
involution
σ̃ ∶ R[[x]] Ð→ R[[x]].
such that
σ̃(x) = −x + x2 − x3 + x4 − . . . .

4

SERGEI O. IVANOV AND ROMAN MIKHAILOV

Consider the case R = Q. Note that the set 1 + x ⋅ Q[[x]] is a group and there is a unique
way to define r-power map f ↦ f r for r ∈ Q that extends the usual power map f ↦ f n
such that f r1 r2 = (f r1 )r2 (see Lemma 4.4 of [6]). This map is defined by the formula
∞
r
f r = ∑ ( )(f − 1)n ,
n=0 n

where (nr ) = r(r −1) . . . (r −n+1)/n!. Denote by C ⊗Q the group Q written multiplicatively
as powers of t: C ⊗ Q = {tr ∣ r ∈ Q}. Consider the multiplicative homomorphism
τQ ∶ C ⊗ Q Ð→ Q[[x]].

(2.1)
that extends τ ∶ C → Q[[x]] ∶

τQ (tr ) = (1 + x)r .

The induced ring homomorphism is denoted by the same letter
τQ ∶ Q[C ⊗ Q] Ð→ Q[[x]].
This homomorphism allows to consider Q[[x]] as Q[C ⊗ Q]-module.
Proposition 2.1.
(1) Denote by Λ2 (Q[[x]]) the exterior square of Q[[x]] considered
as a C ⊗ Q-module with the diagonal action. Consider the space of C ⊗ Qcoinvariants (Λ2 (Q[[x]]))C⊗Q . Then the kernel of the homomorphism
θQ ∶ Q[[x]] Ð→ (Λ2 (Q[[x]]))C⊗Q
θQ (f ) = f ∧ 1

is countable.
(2) Let p be an odd prime. Denote by Λ2 (Z/p[[x]]) the exterior square of Z/p[[x]]
considered as a C-module with the diagonal action. Consider the space of Ccoinvariants (Λ2 (Z/2[[x]]))C . Then the kernel of the homomorphism
θZ/p ∶ Z/p[[x]] Ð→ (Λ2 (Z/p[[x]]))C
θZ/p (f ) = f ∧ 1

is countable.

In order to prove this proposition we need the following lemma.
Lemma 2.2. Let K be a field of characteristic ≠ 2 and V be a vector space over K.
2
Assume that σK ∶ K → K is a nontrivial involution (automorphism such that σK
= id and
σK ≠ id) and σV ∶ V → V is a Z-linear involution such that
for any α ∈ K and v ∈ V. Set

σV (αv) = σK (α)σV (v)

D = spanK {v ⊗ σ(v) ∣ v ∈ V } ≤ V ⊗K V.

Then for any v0 ∈ V ∖ {0} such that σV (v0 ) = v0 the sequence

0 Ð→ K ÐÐ→ V ÐÐÐ→ (V ⊗K V )/D
⋅v0

is exact.

−⊗v0

A FINITE Q-BAD SPACE

5

Proof. Set

K + = {α ∈ K ∣ σK (α) = α},
V + = {v ∈ V ∣ σV (v) = v},
K − = {α ∈ K ∣ σK (α) = −α},
V − = {v ∈ V ∣ σV (v) = −v}.
For any element α ∈ K we set α+ = (α + σK (α))/2 ∈ K + and α− = (α − σK (α))/2 ∈ K − .
Similarly for v ∈ V we have v + = (v + σV (v))/2 ∈ V + and v − = (v − σV (v))/2 ∈ V − . The
equations α = α+ + α− and v = v + + v − show that K = K + ⊕ K − and V = V + ⊕ V − (as
K + -vector spaces). It is easy to see that K + ⋅ K + = K + , K − ⋅ K − ⊆ K + and K + ⋅ K − ⊆ K − ,
and similarly K ± ⋅ V ± ⊆ V ± . Then
and

σK (α) = α+ − α− ,

σV (v + + v − ) = v + − v − ,

(αv)+ = α+v + + α− v − ,
(αv)− = α− v + + α+ v − .
We claim that there is a K + -linear (but not K-linear) map

such that

ψ ∶ (V ⊗K V )/D → Λ2K (V )

ψ(v ⊗ u + D) = v + ∧ u+ + v − ∧ u− .
In order to prove this we consider the map ψ ′′ ∶ V ⊗Z V → Λ2K (V ) defined by the same
formula. Observe
ψ ′′ ((αv) ⊗ u) = (αv)+ ∧ u+ + (αv)− ∧ u− =
= α + v + ∧ u+ + α − v − ∧ u+ + α − v + ∧ u− + α + v − ∧ u− =
= α+ (v + ∧ u+ + v − ∧ u− ) + α− (v − ∧ u+ + v + ∧ u− ).
Similarly
ψ ′′ (v ⊗ (αu)) = α+ (v + ∧ u+ + v − ∧ u− ) + α− (v − ∧ u+ + v + ∧ u− ).
It follows that the map ψ ′′ define a map ψ ′ ∶ V ⊗K V → Λ2K (V ). Note that if v + = u+ and
v − = −u− , then ψ ′ (v ⊗ u) = 0. Hence ψ is well defined.
It is easy to see that αv0 ⊗ v0 + D = 0. Assume that v ⊗ v0 + D = 0 for some v ∈ V. Then
ψ(v ⊗ v0 + D) = 0. Thus v + ∧ v0 = 0 in Λ2K (V ). It follows that v + = αv0 for some α ∈ K.
Since σK ≠ id, there exists λ ∈ K − ∖ {0}. Then λv ⊗ v0 + D = 0. Similarly this implies
λv − ∧ v0 = (λv)+ ∧ v0 = 0 in Λ2K (V ). It follows that λv − = βv0 for some β ∈ K. Therefore
v = (α + βλ−1 )v0 . The assertion follows.

Proof of Proposition 2.1. (1) Consider the short exact sequence

0 Ð→ D Ð→ Q[[x]] ⊗ Q[[x]] Ð→ Λ2 (Q[[x]]) Ð→ 0,

where D is the vector space generated by {f ⊗ f ∣ f ∈ Q[[x]]}. Note that D is a Q[C ⊗ Q]submodule of Q[[x]]⊗Q[[x]]. It follows that there is an exact sequence of C ⊗ Q-convariants
DC⊗Q Ð→ (Q[[x]] ⊗ Q[[x]])C⊗Q Ð→ (Λ2 (Q[[x]]))C⊗Q Ð→ 0.

Denote by D ′ the image of DC⊗Q . Observe that D ′ is equal to the vector subspace generated by f ⊗ f in (Q[[x]] ⊗ Q[[x]])C⊗Q . Consider the map
θQ′ ∶ Q[[x]] Ð→ (Q[[x]] ⊗ Q[[x]])C⊗Q

given by θQ′ (f ) = f ⊗ 1. Then it is sufficient to prove that (θQ′ )−1 (D ′ ) is countable. Note
that there is an isomorphism
(Q[[x]] ⊗ Q[[x]])C⊗Q ≅ Q[[x]] ⊗Q[C⊗Q] Q[[x]]

6

SERGEI O. IVANOV AND ROMAN MIKHAILOV

f ⊗ f ′ ↦ f ⊗ σ̃(f ′ )

(see Lemma 4.2. of [7]). This isomorphism maps D ′ to

D ′′ = span{f ⊗ σ̃(f ) ∣ f ∈ Q[[x]]} ⊆ Q[[x]] ⊗Q[C⊗Q] Q[[x]].

Denote by θQ′′ the composition of θQ′ with this isomorphism

θQ′′ ∶ Q[[x]] Ð→ Q[[x]] ⊗Q[C⊗Q] Q[[x]].

Then we need to prove that (θQ′′ )−1 (D ′′ ) is countable.
We denote by Q((x)) the field of formal Laurent series. Since Q((x)) is a field of fractions
of Q[[x]], we can extend the involution σ̃ ∶ Q[[x]] → Q[[x]] to an involution
σ ′ ∶ Q((x)) Ð→ Q((x)).
Denote by K the subfield of Q((x)) generated by the image of τQ . Since Q[C ⊗ Q] is
countable, K is countable as well. Consider the commutative diagram
Q[[x]]


Q((x))

′′
θQ

/

Q[[x]] ⊗Q[C⊗Q] Q[[x]]


′′′
θQ

/

Q((x)) ⊗K Q((x)),

where θQ′′′ (f ) = f ⊗ 1. Set

D ′′′ = spanK {f ⊗ σ ′ (f ) ∣ f ∈ Q((x))} ⊆ Q((x)) ⊗K Q((x)).

It is sufficient to prove that (θQ′′′ )−1 (D ′′′ ) is countable. Lemma 2.2 implies that (θQ′′′ )−1 (D ′′′ ) =
K. The assertion follows.
(2) The proof is the same.

3. Completions of lamplighter groups LG and LG(p)
Recall the definition of the tensor square for a non-abelian group [5]. For a group G,
the tensor square G ⊗ G is the group generated by the symbols g ⊗ h, g, h ∈ G, satisfying
the following defining relations:
f g ⊗ h = (g f

−1

⊗ hf )(f ⊗ h),
−1

f ⊗ gh = (f ⊗ g)(f g ⊗ hg ),
−1

−1

for all f, g, h ∈ G. The exterior square G ∧ G is defined as

G ∧ G ∶= G ⊗ G/⟨g ⊗ g, g ∈ G⟩.
The images of the elements g ⊗ h in G ∧ G we will denote g ∧ h. If G = E/R for a free
group E, there is a natural isomorphism G ∧ G = [E,E]
[R,E] .
For any group G, there is a natural short exact sequence
0 Ð→ H2 (G) Ð→ G ∧ G Ð→ [G, G] Ð→ 1.
[−,−]

(see [5, (2.8)] and [8]). Let g1 , . . . , gn , h1 , . . . , hn ∈ G be elements such that [g1 , h1 ] . . . [gn , hn ] =
1. Then the element (g1 ∧ h1 ) . . . (gn ∧ hn ) defines an element in H2 (G).
(g1 ∧ h1 ) . . . (gn ∧ hn ) ∈ H2 (G).

A FINITE Q-BAD SPACE

7

If R is a commutative ring, then the image of (g1 ∧ h1 ) . . . (gn ∧ hn ) in H2 (G, R) is denoted
by
((g1 ∧ h1 ) . . . (gn ∧ hn )) ⊗ R ∈ H2 (G, R).
We will consider two versions of the lamplighter group. The integral lamplighter group:
LG = Z ≀ C = ⟨a, b ∣ [a, ab ] = 1, i ∈ Z⟩
i

and the p-lamplighter group for a prime p
LG(p) = Z/p ≀ C = ⟨a, b ∣ [a, ab ] = ap = 1, i ∈ Z⟩.
i

Observe that LG = Z[C] ⋊ C and LG(p) = Z/p[C] ⋊ C. Using Lemma 2.1 and [6, Prop 4.7],
we obtain
̂ Z = Z[[x]] ⋊ C
LG

(3.1)
and

̂ Q = Q[[x]] ⋊ (C ⊗ Q),
LG

(3.2)

̂ = Z/p[[x]] ⋊ C,
LG(p)
Z

where C acts on Z[[x]] and Z/p[[x]] via τ and C ⊗ Q acts on Q[[x]] via τQ .
Proposition 3.1. There are isomorphisms

̂ Q , Q),
(Λ2 (Q[[x]]))C⊗Q ≅ H2 (LG

in both cases given by
where R = Q, Z/p.

̂ , Z/p)
(Λ2 (Z/p[[x]]))C ≅ H2 (LG(p)
Z
f ∧ f ′ ↦ ((f, 1) ∧ (f ′ , 1)) ⊗ R,

̂ Q ↠ (C ⊗ Q) and the associated
Proof. Consider the short exact sequence Q[[x]] ↣ LG
1
spectral sequence E. Since Q = lim n! Z and homology commute with direct limits, we have
Ð→
2
= 0 for i ≥ 2, and hence, there is a short
Hn (C ⊗ Q, −) = 0 for n ≥ 2. It follows that Ei,j
exact sequence
2
2
̂ Q , Q) Ð→ E1,1
Ð→ 0.
Ð→ H2 (LG
0 Ð→ E0,2
Observe that the action of C on Q[[x]] has no invariants. Then

1
1
2
= H1 (C ⊗ Q, Q[[x]]) = lim H1 (C ⊗ Z, Q[[x]]) = lim Q[[x]]C⊗ n! Z = 0.
E1,1
Ð→
Ð→
n!
It follows that the map
(3.3)

2
̂ Q , Q)
Ð→ H2 (LG
H2 (Q[[x]], Q)C⊗Q = E0,2

̂ Q that sends f ∈ Q[[x]]
is an isomorphism. The map is induced by the map Q[[x]] ↣ LG
̂ Q . Then the isomorphism (3.3) sends f ∧ f ′ to ((f, 1) ∧ (f ′ , 1)) ⊗ Q. Then
to (f, 1) ∈ LG
using the isomorphism Λ2 (Q[[x]]) ≅ H2 (Q[[x]], Q) we obtain the assertion.
The second isomorphism can be proved similarly.


8

SERGEI O. IVANOV AND ROMAN MIKHAILOV

4. Completion of a free group

For elements of groups or Lie rings, we will use the left-normalized notation [a1 , . . . , an ] ∶=
[[a1 , . . . , an−1 ], an ] and the following notation for Engel commutators
[a,0 b] ∶= a,

[a,i+1 b] = [[a,i b], b]

for i ≥ 0.
For any elements a, b of a Lie ring the Jacobi identity implies
I follows that

[a, b, a, b] + [b, [a, b], a] + [[a, b], [a, b]] = 0.
[a, b, b, a] = [a, b, a, b].

(4.1)

The following lemma is a generalisation of this identity.
Lemma 4.1. Let L be a Lie ring, a, b ∈ L and n ≥ 1. Then
[[a,2n b], a] = [ ∑ (−1)i [a,2n−1−i b], [a,i b]] , b ] .
n−1

(4.2)

i=0

Proof. The Jacobi identity implies
(4.3)

[[a,2n−i b], [a,i b]] + [[a,2n−1−i , b], [a,i+1 b]] = [[a,2n−1−i b], [a,i b], b].

for 0 ≤ i ≤ n−1. Taking the alternating sum of these identities and using [[a,n b], [a,n b]] = 0,
we obtain the assertion.

Corollary 4.1. Let F = F (a, b) be a free group with generators a, b. For any n ≥ 1,
[[a,2n b], a] ≡ [ ∏[[a,2n−1−i b], [a,i b]](−1) , b ]
n−1

i

i=0

mod γ2n+3 (F ).

We denote by F the free group on two variables F = F (a, b) and denote by ϕ ∶ F → LG
the obvious epimorphism to the integral lamplighter group. It induces a homomorphism
between pronilpotent completions
̂ Z.
ϕ̂ ∶ F̂Z → LG
Note that

ϕ([u, v]) = 1 for u, v ∈ ⟨a⟩F .

Proposition 4.1. For any sequence of integers q = (q1 , q2 , . . . ), there exists a pair of
elements rq , sq ∈ γ3 (F̂Z ), such that
(1) [rq , a][sq , b] = 1;
(2) ϕ̂(sq ) = 1;
ni
(3) ϕ̂(rq ) = ∏∞
i=3 [a,i−1 b] , where n2i+1 = qi for i ≥ 1 and n2i are some integers
(we control only odd terms of the product).
(3)

(4)

(3)

(4)

Proof. We claim that there exist sequences of elements rq , rq , ⋅ ⋅ ⋅ ∈ F and sq , sq , ⋅ ⋅ ⋅ ∈ F
such that
(k) (k)
(0) rq , sq ∈ γk (F )
(i)
(i)
(1) [∏ki=3 rq , a][∏ki=3 sq , b] ∈ γk+2 (F );
(k)
(2) ϕ(sq ) = 1;
(i)
(3) ϕ(∏ki=3 rq ) ≡ ∏ki=3 [a,i−1 b]ni mod γk+1 (LG), where n2i+1 = qi for 2i + 1 ≤ k.

A FINITE Q-BAD SPACE

9

(i)

(i)

∞
Then we take rq = ∏∞
i=3 rq and sq = ∏i=3 sq and the assertion follows. So it is sufficient
(k) (k)
to construct such elements rq , sq inductively.
In order to prove the base case we set

rq ∶= [a, b, b]q1 , sq ∶= [a, b, a]−q1 .
(3)

(3)

Corollary 4.1, the case n = 1, implies that

[rq , a][sq , b] ∈ γ5 (F ).
(3)

(3)

Clearly sq , rq ∈ γ3 (F ), ϕ(sq ) = 1 and ϕ(rq ) = [a,2 b]q1 .
Prove the inductive step. Assume that we already constructed
(3)

(3)

(3)

(3)

(3)

(k)

(3)

(k)

rq , . . . , rq , sq , . . . , sq ,
with the properties (0)-(3). Construct rq
and sq
. Note that any element of γk+2 (F )/γk+3(F )
can be presented as [A, a][B, b] ⋅ γk+3(F ), where A, B ∈ γk+1 (F ). Then
(k+1)

(k+1)

[∏ rq , a][∏ sq , b] ≡ [A, a][B, b] mod γk+3 (F ).
k

(4.4)

k

(i)

i=3

(i)

i=3

Using that the images of [A−1 , a], [B −1 , b] are in the center of F /γk+3(F ), that ∏ki=3 rq , ∏ki=3 sq ∈
γ3 (F ) and the identity [xy, z] = [x, z]y ⋅ [y, z] we obtain
(i)

[∏ rq A−1 , a] ⋅ [∏ sq B −1 , b] ∈ γk+3(F ).
k

(4.5)

k

(i)

i=3

(i)

i=3

Prove that
Since B ∈ γk+1 (F ) we have

ϕ(B) = 1.
B ≡ [a,k b]e c mod γk+2(F ),

where e ∈ Z and c is a product of powers of other basic commutators of weight k + 1.
All these other basic commutators contain at least two a. It follows that ϕ(c) = 1. Since
(i)
(i)
A ∈ γ3 (F ) ⊆ ⟨a⟩F , we have ϕ([A, a]) = 1. Moreover, ϕ([∏ki=3 rq , a][∏ki=3 sq , b]) = 1. Then
[a,k+1 b]e ∈ γk+3(LG).

This implies that e = 0 and hence ϕ(B) = 1.
If k is odd, we do need to care about (3) and we just take
(k+1)

rq

= A−1 ,

(k+1)

sq

= B −1 .

Indeed, it is easy to check that the properties (0)-(2) are satisfied and the property (3)
automatically follows.
(i)
Suppose now that k is even, say k = 2k ′ . Consider the image of the element ∏ki=3 rq ⋅A−1
in the quotient LG/γk+2(LG). By the induction hypothesis
ϕ(∏ rq ) ≡ ∏[a,i−1 b]ni ⋅ c′ mod γk+2 (LG),
k

i=3

(i)

k

i=3

where ∈ γk+1 (LG). Since the quotient γk+1 (LG)/γk+2 (LG) is cyclic with generator [a,k b]⋅
γk+2 (LG),
c′ ≡ [a,k b]y mod γk+2 (LG).
c′

(i)

10

SERGEI O. IVANOV AND ROMAN MIKHAILOV

for some y ∈ Z. For n ≥ 1, denote
zn ∶= ∏ [[a,2n−1−i b], [a,i b]](−1) .
n−1

i

i=0

Corollary 4.1 implies that
We set

(k+1)

rq
Now

[[a,k b], a][zk−1′ , b] ∈ γk+3 (F ).
∶= A−1 [a,k b]qk′ −e , sq

(k+1)

.

[∏ rq , a][∏ sq , b] ∈ γk+3 (F )
k+1

k+1

(i)

i=3

and

−(qk′ −e)

∶= B −1 zk′

(i)

i=3

ϕ(∏ rq ) ≡ ∏[a,i−1 b]ni .
k+1

k+1

(i)

i=3

i=3

The properties (0) and (2) are obvious.



5. Proof of Theorems 1 and 2
Let F be a free group of rank ≥ 2 and p be an odd prime. We will show that the image
of the homomorphisms H2 (F̂Z ) → H2 (F̂Q , Q) is uncountable. The proof that the image of
the map H2 (F̂Z ) → H2 (F̂Z , Z/p) is uncountable is similar.
Since the free group with two generators is a retract of a free group of higher rank, it
is enough to prove this only for F = F (a, b). The map
̂ Q , Q)
(5.1)
H2 (F̂Z ) → H2 (LG

factors through H2 (F̂Q , Q). Then it is enough to prove that the image the map (5.1) is
uncountable.
For q ∈ {0, 1}N we denote by rq , sq some fixed elements of F̂ satisfying properties
(1),(2),(3) of Proposition 4.1. Then
ϕ̂(rq ) = ∏[a,i−1 b]ni (q) ,
∞

i=3

where n(q)2i+1 = qi and
Set

[rq , a][sq , b] = 1,

ϕ̂(sq ) = 1.

fq = ∑ ni (q)xi−1 ∈ Z[[x]].
∞

i=3

̂ Z as the semidirect product Z[[x]] ⋊ C, we obtain that [a,i−1 b] = (xi−1 , 1)
If we consider LG
and hence
ϕ̂(rq ) = (fq , 1).
̂ Z → LG
̂ Q , we obtain
If we denote by ϕ̂Q the composition of ϕ̂ with the map LG
ϕ̂Q (rq ) = (fqQ , 1),

where fqQ is the image of fq in Q[[x]]. Consider the map

̂ Q , Q)
ΘQ ∶ Q[[x]] Ð→ H2 (LG

A FINITE Q-BAD SPACE

11

given by

f ↦ ((f, 1) ∧ 1) ⊗ Q.
Observe that the map is the composition of the map from Proposition 2.1 and the isomorphism from Proposition 3.1. Therefore the kernel of ΘQ is countable. Set
A ∶= {fqQ ∣ q ∈ {0, 1}N } ⊆ Q[[x]].

i−1 , where n
Using that fqQ = ∑∞
2i+1 (q) = qi , we obtain that A is uncountable.
i=3 ni (q)x
Using that the kernel of ΘQ is countable, we obtain that its image
̂ Q , Q)
ΘQ (A) = {((fqQ , 1) ∧ 1) ⊗ Q ∣ q ∈ {0, 1}N } ⊆ H2 (LG

is uncountable. Finally, observe that by any element ((fqQ , 1) ∧ 1) ⊗ Q of ΘQ (A) has a
preimage in H2 (F̂Z ) given by (rq ∧a)(sq ∧b), and then ΘQ (A) lies in the image of H2 (F̂Z ) →
̂ Q , Q). This implies that the groups H2 (F̂Q , Q) and H2 (F̂Z , Z/p) = H2 (F̂Z ) ⊗ Z/p
H2 (LG
are uncountable and Theorems 1 and 2 follow.
References
[1] A. K. Bousﬁeld and D. Kan: Homotopy limits, completions and localizations, Lecture Notes in
Mathematics 304, (1972).
[2] A. K. Bousﬁeld: The localization of spaces with respect to homology, 14, Topology (1975), 133–150.
[3] A. K. Bousﬁeld: Homological localization towers for groups and π-modules, Mem. Amer. Math. Soc,
no. 186, 1977.
[4] A. K. Bousﬁeld: On the p-adic completions of nonnilpotent spaces, Trans. Amer. Math. Soc. 331
(1992), 335–359.
[5] R. Brown, J.-L. Loday: Van Kampen theorems for diagrams of spaces, Topology 26 (1987), 311—335.
[6] S. O. Ivanov, R. Mikhailov: On a problem of Bousﬁeld for metabelian groups, Adv. Math. 290,
(2016), 552-–589.
[7] S. O. Ivanov, R. Mikhailov: On discrete homology of a free pro-p-group, preprint arXiv:1705.09131
[8] C. Miller: The second homology of a group, Proc. Amer. Math. Soc. 3 (1952), 588–595.
Chebyshev Laboratory, St. Petersburg State University, 14th Line, 29b, Saint Petersburg, 199178 Russia
E-mail address: ivanov.s.o.1986@gmail.com
Chebyshev Laboratory, St. Petersburg State University, 14th Line, 29b, Saint Petersburg, 199178 Russia and St. Petersburg Department of Steklov Mathematical Institute
E-mail address: rmikhailov@mail.ru

