Let $\Sigma_g$ be the compact orientable surface of genus $g$. I'm trying to compute the homology groups of $\Sigma_g$ using Mayer-Vietoris sequence. To do this, I first calculated the homology groups of wedge of circles. Using induction, one can easily show that the wedge of $k$ circles have $H_0=\mathbb{Z},H_1=\mathbb{Z}^k$ and other $H_n$s zero.
Now to calculuate the homology of $\Sigma_g$, Let $U$ be $\Sigma_g$ with a small hole on it, and $V$ be a disk on the surface slightly larger than the hole. This pair $(U,V)$ satisfy the conditions of excision (M-V sequence), and one can see that $U$ is homotopically equivalent to the wedge of $2g$ circles. Since $U\cap V$ clearly deformation retracts to a circle, the M-V sequence
$$H_2(U)\oplus H_2(V)\rightarrow H_2(X)\rightarrow H_1(U\cap V)\rightarrow H_1(U)\oplus H_1(V)\rightarrow H_1(X)\rightarrow H_0(U\cap V)\rightarrow H_0(U)\oplus H_0(V)\rightarrow H_0(X)\rightarrow H_{-1}(U)\oplus H_{-1}(V)$$
becomes
$$0 \rightarrow H_2(X)\rightarrow\mathbb{Z}\rightarrow\mathbb{Z}^{2g}\oplus 0 \rightarrow H_1(X)\rightarrow\mathbb{Z}\rightarrow\mathbb{Z}\oplus\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow 0.$$
This is the part where I'm stuck. How does one conclude from here that $H_2(X)=\mathbb{Z}$ and $H_1(X)=\mathbb{Z}^{2g}$? I've managed to prove that the map $\mathbb{Z}^{2g}\oplus 0 \rightarrow H_1(X)$ must be an epimorphism, but I don't see why this has to be an isomorphism; if it is an isomorphism, the result follows immediately.
Any advice is welcome! Please enlighten me.
Best Answer
$H_1(U\cap V)$ is generated by the attaching map of the 2-cell which includes each generator twice, once with $+$ sign and once with $-$ sign. Therefore it is homologous to zero. Hence the map $\mathbb{Z}\to \mathbb{Z}^{2g}$ is the zero map. Hence $H_2(X)=\mathbb{Z}$ and $H_1(X)=\mathbb{Z}^{2g}$.