Problems
Part 1
Let M be the Möbius Strip obtained from identifying (0, t) with (1, 1 − t) on
the square I × I. Let A be the boundary circle i.e. the image of I × {0, 1}
under the quotient map. Recall that using the long exact sequence of the pai
(M,A), the first relative homology H1(M,A) ∼= Z/2Z. Prove using the long
exact sequence of the triple (M,B,A) that the curve f(t) = (0, t) (thought of
as a 1-chain) represents the non-zero class in this group. Here B is the image
of the boundary of I × I in M .
Part 2
Let (C•, ∂) and (D•, ∂) be chain complexes. Show that there is a chain complex
hom• with
homn =
∏
j−i=n
Hom(Ci, Dj)
so that the space of cycles Z0(hom•) = ker(∂ : hom0 → hom−1) is the space
of chain maps C• → D•, and the 0th homology H0(hom•) is the space of chain
maps modulo chain homotopies.
Notation: For abelian groups G1, G2, the set Hom(G1, G2) of group homomor-
phisms G1 → G2 is itself an abelian group under the operation (ϕ, ψ) 7→ ϕ+ ψ
where (ϕ+ ψ)(g) = ϕ(g) + ψ(g).
1