10
$\begingroup$

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?

$\endgroup$
13
$\begingroup$

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.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Got it. I saw my mistake. I needed to consider the homomorphisms within the sequence too. Your inclusion of the cellular chain was also insightful. Thank you. $\endgroup$ – PeterM Nov 9 '13 at 22:32
  • $\begingroup$ 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? $\endgroup$ – user732913 Jun 14 at 13:33
  • $\begingroup$ @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. $\endgroup$ – Cheerful Parsnip Jun 15 at 7:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.