[Math] Homology group of Real projective plane

algebraic-topologyhomology-cohomology

I know the homology group of Real Projective plane $\mathbb{RP}^2$

$H_i(\mathbb{RP}^2) = 0$ for $i>2$, $\mathbb{Z}$ for $i=0$ , $\mathbb{Z}/2\mathbb{Z}$ for $i=1$ (non-reduced case).

Proving when $i \neq 2$ is easy but $i=2$ case is slightly hard for me. $\mathbb{RP}^2$ has CW complex structure with one of each $0,1,2$ cells so this takes care of $i>2$ case and $\mathbb{RP}^2$ is connected so it takes care of $i=0$ case and finally I know the fundamental group of real projective plane and I know the relation between first homology group and fundamental group so that part is done too.

I also understand that we can use simplicial homology tool to calculate it as well as using the degree formula to find out the boundary map for CW complex. But is there any other way (for instance using Mayer-Vietoris sequence or directly working out the boundary map $\delta_2$ explicitly in CW complex case) to show $H_2(\mathbb{RP}^2)=0$?

Best Answer

You'll want to use the fact that $\mathbb{R}P^n$ can be written as $\mathbb{R}P^{n-1}\cup_f D^n$ where $D^n$ is the $n$-dimensional ball, and $f\colon S^{n-1}\to\mathbb{R}P^{n-1}$ is a 2-fold covering map, so we are gluing the $n$-ball along its boundary to $\mathbb{R}P^{n-1}$ via this map. You can then use Mayer-Vietoris and induced maps to explicitly work out the connecting map. In your case, you have $\mathbb{R}P^2=M\cup_f D^2$, where $M$ is the Mobius strip and $f\colon S^1\to M$ is the doubling map up to homotopy, or just the inclusion of the boundary into the Mobius strip.


To be more explicit, via Mayer-Vietoris, we get a long exact sequence $$\cdots\to H_2(M)\oplus H_2(D^2)\to H_2(\mathbb{R}P^2)\to H_1(S^1)\to H_1(M)\oplus H_1(D^2)\to\cdots$$ which, using the fact that $H_2(M)=H_2(D^2)=H_1(D^2)=0$ and $H_1(S^1) \cong H_1(M) \cong\mathbb{Z}$, reduces to the exact sequence. $$\cdots\to 0\to H_2(\mathbb{R}P^2) \stackrel{g}{\to} \mathbb{Z} \stackrel{\times 2}{\to} \mathbb{Z} \to\cdots$$

where we get that $\times 2$ map in the above sequence from the fact that the inclusion of the intersection of the two spaces (homotopy equivalent to a circle) into the Mobius strip is (up to homotopy) the degree-$2$ covering map, which induces multiplcation by $2$ in first homology.

By exactness, the image of $g$ must be $0\subset\mathbb{Z}$ as the doubling map in injective, but $g$ must itself be injective by exactness because the map $0\to H_2(\mathbb{R}P^2)$ has trivial image. The only way both of these conditions on $g$ can be satisfied is if $H_2(\mathbb{R}P^2)$ is trivial.

Related Question