Scribd
Upload
19 views1 page

Sheet 15

The document outlines Exercise Sheet 15 for a course on Algebraic Topology at the Karlsruhe Institute of Technology, focusing on various homology calculations and properties. It includes exercises on homology with coefficients, Euler characteristics of products, and homology of matrix groups. Each exercise requires specific calculations and proofs related to algebraic topology concepts.

Uploaded by

nilufarkomiljonovna21
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
19 views1 page

Sheet 15

The document outlines Exercise Sheet 15 for a course on Algebraic Topology at the Karlsruhe Institute of Technology, focusing on various homology calculations and properties. It includes exercises on homology with coefficients, Euler characteristics of products, and homology of matrix groups. Each exercise requires specific calculations and proofs related to algebraic topology concepts.

Uploaded by

nilufarkomiljonovna21
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Winter term 2024/25 Karlsruhe Institute of Technology

Algebraic Topology JProf. Dr. Manuel Krannich


Exercise Sheet 15 Dr. Florian Kranhold

Exercise 15.1 (Homology with coefficients; homology of products). Calculate for all n ∈ Z:

(a) Hn (RP4 ; M) for M ∈ {Z/2, Q}.

(b) Hn (S4 × S3 ; M) for each abelian group M.

(c) Hn (RP3 × X; M) for M ∈ {Z, Z/3}, where X is a Moore space of type (Z/6, 2) as
introduced in Exercise 10.3.

Exercise 15.2 (Euler characteristic of products). Let X and Y be spaces.

(a) Assume that all H p ( X ) and Hq (Y ) are finitely generated abelian groups. Show that
each Hn ( X × Y ) is finitely generated.

(b) Show: If H p ( X ) = 0 for all p ⩾ p0 and Hq (Y ) = 0 for all q ⩾ q0 , then Hn ( X × Y ) = 0


for all n ⩾ p0 + q0 + 1.

(c) Show that if both (a) and (b) hold, then we have χ( X × Y ) = χ( X ) · χ(Y ).

Exercise 15.3 (Euler characteristic over fields). Let F be a field, treated as a (Z, F)-bimodule.

(a) Show that for each integer a ∈ Z ∖ {0}, we have isomorphisms of F-vector spaces
( )
F if a = 0 in F
Z/a ⊗Z F ∼
= = TorZ
∼
1 (Z/a, F).
0 if a ̸= 0 in F

L
(b) Show that if X is of finite type (i.e. n∈Z Hn ( X ) is a finitely generated abelian group),
then n∈Z Hn ( X; F) is finite-dimensional and
L

χ( X ) = ∑ (−1)n · dimF ( Hn (X; F)).


n ∈Z

Exercise 15.4 (Homology of matrix groups). For each d ⩾ 0, let GLd (R) be the group
2
of all invertible real (d × d)-matrices, topologised as a subset of Rd . Furthermore, let
O(d) ⊆ GLd (R) be the subgroup of orthogonal matrices.

(a) Establish a homeomorphism O(d) ∼


= SO(d) ⊔ SO(d).

(b) Show that O(d) ⊆ GLd (R) is a deformation retract. (Hint: Gram–Schmidt.)

(c) Use (a) and (b) to calculate Hn (GLd (R); Z/2) for all n, d ⩾ 0.

You might also like