# Homology of quotient of 3-sphere by identifying antipodal points on equator

I'm trying to solve exercise 2.2.10 in Hatcher's Algebraic Topology:

Let $X$ be the quotient space of $S^{3}$ under the identifications $x\sim-x$ for $x$ in equator $S^2$. Compute the homology groups $H_i(X)$.

$H_i(X) = 0$ for $i > 3$. $H_0(Z)\cong\mathbb{Z}$. I think I found $H_3(X),H_2(X)$. I need help to see if my work is correct and to compute $H_1(X)$.

I know that $\mathbb{R}\textbf{P}^2$ has homology groups $\mathbb{Z}$ for $i=0$, $\mathbb{Z}_2$ for $i=1$ and $0$ otherwise. $\mathbb{R}\textbf{P}^3$ has homology groups $\mathbb{Z}$ for $i=0,3$, $\mathbb{Z}_2$ for $i=1$ and $0$ otherwise.

Let $A,B$ be the upper and lower hemispheres of $X$. $A=B=\mathbb{R}\textbf{P}^3$ and $A\cap B = \mathbb{R}\textbf{P}^2$. Add a small neighborhood of the intersection that deformation retracts to the intersection to each of $A,B$. Apply Mayer-Vietoris.

$$H_3(A\cap B)\to H_3(A)\oplus H_3(B)\to H_3(X)\to H_2(A\cap B)$$ gives $H_3(X)\cong\mathbb{Z}\oplus\mathbb{Z}$

$$H_2(A)\oplus H_2(B)\to H_2(X)\to H_1(A\cap B)$$ gives $H_2(X)\cong\mathbb{Z}_2$

For $H_1(X)$ I get this which doesn't help $$\mathbb{Z}_2\to\mathbb{Z}_2\oplus\mathbb{Z_2}\to H_1(X)\to\mathbb{Z}\to\mathbb{Z}\oplus\mathbb{Z}$$

This my work correct? How to compute $H_1(X)$?

Note: A simpler version of the exercise was asked on this site. I was able to solve that via cellular chains with no problem. Homology of some quotient of $S^2$

EDIT: As soon as I post this I get an idea for $H_1(X)$. Since $\mathbb{Z}_2\oplus\mathbb{Z_2}$ is finite and all nontrivial subgroups of $\mathbb{Z}$ are infinite, $H_1(X)$ has to be infinite cyclic. Is this correct?

Your $H_3$ calculation is correct because $H_2(A\cap B)=0$. The $H_2$ calculation is a little fishy. Here is the relevant fragment of the MV sequence: $$0\to H_2(X)\to H_1(A\cap B) \to H_1(A)\oplus H_1(B),$$ which turns into $$0\to H_2(X) \to \mathbb Z_2\to \mathbb Z_2\oplus\mathbb Z_2.$$ There is no reason to conclude that $H_2(X)=\mathbb Z_2$. Indeed, based on the topology, the map $\mathbb Z_2\to \mathbb Z_2\oplus\mathbb Z_2$ should be given by $x\mapsto (x,x)$, which is injective. Hence $H_2(X)=0$.
But now you have enough to figure out $H_1(X)$. This is easiest if you use reduced homology. Then, similarly to what you've written you get $$0\to \mathbb Z_2\to \mathbb Z_2\oplus\mathbb Z_2\to H_1(X)\to 0.$$ Thus $H_1(X)\cong (\mathbb Z_2\oplus\mathbb Z_2)/\langle (x,x)\rangle\cong \mathbb Z_2$.
An alternative approach is to use cellular homology. This is basically $\mathbb{RP}^2$ with two $3$-cells attached. The cellular chain complex is $$0\to \mathbb Z^2\overset{0}{\to} \mathbb Z\overset{\times 2}{\to}\mathbb Z\overset{0}{\to}\mathbb Z\to 0.$$ You can deduce these maps since you know what they are for $\mathbb{RP}^3$, and this is essentially $\mathbb{RP}^3$ with an additional $3$ cell attached in the same way. Taking the homology gives the same answer as Mayer-Vietoris.
• You wrote that boundary maps are $0, \times 2$ and $0$. To my intuition, they should be $\times 2, 0$ and $0$. Where am I wrong? – user732913 Jun 14 at 13:33
• @MaximUlyanov $\times 2$ doesn't make sense as a map from $\mathbb Z^2$ to $\mathbb Z$, so I am not sure what you mean. – Cheerful Parsnip Jun 15 at 7:11