Paper 4 , Section II, 21F

Algebraic Topology | Part II, 2020

In this question, you may assume all spaces involved are triangulable.

(a) (i) State and prove the Mayer-Vietoris theorem. [You may assume the theorem that states that a short exact sequence of chain complexes gives rise to a long exact sequence of homology groups.]

(ii) Use Mayer-Vietoris to calculate the homology groups of an oriented surface of genus gg.

(b) Let SS be an oriented surface of genus gg, and let D1,…,DnD_{1}, \ldots, D_{n} be a collection of mutually disjoint closed subsets of SS with each DiD_{i} homeomorphic to a two-dimensional disk. Let Di∘D_{i}^{\circ} denote the interior of DiD_{i}, homeomorphic to an open two-dimensional disk, and let

T:=S\(D1∘∪⋯∪Dn∘)T:=S \backslash\left(D_{1}^{\circ} \cup \cdots \cup D_{n}^{\circ}\right)

Show that

Hi(T)={Zi=0Z2g+n−1i=10 otherwise H_{i}(T)= \begin{cases}\mathbb{Z} & i=0 \\ \mathbb{Z}^{2 g+n-1} & i=1 \\ 0 & \text { otherwise }\end{cases}

(c) Let TT be the surface given in (b) when S=S2S=S^{2} and n=3n=3. Let f:T→S1×S1f: T \rightarrow S^{1} \times S^{1} be a map. Does there exist a map g:S1×S1→Tg: S^{1} \times S^{1} \rightarrow T such that f∘gf \circ g is homotopic to the identity map? Justify your answer.

Typos? Please submit corrections to this page on GitHub.