Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to see different ways of calculating the cohomology ring of $\mathbb{R}P^n$. I know there are several ways, for example, using Poincare Duality, Gysin sequence, etc... Sketch your favorite proof!

PD. Is there a direct way (maybe a geometric argument) of calculating this chomology ring without using any big theorems?

share|cite|improve this question
up vote 3 down vote accepted

In the complex case, which is easier:

Using the fact that there is a cellular decomposition of $P^n\mathbb C$ using only one even dimensional cell per dimension, we know their classes freely generate homology. Looking at the decomposition, we see that each of those classes is in fact the fundamental class of a projective subspace. It is thus easy to compute by hand (even by picture!) intersections in homology, and then one can invoke duality to identify that with the cup product in cohomology. The resulting computation is almost completely geometric. You can find it (for $n=3$ only, iirc) in Greenberg's book on algebraic topology.

The real case is similar, of course.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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