# 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

## Contents

- 1 Statement
- 1.1 Odd-dimensional projective space with coefficients in integers
- 1.2 Even-dimensional projective space with coefficients in integers
- 1.3 Odd-dimensional projective space with coefficients in an abelian group or module
- 1.4 Even-dimensional projective space with coefficients in an abelian group or module
- 1.5 Coefficients in a 2-divisible ring

- 2 Homology groups with integer coefficients in tabular form
- 3 Reality checks
- 4 Related invariants
- 5 Facts used
- 6 Proof

## Statement

### Odd-dimensional projective space with coefficients in integers

### Even-dimensional projective space with coefficients in integers

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.

### Odd-dimensional projective space with coefficients in an abelian group or module

where is the 2-torsion submodule of , i.e. the submodule comprising elements whose double is zero.

### Even-dimensional projective space with coefficients in an abelian group or module

where is the 2-torsion submodule of , i.e. the submodule comprising elements whose double is zero.

### Coefficients in a 2-divisible ring

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

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

## Homology groups with integer coefficients in tabular form

We illustrate how the homology groups work for small values of . Note that for , all homology groups are zero, so we omit those cells for visual ease.

Real projective space | Orientable? | |||||||
---|---|---|---|---|---|---|---|---|

1 | circle | Yes | ||||||

2 | real projective plane | No | 0 | |||||

3 | RP^3 | Yes | 0 | |||||

4 | RP^4 | No | 0 | 0 | ||||

5 | RP^5 | Yes | 0 | 0 |

## Reality checks

General assertion | Verification in this case | See also ... |
---|---|---|

For any path-connected space, the first homology group with coefficients in is the abelianization of the fundamental group. (This is part of the Hurewicz theorem). If the fundamental group is abelian, it is isomorphic to the first homology group. | : The space is homeomorphic to the circle , and the fundamental group is isomorphic to . This is also the first homology group. : The fundamental group is , because its double cover is simply connected (see n-sphere is simply connected for n greater than 1). The first homology group is also . |
homotopy of real projective space |

For any compact connected -dimensional manifold, the top homology group is if the space is orientable and is otherwise. | odd: In this case, the space is obtained by taking the quotient of the orientable manifold by the antipodal action, which is orientation-preserving (one way of seeing it is that is given by a scalar matrix of s in dimension , so has determinant 1). The quotient is thus also orientable. Indeed, for odd, the top homology is . even: In this case, the space is obtained by taking the quotient of the orientable manifold by the antipodal action, which is orientation-reversing (one way of seeing it is that is given by a scalar matrix of s in dimension , so has determinant -1). The quotient is thus non-orientable. Indeed, for even, the top homology is . |
? |

For a compact connected orientable manifold of dimension , the Poincare duality theorem says that the homology group of dimension is isomorphic to the cohomology group of dimension . | Case odd: As noted above, the manifold is orientable. The top and bottom homology and cohomology groups are isomorphic to . The even-dimensional cohomology groups and odd-dimensional homology groups are both isomorphic to . The odd-dimensional cohomology groups and even-dimensional homology groups are both zero groups. | cohomology of real projective space |

## 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 Betti number is the rank of the torsion-free part of the homology group. | . if is odd and if is even. All other s are zero. |

Poincare polynomial | Generating polynomial for Betti numbers | if is odd. if is even. |

Euler characteristic | if is odd. if is even. Note that the Euler characteristic is half the Euler characteristic of the sphere , which is its double cover. |

## Facts used

## Proof

### Explication of chain complex

The proof follows from fact (1). By fact (1), we note that the homology of real projective space is the same as the homology of the following chain complex, obtained as its cellular chain complex:

- For even:

where the largest nonzero chain group is the chain group.

- For odd:

Note that the multiplication maps alternate between multiplication by two and multiplication by zero. In particular, in both cases, the map is multiplication by two if going down from an even to an odd index and multiplication by zero if going down from an odd to an even index. The key difference between the odd and even case is whether we start with a multiplication by two map or a multiplication by zero map.

### Homology computation over integers

Case for | Case for | Fragment of relevance in chain complex ( to to ) | Cycle group (kernel from to | Boundary group (image from group to group | Homology group = cycle group/boundary group |
---|---|---|---|---|---|

both odd and even | 0 | 0 | |||

both odd and even | odd, strictly less than | ||||

both odd and even | even, positive, strictly less than | 0 | 0 | 0 | |

even | equal to | 0 | 0 | 0 | |

odd | equal to | 0 | |||

both odd and even | greater than | (the last term becomes when ) | 0 | 0 | 0 |

### Homology computation over an abelian group or module

The chain complex remains the same, but each is replaced by .

Denote by the 2-torsion submodule of and by the quotient of by the submodule comprising the doubles of elements.

Case for | Case for | Fragment of relevance in chain complex ( to to ) | Cycle group (kernel from to | Boundary group (image from group to group | Homology group = cycle group/boundary group |
---|---|---|---|---|---|

both odd and even | 0 | 0 | |||

both odd and even | odd, strictly less than | ||||

both odd and even | even, positive, strictly less than | 0 | |||

even | equal to | 0 | |||

odd | equal to | 0 | |||

both odd and even | greater than | (though the last term becomes when ) | 0 | 0 | 0 |