Lecture Notes
Lecture Notes
Lecture Notes
Sommersemester 2019
Universität Regensburg
Clara Löh
1 1 1
1
1
1
1
1 1
1 1
1
1 1 1
1 1
1
1 1 1
1
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1
1
1 1
1 1 1 1
1 1
1 1
1
1
1
1
1 1 1
1
Version of July 30, 2019
[email protected]
Fakultät für Mathematik, Universität Regensburg, 93040 Regensburg
©Clara Löh, 2019
Contents
0 Introduction 1
A Appendix A.1
A.1 Amalgamated free products A.3
A.1.1 The free group of rank 2 A.3
A.1.2 Free products of groups A.4
A.1.3 Amalgamated free products of groups A.5
A.1.4 Free groups A.6
A.2 Some homological algebra A.7
A.3 Homotopy theory of CW-complexes A.11
C Etudes C.1
Bibliography E.1
Dictionary E.8
Symbols E.17
Index E.21
vi Contents
Guide to the Literature
This course will not follow a single source and there are many books that
cover the standard topics (all with their own advantages and disadvantages).
Therefore, you should individually compose your own favourite selection of
books.
Group Theory
• C. Druţu, M. Kapovich. Geometric Group Theory, Colloquium Publi-
cations, 63, American Mathematical Society, 2018.
• C. Löh. Geometric Group Theory. An Introduction, Universitext, Sprin-
ger, 2018.
Errata: http://www.mathematik.uni-r.de/loeh/ggt book/errata.pdf
viii Guide to the Literature
Category Theory
• M. Brandenburg. Einführung in die Kategorientheorie: Mit ausführli-
chen Erklärungen und zahlreichen Beispielen, Springer Spektrum, 2015.
• S. MacLane. Categories for the Working Mathematician, second edition,
Springer, 1998.
• B. Pierce. Basic Category Theory for Computer Scientists, Foundations
of Computing, MIT University Press, 1991.
• E. Riehl. Category Theory in Context, Aurora: Dover Modern Math
Originals, 2016.
0
Introduction
Literature exercise. Where in the math library can you find books on group
cohomology, homological algebra, geometry, algebraic topology, category the-
ory?
Convention. The set N of natural numbers contains 0. All rings are unital
and associative (but very often not commutative). We write R Mod for the
category of left R-modules.
4 0. Introduction
1
The basic view
· : ZG × ZG −→ ZG
X X XX
ag · g, bg · g 7−→ ah · bh−1 ·g · g
g∈G g∈G g∈G h∈G
Caveat 1.1.4 (notation in group rings). When working with elements in group
rings, some care is required. For example, the term 4 · 2 in Z[Z] might be
interpreted in the following different(!) ways:
• the product of 4 times the ring unit and 2 times the ring unit, or
• 4 times the group element 2.
We will circumvent this issue in Z[Z], by using the notation “t” for a gen-
erator of the additive group Z and viewing the infinite cyclic group Z as
multiplicative group. Using this convention, the first interpretation would be
written as 4 · 2 (which equals 8) and the second interpretation would be writ-
ten as 4 · t2 . Similarly, also in group rings over other groups, we will try to
avoid ambiguous notation.
As with every new construction, we should capture the essence of the
construction in a universal property:
Proposition 1.1.5 (group ring, universal property). Let G be a group. Then
the group ring ZG, together with the canonical inclusion map i : G −→ ZG
(as standard basis) has the following universal property: For every ring R
and every group homomorphism f : G −→ R× , there exists a unique ring
homomorphism Zf : ZG −→ R with Zf ◦ i = f .
G
f
/ R× incl 6/ R
i
∃! Zf
ZG
e·a=a
g · (a + b) = g · a + g · b
(g · h) · a = g · (h · a)
Remark 1.1.7 (the involution: left vs. right modules). Let G be a group. Then
taking inverses is an involution on G. Hence, if A is a left ZG-module, then
A × G −→ A
(a, g) 7−→ g −1 · a
allows to view A as a right module (check!), and vice versa. We will denote
this right ZG-module by Inv A.
Definition 1.1.8 (tensor product and Hom-modules over ZG). Let G be a group
and let A, B be left ZG-modules. Then we write
G × Z −→ Z
(g, z) 7−→ z
G × `∞ (G, R) −→ `∞ (G, R)
(g, f ) 7−→ h 7→ f (h · g) .
Similarly, also `∞ (G, Z), `2 (G, R), and `2 (G, C) are (left) ZG-modules.
1.1. Foundations: The group ring 9
These definitions are compatible with ZG-linear maps (check!) and thus ex-
tend to (covariant) functors
· G: ZG Mod −→ Z Mod
· G: ZG Mod −→ Z Mod .
Study note (categories and functors). For now, we will only need very basic
notions from category theory: categories, functors, natural transformations
(Chapter IV.1). If you don’t know these terms yet, then this is not an issue.
AG −→ HomG (Z, A)
a 7−→ (n 7→ n · a)
AG −→ A ⊗G Z
[a] 7−→ a ⊗ 1
Study note. Which properties do invariants and coinvariants inherit from the
description as Hom- and tensor functors (Remark 1.1.11), respectively?
• Moreover, (ZG)G ∼
=Z ZG ⊗G Z ∼
=Z Z.
10 1. The basic view
G × B −→ B
(g, b) 7−→ ϕ(g) · b.
G × Gn+1 −→ Gn+1
g, (g0 , . . . , gn ) 7−→ (g · g0 , . . . , g · gn )
ε : C0 (G) = ZG −→ Z
G 3 g 7−→ 1.
as claimed.
Study note (homological algebra). For a while, we will only need basic notions
from homological algebra (chain complexes, homology of chain complexes,
tensor products, chain maps, chain homotopy); this might be a good oppor-
tunity to refresh your background on homological algebra, or to acquire it
for the first time (Chapter IV.5, Appendix AT.A.6).
Definition 1.2.3 (the bar resolution). Let G be a group. Then the bar resolu-
tion C ∗ (G) of G is the N-indexed ZG-chain complex defined by:
Remark 1.2.4 (simplicial vs. bar resolution). Let G be a group. Then the maps
Cn (G) −→ C n (G)
Gn+1
3 (g0 , . . . , gn ) 7−→ g0 · [g0−1 · g1 | . . . |gn−1
−1
· gn ] (Z-linear extension)
C n (G) −→ Cn (G)
[g1 | . . . |gn ] 7−→ (e, g1 , g1 · g2 , . . . , g1 · g2 · · · · · gn ) (ZG-linear extension)
C∗ (G) ⊗G A
C∗ (ϕ)⊗G Φ
/ ϕ∗ C∗ (H) ⊗G ϕ∗ B can. proj./ C∗ (H) ⊗H B
of Z-chain maps.
We will also write H∗ (G; A) for the sequence (Hn (G; A))n∈N and H∗ (ϕ; Φ)
for the sequence (Hn (ϕ; Φ))n∈N .
· ⊗G A : ZG Ch −→ Z Ch .
∂n ⊗G idA : Cn ⊗G A −→ Cn−1 ⊗G A
x ⊗ a 7−→ ∂n (x) ⊗ a.
Example 1.2.8 (homology of the trivial group). Let 1 denote “the” trivial
group. Then Z[1] ∼
=Ring Z, and we will formulate everything in terms of Z-
modules (instead of Z[1]-modules). If A is a Z-module, then
1.2. The basic definition of group (co)homology 15
(
A if n = 0
Hn (1; A) ∼
=Z
0 if n > 0
for all n ∈ N. This follows from the simple observation that the Z-chain
complex C∗ (1) is isomorphic to the Z-chain complex (check!)
degree 2 1 0
··· /Z /Z /Z /Z
idZ 0 idZ 0
degree 2 1 0
··· /A /A /A /A
idA 0 idA 0
of Z-cochain maps.
• For n ∈ N, we then set (which is a Z-linear map)
H n (ϕ; Φ) := H n C ∗ (ϕ; Φ) : H n (H; B) −→ H n (G; A).
16 1. The basic view
We will also write H ∗ (G; A) for the sequence (H n (G; A))n∈N and H ∗ (ϕ; Φ)
for the sequence (H n (ϕ; Φ))n∈N .
HomG ( · , A) : ZG Ch −→ Z Ch* .
the sign does not affect the corresponding cohomology, but will later result in
good sign conventions on (co)chain complexes. If f∗ : C∗ −→ D∗ is a ZG-chain
map, then the sequence HomG (f∗ , A) := (HomG (fn , A))n∈N is a Z-cochain
map HomG (D∗ , A) −→ HomG (C∗ , A) (check!).
C∗ ( · ; · ) : GroupMod −→ Z Ch (covariant)
∗ * *
C ( · ; · ) : GroupMod −→ Z Ch (contravariant)
Caveat 1.2.12 (lechts und rinks). There are several, different, conventions for
group (co)homology in use. Indeed, instead of taking left modules as coeffi-
cients, one could also work with right modules. Because the group ring carries
a canonical involution (Remark 1.1.7), we can always canonically translate
between these different conventions and all conventions essentially lead to the
same theory. However, when working with formulas from the literature, one
should always carefully check which conventions are in place in the respective
sources.
for all n ∈ N. Again, using that the Z-chain complex C∗ (1) is isomorphic to
the Z-chain complex (check!)
degree 2 1 0
··· /Z /Z /Z /Z
idZ 0 idZ 0
degree 2 1 0
idA 0 idA 0
··· o Ao Ao Ao A
Study note. If you know basic algebraic topology: What do the computa-
tions from Example 1.2.8 and 1.2.13 remind you of? This is part of a deeper
connection of group (co)homology with algebraic topology. We will explore
this connection in Chapter 4.
Remark 1.2.14 (group (co)homology via bar resolution). Because the simplicial
resolution and the bar resolution are (naturally) isomorphic (Remark 1.2.4),
we can also use the bar resolution to compute group homology and group
cohomology: If G is a group and A is a (left) ZG-module, then the chain
isomorphisms from Remark 1.2.4 induce chain isomorphisms
C∗ (G; A) = C∗ (G) ⊗G A ∼
=Z Ch C ∗ (G) ⊗G A =: C ∗ (G; A)
∗
C (G; A) = HomG C∗ (G), A ∼
∗
= * HomG C ∗ (G), A =: C (G; A).
Z Ch
H0 (G; A) ∼
= Z AG
H (G; A) ∼
0
= Z AG .
degree 1 0
∂1 ∂ 0 =0
C 1 (G) / C 0 (G) /0
L
G ZG ZG
[g] / g · [] − []
degree 1 0
∂ 1 ⊗G idA 0
C 1 (G; A) / C 0 (G; A) /0
L
G ZG ⊗G A ZG ⊗G A
=Z
=Z
∼
∼
L
G A A
/ g −1 · a − a.
[g] · a
Hence,
H0 (G; A) ∼
=Z C 0 (G; A) / im(∂ 1 ⊗G idA )
∼
=Z A/ SpanZ {g −1 · a − a | g ∈ G, a ∈ A}
= AG .
1.3. Degree 0: (Co)Invariants 19
degree 1 0
1 − HomG (∂ 1 ,A) 0 0
C (G; A) o C (G; A) o 0
L
HomG G ZG, A HomG (ZG, A)
=Z
=Z
∼
∼
Q
G A A
(a − g · a)g∈G o a
Therefore,
H 0 (G; A) ∼
=Z ker HomG (∂ 1 , A)
= {a ∈ A | ∀g∈G a = g · a}
= AG .
Study note. Write down the isomorphisms constructed in the proof of Theo-
rem 1.3.1 in terms of the simplicial resolution (instead of the bar resolution).
=Z Z and H 0 (G; Z) ∼
=Z Z G ∼
• If Z is a trivial G-module, then H0 (G; Z) ∼ =Z
G
Z = Z.
Theorem 1.4.1 (group homology in degree 1). Let G be a group. Then (where
Z carries the trivial G-action) there is a canonical isomorphism
H1 (G; Z) ∼
=Z Gab .
[x, y] := x · y · x−1 · y −1
degree 2 1 0
∂2 ∂1
C 2 (G) / C 1 (G) / C 0 (G)
L L
G2 ZG G ZG ZG
[g] / g · [] − []
In combination with Remark 1.2.4 (and the fact that G acts trivially on Z),
we see that the corresponding part of C∗ (G; Z) = C∗ (G) ⊗G Z is canonically
naturally isomorphic to
degree 2 1 0
∂ 2 ⊗G idZ ∂ 1 ⊗G idZ
C 2 (G; Z) / C 1 (G; Z) / C 0 (G; Z)
=Z
=Z
=Z
∼
∼
L L
G2 Z G Z Z
[g] / g · [] − [] = 0
ϕ : C 1 (G; Z) −→ Gab
[g] 7−→ g · [G, G];
[x−1 | y −1 ]
x·y
x · y · x−1 · y −1 y
[x | y] [x | y]
• The maps ϕ and ψ are mutually inverse: This is clear from the con-
struction.
[g] = [x · y · x−1 · y −1 ]
= ∂ 2 ⊗G idZ [x | y] + [x−1 | y −1 ] − [x · y | x−1 · y −1 ]
− [x | x−1 ] − [y | y −1 ] + [e | e] + [e | e] .
This observation can be used to give a more geometric proof of the well-
definedness of ψ (as we have done in the lecture).
Study note. If you know basic algebraic topology: The statement of Theo-
rem 1.4.1 should look familiar (why?). Again, this is part of a deeper connec-
tion of group (co)homology with algebraic topology (Chapter 4).
Example 1.4.7 (first homology of alternating groups). Let n ∈ N≥5 . Then the
alternating group An is perfect (Satz III.1.3.13). Hence, H1 (An ; Z) ∼
=Z 0.
Example 1.4.9 (first homology of free groups). Let S be a set and let F (S)
be the free group, freely generated by S (Appendix A.1). Then the universal
properties of free groups
L and of the Abelianisation show that the homomor-
phism FL (S)ab −→ S Z, that maps S to the standard basis of the free Z-
module S Z is an isomorphism of Z-modules. In particular, Theorem 1.4.1
shows that M
H1 F (S); Z ∼=Z Z.
S
Moreover, the first group homology also gives a crude lower bound for the
rank of a group. Let us first recall the rank of Z-modules: If A is a Z-module,
then
(
rank of the free part of A if A is finitely generated
rkZ A =
∞ if A is not finitely generated.
Proof. Combining Theorem 1.4.1 with the fact that the rank of a quotient
group cannot exceed the rank of the original group (check!), we obtain
rkZ H1 (G; Z) ≤ rk H1 (G; Z) = rk Gab = rk G/[G, G] ≤ rk G.
Outlook 1.4.12 (homological rank gradient estimate). In this basic form, the
estimate of Corollary 1.4.11 might not seem very impressive and, in general,
24 1. The basic view
where FinSub(G) denotes the set of all finite index subgroups of G and the left
hand side is a suitable “dimension” of H1 (G; `2 (G, C)). There is no example
known of a finitely presented residually finite group, for which this inequality
is not an equality(!).
Theorem 1.4.13 (group cohomology in degree 1). Let G be a group and let
Z be a Z-module. Then (where Z carries the trivial G-action) there is a
canonical isomorphism
H 1 (G; Z) ∼
=Z HomGroup (G, Z).
2 1 0
2 HomG (∂ 2 ,Z) 1 − HomG (∂ 1 ,Z) 0
C (G; Z) o C (G; Z) o C (G; Z)
L L
HomG G2 ZG, Z HomG G ZG, Z HomG (ZG, Z)
=Z
=Z
=Z
∼
L L
HomZ G2 Z, Z HomZ G Z, Z HomZ (Z, Z)
=Z
=Z
=Z
∼
∼
∼
Hence, the elements in the kernel of the coboundary map HomG (∂ 2 , Z) pre-
cisely correspond to those maps G −→ Z that satisfy the homomorphism
condition. Because im(− HomG (∂ 1 , Z)) = 0, it follows that
1.4. Degree 1: Abelianisation and homomorphisms 25
H 1 (G; Z) ∼
=Z ker HomG (∂ 2 , Z) −→ HomGroup (G, Z)
f 7−→ g 7→ f ([g])
[g] 7→ f (g) ←−[ f
H 1 (G; L× ) ∼
=Z 0,
where the G-action on the coefficients L× is the Galois action (and we think
of the coefficients L× as a multiplicative group).
26 1. The basic view
b : C 0 (G) −→ L×
σ0 · [] −→ σ0 (x)
• The induction step: Let n ∈ N>1 and let the claim already be proved for
families of size n−1. Then also (χ1 , . . . , χn ) are L-linearly independent:
Let λ1 , . . . , λn ∈ L with
n
X
λ j · χj = 0
j=1
(where the 0 on the right hand side is the zero function G −→ L). We
will now show that λ1 = · · · = λn = 0:
Because χ1 6= χn , there exists a g ∈ G with χ1 (g) 6= χn (g). Applying
the equation above to g · h with h ∈ G shows that
n
X n
X
∀h∈H 0 = λj · χj (g · h) = λj · χj (g) · χj (h).
j=1 j=1
NL|K (a)
NL|K (x) = (multiplicativity of the determinant/norm)
NL|K σ(x)
NL|K (a)
= (Galois invariance of the norm)
NL|K (a)
= 1.
f : C 1 (G) −→ L×
k−1
Y
1 · [σ k ] 7−→ σ j (x)
j=0
1.4. Degree 1: Abelianisation and homomorphisms 29
1 Qn−1
is a well-defined cocycle in C (G; L× ) (because j=0 σ j (x) = NL|K (x) = 1;
check!). Hence, the cohomological version of Hilbert 90 (Theorem 1.4.17)
0 0
shows that there exists a b ∈ C (G; L× ) with δ (b) = f . Then a := b(1 · [])
satisfies
0 b 1 · [] b 1 · [] a
x = f 1 · [σ] = (δ b) 1 · [σ] = = = ,
b σ · [] σ b(1 · []) σ(a)
as desired.
Remark 1.4.20 (application to number theory). One can now apply Corol-
lary 1.4.19 to roots of unity in the base field: Let L | K be a cyclic Galois
extension of degree n ∈ N and let ζ ∈ K be an n-th root of unity. Then
NL|K (ζ) = ζ n = 1 (we have ζ ∈ K and thus the determinant is just ζ dimK L ).
If σ ∈ Gal(L, K) is a generator of the Galois group of L | K, then Corol-
lary 1.4.19 provides an element a ∈ L with a = ζ · σ(a). In particular,
an ∈ Lσ = K and so X n − an ∈ K[X].
If ζ is a primitive root of unity (primitive in an algebraic closure of K)
and if charK - n, then one can show in this situation that L is the splitting
field of X n − an over K.
This observation is the base case of the inductive proof of the character-
isation of solvability by radicals in terms of solvability of the corresponding
Galois groups [9, Kapitel 6.1] (Chapter III.3.5.2).
Outlook 1.4.21 (generalisations). Clearly, it is possible to prove the classi-
cal Hilbert 90 theorem (Corollary 1.4.19) without talking about group co-
homology (for instance, we could take the same proof and apply the av-
eraging/character argument directly to the specific cocycle in the proof of
Corollary 1.4.19). The cohomological formulation has the advantage that it
is easy to guess generalisations:
• There is an additive version of Theorem 1.4.17, involving the trace
instead of the norm (which is used to complete the characterisation of
cyclic Galois extensions in positive characteristic).
• Further generalisations occur in Kummer theory (i.e., finite Galois ex-
tensions with Abelian Galois group).
• There is a version of Theorem 1.4.17 for infinite Galois extensions (in
terms of continuous group cohomology of the (profinite) Galois group).
Furthermore, also group cohomology in degree 2 plays an important role
in algebraic number theory (as Brauer groups). Therefore, computations in
group cohomology are relevant for algebraic number theory.
N ∩ [F, F ]
H2 (G; Z) ∼
=Z .
[F, N ]
Proof. The Hopf formula admits different proofs, e.g., via spectral sequences
or via classifying spaces. We will give a proof later, once we have more tools
available (Theorem 3.2.18). A proof that only uses basic homological algebra
can be found in the book by Hilton and Stammbach [42, Chapter VI.9].
Hopf’s formula has many applications in group theory; for example, it can
be used to establish an analogue of the rank estimate from Corollary 1.4.11
for the number of relations. In order to formulate this result, we briefly recall
presentations of groups in terms of generators and relations:
Remark 1.5.2 (generators and relations). Let S be a set, let F (S) be “the”
free group generated by S (Appendix A.1), and let R ⊂ F (S). Then the group
generated by S with relations R is defined as
hS | Ri := F (S)/N,
where N := hRi/F (S) ⊂ F (S) is the smallest (with respect to inclusion) nor-
mal subgroup of F (S) containing R. It is common to abuse notation and to
write hS | Ri also to refer to the presentation, not only the group.
1.5. Degree 2: Presentations and extensions 31
ha | i ∼=Group Z
−1 −1
ha, b | aba b i = ∼Group Z2
∼Group Z/2
ha | a2 i =
hs, t | s2019 , t2 , tst−1 si ∼
=Group D2019 .
G∼
=Group F (S)/hRi/F (S)
and we can apply Hopf’s formula (Theorem 1.5.1) to the free group F := F (S)
and the normal subgroup N := hRi/F (S) . Hence, H2 (G; Z) is isomorphic to a
submodule of H1 (N ; Z)G . Because rkZ H1 (N ; Z)G ≤ |R| (Theorem 1.4.1 and
the fact that R normally generates N ), it follows that H2 (G; Z) is finitely
generated.
We can refine this finiteness property to a quantitative statement:
Corollary 1.5.4. Let G be a finitely presentable group and let hS | Ri be a finite
presentation of G. Then
Proof. Again, we can apply Hopf’s formula (Theorem 1.5.1) to the free
group F := F (S) and the normal subgroup N := hRi/F (S) . Then the short
exact sequence in Hopf’s formula shows that
as claimed.
32 1. The basic view
Outlook 1.5.5 (deficiency). Let G be a finitely generated group and let P (G)
denote the “set” of all presentations of G with finite generating set. The
deficiency of G is defined as
def G := max |S| − |R| hS | Ri ∈ P (G) .
1 /A /G /Q /1
0 0
• Extensions 1 /A i /G π /Q / 1 and 1 / A i / G0 π / Q /1
of Q by A are called equivalent if there exists a group homomor-
phism ϕ : G −→ G0 fitting into the commutative diagram
i π
1 /A /G /Q /1
ϕ
1 /A / G0 /Q /1
i0 π0
i π
0 /A /G /Q /1
Q × A −→ A
(q, a) 7−→ “g · a · g −1 ”= i−1 (g · i(a) · g −1 ), where g ∈ G with π(g) = q.
• In the extension
0 /Z 2· · / Z can. proj.
/ Z/2 /1
both lead to the trivial action of Z/2 on Z. But these extensions are
not equivalent (because the extension groups are not isomorphic).
H 2 (Q; A) −→ E(Q, A)
[f ] 7−→ [Ef : 0 → A → Gf → Q → 1]
ηE ←−[ E
34 1. The basic view
are mutually inverse bijections (the extensions Ef and the cohomology class ηE
will be specified in the proof below).
Proof. Again, we will work with the description of H 2 (Q; A) in terms of the
bar resolution (Remark 1.2.14).
We start with the map from the right hand side to the left hand side; i.e.,
we explain how an extension defines a 2-cocycle in such a way that equivalent
extensions lead to cohomologous cocycles. Let E ∈ E(Q, A) and let
i π
0 /A /G /Q /1
F : Q × Q −→ A
(q1 , q2 ) 7−→ s(q1 ) · s(q2 ) · s(q1 · q2 )−1 ;
G −→ A × Q
g 7−→ g · s(π(g))−1 , π(g)
a · s(q) ←−[ (a, q)
(A × Q) × (A × Q) −→ A × Q
(a, q), (a0 , q 0 ) 7−→ a + q • a0 + F (q, q 0 ), q · q 0 .
f : C 2 (Q) −→ A
q0 · [q1 | q2 ] 7−→ q0 • F (q1 , q2 )
∗
is a cocycle in C (Q; A).
• Changing the section. Let s0 : Q −→ G be another set-theoretic section
of π and let f 0 ∈ C 2 (Q; A) be the corresponding cocycle. Because s and
s0 are sections of π, there is a function B : Q −→ A with
Then
b : C 1 (Q) −→ A
q0 · [q1 ] 7−→ q0 • B(q1 )
1
satisfies δ (b) = f 0 − f : By construction, for all q1 , q2 ∈ Q, we have
i0 / G0 π0
0 /A /Q /1
F : Q × Q −→ A
(q1 , q2 ) 7−→ f [q1 | q2 ] .
Inspired by the first part of the proof, on the set A × Q, we define the
composition
(A × Q) × (A × Q) −→ A × Q
(a, q), (a0 , q 0 ) 7−→ a + q • a0 + F (q, q 0 ), q · q 0 .
if πf
0 /A / Gf /Q / 1,
if : A −→ Gf = A × Q
a 7−→ (a + ε, e)
πf : Gf = A × Q −→ Q
(a, q) 7−→ q.
sf : Q −→ Gf = A × Q
q 7−→ (0, q)
1.5. Degree 2: Presentations and extensions 37
q ∗ a = sf (q) · (a + ε, e) · sf (q)−1
= (0, q) · (a + ε, e) · (0, q)−1
= 0 + q • (a + ε) + F (q, e), q · (00 , q −1 )
= q • (a + ε) + F (q, e) + q • 00 + F (q, q −1 ), e
= q • (a + ε) + F (q, e) + ε, e ((00 , q −1 ) is inverse to (0, q))
= (q • a + ε, e) (because f is a cocycle; for [q | e | e])
= if (q • a)
for all q ∈ Q and all a ∈ A; here, we write (00 , q −1 ) := (0, q)−1 . Thus,
i π
the extension Ef := ( 0 / A f / Gf f / Q / 1 ) induces the given
Q-action on A and so represents a class in E(Q, A).
• Changing the cocycle. Similarly to the previous arguments, we see that
changing the cocycle f by a coboundary leads to an equivalent extension
(check!).
Therefore, we obtain a well-defined map H 2 (Q; A) −→ E(Q, A).
These two maps are mutually inverse:
2
• If f ∈ C (Q; A) is a cocycle, then the cocycle associated with the
extension Ef and the set-theoretic section sf : Q −→ Gf is f (check! A
is embedded via if into Gf ). Hence, η[Ef ] = [f ].
Gf = A × Q −→ G
(a, q) 7−→ a · s(q)
with respect to the given Q-action on A (as can be seen from the definition
of the semi-direct product (Chapter III.1.1.6) and the construction of the
extension corresponding to the zero cocycle in the proof of Theorem 1.5.10).
Corollary 1.5.12 (cohomology of free groups in degree 2). Let F be a free group
and let A be a ZF -module. Then H 2 (F ; A) ∼=Z 0.
Proof. In view of the classification theorem (Theorem 1.5.10) and the de-
scription of the extensions corresponding to the zero class (Remark 1.5.11),
it suffices to show that every extension
i π
0 /A /G /F /1
G −→ A o F
g 7−→ g · s(π(g))−1 , π(g)
(where the semi-direct product on the right hand side is formed with respect
to the given F -action on A) shows that the given extension is trivial.
if πf
0 /A / Gf /Q /1
Φ ψ
ig πg
0 / ϕ ∗ A0 / Gg /Q /1
∼
=
ig πg
0 / ϕ ∗ A0 / Gg0 /Q /1
ψ0 ϕ
0 / A0 / Gf 0 / Q0 /1
if 0 πf 0
i π
0 /A /G /Q /1
Φ e
ϕ ϕ
0 / A0 / G0 / Q0 /1
i0 π0
2. In H 2 Q; ϕ∗ (A0 ) , we have H 2 (idQ ; Φ)(ηE ) = H 2 (ϕ; idA0 )(ηE 0 ).
g : C 2 (Q) −→ ϕ∗ A0
[q1 | q2 ] 7−→ Φ f ([q1 | q2 ])
g 0 : C 2 (Q) −→ ϕ∗ A0
[q1 | q2 ] 7−→ f 0 [ϕ(q1 ) | ϕ(q2 )]
40 1. The basic view
are cocycles representing H 2 (idQ ; Φ)(ηE ) and H 2 (ϕ; idA0 )(ηE 0 ), respectively.
Because [g] = [g 0 ], we know that the corresponding extensions Eg and Eg0
of Q by ϕ∗ A0 are equivalent (Theorem 1.5.10). Moreover, the group homo-
morphisms (check!)
ψ : Gf = A × Q −→ ϕ∗ A0 × Q = Gg
(a, q) 7−→ a, ϕ(q)
ψ 0 : Gg0 = ϕ∗ A0 × Q −→ A0 × Q0 = Gf 0
(a0 , q) 7−→ Φ(a0 ), q
fit into the commutative diagram in Figure 1.2 (check!). Therefore, the com-
position of the middle vertical arrows is a group homomorphism ϕ e : Gf −→
Gf 0 with the desired property.
e : π ∗ A o G −→ G
π
(a, g) 7−→ a · g
j q
0 / π∗ A / π∗ A o G /G /1
idA e
π π
0 /A /G
π
/Q /1
i
Outlook 1.5.15 (universal central extensions and the Schur multiplier). Let G
be a perfect group and let H := H2 (G; Z) (which we consider as trivial G-
module). Then H 2 (G; H) is isomorphic to HomZ (H, H) and the extension
of G by H corresponding to idH is the universal central extension, which is
1.6. Changing the resolution 41
P
e
α
α
B π
/C /0
• All free modules are projective (check!). In fact, for most of our appli-
cations free modules will suffice.
Z/2
? idZ/2
~
Z / Z/2 /0
Proj.
• Not every projective module is free: For example, the sections of the
Möbius strip form a projective module over the ring C(S 1 , R) of con-
tinuous functions, which is not free (Beispiel IV.3.4.12).
Definition 1.6.4 (projective resolution). Let R be a ring with unit and let M
be a left R-module. A resoluion of M by R-modules is a pair (C∗ , ε), where
• ε is an R-homomorphism C0 −→ M ,
∂2 ∂1 ε
··· / P2 / P1 / P0 /M /0
1.6. Changing the resolution 43
(e, g1 ) (e, g2 )
(e, g1 , g2 )
g1 g2
(g1 , g2 )
Proof. As the ZG-chain complexes C∗ (G) and C ∗ (G) are isomorphic (Re-
mark 1.2.4) and as these isomorphisms are compatible with ε, it suffices to
prove that
s−1 : Z −→ ZG = C0 (G)
1 7−→ 1
Then we have
ε ◦ s−1 = idZ
s−1 ◦ ε + ∂1 ◦ s0 = idC0 (G)
and
sn−1 ◦ ∂n + ∂n+1 ◦ sn = idCn (G)
for all n ∈ N (check! Figure 1.3); i.e., (sn )n∈N∪{−1} is a chain contraction
of C∗ (G) ε as chain complex of Z-modules (the whole point of the theory
is that this, in general, is not a chain contraction over the ring ZG). This
proves exactness.
More explicitly: By construction, ε is surjective. If c ∈ ker ε, then
c = (s−1 ◦ ε + ∂1 ◦ s0 )(c) = ∂1 s0 (c) ∈ im ∂1 .
e Z) −→ Z
C0 (X;
e 3 σ 7−→ 1,
map(∆0 , X)
fe0 f
C0 γ
/N /0
P
∂n+1
P
Pn+1 / im ∂n+1
P0
h0
e0 −fe0
g
|
C1 / im ∂1C /0
∂1C
Uniqueness follows from the usual universal property yoga (which uni-
versal property in which category?!): Let (P∗ , ε) and (P∗0 , ε0 ) be projective
resolutions of M over R. By the fundamental theorem (Theorem 1.6.7), the
R-homomorphism idM : M −→ M extends to R-chain maps
Moreover, the uniqueness part of the fundamental theorem shows that these
R-chain maps are unique up to R-chain homotopy and that
(fe∗ idM ) ◦ (e
g∗ idM ) 'R idP∗0 idM
g∗ idM ) ◦ (fe∗ idM ) 'R idP∗ idM .
(e
Hn (G; A) ∼
=Z Hn (P∗ ⊗G A)
H (G; A) ∼
n
=Z H n HomG (P∗ , A) .
The challenge now is to find resolutions over the group ring that are well
adapted to the target application.
t2 · e0 t · e1
t · e0
e1
e0
tn−1 · e1
tn−1 · e1
Definition 1.6.10. Let G be a group and let a ∈ ZG. Then we denote the
associated ZG-homomorphism
ZG −→ ZG
x 7−→ x · a
Study note. Why do we choose right multiplication instead of the more com-
mon left multiplication?
Proposition 1.6.11 (a resolution for finite cyclic groups). Let n ∈ N>0 , let
Pn−1
G := Z/n, let t := [1] ∈ Z/n, and let N := j=0 tj ∈ ZG. Then
MN Mt−1 MN Mt−1 ε
··· / ZG / ZG / ZG / ZG /Z
Proof. The chain modules are free ZG-modules, whence projective. Clearly,
N · (1 − t) = 0 ∈ ZG.
Remark 1.6.12 (geometric idea). Let n ∈ N≥2 . The cyclic group G := Z/n
acts freely on the circle by rotation about 2·π/n. This leads to a corresponding
free G-equivariant CW-structure on S 1 (Figure 1.4). Looking at the cellular
homology of this CW-complex results in a short exact sequence
1.6. Changing the resolution 49
η Mt−1 ε
0 / H1 (S 1 ; Z) ∼
=Z Z / ZG / ZG /Z∼
=Z H0 (S 1 ; Z) /0
of ZG-modules,
Pn−1 where ε is the usual augmentation and η is multiplication
by N := j=0 tj . Therefore, we can splice these sequences together to obtain
a long exact sequence of the form
MN Mt−1 MN Mt−1 ε
··· / ZG / ZG / ZG / ZG /Z
Hk+2 (G; A) ∼
=Z Hk (G; A) and H k+2 (G; A) ∼
=Z H k (G; A).
degree 3 2 1 0
Mt−1 ⊗G idA Mt−1 ⊗G idA
··· / ZG ⊗G A / ZG ⊗G AMN ⊗G id/ AZG ⊗G A / ZG ⊗G A
=Z
=Z
=Z
=Z
∼
··· /A /A Pn−1
/A /A
t−1 −1 j=0 t−j t−1 −1
50 1. The basic view
Pn−1 P
Moreover, we have j=0 t−j = g∈G g = N and (t−1 − 1) · A = (t − 1) · A.
Taking homology proves the claim.
Study note. It does not make much sense to memorise the formulas in Corol-
lary 1.6.13. Instead, it is much more efficient to memorise the projective res-
olution in Proposition 1.6.11 and how to compute the (co)homology of finite
cyclic groups from this resolution.
Remark 1.6.14. Let n ∈ N≥2 and G := Z/n. Combining the fundamental
theorem of group (co)homology (Corollary 1.6.9) and the computation of
the cohomology of finite cyclic groups (Corollary 1.6.13 has the following
consequence:
There does not exist a projective resolution (P∗ , ε) of the ZG-module Z
(with trivial G-action) satisfying Pk ∼
=R 0 for all large enough k.
In other words, projective resolutions uncover that even though both the ZG-
module Z and the group G look very tame, the module Z is “complicated”
(Figure 1.5).
As sample application of these computations, we consider a purely group-
theoretic result, namely the classification of finite p-groups with a unique
subgroup of order p (Corollary 1.6.18) and the resulting characterisation of
cyclic p-groups (Corollary 1.6.19); for simplicity, we avoid the prime 2.
Theorem 1.6.15 (classification of p-groups with a cyclic subgroup of index p).
Let p ∈ N be an odd prime. Every (finite) p-group that contains a cyclic
subgroup of index p is isomorphic to exactly one of the groups in the following
list:
A. Z/pn for some n ∈ N>0
1.6. Changing the resolution 51
C. Z/pn o Z/p for some n ∈ N>1 , where the generator [1] of Z/p acts
on Z/pn by multiplication with 1 + pn−1 .
(1 + pn−1 )p ≡ 1 mod pn
Proof of Theorem 1.6.15. The groups listed in the theorem all fall into dif-
ferent isomorphism classes (we can use the cardinality, the set of orders, and
the property of being Abelian as separating invariants).
We now show that the list is complete:
Let G be a finite p-group that contains a cyclic subgroup A of index p.
Then A is a normal subgroup of G (Lemma 1.6.16). Hence, we obtain an
extension
0 / A i / G π / Z/p /1
Á We have H 2 (Z/p; A) ∼
=Z 0.
i π / Z/p
0 /A /G /0
multiplication by k
0 /A /G / Z/p /0
i k◦π
shows that we can restrict to the case that [1] acts by multiplication by 1 +
pn−1 on A.
Ad Á. By Corollary 1.6.13, we have
=Z AZ/p /hN iA ,
H 2 (Z/p; A) ∼
Pn−1 j
Pn−1
where N := j=0 [a ]= j=0 [1 + j · pn−1 ] ∈ A. On the one hand, we have
AZ/p = A[1+p
n−1
]
= [x] ∈ Z/pn pn−1 · x ≡ 0 mod pn
= p · Z/pn .
Proof. The first part follows from elementary number theory (Exercise; the
little Fermat might help). The second part is a consequence of the first part
(Exercise).
A := hx, yiG ⊂ G
Outlook 1.6.20 (the odd even prime). For the prime 2, in principle, the same
arguments apply. However, the situation is a little bit more complicated in
the sense that more groups can occur. More precisely [12, Chapter IV.4]:
Every (finite) 2-group that contains a cyclic subgroup of index 2 is iso-
morphic to exactly one of the groups in the following list:
C. Z/2n o Z/2 for some n ∈ N>1 , where the generator [1] of Z/2 acts
on Z/2n by multiplication with 1 + 2n−1
D. dihedral 2-groups. Z/2n oZ/2 for some n ∈ N>2 , where the generator [1]
of Z/2 acts by multiplication by −1
F. Z/2n o Z/2 for some n ∈ N>2 , where the generator [1] of Z/2 acts
on Z/2n by multiplication by − + 2n−1 .
Proposition 1.6.21 (a resolution for free groups). Let S be a set and let F be
the free group, freely generated by S. Then
0 0 L ∂ ε
··· /0 /0 /
S ZF / ZF /Z
1.6. Changing the resolution 55
Proof. Clearly, the chain modules are free (whence projective). We have (a
fact that does not only hold for free groups)
Therefore, it remains to show that ∂ is injective (and this is special for free
groups).
P To this end, we will make use of the following notation: If y =
g∈G s g ∈ ZF , then we define the support of y by
y ·
supp y := {g ∈ F | yg 6= 0} ⊂ F.
P
Let x := s∈S xs · es be a non-zero element. Then
X := {y · s | s ∈ S, y ∈ supp xs } ∪ {y | s ∈ S, y ∈ supp xs } ⊂ F
b ba
ab
ε a a2
ab−1
Figure 1.6.: A free F -equivariant CW-structure on the 4-regular tree [53, Fig-
ure 3.10]; blue/red edges are the F -orbits of 1-cells.
Remark 1.6.22 (geometric idea). Let F be a free group of rank 2, freely gener-
ated by a and b. Then F ∼ =Group π1 (X, x0 ), where (X, x0 ) := (S 1 , 1) ∨ (S 1 , 1).
The universal covering X e of X is homeomorphic to the (geometric realisa-
tion of the) 4-regular tree (Figure 1.6) and X e inherits a free F -equivariant
CW-structure from the “obvious” CW-structure on X (with one 0-cell and
two 1-cells). The corresponding cellular chain complex is isomorphic to
··· /0 0 /0 0 / L ZF ∂ / ZF,
S
e is contractible (as a
where ∂ is defined as in Proposition 1.6.21. Moreover, X
∼
tree) and so H∗ (X; Z) =Z H∗ (•; Z). This shows that the above complex leads
to a resolution of Z over ZF .
Corollary 1.6.23 ((co)homology of free groups). Let S be a set, let F be the free
group freely generated by S, and let A be a ZF -module. Then, for all k ∈ N≥2 ,
1.6. Changing the resolution 57
Hk (F ; A) ∼
=Z 0 and H k (F ; A) ∼
=Z 0.
degree 2 1 0
0 ⊗F Z /L ZF ⊗F Z
∂⊗F idZ
/ ZF ⊗F Z
S
=Z
=Z
=Z
∼
∼
L
0 /
S Z /Z
0
Corollary 1.6.24 (deficiency of free groups). Let S be a finite set. Then the
free group F (S), freely generated by S, has deficiency
ResG ∗
H := i : ZG Mod −→ ZH Mod
IndG
H := ZG ⊗ZH · : ZH Mod −→ ZG Mod .
CoindG
H := HomH (ZG, · ) : ZH Mod −→ ZG Mod .
ϕ : IndG
H (B) = ZG ⊗ZH B −→ HomH (ZG, B) = CoindH (B)
G
g ⊗ b 7−→ x 7→ χH (x · g) · (x · g) · b
ψ : CoindG G
H B = HomH (ZG, B) −→ ZG ⊗ZH B = IndH (B)
X
f 7−→ g ⊗ f (g −1 )
gH∈G/H
Hn (H; B) ∼
=Z Hn (G; IndG
H B)
H (H; B) ∼
n
=Z H (G; CoindG
n
H B).
I : B −→ ZG ⊗ZH B = IndG
H (B)
b 7−→ 1 ⊗ b
C: CoindG
H (B) = HomH (ZG, B) −→ B
f 7−→ f (1);
are Z-isomorphisms.
Proof. The proof for group homology basically consists of the cancellation
of ⊗G ZG as well as the fundamental theorem of group cohomology (Corol-
lary 1.6.9):
Because the restriction functor turns projective resolutions into projective
resolutions (Proposition 1.7.2), (ResG G
H C∗ (G), ResH ε) is a projective resolu-
tion of the trivial ZH-module Z over ZH. Hence, there is a canonical isomor-
phism
Hn (H; B) ∼ =Z Hn ResG H C∗ (G) ⊗H B (Corollary 1.6.9)
∼
=Z Hn C∗ (G) ⊗G (ZG ⊗ZH B) (induced by I)
G
= Hn C∗ (G) ⊗G IndH B
= Hn (G; IndG
H B).
More precisely, C∗ (i) : C∗ (H) −→ ResGH C∗ (G) is a chain map that extends
the identity of Z. Because both sides are projective resolutions, C∗ (i) is al-
ready “the” ZH-chain homotopy equivalence. This induces the first isomor-
phism in the above computation. The second isomorphism is induced by I
(and the canonical projection from ⊗H to ⊗G ). Therefore, the whole isomor-
phism coincides with Hn (i; I).
Similarly, the version for cohomology can be proved using the cancellation
of HomG ( · , HomH (ZG, · )) (check!).
62 1. The basic view
C∼
=Z H1 (C; Z) (C is Abelian; Theorem 1.4.1)
∼
=Z H1 (G; IndG Z) (Shapiro lemma; Theorem 1.7.8)
C
∼
=Z 0 (by assumption).
H n (G; ZG) ∼
=Z H n (H; ZH).
H n (H; ZH) ∼
=Z H n (G; CoindG
H ZH).
Because the subgroup H has finite index in G, we can convert the coinduction
into an induction: CoindG ∼ G
H ZH =Z IndH ZH (Proposition 1.7.7). Therefore,
we obtain
H n (H; ZH) ∼
=Z H n (G; IndG
H ZH)
∼ n
=Z H (G; ZG), (Example 1.7.5)
as claimed.
Study note. Why is the corresponding result for H∗ (G; ZG) not exciting?
Outlook 1.7.11 (geometric meaning of H 1 (G; ZG)). Let G be an infinite,
finitely generated group. Then H 1 (G; ZG) is related to the number e(G)
of ends of G. The number of ends of G is the number of path-connected
components “at infinity” of (geometric realisations of Cayley graphs of) G [53,
Chapter 8.2]. One then has [32, Theorem 13.5.5][80]:
• e(G) = 1 if and only if rkZ H 1 (G; ZG) = 0,
• e(G) = 2 if and only if rkZ H 2 (G; ZG) = 1,
• e(G) = ∞ if and only if rkZ H 2 (G; ZG) = ∞,
• and there are no other cases.
Typical examples of these three cases are Z2 , Z, and the free group of rank 2,
respectively (Exercise). The number of ends does not change when passing
to a finite index subgroup; algebraically, this is reflected in Corollary 1.7.10.
1.7. (Co)Homology and subgroups 63
1.7.3 Transfer
For subgroups of finite index, there are also “wrong-way” maps, the transfer
maps:
H∗ (H; ResG
H A)
O
transfer Hn (incl.;idA )
H∗ (G; A)
Transfer maps usually are defined through some averaging process. Firstly,
the maps going in the “right” direction are the (co)restriction maps:
For the “wrong-way” maps, we will use the following hands-on description;
one should note that even though the maps on the chain level are only well-
defined/unique up to (co)chain homotopy, after passage to (co)homology,
we obtain well-defined, canonical homomorphisms (because (co)homology is
chain homotopy invariant).
X
x⊗a / (g −1 · x) ⊗ (g −1 · a)
gH∈G/H
X
f / x 7→ g · f (g −1 · x) .
gH∈G/H
corG G
H ◦ resH (α) = [G : H] · α
Study note. In Theorem 1.7.15, in the homological case, resG H is the transfer
map; in the cohomological case, corGH is the transfer map. This slight abuse
of notation allows us to state properties of the transfer in a uniform way.
C∗ (G) ⊗G A −→ C∗ (G) ⊗G A
X X
x ⊗ a 7−→ (g −1 · x) ⊗ (g −1 · a) = x ⊗ a,
gH∈G/H gH∈G/H
The transfer shows that rationally all finite groups look like the trivial
group:
Corollary 1.7.16. Let G be a finite group and let R be a commutative ring with
unit (with trivial G-action) in which |G| is invertible. Then, for all n ∈ N>0 :
Hn (G; R) ∼
=Z 0 and H n (G; R) ∼
=Z 0.
In particular, Hn (G; Q) ∼
=Z 0 and H n (G; Q) ∼
=Z 0 for all n ∈ N>0 .
1.7. (Co)Homology and subgroups 65
Proof. We only consider homology; the cohomological case works in the same
way. We apply the transfer (Theorem 1.7.15) to the trivial subgroup H = 1:
Then [G : H] · idHn (G;R) factors over Hn (1; R) ∼ =Z 0. Because [G : H] is
invertible in R, we obtain that also idHn (G;R) is the zero map.
Moreover, we can deduce torsion results of the following type from the
transfer formula (Theorem 1.7.15).
Example 1.7.17 (some torsion results).
• The group SL2 (Z) contains a free group of index 12 [53, Proposi-
tion 4.4.2]. Therefore, the transfer (Theorem 1.7.15) and the vanishing
of the (co)homology of free groups in higher degrees (Corollary 1.6.23)
shows that for all k ∈ N≥2 :
12 · Hk SL2 (Z); Z ∼ =Z 0 and 12 · H k SL2 (Z); Z ∼ =Z 0.
2 · Hk (D∞ ; Z) ∼
=Z 0 and 2 · H k (D∞ ; Z) ∼
=Z 0.
Gab −→ Hab
[G:H]
Y
[g] 7−→ gk · g · R(gk · g)−1 ,
k=1
• On the one hand, we will see how suitable choices of coefficients lead
to geometric invariance properties of group homology.
• On the other hand, we will modify the simplicial cochain complex in a
metric way.
2.1.1 Quasi-isometry
Using word metrics, we can view groups as metric spaces:
dS : G × G −→ N ⊂ R≥0
(g, h) 7−→ min{n ∈ N | ∃s1 ,...,sn ∈S∪S −1 g −1 h = s1 · · · · · sn }.
Then the word metric dS on G is the graph metric of Cay(G, S) on its set
of vertices (i.e., all edges have length 1 and the distance between to vertices
is the length of a shortest path) (check!). A few prototypical examples are
shown in Figure 2.1.
The word metric does depend on the chosen generating set. But all word
metrics associated with finite generating sets on a given group lead to the
same large-scale geometry. Large-scale geometry arises by relaxing the notion
of isometry by allowing for uniformly bounded error terms.
2.1. Foundations: Geometric group theory 69
b ba
[2] [1] (−2, 2) (−1, 2) (0, 2) (1, 2) (2, 2)
ab
−2 −1 0 1 2 (−2, 1) (−1, 1) (0, 1) (1, 1) (2, 1)
ε a a2
[3] [0]
ab−1
(−2, 0) (−1, 0) (0, 0) (1, 0) (2, 0)
(−2, −1) (−1, −1) (0, −1) (1, −1) (2, −1)
[4] [5]
(−2, −2) (−1, −2) (0, −2) (1, −2) (2, −2)
Cay Z/6, {[1]} Cay Z, {1} Cay Z2 , {(1, 0), (0, 1)} Cay ha, b | i, {a, b}
dT (g, h) = dT (g, g · s1 · · · · · sn )
≤ dT (g, g · s1 ) + dT (g · s1 , g · s1 · s2 )
+ · · · + dT (g · s1 · · · · · sn−1 , g · s1 · · · · · sn ) (triangle inequality)
= dT (e, s1 ) + dT (e, s2 ) + · · · + dT (e, sn ) (left-invariance)
≤c·n (construction of c)
= c · dS (g, h). (definition of n)
1
∀x,x0 ∈X · dX (x, x0 ) − b ≤ dY f (x), f (x0 ) ≤ c · dX (x, x0 ) + b.
c
2.1.2 Amenability
m(g · f ) = m(f ).
Example 2.1.12 (finite groups are amenable). Let G be a finite group. Then
G is amenable; this is witnessed by the invariant mean
`∞ (G, R) −→ R
1 X
f 7−→ · f (x).
|G|
x∈G
Fn := {−n, . . . , n} ⊂ Z.
m : `∞ (Z, R) −→ R
1 X
f 7−→ lim · f (x).
n∈ω |Fn |
x∈Fn
A ∪ A · a−1 = F.
1 = m(1)
= m(χA∪(A·a−1 ) )
≤ m(χA ) + m(χA·a−1 )
= m(χA ) + m(a · χA )
= m(χA ) + m(χA ) (left-invariance)
= 2 · m(χA ),
and so m(χA ) ≥ 1/2. However, the sets A, A·b and A·b2 are pairwise disjoint;
therefore,
74 2. The geometric view
1 = m(1)
≥ m(χA∪A·b∪A·b2 )
= m(χA ) + m(χA·b ) + m(χA·b2 )
= 3 · m(χA ) (left-invariance)
3
≥ ,
2
which is impossible. Hence, F is not amenable.
Proposition 2.1.16 (inheritance properties of amenable groups).
1. Subgroups of amenable groups are amenable.
2. Homomorphic images of amenable groups are amenable.
3. Let
1 /N /G /Q /1
Outlook 2.1.17 (the von Neumann problem). Our previous discussion shows
that: A group that contains a free subgroup of rank 2 is not amenable. Con-
versely, the von Neumann problem asked whether the converse also holds.
By now, it is known that the converse does not hold; i.e., there exist
non-amenable groups that do not contain a free subgroup of rank 2 [63].
However, for an early candidate of such an example (namely, Thompson’s
group F , which is known to not contain any free subgroups of rank 2), it is
still an open problem to decide whether this group is amenable or not!
The von Neumann problem had a big influence on the development of ge-
ometric group theory and measurable group theory. Moreover, it turns out
that converse statements of these type do hold in certain geometric situa-
tions [90, 30, 77].
Example 2.2.1.
• Free groups of rank 2 contain free groups of rank 3 of finite index (in-
dex 2; Example AT.2.3.49, Corollary AT.5.3.13); therefore, free groups
of rank 2 and 3 are quasi-isometric (check!), but H1 (ha, b | i; Z) ∼6 Z
=
H1 (ha, b, c | i; Z).
• The metric space (X, d) is uniformly discrete if there are uniform gaps
between all points, i.e., if
inf d(x, x0 ) x, x0 ∈ X, x 6= x0 > 0.
• The metric space (X, d) has bounded geometry if balls of fixed radius
are uniformly bounded, i.e., if
∀r∈R>0 ∃Kr ∈N ∀x∈X BrX,d (x) ≤ Kr .
76 2. The geometric view
describes a well-defined R-linear map and this turns C∗uf (X; R) into an
R-chain complex.
Proof. We first have to show that the boundary operator is well-defined;
even though the notation is suggestive, as the “sums” are not necessarily
finite, this is not just a “linear extension” of the usual definition on the
standard
P basis! Therefore, we first have to correct the description of ∂n : Let
c = x∈X n+1 cx · x ∈ Cnuf (X; R). Then
X n −→ R
k
X X
y 7−→ (−1)j · cx
j=0 x∈{z∈X n+1 |(z0 ,...,b
zj ,...,zn )=y}
uf
is a well-defined chain in Cn−1 (X; R) (Exercise). This is the chain that is
meant by the (more suggestive, but less correct) description in the claim.
That ∂n ◦ ∂n+1 = 0 holds follows as in the standard argument in the
simplicial world (check! see also Remark 1.2.2).
Definition 2.2.5 (uniformly finite homlogy). Let R be a normed ring, let (X, d)
be a UDBG space, and let n ∈ N. Then, we define the uniformly finite
homology of X with coefficients in R in degree n by (where ∂0 := 0)
uf
ker ∂n : Cnuf (X; R) → Cn−1 (X; R)
Hnuf (X; R) := uf (X; R) → C uf (X; R)
∈ Ob(R Mod).
im ∂n+1 : Cn+1 n
(check!). Indeed, this is the same computation as for the homology of the
trivial group (Example 1.2.8) or the singular homology of the one-point space.
Proposition and Definition 2.2.7 (functoriality of uniformly finite homology).
Let R be a normed ring and let (X, dX ), (X, dY ) be UDBG spaces.
1. Let f : (X, dX ) −→ (Y, dY ) be a quasi-isometric embedding. Then, for
each n ∈ N,
Y n+1 −→ R
X
y 7−→ cx
x∈{z∈Z n+1 |(f (z0 ),...,f (zn ))=y}
are well-defined for each n ∈ N and form mutually inverse R-chain isomor-
phisms C∗uf (G; R) ←→ C∗ (G; `∞ (G, R)). In particular, there are canonical
isomorphisms Hn G; `∞ (G, R) ∼ =R Hnuf (G; R).
Proof. This follows from lengthy, but straightforward, computations (check!
do you see how the finiteness conditions correspond to each other?).
Corollary 2.2.12 (a homological QI-invariant). Let R be a normed ring, let G
and H be finitely generated groups with G ∼QI H, and let n ∈ N. Then, every
quasi-isometry G −→ H induces an isomorphism
Hn G; `∞ (G, R) ∼ =R Hn H; `∞ (H, R) .
as claimed.
80 2. The geometric view
c(x) = (∂1eb)(x)
e
X X
= eb(y, x) − eb(x, y) (definition of ∂1eb)
y∈X y∈X
X X
≥ (2 · K + 1) · b(y, x) − b(x, y) − 2 · K · 1 (improved floor estimate)
y∈X y∈X
y5 ...
(y6 , y5 ) y6
(y5 , y4 )
y3
(y4 , y3 ) y4
(y3 , y2 )
x (y1 , y0 ) y1 (y2 , y1 ) y2
coefficients of c are non-negative) and [c] = 0 in H0uf (X; Z), then there exists
a family (tx )x∈supp c of chains in C1uf (X; Z) with the following properties:
• and
X X X
tx = tx (y) · y
x∈supp c y∈X 2 x∈supp c
P
Proof. Let b = x∈X 2 bx ·x ∈ C1uf (X; Z) with ∂1 b = c. Using ∂1 (1·(x0 , x1 )) =
−∂1 (1 · (x1 , x0 )) for all x ∈ X 2 , we may assume without loss of generality
that bx ≥ 0 for all x ∈ X 2 (check!).
We extract the tails tx out of b by (double) induction. Because X is count-
able, we can enumerate all points of supp c and treat one point of supp c at
a time.
Let x ∈ supp c; we set y0 := x. Because ∂1 b = c and b ≥ 0 (and b is
integral), there exists a y1 ∈ X \ {y0 } with
b(y1 ,y0 ) ≥ 1.
By induction over supp c, we can construct tails for all points in supp c. By
construction, the accumulation of these tails is contained in the non-negative
2.2. Uniformly finite homology 83
1 1 1
1
1
1
1
1 1
1 1
1
1 1 1
1 1
1
1 1 1
1
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1
1
1 1
1 1 1 1
1 1
1 1
1
1
1
1
1 1 1
P
uniformly finite chain b and whence their “sum” “ x∈X tx ” is a well-defined
uniformly finite chain in C1uf (X; Z) with the desired properties.
holds means that afterwards every point in X has something (namely 1) even
though they had nothing in the beginning (namely 0). The chain b pushes
the problem of generating enough money to infinity (in particular, the total
amount of money in this system is infinite . . . ). Figure 2.3 shows such a flow
84 2. The geometric view
for the UDBG space given by the vertices of the rooted 3-regular tree (with
the path-metric induced by the graph structure).
A famous example of real-world schemes that “worked” in a similar way
are the so-called Ponzi schemes (Exercise).
Finally, we can complete the proof of the homological characterisation of
amenability:
Proof of Theorem 2.2.13. Ad 1 =⇒ 2. Let G be amenable, i.e., G admits
a left-invariant mean m : `∞ (G, R) −→ R. We now use the mean m for a
transfer-like argument:
Let i : R −→ `∞ (G, R) be the injective R-linear map given by viewing
scalars as constant functions on G (this map is ZG-linear!). Because m is
normalised, we have m ◦ i = idR . Moreover, (idG , i) and (idG , m) are mor-
phisms in GroupMod (check!). Therefore, we obtain for every n ∈ N
Outlook 2.2.21 (QI-invariance of the Hirsch rank). One can use an amenable
transfer argument in uniformly finite homology and the quasi-isometry in-
variance of uniformly finite homology to show that Zn ∼QI Zm if and only
if n = m (Exercise).
More generally, one can also use uniformly finite homology to give an
alternative proof of the fact that the Hirsch rank is a quasi-isometry invariant
of finitely generated (virtually) nilpotent groups [7].
Remark 2.3.7 (bounded cohomology in degree 0). The same argument as in the
proof of the computation of group cohomology in degree 0 (Theorem 1.3.1)
shows that the functor Hb0 is canonically naturally isomorphic to the invari-
ants functor GroupBan* −→ Ban (check!).
Remark 2.3.8 (bounded cohomology in degree 1). The same argument as in
the computation of H 1 ( · ; R) (Theorem 1.4.13) shows that for each group G
we have (check!):
Hb1 (G; R) ∼
=R ϕ ∈ HomGroup (G, R) sup |ϕ(g)| < ∞ (bounded version of Theorem 1.4.13)
g∈G
∼
=R 0 (R has no non-trivial bounded subgroups)
Hbn (G; V # ) ∼
=R 0.
Notation 2.3.11. For a right Banach G-module V , we write V # for the Ba-
nach G-module consisting of the Banach space of bounded linear function-
als V −→ R together with the left G-action
G × V # −→ V #
(g, f ) 7−→ x 7→ f (x · g) .
t∗ ◦ i∗ = idCb∗ (G;R)
V := `∞ (G, R)/C,
The condition Hb1 (G; V # ) ∼=R 0 can be used to show that there exists a
bounded R-linear functional µ : `∞ (G, R) −→ R with µ(1) = 1 that is (left)
G-invariant (Exercise); unfortunately, it is not a priori clear that the norm
of µ is 1 (equivalently, that µ is positive).
One can then apply a decomposition argument from functional analysis to
improve this to a bounded linear functional m : `∞ (G, R) −→ R with m(1) =
1 that is positive: Similarly to the Hahn decomposition of signed measures of
finite total variation [45, Chapter 7.1.2] there is a “minimal” decomposition
µ = µ+ − µ−
is finite.
• A quasi-morphism ϕ : G −→ R is trivial if it is uniformly close to a
homomorphism, i.e., if there exists a group homomorphism ψ : G −→ R
with
sup ϕ(g) − ψ(g) < ∞.
g∈G
2.3. Bounded cohomology 91
One can now wonder whether every quasi-morphism (i.e., a map that al-
most satisfies the homomorphism condition) has to be trivial (i.e., uniformly
close to a homomorphism). Bounded cohomology answers this question (The-
orem 2.3.17). Homogeneous quasi-morphisms allow to express the difference
between quasi-morphisms and group homomorphisms in a simplified way:
Proposition 2.3.14 (homogenisation of quasi-morphisms). Let G be a group
and let ϕ : G −→ R be a quasi-morphism.
1. Then the following map is a homogeneous quasi-morphism on G that is
uniformly close to ϕ:
ϕ : G −→ R
1
g 7−→ lim · ϕ(g n )
n→∞ n
Proof. The first part follows from Lemma 2.3.15 and a straightforward com-
putation (Exercise). The second part follows from the first part and the fact
that the homogenisation of a trivial quasi-morphism is a group homomor-
phism (Exercise).
Lemma 2.3.15 (convergence of normalised sequences). Let (an )n∈N be a se-
quence of real numbers.
1. If supn,m∈N |an+m − an − am | is finite, then the sequence (an /n)n∈N>0
converges.
2. If the sequence (an )n∈N is non-negative and an+m ≤ an + am for
all n, m ∈ N, then the sequence (an /n)n∈N>0 converges and
1 1
lim · an = inf · an .
n→∞ n n∈N>0 n
ψw : F −→ R
g 7−→ #(w, g) − #(w−1 , g)
The word gh, in general, is not reduced; therefore, we have to be careful with
counting occurrences of w and w−1 at the “end” of g and the “beginning”
of h. Let r be the tail/initial part of g and h, respectively, that is deleted
when forming the product g · h; i.e., g = g 0 r and h = r−1 h0 are reduced
decompositions and g 0 h0 is the reduced word that represents g · h.
Then the only terms that can contribute to D(g, h) are occurrences of w
or w−1 that intersect with r in g or h but are not completely contained in r
(Figure 2.4); the number of these occurrences can be bounded in terms of the
length `(w) of w. More precisely: For all x, y ∈ F for which xy is reduced, we
have
#(w, xy) − #(w, x) − #(w, y) ≤ `(w).
Therefore, we obtain
D(g, h) = #(w, g 0 h0 ) − #(w−1 , g 0 h0 )
− #(w, g 0 r) + #(w−1 , g 0 r)
− #(w, r−1 h0 ) + #(w−1 , r−1 h0 )
≤ 6 · `(w)
g·h g
1
ψ w (a) = lim · ψw (an ) = 0
n
n→∞
1
ψ w (b) = lim · ψw (bn ) = 0.
n→∞ n
HomGroup (G, R)
incl. / QM(G) ∆ / H 2 (G; R)comparison
/ H 2 (G; R)
b map
Proof. We briefly comment on the use of the bar complex: As in the situation
of ordinary cohomology, we may also describe bounded cohomology in terms
R
of the bar complex (to simplify notation). Let C ∗ (G) := R ⊗Z C ∗ (G) be the
R-version of the bar complex and let
∗ R
C b (G; R) := BHomG C ∗ (G), R
be the corresponding bounded dual. Then the isomorphism from Remark 1.2.4
carries over to this bounded setting and shows that we can compute Hb2 (G; R)
∗
as H 2 (C b (G; R)) (check!).
94 2. The geometric view
G −→ R
g 7−→ ϕ(g) + f [g]
Proof. Because F retracts onto a free group of rank 2, we only need to con-
sider the case of ha, b | i (check!).
As the free group ha, b | i admits non-trivial (counting) quasi-morphisms
(Proposition 2.3.16), the description of Hb2 ( · ; R) in terms of quasi-morphisms
(Theorem 2.3.17) shows that Hb2 (ha, b | i; R) 6∼ =R 0 and that the comparison
map Hb2 (ha, b | i; R) −→ H 2 (ha, b | ; iR) is not injective.
Remark 2.3.23 (lim vs. inf). Let G be a group and let g ∈ [G, G]. Then the
second part of Lemma 2.3.15 shows that
1
sclG g = lim · clG g n .
n→∞ n
Proof. As first step, we show that ϕ(a · b · a−1 ) = ϕ(b): Because ϕ is homo-
geneous, we have
ϕ(a · b · a−1 ) − ϕ(b) = 1 · ϕ((a · b · a−1 )n ) − ϕ(bn )
n
1
= · ϕ(a · bn · a−1 ) − ϕ(bn )
n
1
≤ · ϕ(a · bn · a−1 ) − ϕ(a · bn ) − ϕ(a−1 ) + ϕ(a · bn ) + ϕ(a−1 ) − ϕ(bn )
n
1
= · ϕ(a · bn · a−1 ) − ϕ(a · bn ) − ϕ(a−1 ) + ϕ(a · bn ) − ϕ(a) − ϕ(bn )
n
1 1
≤ · ϕ(a · bn · a−1 ) − ϕ(a · bn ) − ϕ(a−1 ) + · ϕ(a · bn ) − ϕ(a) − ϕ(bn )
n n
2
≤ · D(ϕ)
n
for all n ∈ N. Taking n → ∞ shows that |ϕ(a · b · a−1 − ϕ(b)| = 0. Therefore,
2.3. Bounded cohomology 97
ϕ [a, b] = ϕ(a · b · a−1 · b−1 ) − ϕ(a · b · a−1 ) − ϕ(b−1 ) + ϕ(a · b · a−1 ) + ϕ(b−1 )
≤ D(ϕ) + ϕ(a · b · a−1 ) + ϕ(b−1 )
= D(ϕ) + ϕ(b) − ϕ(b)
= D(ϕ),
as claimed.
Theorem 2.3.26 (Bavard duality). Let G be a group and let g ∈ [G, G]. Then
(where sup ∅ = 0)
1 ϕ(g)
sclG g = · sup .
2 ϕ∈QM(G)\HomGroup (G,R) D(ϕ)
Proof. We only prove the easy estimate: Let ϕ ∈ QM(G). Then the commu-
tator estimate (Proposition 2.3.25) and a straightforward induction over the
commutator length (check!) show that
∀g∈[G,G] ϕ(g) ≤ 2 · D(ϕ) · clG g.
∀g∈[G,G] sclG g = 0.
This can be viewed as a far-reaching generalisation of the fact that the com-
mutator subgroup of an Abelian group is trivial.
Moreover, ϕ is not a group homomorphism (we can use the same argument
as in the proof of Proposition 2.3.16). Therefore, Bavard duality shows that
98 2. The geometric view
1 1
sclF [a, b] ≥ · > 0.
2 D(ϕ)
Outlook 2.3.29 (values of scl). More precisely, we have in the free group F :=
ha, b | i the following results on stable commutator length [14]:
• More careful estimates show that sclF [a, b] = 1/2.
Group homology and group cohomology are derived functors of tensor and
Hom-functors, respectively. We will briefly describe this aspect of group
(co)homology (leading to an axiomatic description of group homology) and
explain how computational tools from homological algebra can be used in
group (co)homology (e.g., spectral sequences).
F (i) F (π)
F (A0 ) / F (A) / F (A00 ) /0
is exact in D.
F (i)
The functor F is exact if, in addition, also 0 / F (A0 ) / F (A) is
exact.
Example 3.1.3. Tensor product functors are (additive and) right exact, as
can be seen from the adjunction with the Hom-functor (Korollar IV.1.5.14).
3.1. Derived functors 101
/ A0 i π / A00
0 /A /0
f0 f f 00
0 / B0 /B / B 00 /0
j ϕ
Tn+1 (f 00 ) Tn (f 0 ) Tn (f ) Tn (f 00 )
··· / Tn+1 (B 00 ) / Tn (B 0 ) / Tn (B) / Tn (B 00 ) / ···
∂n+1 Tn (j) Tn (ϕ) ∂n
L0 := F
∀n∈N>0 Ln := 0
∀n∈N ∂n := 0
3.1.2 A construction
In order to construct a left-derived functor of a right-exact functor, we pro-
ceed as follows:
• We replace objects by projective resolutions (i.e., by decomposition into
homologically simpler objects),
• apply the functor in question to these projective resolutions,
• and measure the failure of exactness via homology.
Theorem 3.1.8 (existence of derived functors). Let F : C −→ D be a right-
exact functor between module categories. Then there exists a left-derived func-
tor of F . (Moreover, by Remark 3.1.6, we have essential uniqueness.)
Proof. As first step, we construct the functors (Ln : C −→ D)n∈N : For
each A ∈ Ob(C), we choose a projective resolution (P∗A , εA ) of A in C (as
module category, C contains enough projectives (Proposition IV.5.2.10). Let
n ∈ N; we then define Ln : C −→ D as follows:
• On objects: For A ∈ Ob(C), we set
Ln (A) := Hn F (P∗A ) ∈ Ob(D).
∂1A εA
P1A / P0A /A /0
f1 f0 f
P1B / P0B /B /0
∂1B εB
“F (εA )”
L0 (A) H0 (F (P∗A )) F (P0A )/ im F (∂1A ) F (P0A )/ ker F (εA ) ∼ / F (A)
=D
Hence, L0 ∼
= F.
As next step, we construct the connecting morphisms, using the horseshoe
lemma and the long exact sequence in homology (Appendix A.2):
104 3. The derived view
F (i∗ ) F (π∗ )
0 / F (P∗A0 ) / F (Q∗ ) / F (P∗A00 ) /0
We then define the connecting morphisms for the given short exact
sequence as the connecting morphisms in this long exact sequence.
T
∂n+1 Tn (i)
Tn+1 (A) / Tn (K) / Tn (P )
in D with exact rows. A simple diagram chase shows that there is a unique
morphism τn+1 (A) in D that makes the left-hand square commutative
(check!).
One now has to check that τn+1 (A) indeed is compatible with the con-
necting morphisms of all short exact sequences with A as quotient and that
τn+1 is compatible with homomorphisms of modules:
i π
0 /K /P /A /0
f0 f
0 / B0 /B /A /0
j ϕ
i π
0 /K /P /A /0
0 /M /Q
ϕ
/B /0
j
T
∂n+1
Tn+1 (A) / Tn (K)
Tn (f 0 )
T y
∂n+1
Tn+1 (A) / Tn (B 0 )
τn+1 (A) τn+1 (A) τn (B 0 ) τn (K)
Ln+1 (A) L / Ln (B 0 )
∂n+1 e
Ln (f 0 )
Ln+1 (A) L
/ Ln (K)
∂n+1
i π
0 /K /P /A /0
f0 p f
0 /M /Q
ϕ
/B /0
j
as desired.
This completes the proof that L∗ is a left-derived functor of F .
During the proof, we also used/established the following property (that
allows to express derived functors in higher degree by lower degrees, for the
price of changing the objects):
Corollary 3.1.9 (dimension shifting). Let F : C −→ D be a right-exact functor
between module categories and let L∗ be a/“the” left-derived functor of F .
Let A ∈ Ob(C) and let
i π
0 /K /P /A /0
Ln+1 (A) ∼
=D Ln (K).
3.1. Derived functors 107
Tn (f 0 )
Tn (K) / Tn (M )
f T T 8
∂n+1 ∂n+1
Tn+1 (f )
Tn+1 (A) / Tn+1 (B)
τn (K) τn+1 (A) τn+1 (B) τn (M )
Ln+1 (A) / Ln+1 (B)
Ln+1 (f )
L L
x ∂n+1 ∂n+1 &
Ln (K) / Ln (M )
Ln (f 0 )
Moreover,
L1 (A) ∼
=D ker L0 (i) : L0 (K) → L0 (A) .
Proof. By observation Á of the proof of Theorem 3.1.8, we know that Ln is
trivial on projectives, provided that n ∈ N>0 . The claim then follows from
the long exact sequence obtained from the given short exact sequence by
application of L∗ .
TorR ∼
n (M, A) =Z Hn (M ⊗R P∗ ).
TorR ∼
n (M, · ) =Z Hn (P∗ ⊗R · ).
Proof. We prove this via the universal property of derived functors; therefore,
we first introduce an appropriate homological ∂-functor:
P∗ ⊗R i
0 / P∗ ⊗ R A 0 / P∗ ⊗R A P∗ ⊗R π/ P∗ ⊗R A00 /0
Ln (Q) = Hn (P∗ ⊗R Q) ∼
=Z 0.
Proof. We start with the last claim; in fact, we already know this – this is
nothing but the fundamental theorem of group homology (Corollary 1.6.9).
Then (Inv P∗ , Inv ε) is a projective resolution of Z by right ZG-modules.
Hence, Theorem 3.1.11 shows that
Hn (G; A) ∼=Z Hn (P∗ ⊗G A) = Hn (Inv P∗ ) ⊗ZG A ∼ =Z TorZG
n (Z, A).
∂n+1
··· / Hn (G; A0 )Hn (idG ;i)
/ Hn (G; A)Hn (idG ;π)
/ Hn (G; A00 ) ∂n
/ Hn−1 (G; A0 ) / ···
Hn+1 (G; A) ∼
=Z Hn (G; K).
Moreover, H1 (G; A) ∼
=Z ker H0 (idG ; i) : H0 (G; K) → H0 (G; A) .
=Z TorZG
Proof. By Theorem 3.1.12, H∗ (G; · ) ∼ ∗ (Z, · ). Therefore, the listed
properties follow from the corresponding properties of the derived func-
tor TorZG
∗ (Z, · ) of Z ⊗ZG · (Definition 3.1.5, proof of Theorem 3.1.8,
Corollary 3.1.9).
110 3. The derived view
0 /Z /R / S1 /0
Hn (G; R) ∼
=Z 0
for all n ∈ N>0 (Corollary 1.7.16). Hence, the long exact sequence in group
homology (Corollary 3.1.13) associated with the short exact coefficients se-
quence above shows that
Hn (G; S 1 ) ∼
=Z Hn−1 (G; Z)
Similarly, to the case of Tor, one can also compute Ext by resolving the first
variable [87, Chapter 2.7]: If (P∗ , ε) is a projective R-resolution of M , then,
for all n ∈ N,
ExtnR (M, A) ∼=Z H n R Hom(P∗ , A) .
As in the case of group homology, also cohomology can be described in
terms of derived functors (check!):
Theorem 3.1.16 (group cohomology as Ext-functor). Let G be a group and let
n ∈ N. Then there is a canonical natural isomorphism
H n (G; · ) ∼
=Z ExtnZG (Z, · )
• We might strive for a uniform setup for both objects in C as well as res-
olutions of objects in C. We can view A as chain complex concentrated
in degree 0 and ε : P∗ −→ A as a chain map; however, ε, in general,
will not be a chain homotopy equivalence, but only a chain map that
induces an isomorphism on the level of homology.
is an R-isomorphism.
P1 0
∂1 0
P0 ε
/A
Proof. Using mapping cones (Definition 3.1.22, Proposition 3.1.23), one only
needs to consider the case that one of the two complexes is trivial (Exercise).
In this case, the theorem can be deduced from the fundamental theorem of
homological algebra (Theorem 1.6.7) (Exercise).
3.1. Derived functors 113
for all n ∈ N (where C−1 := 0), equipped with the boundary operators
Proof. This can be extracted from a suitable long exact homology sequence
(Exercise).
Study note (mapping cones). For the boundary operator on Cone(f∗ ), several
different sign conventions are in use. Therefore, literature has to be used with
care! Of course, the mapping cone of chain maps is an algebraic imitation of
the topological mapping cone; however, the algebraic version has slightly
“better” properties (Exercise).
Fe ◦ q = F.
114 3. The derived view
F
C /E
>
q
e
F
D
(If D and q exist, then they are unique up to natural equivalence, and the
category D is usually denoted by C[S −1 ] or S −1 C.)
In general, localisation categories do not exist and (if they exist) might be
hard to compute (for various reasons).
Theorem 3.1.26 (the derived category). Let R be a ring. Then there exists a
localisation D(R) of R Ch at the class of all quasi-isomorphisms, the derived
category of R Mod. More concretely, D(R) can be constructed as a localisa-
tion of R Chh at the class of all quasi-isomorphisms, which in turn can be
constructed by the following calculus of fractions:
XO 0
s
} u !
X ao X 000 /Y
=
t
X 00
3.1. Derived functors 115
s◦s 0 g◦f 0
Xo X 00 /Z
f0
X 00 / Y0
s0 t
X0 /Y
f
idX [f ]'
Xo X /Y .
the technicality that we should work with bounded below chain complexes
instead of N-indexed chain complexes).
If F : R Mod −→ S Mod is an exact functor, then it is not difficult to see
that there is a corresponding functor D(F ) : D(R) −→ D(S) (of triangulated
categories) that satisfies
D(F ) ◦ qR = qS ◦ F,
Definition 3.1.27 (total derived functor). Let R and S be rings and let
F : R Mod −→ S Mod be a right-exact functor. Then a total left-derived functor
of F is a functor L F : D(R) −→ D(S) (of triangulated categories) together
with a natural transformation τ : (L F ) ◦ qR =⇒ qS ◦ F with the following
universal property:
If G : D(R) −→ D(S) is a functor (of triangulated categories) and if σ : G◦
qR =⇒ qS ◦ F is a natural transformation, then there exists a unique natural
transformation σe : G =⇒ L F such that
∀A∈Ob(R Ch) τ (A) ◦ σ
e qR (A) = σ(A).
LF G G
D(R) / D(S) D(R) / D(S) D(R) / D(S)
O O O O O O
qR
τ
qS qR
σ
qS qR e
σ ' F
' '
R Ch
/ S Ch R Ch
/ S Ch R Ch
/ D(R)
F F qR
Study note. Compare this definition with the definition of ordinary left-
derived functors! Where did the data/properties shift to in the totally de-
rived setting? Moreover, it might be interesting to look up the notion of a
Kan extension and to compare it to the definition of total derived functors.
Theorem 3.1.28 (derived functor via total derived functor [87, Corollary 10.5.7,
Remark 10.5.8]). Let R and S be rings and let F : R Mod −→ S Mod be a right-
exact functor. Then a/“the” total derived functor L F : D(R) −→ D(S) exists
and we have a canonical natural isomorphism (as functors R Mod −→ S Mod)
L∗ (F ) ∼
=S H∗ L F (qr ( · )) .
q q q
d3
1 d2
d
p p p
1 2 3
E E E
• For every r ∈ N>0 the map dr has degree (−r, r − 1), and dr ◦ dr = 0.
The term E r is also called the r-th page of (E ∗ , d∗ ) and the isomor-
phism E r+1 ∼
=R H∗ (E r , dr ) is the r-th page-turning isomorphism.
3.2. The Hochschild-Serre spectral sequence 119
q
F0 An
n
Fp An /Fp−1 An
n−p
p n p
∞
E
Es ∼ =R E s+2 ∼
=R E s+1 ∼ =R . . . and E s ∼
=R E ∞ .
∞ ∼ Fp Ap+q
Epq =R .
Fp−1 Ap+q
120 3. The derived view
F1 An
0 −→ F0 An −→ F1 An −→ −→ 0
F0 An
F2 An
0 −→ F1 An −→ F2 An −→ −→ 0
F1 An
..
.
Fn An
0 −→ Fn−1 An −→ Fn An = An −→ −→ 0
Fn−1 An
Remark 3.2.5 (stepping through a spectral sequence). What is the typical “us-
age” of a spectral sequence? We might be interested in some graded object A
(in most cases: homology of something) for which there happens to exist a
(homological) spectral sequence (E r , dr )r∈N>1 converging to A, where the
E 2 -term is something accessible:
2
Epq =⇒ Ap+q .
2. Try to prove that many of the differentials d2pq in the E 2 -term are zero,
e.g., using the degree, torsion phenomena, product structures, . . .
3. Using the results of the first two steps, try to compute as much of the
E 3 -term and the differential d3 as possible.
Fortunately, many spectral sequences degenerate (at least to a large
extent) at the E 2 -stage or the E 3 -stage!
• For every r ∈ N>0 the map dr has degree (r, −r + 1), and dr ◦ dr = 0.
Similar to the homological case, the ∞-page and degeneration are defined for
cohomological spectral sequences.
pq ∼ Fp Ap+q
E∞ =R
Fp+1 Ap+q
Most spectral sequences are based on the following classical prototypes. It all
starts with the big brother of the long exact homology sequence associated
with a short exact sequence of chain complexes (Proposition A.2.2):
0 = F−1 C ⊂ F0 C ⊂ F1 C ⊂ · · · ⊂ C∗
Theorem 3.2.10 (double complex spectral sequences [87, Theorem 5.5.1]). Let
R be a ring and let C∗∗ be an (N × N-indexed) R-double complex, i.e., a fam-
h
ily (Cpq )p,q∈N of R-modules together with R-homomorphisms (∂p,q : Cp,q →
v
Cp−1,q )p,q∈N and (∂p,q : Cp,q → Cp,q−1 )p,q∈N satisfying
here, Q ∼
=Group G/N acts on the coefficients H∗ (N ; ResG
N A) as described
in Proposition 3.2.13 below.
Hp (Q; Hq (N ; ResG
N A))
p
2
E
c(g) := (x 7→ g · x · g −1 , x 7→ g · x)
∈ MorGroupMod (N, ResG G
N A), (N, ResN A)
c∗ (g) := (x 7→ g −1 · x · g, x 7→ g · x)
∈ MorGroupMod* (N, ResG G
N A), (N, ResN A)
Q × Hk (N ; ResG G
N A) −→ Hk (N ; ResN A)
(g · N, α) 7−→ Hk c(g) (α)
Proof. This can, for instance, be proved via the fundamental theorem of
group (co)homology (Corollary 1.6.9) (Exercise).
3.2. The Hochschild-Serre spectral sequence 125
1 /N /G /Q /1
f g h
1 / N0 / G0 / Q0 /1
5 0 0 0 0 0 0
4 0 0 0 0 0 0
3Z/3 0 0 0 0 0
2 0 0 0 0 0 0
1 0 0 0 0 0 0
0 Z Z/2 0 Z/2 0 Z/2 p
0 1 2 3 4 5
E2 = E∞
Example 3.2.16 (the symmetric group S3 ). The symmetric group S3 fits into
a group extension
1 −→ Z/3 −→ S3 −→ Z/2 −→ 1,
where the quotient Z/2 acts on the kernel Z/3 by taking inverses. The
Hochschild-Serre spectral sequence then gives us:
2
Epq = Hp Z/2; Hq (Z/3; Z) =⇒ Hp+q (S3 ; Z),
where Z/2 acts on the coefficients H∗ (Z/3; Z) by the maps induced by tak-
ing inverses on Z/3; i.e., for k ∈ N, the group Z/2 acts by multiplication
by (−1)k+1 on H2k+1 (Z/3; Z) ∼ = Z/3 (Exercise).
1. How does the E 2 -term look like? The description of the Z/2-action
on the homology of Z/3 gives the vertical axis of the E 2 -term of the
Hochschild-Serre spectral sequence (recall that zeroth homology is given
by taking coinvariants; Theorem 1.3.1).
Of course, the horizontal axis is nothing but H∗ (Z/2; Z). In view of the
torsion results provided by the transfer (Corollary 1.7.16), we obtain
2
Epq = Hp Z/2; Hq (Z/3; Z) ∼ =Z 0
0 −→ Hk (S3 ; Z) −→ 0 if k ≡ 0 mod 4
0 −→ Hk (S3 ; Z) −→ Z/2 −→ 0 if k ≡ 1 mod 4
0 −→ Hk (S3 ; Z) −→ 0 if k ≡ 2 mod 4
0 −→ Z/3 −→ Hk (S3 ; Z) −→ Z/2 −→ 0 if k ≡ 3 mod 4.
1 −→ Z −→ D∞ −→ Z/2 −→ 1,
where the quotient Z/2 acts on the kernel Z by taking inverses. The Hochschild-
Serre spectral sequence then gives us:
2
Epq = Hp Z/2; Hq (Z; Z) =⇒ Hp+q (D∞ ; Z),
where Z/2 acts on the coefficients H∗ (Z; Z) by the maps induced by taking
inverses in Z; i.e., the group Z/2 acts trivially on H0 (Z; Z) ∼
=Z Z and by
multiplication by −1 on H1 (Z; Z) ∼
=Z Z (check!).
1. How does the E 2 -term look like? With help of the standard periodic
Z[Z/2]-resolution of Z (see the proof of Corollary 1.6.13) we see that the
E 2 -term of this spectral sequence has the shape depicted in Figure 3.8.
128 3. The derived view
3 0 0 0 0 0 0
2 0 0 0 0 0 0
1Z/2 0 Z/2 0 Z/2 0
0 Z Z/2 0 Z/2 0 Z/2 p
0 1 2 3 4 5
E2 = E∞
1 −→ Z −→ D∞ −→ Z/2 −→ 1,
Hk (D∞ ; Z) ∼
=Z Z/2 ⊕ Z/2
N ∩ [F, F ]
H2 (G; Z) ∼
=Z .
[F, N ]
Proof. Let us first prove the explicit description out of the exact sequence:
By the exact sequence, H2 (G; Z) is isomorphic to kernel of the homomor-
phism H1 (N ; Z)G −→ H1 (F ; Z) induced by the inclusion N −→ F . Using
the computation of group homology in degree 1 (Theorem 1.4.1), we obtain
a canonical isomorphism
H1 (N ; Z)G ∼
=Z N/[N, N ] SpanZ {g · [n] − [n] | n ∈ N, g ∈ G}
= N/[N, N ] SpanZ {[f · n · f −1 ] − [n] | n ∈ N, f ∈ F }
= N/[N, N ] SpanZ {[f · n · f −1 · n−1 ] | n ∈ N, f ∈ F }
= N/[F, N ].
i π
1 /N /F /G /1
and obtain
2
Epq = Hp G; Hq (N ; Z) =⇒ Hp+q (F ; Z).
In contrast with the previous examples, we know the “limit” of this spectral
sequence (this is just homology of a free group) and we will try to reverse
engineer the spectral sequence in order to compute H2 (G; Z):
1. How does the E 2 -term look like? As we do not know H2 (G; Z) yet, we
cannot compute all of the E 2 -page, but we obtain partial information
130 3. The derived view
3 0 0 0 0 0 0
2 0 0 0 0 0 0
1À • • • • •
0 Z Á Â • • •
p
0 1 2 3 4 5
E2
Figure 3.9.: the Hochschild-Serre spectral sequence for the proof of Hopf’s
formula
Hk (F ; Z) ∼
=Z 0 and Hk (N ; Z) ∼
=Z 0.
2 ∼
In particular, Epq =Z 0 for all q ∈ N≥2 and so the spectral sequence
degenerates at stage 3 (because of the degrees of the differentials; Fig-
ure 3.9).
Moreover, we know that (by Theorem 1.3.1)
2
À = E10 = H1 G; H0 (N ; Z) ∼=Z H1 (G; Z)
Á = E01 = H0 G; H1 (N ; Z) ∼
2
=Z H1 (N ; Z)G
 = E20 = H1 G; H0 (N ; Z) ∼
2
=Z H2 (G; Z)
d220 : H2 (G; Z) ∼ 2
=Z E20 2 ∼
−→ E01 =Z H1 (N ; Z)G .
0 ∞
/ E01 / H1 (F ; Z) ∞
/ E10 / 0.
Moreover,
3.2. The Hochschild-Serre spectral sequence 131
∞ ∼ 3 ∼ 2 ∞ ∼ 3 ∼
E01 =Z E01 =Z E01 / im d220 and E10 =Z E10 2
=Z E10 .
0∼ 3 ∼
=Z E20 =Z ker d220 / im 0,
We can now put it all together. Thus, we obtain a four-term exact sequence
“d2 ”
0 / H2 (G; Z) 20 / H1 (N ; Z)G Ä / H1 (F ; Z) Ã / H1 (G; Z) / 0.
idF
1 /1 /F /F /1
1 idF π
1 /N /F
π
/G /1
i
ϕ
H1 (F ; Z) / H1 (F ; Z)
H1 (f ;Z) H1 (f ;Z)
H1 (F ; Z) ϕ
/ H1 (F ; Z)
Proof. We will prove this via the double complex spectral sequences. How
do we get a double complex involved? Let (Q∗ , ε) be a projective resolution
of A over R. Then P∗ ⊗R Q∗ (by definition) is the total complex of the double
complex C∗∗ , which is given by Cp,q := Pp ⊗R Qq for all p, q ∈ N and the
horizontal/vertical boundary maps
h
∂p,q : Cp,q −→ Cp−1,q
x ⊗ y 7−→ ∂pP (x) ⊗ y
v
∂p,q : Cp,q −→ Cp,q−1
x ⊗ y 7−→ (−1)p · x ⊗ ∂qQ (y).
3.2. The Hochschild-Serre spectral sequence 133
We will now use the first spectral sequence to identify the limit as H∗ (P∗ ⊗R A)
and then the second spectral sequence to obtain the short exact sequence.
Á 2 ∼
Epq =R Hp Hq (P∗ ) ⊗R Q∗ ∼ =R TorR
p Hq (P∗ ), A .
of R-modules, where
µ : Hn (P∗ ) ⊗R A −→ Hn (P∗ ⊗R A)
[z] ⊗ a 7−→ [z ⊗ a].
As next step, we show that µP∗ ,A (up to a unit in R, which we can safely
ignore as it does not affect the kernels or images) has the claimed form
(via naturality!): We consider the chain complex Q∗ that just consists of the
module R, concentrated in degree n. Then, in the corresponding short exact
sequence for Q∗ ⊗R R we know that µQ∗ ,R : Hn (Q∗ ) ⊗R R −→ Hn (Q∗ ⊗R R)
is an isomorphism (the right outer term is trivial). Because
Hn (Q∗ ) ⊗R R ∼
=R R ⊗R R ∼
=R R and Hn (Q∗ ⊗R R) ∼
=R Hn (Q∗ ) ∼
=R R,
R −→ Pn
1 7−→ z
of R-modules. Therefore, µP∗ ,A [z] ⊗ a = r · [z ⊗ a] (and every element
of Hn (P∗ ) ⊗R A is an R-linear combination of such elementary tensors).
Hence, we may assume that µ has the shape in the statement and it remains
to show that µ admits a split. Because the chain modules of P∗ are free and R
is a principal ideal domain, there is an R-homomorphism pn : Pn −→ ker ∂n
with pn ◦ in = idker ∂n , where in : ker ∂n −→ Pn is the inclusion (check! im ∂n
is free as a submodule of Pn−1 . . . ). Then a straightforward computation
shows that the following map is a well-defined split of µ (check!):
Hn (P∗ ⊗R A) −→ Hn (P∗ ) ⊗R A
Xk k
X
zj ⊗ aj 7−→ pn (zj ) ⊗ aj
j=1 j=1
3.2. The Hochschild-Serre spectral sequence 135
Alternatively, one can also prove this theorem directly, by manipulating the
chain complexes and homology groups by hand [87, Chapter 3.6]. The split-
ting in Corollary 3.2.20 is not natural in P∗ [42, proof of Proposition V.2.4].
Moreover, the splitting also exists if the complex P∗ consists of flat (instead
of free) modules [42, Theorem V.2.1].
Study note. What does the universal coefficient theorem say if the principal
ideal domain is a field?! How do these proofs relate to symmetry of Tor ?
Literature exercise (Theorems for free!). Read “Theorems for free!” by Wad-
ler [86]. What does this have to do with the proof of Corollary 3.2.20?
In particular, we can use the algebraic universal coefficient theorem to
relate group homology with coefficients with trivial action to group homology
with Z-coefficients.
Corollary 3.2.21 (universal coefficients for group homology). Let G be a group,
let A be a Z-module (with trivial G-action), and let n ∈ N. Then
=Z Hn (G; Z) ⊗Z A ⊕ TorZ1 Hn−1 (G; Z), A .
Hn (G; A) ∼
Proof. We have
Hn (G; A) = Hn C∗ (G) ⊗G A ∼=Z Hn (C∗ (G) ⊗G Z) ⊗Z A .
of R-modules. Moreover, the left map is given by [z] ⊗ [w] 7→ [z ⊗ w] and the
sequence splits (but not naturally).
Sketch of proof. This can be shown similarly to the proof of the universal co-
efficient theorem (Theorem 3.2.19, Corollary 3.2.20), using so-called Cartan-
Eilenberg resolutions of Q∗ and using Corollary 3.2.20 to identify the modules
in the E 2 -term [71, Theorem 10.90].
One should be aware that using the obvious double complex related
to P∗ ⊗R Q∗ and its two spectral sequences will give the correct limit and
good first pages, but it seems hard to figure out how to pass from page to
page or what the ∞-page looks like [71, Chapter 10.10].
136 3. The derived view
Proof. With the goal in mind to apply the algebraic Künneth theorem (The-
orem 3.2.22), we show that (C∗ (G) ⊗Z C∗ (H), ε) is a projective Z[G × H]-
resolution of Z, where
ε : C0 (G) ⊗Z C0 (H) −→ Z
x ⊗ y 7−→ εG (x) · εH (y).
Z[G × H] ←→ ZG ⊗Z ZH
G × H 3 (g, h) ←→ g ⊗ h
• We have
H1 (G; Z) ∼
=Z H0 (Z; Z) ⊗Z H1 (Z; Z) ⊕ H0 (Z; Z) ⊗Z H1 (Z; Z) ⊕ 0
∼
=Z Z ⊕ Z.
• Moreover,
H2 (G; Z) ∼
=Z H1 (Z; Z) ⊗Z H1 (Z; Z) ⊕ 0
∼
=Z Z.
Alternatively, one can also directly figure out a projective resolution for the
group Z × Z (Exercise) or use Theorem 1.4.1 for degree 1 and the Hochschild-
Serre spectral sequence (Theorem 3.2.12) for degree at least 2 (check!). More-
over, we will see a topological computation (Example 4.1.17).
This behaviour is very different from the group homology of finite cyclic
groups or S3 (which all are “periodic”).
With a little more patience, we can also compute H∗ (G; Z) (with trivial
G-action on Z) via the Künneth theorem.
for all rings R. If R is a principal ideal domain, we can then apply the
algebraic Künneth theorem (Theorem 3.2.22) to obtain the Künneth formula
for each n ∈ N:
n
M
Hn (X × Y ; R) ∼
=R Hp (X; R) ⊗R Hn−p (Y ; R)
p=0
Mn
⊕ TorR
1 Hp (X; R), Hn−1−p (Y ; R) .
p=0
3.2. The Hochschild-Serre spectral sequence 139
G × EG −→ EG
g, [t, (g0 , . . . , gn )] 7−→ t, (g · g0 , . . . , g · gn ) .
Ef : EG −→ EH
t, (g0 , . . . , gn ) 7−→ t, (f (g0 ), . . . , f (gn ))
EG × [0, 1] −→ EG
[t, (g0 , . . . , gn )], s 7−→ s · i0 (t) + (1 − s) · e0 , (e, g0 , . . . , gn )
∀g∈G g · U ∩ U 6= ∅ =⇒ g = e.
ϕG : π1 (BG, x0 ) −→ G
f = ϕH ◦ π1 (Bf ) ◦ ϕ−1
G .
Example 4.1.8 (classifying spaces from group actions). Let G be a group and
let G y Y be a continuous group action on a topological space Y with the
following properties:
Example 4.1.9 (standard simplicial models). Let G be a group. Then the stan-
dard simplicial model BG can be canonically turned into a classifying space
for G: In view of Example 4.1.8 and Corollary 4.1.4, we only need to specify
a CW-structure on BG and compatible base-points in BG and EG.
In particular, every group admits a classifying space (and the standard sim-
plicial construction is functorial).
• Dimension 0: We take
where γg−1 ·g1 : [0, 1]/ ∼−→ Y is a based loop that represents the element
0
ψ −1 ◦ ϕG s 7→ [(s, 1 − s), (e, g0−1 · g1 )] ∗ ∈ π1 (Y, y0 ).
By the Seifert and van Kampen theorem, the fundamental group of the re-
sulting CW-complex X is isomorphic to G. Moreover, the Blakers-Massey
theorem (or a careful application of the Hurewicz theorem to the universal
covering) allow to prove that the higher homotopy groups of X are trivial.
Applying Theorem 4.1.10 shows that X can be extended to a classifying space
for G [51, Proposition 3.83].
Theorem 4.1.13 (new classifying spaces out of old). Let G and H be groups
and let ((X, x0 ), ϕ) and ((Y, y0 ), ψ) be classifying spaces for G and H, respec-
tively. Then:
for all n ∈ N≥1 (the argument for the usual product (Proposition AT.2.2.4)
also works for this modified product [82]).
Ad 3. We equip the wedge (Z, z0 ) := (X, x0 ) ∨ (Y, y0 ) with the combined
CW-structure of the summands. By the Seifert and van Kampen theorem
(Theorem AT.2.2.6, Example AT.2.2.10), the group homomorphism
ϕ ∗ ψ : π1 (X, x0 ) ∨ (Y, y0 ) −→ G ∗ H
π1 (U, u0 ) e u0 )
/ π1 (Z,
π1 (p|U ) π1 (p)
π1 (X, x0 ) / π1 (Z, z0 )
∆n
Hn (X; Z) ⊕ Hn (Y ; Z) e Z)
/ Hn (Z; / Hn (X ∩ Y ; Z).
4.1. Classifying spaces 149
The outer terms all are singular homology groups in non-zero degree of spaces
all of whose path-connected components are contractible. Therefore, strong
additivity of singular homology (Proposition AT.4.1.14) and homotopy in-
variance show that these groups are trivial. Therefore, we obtain
e Z) ∼
Hn (Z; =Z 0
If one wants to avoid technical problems in the Seifert and van Kampen
argument and the Mayer-Vietoris argument, areasonable alternative space
is the “thick” wedge (X, x0 ) t [0, 1] t (Y, y0 ) (x0 ∼ 0 ∧ 1 ∼ y0 ).
Figure 4.1.: A CW-structure on the 2-torus with one 0-cell, two 1-cells, and
one 2-cell
∂2 ∂1 ε
··· /0 / ZT / ZT ⊕ ZT / ZT /Z
∂2 : ZT −→ ZT ⊕ ZT
x 7−→ x · (1 − b), x · (a − 1)
∂1 : ZT ⊕ ZT −→ ZT
(x, y) 7−→ x · (a − 1) + y · (b − 1),
action by a, b:
b
a
W
Theorem 4.1.13). The universal covering of S (S 1 , 1) is a 2 · |S|-regular tree
(check!).
NowWlet S = {a, b} with a 6= b. We consider the CW-structure on the
wedge {a,b} (S 1 , 1) that consists of a single 0-cell and two 1-cells. Then
we obtain the corresponding CW-structure on the universal covering (Fig-
ure 1.6). The cellular chain complex of this CW-structure on the 4-regular
tree then is isomorphic to the resolution from Proposition 1.6.21, as explained
in Remark 1.6.22.
Example 4.1.20 (classifying spaces for surface groups). Let g ∈ N≥2 and let
Γg := a1 , . . . , ag , b1 , . . . , bg [a1 , b1 ] · · · · · [ag , bg ] .
Let Σg be the topological space that is obtained from a regular 4g-gon by the
identifications indicated in Figure 4.3 (in fact, this is a closed surface with
g “holes”).
a2
b2 b2
a2 a1
b1 b1
a1
e Z) −→ Z
ε : C0 (X;
e 3 σ 7−→ 1.
map(∆0 , X)
154 4. The topological view
e Z) −→ Z
εCW : C0CW (X;
0-cells σ 7−→ 1.
Corollary 4.1.25 (group homology via classifying spaces). Let G be a group, let
A be a Z-module (with trivial G-action), and let n ∈ N.
Hn (G; A) ∼
=Z Hn (X; A) ∼
=Z HnCW (X; A).
We now relate the right-hand side to BG: The lifting properties of cov-
ering maps show (because simplices are simply connected) that the chain
map C∗ (p; Z) : C∗ (EG; Z) −→ C∗ (BG; Z) induced by the (covering) projec-
tion map p induces a chain isomorphism
4.1. Classifying spaces 155
C∗ (EG; Z) ⊗G A ∼
=Z Ch C∗ (BG; Z) ⊗Z A
Example 4.1.28 (surface groups). Let g ∈ N≥2 and let Γg be the surface
group of Example 4.1.20. Then we obtain from the classifying space in Ex-
ample 4.1.20 and Corollary 4.1.25 (Exercise):
Z if n=0
Z2·g if n=1
Hn (Γg ; Z) ∼
=Z
Z if n=2
0 if n>2
Together with the above presentation of Γg and Corollary 1.5.4, the deficiency
of Γg can be computed as
def Γg = 2 · g − 1.
This class of examples can also be used to show that, in general, the
transfer map is not induced by a morphism in GroupMod or GroupMod* :
There is a double sheeted covering map p : Σ3 −→ Σ2 (e.g., given by “rotation
around the middle hole of Σ3 around π”). In particular, we may view Γ3 as
subgroup of Γ2 of index 2.
We now consider the transfer map tr2 : H2 (Σ2 ; Z) −→ H2 (Σ3 ; Z) associ-
ated with this subgroup. Then
156 4. The topological view
Hn (G ∗ H; Z) ∼
=Z Hn (G; Z) ⊕ Hn (H; Z)
trG
H : Hn (G; Z) −→ Hn (H; Z)
Hn (X; Z) −→ Hn (Y ; Z)
X
k X
k X
aj · σj 7−→ aj · σ ,
j=1 j=1 σ∈p−1 (σj )
Y p−1 (σ)
X σ
• How short can projective resolutions of Z over the group ring be?
On the other hand, we could also ask for finiteness in certain degrees:
158 4. The topological view
hand side is not a set, and not even a class. However, the proof of the description à in
Proposition 4.2.2 can be used to show that this beast can be replaced by a set.
4.2. Finiteness conditions 159
∂n+2 ∂n+1 ∂n
Pn+2 / Pn+1 / Pn
O
/ Pn−1
p
∂n+1
"
K
By assumption,
0∼
=Z H n+1 (G; K) (definition of n)
∼
=Z H n+1 HomG (P∗ , K) (Corollary 1.6.9)
ker HomG (∂n+2 , K)
= .
im HomG (∂n+1 , K)
In particular, we can apply this to the cocycle ∂n+1 ∈ HomG (Pn+1 , K);
thus, there exists a ZG-homomorphism p : Pn −→ K with ∂n+1 =
p ◦ ∂n+1 . Because, im ∂n+1 = ker ∂n = K, we have p|K = idK , and so K
is a direct summand of Pn .
e Z) ∼
CkCW (X; =ZG 0
cd G ≤ cd N + cd Q.
H n (H; B) ∼
=Z H n (G; CoindG ∼ n ∼
H B) =Z H (G; A) 6=Z 0,
and so cd H ≥ n = cd G.
Ad 3. This is a standard spectral sequence argument (Exercise): We may
assume that n := cd N and m := cd Q are finite. Let A be a left ZG-module.
Then the Hochschild-Serre spectral sequence (Theorem 3.2.12) gives a con-
verging cohomological spectral sequence
E2pq = H p Q; H q (N ; ResG
N A) =⇒ H
p+q
(G; A).
cd C ≤ cd G = 0
cd G ≤ gd G ≤ 1
cd Zn = gd Zn = n :
cd Γg = gd Γg = 2 :
as claimed.
Example 4.2.8. By Corollary 4.2.7, the groups D∞ and SL2 (Z) have infinite
cohomological/geometric dimension (because they contain torsion elements),
but they contain free subgroups of finite index.
Usually, the contraposition is applied: If a group admits a finite-dimensional
classifying space, then this group must be torsion-free:
Example 4.2.9 (fundamental groups of manifolds of non-positive curvature). If
G is the fundamental group of a closed smooth manifold M that admits a Rie-
mannian of non-positive sectional curvature, then M is a finite-dimensional
classifying space for G (Outlook 4.1.21). In particular, G is torsion-free
(Corollary 4.2.7).
• There exist finitely presented groups that are not of type F3 [81].
Definition 4.2.14 (type FP, FPn , FP∞ [6]). Let G be a group and let n ∈ N.
The converse implications are more delicate: There exist groups of type FP
that are not of type F2 [5]. However, for finitely presented groups, type FPn
coincides with Fn for all n ∈ N≥3 , by work of Eilenberg-Ganea and Wall [12,
Chapter VIII.7].
164 4. The topological view
The Euler characteristic can be used to show that certain groups are not
commensurable (Exercise).
Using the theory of von Neumann dimensions, one sees that the Euler char-
acteristic can also be computed via (co)homology with `2 -coefficients [1][55,
Theorem 1.35]. Therefore, the invariance properties of these coefficients also
carry over to the Euler characteristic; for example:
There are some obvious positive examples (but it seems hard to exclude
groups by elementary means):
• Let n ∈ N>0 . Then the finite cyclic group Z/n acts freely on the circle S 1
(the one-dimensional sphere) by rotation around 2 · π/n.
Theorem 4.3.3 (free actions on spheres [78, 59]). Let G be a finite group that
admits a free continuous action on a sphere. Then:
• If p ∈ N is an odd prime, then every p-Sylow subgroup of G is cyclic.
• The group G contains at most one element of order 2 and the 2-Sylow
subgroups of G are cyclic or isomorphic to a generalised quaternion
group.
The theorem does not mention group homology, but the proof (going
back to work by Smith and Milnor) will take advantage of group homology.
More precisely, group actions on spheres lead to periodic resolutions (Chap-
ter 4.3.1); we can then use our knowledge on homology of Abelian groups
and the recognition of cyclic groups to derive the theorem (Chapter 4.3.2).
Before giving the proof, we illustrate the power of the theorem in simple
examples.
Example 4.3.4. The group Z/2019×Z/2019 does not admit a free action on a
sphere: We have 2019 = 3·673 and the 3-Sylow subgroups of Z/2019×Z/2019
are isomorphic to Z/3 × Z/3, which is not cyclic. Therefore, Theorem 4.3.3
implies that Z/2019 × Z/2019 does not admit a free action on a sphere.
Example 4.3.5 (symmetric groups acting on spheres? [59, Corollary 2]). Let
n ∈ N≥3 . Then the symmetric group Sn does not admit a free action on a
sphere because Sn then contains at least two elements of order 2 (e.g., two
different transpositions), which is excluded by Theorem 4.3.3.
Example 4.3.6. Let G be a non-trivial finite group. Then G × G does not
admit a free action on a sphere. This can be deduced from the Sylow theorems
(Theorem III.1.3.35) and Theorem 4.3.3 (check!).
Here, trZ denotes the trace on the free part of the corresponding finitely
generated Z-module.
Example 4.3.9 (Euler characteristic as Lefschetz number). If X is a finite CW-
complex, then
X X
Λ(idX ) = (−1)n · trZ Hn (idX ; Z) = (−1)n · rkZ Hn (X; Z)
n∈N n∈N
= χ(X).
Theorem 4.3.10 (Lefschetz fixed point theorem [23, Chapter VII.6]). Let X be
a finite CW-complex and let f : X −→ X be a continuous map. If f has no
fixed points, then Λ(f ) = 0.
Corollary 4.3.11 (action on top homology). Let n ∈ N and let G y S n be a
free continuous action of a group G on S n .
=Group 1 or G ∼
1. If n is even, then G ∼ =Group Z/2.
2. If n is odd, then the induced G-action on Hn (S n ; Z) is trivial.
Proof. If n = 0, then |S n | = 2 and so |G| ≤ 2. This implies that G is trivial
or isomorphic to Z/2. Therefore, in the following, we only need to consider
the case that n > 0.
Let g ∈ G be a non-trivial element and let fg : S n −→ S n be the cor-
responding homeomorphism; because the action is free, fg does not have a
fixed point. As the homology of S n is concentrated in the (distinct) degrees 0
and n, the Lefschetz fixed point theorem (Theorem 4.3.10) shows that
0 = Λ(fg )
= trZ H0 (fg ; Z) + (−1)n · trZ Hn (fg ; Z)
= 1 + (−1)n · deg fg .
η: Z ∼
=Z Hn (S n ; Z) ∼
=Z ker ∂n −→ Cn
ε : C0 −→ C0 / im ∂1 =Z H0 (S n ; Z) ∼
∼ =Z Z
η ∂n ∂2 ∂1 ε
0 /Z / Cn / ··· / C1 / C0 /Z /0
∂2 ∂1 η◦ε ∂n ∂2 ∂1 ε
··· / C1 / C0 / Cn / ··· / C1 / C0 /Z /0
We can now complete the proof of Theorem 4.3.3 on finite groups that admit
free actions on spheres:
T ◦ f (x) = f ◦ T (x).
xj+1 6= xbj [
and x j+1 6= xj
Here,
r := max k ∈ {0, . . . , min(n, m − 1)} ∀j∈{0,...,k−1} xn−j = x\
n+1+j
∨ x[
n−j = xn+1+j .
Example A.1.2. In the situation of the previous definition, the word abb abb is
reduced; the word babab is not reduced. The elements a and b a are inverse to
each other with respect to “·”; analogously, also b and bb are inverse to each
a and bb, respectively.
other. Hence, one usually writes a−1 and b−1 instead of b
2. The set {a, b} is a free generating set of F (a, b), i.e., the following
universal property is satisfied:
For every group H and every map f : {a, b} −→ H, there exists a unique
group homomorphism f : F (a, b) −→ H with f |{a,b} = f .
3. In other words,
1 /Z
17→b
Z / F (a, b)
17→a
is a pushout in Group.
Definition
F A.1.4 (free product of groups). Let (Gi )i∈I be a family of groups;
for g ∈ i∈I (Gi \ {1}) let i(g) ∈ I be the unique index with g ∈ Gi(g) .
• A finite (possibly
F empty) sequence (s1 , . . . , sn ) with n ∈ N of non-trivial
elements of i∈I Gi is a reduced word (over the family (Gi )i∈I ), if
• We write Fi∈I Gi for the set of all reduced words over the fam-
ily (Gi )i∈I .
Here, k(s, t) ∈ {0, . . . , min(n, m)} is the biggest k ∈ {0, . . . , min(n, m)}
satisfying
• We call Fi∈I , together with this composition, the free product of (Gi )i∈I .
The free product G := Fi∈I Gi of a family (Gi )i∈I indeed is a group (again,
associativity is non-trivial!) and the canonical inclusions Gi −→ G are group
homomorphisms.
Free products are an explicit model of coproducts of groups:
i1
G0 / G1
i2 j1
G2 / G1 ∗G0 G2
j2
is a pushout in Group.
A related generalisation of F (a, b) are general free groups; the universal prop-
erty of free groups/free generating sets is a group-theoretic version of the
universal property of bases of vector spaces.
Definition A.1.8 (free generating set, free group, rank of a free group).
• Let G be a group. A subset S ⊂ G is a free generating set of G if the
following universal property is satisfied: The group G is generated by S
and for every group H and every map f : S −→ H there exists a unique
group homomorphism f : G −→ H with f |S = f .
• A free group is a group that contains a free generating set; the cardi-
nality of such a free generating set is the rank of the free group.
Caveat A.1.9. Not every group has a free generating set! For example, the
groups Z/2 and Z2 are not free (check!).
i p
0 / A∗ / B∗ / C∗ /0
i∗ p∗
0 / A∗ / B∗ / C∗ /0
f∗ g∗ h∗
0 / A0∗ / B∗0 / C∗0 /0
i0∗ p0∗
pk (b) = c.
As p∗ is a chain map, we obtain pk−1 ◦ ∂kB (b) = ∂kC ◦ pk (b) = ∂kC (c) = 0; then
exactness in degree k shows that there exists an a ∈ Ak−1 with
• If (a, b, c) and (a0 , b0 , c0 ) are compatible triples for γ, then [a] = [a0 ]
in Hk−1 (A∗ ).
f0 f 00
0 / M0 /M / M 00 /0
be a short exact sequence in R Mod and let (P∗0 , ε0 ) and (P∗00 , ε00 ) be projective
R-resolutions of M 0 and M 00 , respectively:
.. ..
. .
P00 ? P000
ε0 ε00
f 0
f 00
0 / M0 /M / M 00 /0
0 0
A.2. Some homological algebra A.9
There there exists a projective R-resolution (P∗ , ε) of M and R-chain maps fe∗0
f 0 : P∗0 ε0 −→ P∗ ε and fe∗00 f 00 : P∗ ε −→ P∗00 ε00 such that
fen
0
fen
00
0 / Pn0 / Pn / Pn00 /0
f 00 ◦ εe00 = ε00 .
We set
ε := (f 0 ◦ ε0 ) ⊕ εe00 : P0 = P00 ⊕ P000 −→ M.
Inductively, we construct boundary operators ∂n+1 : Pn+1 −→ Pn that are
compatible with the boundary operators on P∗0 and P∗00 :
Let n ∈ N>0 and let us suppose, by induction, that ∂n is already con-
structed. A diagram chase shows that
00
(check!). Because the module Pn+1 is projective, there exists an R-homo-
e00 00
morphism ∂n+1 : Pn+1 −→ ker ∂n that satisfies
f 00 ◦ ∂en+1
00 00
= ∂n+1 .
We then set
∂n+1 := (f 0 ◦ ∂n+1
0
) ⊕ ∂en+1
00
;
a diagram chase yields ∂n ◦ ∂n+1 = 0 (check!).
In this way, we obtain a short exact sequence
fe0 f 0 fe00 f 00
0 / P 0 ε0 / P ε / P 00 ε00 /0
inclusion inclusion
F
In Dn / Xn
bijective.
S1
S1
S2
S2
S1 × S1
RP 2
one 0-cell one 1-cell one 2-cell
Which of the following statements are true? Justify your answer with a suitable
proof or counterexample.
1. For all a, b ∈ ZG, we have τ (a · b) = τ (b · a).
P P
2. For all a ∈ ZG, we have τ (a·a∗ ) ≥ 0, where ( g∈G ag ·g)∗ := g∈G ag−1 ·g.
Exercise 2 (standard (co)chain complexes in the literature).
1. What is “C q (Q, G)” from the following article in our notation? [I on p. 3/4]
S. Eilenberg. Topological methods in abstract algebra. Cohomology theory
of groups, Bull. Amer. Math. Soc., 55, pp. 3–37, 1949.
2. What is the “bar resolution C∗ (Γ)” from the following article in our no-
tation? [Definition and Lemma 2.1 a)]
M. Puschnigg. The Kadison-Kaplansky conjecture for word-hyperbolic
groups, Invent. Math., 149(1), pp. 153–194, 2002.
Hints. Of course, you do not need to read/understand the whole article. It
suffices to untangle the terminology and to compare it to our setup. You have
to justify your answer in your submission (e.g., by an explicit comparison).
Exercise 3 (the augmentation ideal). Let G be a group and let I(G) := ker ε
be the augmentation ideal (where ε : C0 (G) = ZG −→ Z is the augmentation
map).
1. Show that I(G) = SpanZ {g − 1 | g ∈ G}.
2. Show that I(G) = SpanZG {s − 1 | s ∈ S} holds for every generating
set S ⊂ G of G.
Exercise 4 (group rings of cyclic groups). Let n ∈ N>0 , let G := Z/n, let t :=
Pn−1
[1] ∈ G, and let N := j=0 tj ∈ ZG. For a ∈ ZG, we consider the associated
ZG-homomorphism Ma : ZG −→ ZG given by right multiplication with a.
1. Show that im MN = ker Mt−1 .
2. Show that im Mt−1 = ker MN .
Bonus problem (Kaplansky zero divisor conjecture and unique products).
1. What is the unique product property of groups?
2. Give an example of a (non-trivial) group with the unique product property
and an example of a group without the unique product property.
3. Show that the group ring ZG has no non-trivial zero divisors if G is a
group with the unique product property.
2. Show that rk H = 2.
supp f := {x ∈ Rn | f (x) 6= x} ⊂ Rn .
We say that f has compact support if supp f is compact. Let G be the group(!) of
all homeomorphisms Rn −→ Rn with compact support. Show that G is perfect
(whence H1 (G; Z) ∼ =Z 0).
Hints. Let f ∈ G, let B be an open ball containing supp f , and let g ∈ G
with g k (B) ∩ g m (B) = ∅ for all k, m ∈ N with k 6= m (why does such a g exist?).
Then consider the following situation:
f g ◦ f ◦ g −1 g 2 ◦ f ◦ g −2 ...
B g(B) g 2 (B)
Exercise 1 (projectivity). Let G be a group and let Z be equipped with the trivial
G-action. Which of the following statements are true? Justify your answer with
a suitable proof or counterexample.
1. If Z is a a projective ZG-module, then G is finite.
2. If G is finite, then Z is a projective ZG-module.
Exercise 2 (cohomology of Z/3). Use group extensions to show that H 2 (Z/3; Z)
contains at least three elements (where Z carries the trivial action). More pre-
cisely: Provide three extensions of Z/3 by Z that are pairwise non-equivalent.
∼Z
Exercise 3 (cohomology of Z2 ). Use group extensions to show that H 2 (Z2 ; Z) 6=
0 (where Z carries the trivial action).
Hints. The Heisenberg group (Sheet 2, Exercise 4) can serve as a middleman.
Exercise 4 (extensions in the literature). We consider the following article:
M. Bucher, R. Frigerio, T. Hartnick. A note on semi-conjugacy for circle
actions, L’Enseignement Mathématique (2), 62, pp. 317–360, 2016.
1. What is “e(ξ)” from this article (paragraph before Lemma 3.1) in our
notation? In particular, how does “cσ ” relate to our notation?
2. Give a proof of Lemma 3.1 (in our notation).
Bonus problem (cohomology of homeomorphisms on the circle). We consider the
circle S 1 := R/Z, the group G := Homeo+ (S 1 ) of orientation-preserving homeo-
morphisms of S 1 , and the subgroup
e := f ∈ Homeo+ (R) ∀x∈R f (x + 1) = f (x) + 1
G
of the orientation-preserving homeomorphisms of R. A homeomorphism R −→ R
is orientation-preserving if it is monotonically increasing. Moreover, a homeo-
morphism S 1 −→ S 1 is orientation-preserving if it preserves orientations in the
sense of linear algebra (which can be defined via suitable determinants). Let
p : R −→ R/Z = S 1 be the projection map and let
e −→ G
π: G
f 7−→ [x] 7→ p(f (x))
1. Show that π is a well-defined group homomorphism and that there is a
central extension of the form
/Z e π
0 /G /G / 1.
Exercise 1 (homology of dihedral groups). For n ∈ N≥3 , let Dn denote the dihe-
dral group for n (i.e., the isometry group of a regular Euclidean n-gon). Which
of the following statements are true? Justify your answer with a suitable proof
or counterexample.
1. H2019 (D2021 ; Z/2020) ∼=Z 0
2. H2019 (D2020 ; Z/2021) ∼
=Z 0
Hints. You may use the description Dn ∼ =Group Z/n o Z/2, where [1] ∈ Z/2 acts
by (additive) inversion on Z/n (Proposition III.1.1.57).
Exercise 2 (the infinite dihedral group). The infinite dihedral group D∞ is the
isometry group of the metric space Z with respect to the metric inherited from
the standard metric on R. Let t denote the reflection at 0, let s denote the
translation by 1, and let t0 denote the reflection at 1/2 ∈ R. Solve two out of
the following four problems:
1. Show that S := {s, t} is a generating set of D∞ and that D∞ is isomorphic
to a suitable semi-direct product Z o Z/2.
2. Show that the word metric on D∞ associated with S is isometric to the
word metric on Z×Z/2 associated with the generating set {(1, 0), (0, [1])}.
3. Show that T := {t, t0 } is a generating set of D∞ .
4. Show that the word metric on D∞ associated with T is isometric to the
word metric on Z associated with the generating set {1}.
Exercise 3 (metric embedding notions in the literature). We consider:
J. Block, S. Weinberger. Aperiodic tilings, positive scalar curvature, and
amenability of spaces, J. Amer. Math. Soc., 5(4), pp. 907–918, 1992.
1. Prove the statement “Also note that a coarse quasi-isometry in the sense
of Gromov is an EPL map.” (p. 909). More precisely: Show that every
quasi-isometric embedding between metric spaces is an effectively proper
Lipschitz map (defined on p. 909).
2. Does the converse also hold? Justify your answer!
Exercise 4 ((co)induction of finite index subgroups). Let G be a group and let
H ⊂ G be a subgroup of finite index. We consider
ϕ : IndG
H (B) = ZG ⊗ZH B −→ HomH (ZG, B) = CoindH (B)
G
g ⊗ b 7−→ x 7→ χH (x · g) · (x · g) · b
ψ : CoindG G
H B = HomH (ZG, B) −→ ZG ⊗ZH B = IndH (B)
X
f 7−→ g ⊗ f (g −1 )
gH∈G/H
Show that ϕ and ψ are well-defined ZG-linear maps and that ϕ and ψ are
mutually inverse.
Please turn over
Bonus problem (Legendre symbol and transfer). Let p ∈ N be an odd prime.
1. What is the Legendre symbol associated with p ?
Exercise 1 (UDBG spaces). Which of the following statements are true? Justify
your answer with a suitable proof or counterexample.
1. Every uniformly discrete metric space has bounded geometry.
2. Every metric space with bounded geometry is uniformly discrete.
Exercise 2 (uniformly finite chains). Let P
R be a normed ring with unit, let (X, d)
be a UDBG space, let n ∈ N≥1 , let c = x∈X n+1 cx · x ∈ Cnuf (X; R), and let j ∈
uf
{0, . . . , n}. Show that the following map is a well-defined chain in Cn−1 (X; R):
X n −→ R
X
y 7−→ cx .
x∈{z∈X n+1 |(z0 ,...,b
zj ,...,zn )=y}
1. Show that for every finite set A ⊂ X, we have [A]Z = 0 in H0uf (X; Z).
2. Show that for each n ∈ N>0 , there exists a class αn ∈ H0uf (X; Z) that
satisfies n · αn = [X]Z in H0uf (X; Z).
Exercise 4 (means). We consider the following article:
M. Gromov. Volume and bounded cohomology, Publ. Math. IHES, 56,
pp. 5–99, 1982.
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 7, June 10, 2019
2. If H 2 (G; R) ∼
=R 0, then sclG = 0.
Exercise 2 (torsion groups). Let G be a torsion group (i.e., every element in G
has finite order).
1. Compute the function sclG : [G, G] −→ R and the space QM(G) (directly,
without using Bavard duality).
2. Let G, in addition, have the property that every group extension of the
form 0 −→ R −→ ? −→ G −→ 1 splits. Show that Hb2 (G; R) ∼ =R 0.
Exercise 3 (quasi-isomorphisms). Let R be a ring. A chain map f∗ : C∗ −→ D∗
in R Ch is a quasi-isomorphism if, for each n ∈ N, the induced homomor-
phism Hn (f∗ ) : Hn (C∗ ) −→ Hn (D∗ ) is an isomorphism. Show (via an example
over a suitable ring R) that if there exists a quasi-isomorphism C∗ −→ D∗ , then,
in general, there is no quasi-isomorphism D∗ −→ C∗ .
Exercise 4 (exact categories). We consider the article
T. Bühler. Exact categories, Expo. Math., 28, pp. 1–69, 2010.
Before proceeding, you should look up what an additive category is.
1. On p. 4, admissible epics are defined. Make this definition explicit.
2. What is the obscure axiom?
3. Why is it called obscure?
4. How are exact functors between exact categories defined?
Bonus problem (duality principle for semi-norms on homology). Let C∗ be a chain
complex in the category of normed R-vector spaces (and bounded linear opera-
tors) and let D∗ := BHom(C∗ , R) be the dual cochain complex. Let n ∈ N and
let α ∈ Hn (C∗ ) be represented by the cycle c ∈ Cn .
1. Show that
n 1 o
kαk = sup f ∈ Dn , δ n f = 0, f (c) = 1 .
|f |∞
Here, k · k denotes the semi-norm on Hn (C∗ ) induced by the norm on Cn
and δ ∗ is the coboundary operator of D∗ . Moreover, we set sup ∅ := 0.
Hints. Hahn-Banach!
2. Does there exist an amenable group G and a class α ∈ H2019 (G; R)
with kαk1 = 2019 ? Here, k·k1 denotes the semi-norm on H∗ (G; R) induced
by the `1 -norm on C∗R (G).
Exercise 1 (Tor). In the following, all modules carry the trivial group action.
Which of the following statements are true? Justify your answer with a suitable
proof or counterexample.
Z[Z2 ]
1. Tor2 (Z, Z) ∼
=Z 0
Z[Z]
2. Tor1 (Z2 , Z2 ) ∼
=Z 0
Exercise 2 (algebraic mapping cones). Let R be a ring and let f∗ : C∗ −→ D∗
be a chain map of R-chain complexes. The mapping cone of f∗ is the R-chain
complex Cone∗ (f∗ ) consisting of the chain modules
Conen (f∗ ) := Cn−1 ⊕ Dn
for all n ∈ N (where C−1 := 0), equipped with the boundary operators
∂n : Conen (f∗ ) −→ Conen−1 (f∗ )
C
(x, y) 7−→ −∂n−1 (x), ∂nD (y) − fn−1 (x)
for all n ∈ N>0 . Show the mapping cone trick, i.e., that f∗ : C∗ −→ D∗ is a
quasi-isomorphism if and only if
∀n∈N Hn Cone(f∗ ) ∼ =R 0.
Hints. For the boundary operator on Cone(f∗ ), several different sign conventi-
ons are in use. Therefore, literature has to be used with care!
Exercise 3 (quasi-isomorphisms of complexes of projectives). Let R be a ring.
Prove that if C∗ and D∗ are (N-indexed) R-chain complexes that consist of
projective R-modules, then every quasi-isomorphism C∗ −→ D∗ is a chain ho-
motopy equivalence.
Hints. Mapping cone . . .
Exercise 4 (injectivity). We consider the article
N.V. Ivanov. Foundations of the theory of bounded cohomology, J. Soviet
Math., 37, pp. 1090–1114, 1987.
1. How are ordinary injective modules defined in module categories?
2. How are relatively injective Banach G-modules defined in the article?
3. What is the fundamental theorem of homological algebra in this context?
4. Use MathSciNet (https://www.ams.org/mathscinet) to find an article that
solves the problem in Remark 3.9.1.
Hints. Use the “Citations” tool!
Bonus problem (mapping cones in algebra and topology).
1. How can one relate algebraic mapping cones to topological mapping cones?
2. What are differences/similarities between the properties of algebraic map-
ping cones and topological mapping cones, respectively?
Which of the following statements are true? Justify your answer with a suitable
proof or counterexample.
2 ∼
1. If Epq =R 0 for all p, q ∈ N with q 6= 2019, then A2020 ∼ 2
=R E1,2019 .
2 ∼
2. If Epq =R 0 for all p, q ∈ N for which p + q is odd, then A2019 ∼
=R 0.
Exercise 2 (homology of the Heisenberg group). Let H ⊂ SL(3, Z) be the integral
Heisenberg group (Sheet 2, Exercise 4). Compute Hn (H; Z) for all n ∈ N (where
H acts trivially on Z) via the Hochschild-Serre spectral sequence.
Hints. You may use the result on H1 (H; Z) from Exercise 4 on Sheet 2.
Exercise 3 (standard spectral arguments). We consider the article
M.R. Bridson, P.H. Kropholler. Dimension of elementary amenable groups,
J. Reine Angew. Math., 699, p. 217–143, 2015.
Institut Mittag-Leffler, report no. 38, 2011/2012, spring.
In the paragraph after Theorem I.5 it says that “In both cases of course the
inequalities ≤ follow at once from standard spectral sequence arguments.”
1. Which spectral sequence should be applied?
2. Carry out these “standard spectral sequence arguments.”
Hints. Cohomological dimension already appeared in Exercise 4 of Sheet 4.
Exercise 4 (the conjugation action on homology).
1. Let G be a group, let A be a ZG-module, and let g ∈ G. Moreover, let
c(g) := (x 7→ g · x · g −1 , x 7→ g · x) ∈ MorGroupMod (G, A), (G, A) .
1. Compute H∗ (Γg ; Z), using “the” oriented closed connected surface of ge-
nus g as classifying space (and a suitable CW-structure on it).
2. Compute the deficiency of the group Γg .
Bonus problem (classifying space of a category).
1. How is the classifying space of a (small) category defined?
2. How can one construct classifying spaces for groups out of classifying
spaces of a category?
Hints. Rough sketches suffice.
Bonus problem (lecture notes). Find as many typos/mistakes in the lecture
notes as you can!
Prof. Dr. C. Löh/Dr. D. Fauser/J. P. Quintanilha/J. Witzig Sheet 13, July 22, 2019
The ISSSS case. The InterStellar Spectral Sequence Station (ISSSS) has been
infiltrated and taken over by a pangalactic group X of con artists. Detective
Blorx, an agent of the Cohomological Intelligence Agency, handles the case. He
collected the following evidence:
A. The suspects. Only the following groups are sufficiently powerful to be able
to infiltrate the ISSSS; here, Fn denotes the free group of rank n and Γg denotes
the surface group of genus g:
• The Free Group: F2018
• The Freer Group: F2019
• The Bi-Cycle Group: Z/4 × Z/674 × F2018
• GaoS (Group avalaible on Surfaces): Γ1010
• Torus Inc.: Z2019
B. Statements by witnesses.
• The group X was not able to carry invariant means.
• The free products (F4 × F674 ) ∗ X and (F4 × F674 ) ∗ F2018 are not com-
mensurable.
• Every finite subgroup of X acted freely on some sphere.
• The group X has no subgroup that is isomorphic to the fundamental group
of an oriented closed connected surface of genus at least 2.
C. Project Euler. Blorx hacked into the servers of the Secret Invariants Service
and found the following files on Project Euler:
Let G be a group of type F, i.e., G admits a classifying space with a finite
CW-structure. Then the Euler characteristic of G is defined as
X
χ(G) := (−1)n · dimQ Hn (G; Q).
n∈N
3. Is ZG isomorphic to Z[e2πi/8 ] ⊂ C ?
4. Is t4 − 1 a unit of ZG ?
no submission!
These problems will be discussed in the exercise classes in the second week.
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 1, May 2, 2019
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 2, May 9, 2019
2. 0 / Z/2 / S3 / Z/3 /0
3. 0 /Z /Z /Z /0
4. 0 / Z/2 /Z /Z /1
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 3, May 16, 2019
2. Q over Z ?
Q
3. N Q over Q ?
4. Z × {0} ⊂ Z × Z over Z × Z ?
Exercise 2 (homology of cyclic groups). Compute the following (co)homology
groups (where Z/2019 acts trivially on the coefficients):
1. H∗ (Z/2019; Z)
2. H∗ (Z/2019; Z/2019)
3. H∗ (Z/2019; Q)
4. H∗ (Z/3; Z/2019)
Exercise 3 (p-groups). Let p ∈ N be a prime.
1. How can one prove that p-groups are solvable?
Update this list during this course (don’t forget to add the examples from the
exercises!).
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 4, May 23, 2019
1. abba
2. aba−1 b−1
3. a−2019 b
4. ab2019
4. H2018 (Z × Z/2019; Q)
Exercise 3 (summary). Write a summary of Chapter 1.6 (Changing the resolu-
tion) and Chapter 1.7 ((Co)Homology and subgroups), keeping the following
questions in mind:
1. What are projective resolutions?
1. What is S.M.A.R.T.?
2. How can S.M.A.R.T. be used to make predictions about disk health?
3. Find a good backup solution for your data!
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 5, May 30, 2019
1. x 7→ 2019 · x + 2019
2. x 7→ x2019
3. x 7→ d2019 · xe
1
4. x 7→ x2019 +1
no submission!
Group Cohomology – Etudes
2. D∞
3. the Heisenberg group
4. the symmetric group Sym(N) of all bijections N −→ N
5. SL2 (Z)
Q
6. N R
Exercise 2 (uniformly finite chains). Which of the following “sums” describe uni-
formly finite chains in C1uf (Z; Z) ? Draw them! If they describe uniformly finite
chains: What is their boundary?
P
1. n∈Z 1 · (n, n + 1)
P
2. n∈N 1 · (n, n + 1)
P
3. n∈N 1 · (1, n)
P
4. n∈N 1 · (−n, n)
P
5. n∈N n · (n, n + 1)
P
6. n∈N 2019 · (n, n + 2019)
3. What is amenability?
4. Did you check all the little things that we did not discuss in detail in the
lectures?
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 7, June 13, 2019
Exercise 3 (amenable vs. free). Start a table for amenable groups and free groups,
respectively, listing their behaviour with respect to:
1. uniformly finite homology
2. bounded cohomology
3. quasi-morphisms
4. stable commutator length
Exercise 4 (summary). Write a summary of Chapter 2.2 (Uniformly finite ho-
mology) keeping the following questions in mind:
1. What is uniformly finite homology of spaces?
2. Which coefficients for group homology lead to uniformly finite homology?
3. What is the fundamental class in uniformly finite homology in degree 0 ?
4. How does all this relate to amenability?
5. Did you check all the little things that we did not discuss in detail in the
lectures?
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 8, June 20, 2019
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 9, June 27, 2019
/Z 0 /Z
1. · · · /0 /0
/Z 1 /Z
2. · · · /0 /0
3. · · · /0 /0 /Z /0
4. · · · /0 /0 / Z/2019 /0
/Z 2019 /Z
5. · · · /0 /0
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 10, July 4, 2019
Z
Z
Z/2 Z Z
Z Z Z/2 Z p
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig Sheet 11, July 11, 2019
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/Dr. D. Fauser/J. P. Quintanilha/J. Witzig Sheet 12, July 18, 2019
Exercise 1 (classifying spaces for Z). Which of the following spaces are classifying
spaces of Z (when equipped with a suitable CW-structure, etc.)?
1. S 1 × R2019
2. R2 \ {0}
3. R2 \ {0, (1, 0)}
4. R2019 \ {0}
5. S 1 ∨ D2019
6. S 1 × S 2019
Exercise 2 (two-dimensional classifying spaces). Which of the following groups
admit a classifying space of dimension 2 ? Here, Γg denotes the surface group
of genus g and Fn denotes the free group of rank n.
1. Γ2018 ∗ Γ2019 ∗ F2019
2. Γ2018 × Γ2019
3. Z2019
4. Z/2019 ∗ Γ2019
5. Γ2018 ∗ (F2019 × F2018 )
6. Z
Exercise 3 (presentation complexes). Draw the presentation complexes of the
following group presentations. Do you recognise the groups?
1. hx | x2 i
2. hx, y | xi
3. hx, y | [x, y]i
4. hx, y | x2 , y 2 i
Exercise 4 (summary). Write a summary of Chapter 4.1 (Classifying spaces)
keeping the following questions in mind:
1. What is the definition of classifying spaces for groups?
2. What is an example of a functorial construction?
3. What are typical “nice” classifying spaces?
4. Why are classifying spaces useful in group (co)homology?
5. How do classifying spaces compare to projective resolutions?
6. Did you check all the little things that we did not discuss in detail in the
lectures?
no submission!
Group Cohomology – Etudes
Prof. Dr. C. Löh/Dr. D. Fauser/J. P. Quintanilha/J. Witzig Sheet 13, July 25, 2019
no submission!
C.16 C. Etudes
D
General Information
Group Cohomology, SS 2019
Organisation
Prof. Dr. C. Löh/D. Fauser/J. P. Quintanilha/J. Witzig April 2019
Homepage. Information and news concerning the lectures, exercise classes, of-
fice hours, literature, as well as the exercise sheets can be found on the
course homepage and in GRIPS:
http://www.mathematik.uni-regensburg.de/loeh/teaching/grouphom ss19
https://elearning.uni-regensburg.de
https://elearning.uni-regensburg.de
Please register before Friday, April 26, 2019, 10:00, choosing your
preferred time slot. We will try to fill the groups respecting your pref-
erences.
The distribution will be announced at the beginning of the second
week via GRIPS.
1
Credits/Exam. This course can be used as specified in the commented list of
courses and in the module catalogue.
You will have to register in FlexNow for the Studienleistung and the
Prüfungsleistung (if applicable).
Further information on formalities can be found at:
http://www.uni-regensburg.de/mathematik/fakultaet/studium/studierende-und-studienanfaenger/index.html
Contact.
[email protected]
[email protected]
• If you have questions regarding the exercises, please contact your
tutor.
• If you have mathematical questions regarding the lectures, please
contact your tutor or Clara Löh.
• If you have questions concerning your curriculum or the examina-
tion regulations, please contact the student counselling offices or
the exam office:
http://www.uni-regensburg.de/mathematik/fakultaet/studium/ansprechpersonen/index.html
http://www-cgi.uni-regensburg.de/Studentisches/FS MathePhysik/cmsms/
2
D.4 D. General Information
Bibliography
Please note that the bibliography will grow during the semester. Thus,
also the numbers of the references will change!
[1] M.F. Atiyah. Elliptic operators, discrete groups and von Neumann al-
gebras, Astérisque, 32–33, pp. 43–72, 1976. Cited on page: 164
[9] S. Bosch. Algebra, 6th edition, Springer, 2006. Cited on page: 28, 29
[10] J. Brodzki, G.A. Niblo, N. Wright. Pairings, duality, amenability and
bounded cohomology, J. Eur. Math. Soc., 14(5), pp. 1513–1518, 2012.
Cited on page: 79, 90
[11] A. Brooke-Taylor. Products of CW complexes, preprint, available at
arXiv: 1710.05296 [math.GN], 2017. Cited on page: A.12
[12] K.S. Brown. Cohomology of Groups, Graduate Texts in Mathemat-
ics, 82, Springer, 1982. Cited on page: 41, 54, 139, 155, 156, 159, 160,
162, 163, 164, 168
[13] T. Bühler. Exact categories, Expo. Math., 28, pp. 1–69, 2010. Cited on
page: 100
[14] D. Calegari. scl, MSJ Memoirs, 20, Mathematical Society of Japan,
2009. Cited on page: 97, 98
[15] J.W. Cannon, W.J. Floyd, W.R. Parry. Introductory notes on Richard
Thompson’s groups. Enseign. Math. (2), 42(3–4), pp. 215–256, 1996.
Cited on page: 23
[16] J. Cheeger, M. Gromov. L2 -cohomology and group cohomology, Topol-
ogy, 25(2), pp. 189–215, 1986. Cited on page: 164
[17] J.M. Cohen. Zero divisors in group rings, Comm. Algebra, 2, pp. 1–14,
1974. Cited on page: 7
[18] M. Culler. Using surfaces to solve equations in free groups, Topology,
20(2), pp. 133–145, 1981. Cited on page: 96
[19] J.F. Davis, R.J. Milgram. A survey of the spherical space form problem,
Mathematical Reports, 2, Part 2, Harwood Academic Publishers, 1985.
Cited on page: 168
[20] M.W. Davis. The Geometry and Topology of Coxeter Groups, Lon-
don Mathematical Society Monographs, 32, Princeton University Press,
2008. Cited on page: 152
[21] T. Delzant. Sur lanneau dun groupe hyperbolique, C. R. Acad. Sci.
Paris Ser. I Math., 324(4), pp. 381–384, 1997. Cited on page: 7
[22] J. Dodziuk. de Rham-Hodge theory for L2 -cohomology of infinite cov-
erings, Topology, 16(2), pp. 157–165, 1977. Cited on page: 164
[23] A. Dold. Lectures on Algebraic Topology, Springer, 1980. Cited on
page: 138, 143, 166
[24] C.H. Dowker. Topology of metric complexes. American Journal of
Mathematics, 74(3), pp. 557–577, 1952. Cited on page: 147, A.12
Bibliography E.3
[44] N.V. Ivanov. Notes on the bounded cohomology theory, preprint, avail-
able at arXiv:1708.05150 [math.AT], 2017. Cited on page: 86, 157
[50] C. Löh. Simplicial Volume, Bull. Man. Atl., 7–18, 2011. Cited on
page: 86, 87, 157
[56] R.C. Lyndon. Cohomology theory of groups with a single defining re-
lation, Ann. of Math. (2), 52, pp. 650–665, 1950. Cited on page: 153
[62] B.B. Newman. Some results on one-relator groups, Bull. Amer. Math.
Soc., 74, pp. 568–571, 1968. Cited on page: 153
[64] D. Osin. Rank gradient and torsion groups, Bull. Lond. Math. Soc.,
43(1), pp. 10–15, 2011. Cited on page: 24
[65] D.S. Passman. Group rings, crossed products and Galois theory. CBMS
Regional Conference Series in Mathematics, 64. AMS, 1986. Cited on
page: 7
E.6 Bibliography
[78] P.A. Smith. Permutable periodic transformations, Proc. Nat. Acad. Sci.
U.S.A., 30, pp. 105–108, 1944. Cited on page: 165
[86] P. Wadler. Theorems for free! FPCA ’89, Proceedings of the fourth in-
ternational conference on Functional programming languages and com-
puter architecture, pp. 347–359, London, 1989. Cited on page: 135
[87] C. Weibel. An Introduction to Homological Algebra, Cambridge Studies
in Advanced Mathematics, 38, Cambridge University Press, 1995. Cited
on page: 41, 100, 104, 110, 111, 114, 115, 116, 117, 118, 122, 123, 135,
138
[88] G.W. Whitehead. Elements of Homotopy Theory, Graduate Texts in
Mathematics, 61, Springer, 1978. Cited on page: A.14
[89] J.H.C. Whitehead. On C 1 -complexes, Ann. of Math. (2), 41, pp. 809–
824, 1940. Cited on page: 152
[90] K. Whyte. Amenability, bi-Lipschitz equivalence, and the von Neumann
conjecture, Duke Math. J., 99(1), pp. 93–112, 1999. Cited on page: 74,
85
[91] D. Zhuang. Irrational stable commutator length in finitely presented
groups, J. Mod. Dyn., 2(3), pp. 499–507, 2008. Cited on page: 98
Deutsch → English
A
Abbildungskegel mapping cone 113
abgeleiteter Funktor derived functor 101
amenabel, mittelbar amenable 72
Auflösung resolution 42
Augmentierung augmentation 12
azyklisch acyclic 123
B
Bar-Auflösung bar resolution 12
beschränkte Kohomologie bounded cohomology 87
bigraduiert bigraded 118
Bilipschitz-Äquivalenz bilipschitz equivalence 69
Bilipschitz-Einbettung bilipschitz embedding 69
C
CW-Komplex CW-complex A.11
CW-Struktur CW-structure A.11
D
Defekt defect 90
Defekt deficiency 32
degenerierende Spektralsequenz degenerating
spectral sequence 119
derivierte Kategorie derived category 111
derivierter Funktor derived functor 101
Doppelkomplex double complex 122
Dictionary E.9
E
Ein-Relator-Gruppe one-relator group 153
Erweiterung extension 32
Erzeugendensystem generating set 30
Erzeuger generator 30
Eulercharakteristik Euler characteristic 164
exakter Funktor exact functor 100
F
Følner-Folge Følner sequence 73
Flächengruppe surface group 151
freie Auflösung free resolution 42
freies amalgamiertes Produkt amalgamated free product A.3
freies Erzeugendensystem free generating set A.6
freies Produkt free product A.3
Fundamentalklasse fundamental class 80
G
geometrische Dimension geometric dimension 159
getwistete Koeffizienten twisted coefficients 155
gleichmäßig diskret und von beschränkter Geometrie UDBG 75
gleichmäßig endlich uniformly finite 76
gleichmässig nah uniformly close 70
Gruppenhomologie group homology 1
Gruppenkohomologie group cohomology 1
Gruppenpräsentation presentation of a group 30
Gruppenring group ring 6
H
homologische Algebra homological algebra A.7
homologischer ∂-Funktor homological ∂-functor 101
Hufeisenlemma horseshoe lemma A.8
hyperbolische Gruppe hyperbolic group 152
I
Induktion induction 59
Invarianten invariants 9
Involution involution 8
K
klassifizierender Raum classifying space 144
kohomologische Dimension cohomological dimension 158
Koinduktion coinduction 60
Koinvarianten coinvariants 9
L
Lefschetzzahl Lefschetz number 166
Lokalisierung localisation 113
E.10 Dictionary
M
Mittel mean 72
mittelbar amenable 72
Modulkategorie module category 100
N
normierter Ring normed ring 76
P
Präsentations-Komplex presentation complex 147
projektive Auflösung projective resolution 42
projektiver Modul projective module 41
Q
Quasi-Isometrie quasi-isometry 70
quasi-isometrische Einbettung quasi-isometric embedding 70
Quasiisomorphismus quasi-isomorphism 112
Quasimorphismus quasi-morphism 90
Quaternionengruppe quaternion group 54
R
Rang rank 23, A.6
rechts-exakter Funktor right exact functor 100
reduziertes Wort reduced word A.4
Restriktion restriction 58
S
Schur-Multiplikator Schur multiplier 41
Seite page 118
simpliziale Auflösung simplicial resolution 11
Skelett skeleton A.11
Spektralsequenz, Spektralfolge spectral sequence 118
T
torsionsfrei torsion-free 25
Torsionsgruppe torsion group 25
Transfer transfer 63
U
universelles Koeffiziententheorem universal coefficient theorem 133
V
Verbindungsmorphismus connecting morphism 101
W
Wort word A.3
Dictionary E.11
Z
Zelle cell A.11
E.12 Dictionary
Dictionary E.13
English → Deutsch
A
acyclic azyklisch 123
amalgamated free product freies amalgamiertes Produkt A.3
amenable amenabel, mittelbar 72
augmentation Augmentierung 12
B
bar resolution Bar-Auflösung 12
bigraded bigraduiert 118
bilipschitz embedding Bilipschitz-Einbettung 69
bilipschitz equivalence Bilipschitz-Äquivalenz 69
bounded cohomology beschränkte Kohomologie 87
C
cell Zelle A.11
classifying space klassifizierender Raum 144
cohomological dimension kohomologische Dimension 158
coinduction Koinduktion 60
coinvariants Koinvarianten 9
connecting morphism Verbindungsmorphismus 101
CW-complex CW-Komplex A.11
CW-structure CW-Struktur A.11
D
defect Defekt 90
deficiency Defekt 32
degenerating spectral sequence degenerierende
Spektralsequenz 119
E.14 Dictionary
E
Euler characteristic Eulercharakteristik 164
exact functor exakter Funktor 100
extension Erweiterung 32
F
Følner sequence Følner-Folge 73
free generating set freies Erzeugendensystem A.6
free product freies Produkt A.3
free resolution freie Auflösung 42
fundamental class Fundamentalklasse 80
G
generating set Erzeugendensystem 30
generator Erzeuger 30
geometric dimension geometrische Dimension 159
group cohomology Gruppenkohomologie 1
group homology Gruppenhomologie 1
group ring Gruppenring 6
H
homological ∂-functor homologischer ∂-Funktor 101
homological algebra homologische Algebra A.7
horseshoe lemma Hufeisenlemma A.8
hyperbolic group hyperbolische Gruppe 152
I
induction Induktion 59
invariants Invarianten 9
involution Involution 8
L
Lefschetz number Lefschetzzahl 166
localisation Lokalisierung 113
M
mapping cone Abbildungskegel 113
mean Mittel 72
module category Modulkategorie 100
N
normed ring normierter Ring 76
Dictionary E.15
O
one-relator group Ein-Relator-Gruppe 153
P
page Seite 118
presentation complex Präsentations-Komplex 147
presentation of a group Gruppenpräsentation 30
projective module projektiver Modul 41
projective resolution projektive Auflösung 42
Q
quasi-isometric embedding quasi-isometrische Einbettung 70
quasi-isometry Quasi-Isometrie 70
quasi-isomorphism Quasiisomorphismus 112
quasi-morphism Quasimorphismus 90
quaternion group Quaternionengruppe 54
R
rank Rang 23, A.6
reduced word reduziertes Wort A.4
resolution Auflösung 42
restriction Restriktion 58
right exact functor rechts-exakter Funktor 100
S
Schur multiplier Schur-Multiplikator 41
simplicial resolution simpliziale Auflösung 11
skeleton Skelett A.11
spectral sequence Spektralsequenz, Spektralfolge118
surface group Flächengruppe 151
T
torsion group Torsionsgruppe 25
torsion-free torsionsfrei 25
transfer Transfer 63
twisted coefficients getwistete Koeffizienten 155
U
UDBG gleichmäßig diskret und
von beschränkter Geometrie 75
uniformly close gleichmässig nah 70
uniformly finite gleichmäßig endlich 76
universal coefficient theorem universelles
Koeffiziententheorem 133
W
word Wort A.3
word metric Wortmetrik 68
E.16 Dictionary
Symbols
R
R set of real numbers,
ResGH restriction functor, 58
resG
H cohomology:
restricition; homology:
transfer, 63
rk rank of a group, 23
rkZ rank of Z-modules, 23
R Mod category of left
R-modules,
S
Σg oriented closed
connected surface of
genus g, 151
supp support, 76
T
Tor derived functor of the
tensor product, 107
Tot C total complex
associated with the
double complex C∗∗ ,
122
E.20 Symbols
Index
classification, 33 homology
functoriality, 38 long exact sequence, A.7
trivial, 37 of finite cyclic groups, 49
universal central, 40 of finite groups, 64
group homology, 14, B.10 of free groups, 56
amenability, 80 of subgroups, 61
conjugation action, B.14 of Z, B.6
free product, 156 of Z/p × Z/p, 137
Heisenberg group, B.14 of Z × Z, 136
in degree 0, 18 of Z2 , B.6
in degree 1, 20 of D∞ , 127
in degree 2, 30, 129 of S3 , 126
of finite cyclic groups, 49 semi-norm, B.12
of finite groups, 64 torsion, 65
of free groups, 56 uniformly finite, 77, 78
of subgroups, 61 via Tor, 108
of Z, B.6 via classifying spaces, 153, 154
of Z2 , B.6 homology of a group, see group ho-
of D∞ , 127 mology
of S3 , 126 homotopy category, 114
surface group, 155, B.15 as localisation, 114
universal coefficient theorem, Hopf’s formula, 30, 129
135 horseshoe lemma, A.8
via Tor, 108 hyperbolic group, 152
via classifying spaces, 153
via projective resolutions, 47 I
group ring, 6
of cyclic groups, B.2 induction, 59
trace, B.2 infinite dihedral group, 65, B.7
universal property, 7 injective module, B.13
invariant mean, 72
H invariants, 9
involution, 8
Heisenberg group, B.3 ISSS (InterStellar Spectral Sequence
Hilbert 90, 25, 28 Station, B.16
Hochschild-Serre spectral sequence,
123, B.14
K
examples, 125
naturality, 125 Kaplansky conjecture, 7, B.2
homeomorphism group, B.5 Künneth spectral sequence, 132
homogeneous quasi-morphism, 90, Künneth theorem
91 algebraic, 135
homogenisation, 91, B.11 cohomology, 138
homological algebra, A.7 group cohomology, 138
homological ∂-functor, 101 group homology, 136
homological spectral sequence, 118 topological, 138
E.26 Index
L of an operator, 86
lattice, 162 normed G-module, 86
Lefschetz fixed point theorem, 166 normed ring, 76
Lefschetz number, 166 number of ends, 62
left-invariant mean, 72
Legendre symbol, 65, B.7 O
library, 3 one-relator group, 153
localisation, 113 open cell, A.11
at chain homotopies, 114 orbit equivalence, B.10
at quasi-isomorphisms, 114
long exact sequence P
group homology, 109
page, 118
homology (algebraic), A.7
page-turning isomorphism, 118
Lyndon-Hochschild-Serre spectral
perfect group, 22, 23
sequence, see Lyndon-Hochschild-
periodic resolution, 165
Serre spectral sequence
Ponzi scheme, 83, B.9
presentation, 30
M
presentation complex, 147
mapping cone, 113, B.13 problem
trick, 113, B.13 amenability of Thompson’s group,
mean, 72, B.11 74
measure equivalence, B.10 Eilenberg-Ganea, 162
metric space extension, 120
bounded geometry, 75 second scl-gap, 98
UDBG, 75 space form, 164
uniformly discrete, 75 von Neumann, 74
model of classifying space, see clas- product structure, 139
sifying space projective module, 41
modular group, 65 projective resolution, 42, 45
module bar, 43
bigraded, 118 periodic, 165
coinduction, 60 quasi-isomorphism, 112
induction, 59 simplicial, 43
injective, B.13 uniqueness, 46
over ZG, 7 via classifying space, 153
projective, 41 via sphere action, 165
restriction, 58
module category, 100 Q
morphism
quasi-isometric embedding, 70, B.7
of Banach G-modules, 86
quasi-isometry, 70, 71, B.10
alternative characterisation, 70
N quasi-isometry invariant, 71
norm quasi-isomorphism, 112, B.12
in Galois theory, 28 quasi-morphism, 90, B.12
Index E.27
Z
ZG-module, 7
coinvariants, 9
Hom, 8
invariants, 9
tensor product, 8
trivial, 8