Homology of real projective space

This article describes the value (and the process used to compute it) of some homotopy invariant(s) for a topological space or family of topological spaces. The invariant is homology group and the topological space/family is real projective space
Get more specific information about real projective space | Get more computations of homology group

Statement

Odd-dimensional projective space with coefficients in integers

$H_p({\mathbb{P}}^n(\mathbb{R}))=\mathbb{Z}p=0,n$

For odd $p$ with $0<p<n$:

$H_p({\mathbb{P}}^n(\mathbb{R}))=\mathbb{Z}/2\mathbb{Z}$

And zero otherwise.

Even-dimensional projective space with coefficients in integers

We have:

$H_p({\mathbb{P}}^n(\mathbb{R}))=\mathbb{Z}p=0$

For odd $p$ with $0<p<n$:

$H_p({\mathbb{P}}^n(\mathbb{R}))=\mathbb{Z}/2\mathbb{Z}$

And zero otherwise.

Thus the key difference between even and odd dimensional projective spaces is that the top homology vanishes in even-dimensional projective spaces. This is related to the fact that even-dimensional projective space is non-orientable, while odd-dimensional projective space is orientable.

Coefficients in a 2-divisible ring

If we consider the homology with coefficients in a module $M$ over a ring $R$ where 2 is invertible, then we have:

$H_k({\mathbb{P}}^n(\mathbb{R});M):=\{\begin{array}{cc}M,& k=0\\ M,& k=n,n\mathrm{o}\mathrm{d}\mathrm{d}\\ 0,& k=n,n\mathrm{e}\mathrm{v}\mathrm{e}\mathrm{n}\\ 0,& k\ne 0,n\\ \end{array}$

In particular, these results are valid over the field of rational numbers or over any field of characteristic zero.

Related invariants

These are all invariants that can be computed in terms of the homology groups.

Invariant	General description	Description of value for real projective space
Betti numbers	The $n^{th}$ Betti number $b_k$ is the rank of the $k^{th}$ homology group.	$b_0=1$. $b_n=1$ if $n$ is odd and $b_n=0$ if $n$ is even.
Poincare polynomial	Generating polynomial for Betti numbers	$1+x^n$ if $n$ is odd. $1$ if $n$ is even.
Euler characteristic	$\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k{b}_k$	$0$ if $n$ is odd. $1$ if $n$ is even. Note that the Euler characteristic is half the Euler characteristic of the sphere $S^n$, which is its double cover.

Facts used

1. CW structure of real projective space

Proof

The proof follows from fact (1). See more details on that page.