Hatcher Exercise 2.2.29

The surface of genus (i.e. a connect sum of tori), when embedded in , bounds a compact solid region . Let be two copies of this space with their boundaries (the actual surface) identified via the identity map, giving a three-manifold. We calculate the homology. Let be one region with an open neighborhood into the other, and likewise for . The region bounded by deformation retracts onto its core -- a wedge of circles. So, and deformation retract onto a wedge of circles.

0 \rightarrow \wt{H}_3(X) \rightarrow \mathbb{Z} \rightarrow 0 \rightarrow \wt{H}_2(X) \rightarrow \mathbb{Z}^{2g} \xrightarrow{\Phi} \mathbb{Z}^g \oplus \mathbb{Z}^g \rightarrow \wt{H}_1(X) \rightarrow 0

\wt{H}_1(X) = \dfrac{\la c_1, \dots, c_g, d_1, \dots, d_g \ra}{\la c_1 + d_1, \dots, c_g + d_g \ra} = \dfrac{\la c_1 + d_1, \dots, c_g + d_g, d_1, \dots, d_g \ra}{\la c_1 + d_1, \dots, c_g + d_g \ra} \cong \mathbb{Z}^g

$$