How can I compute Cohomology of complex projective plane $CP^2$? Any magic like the one here?
Cohomology of complex projective plane
2 Answers
There are a lot of different approaches depending upon what you know, what precise incarnation of cohomology you're using, and so forth.
Off the top of my head, the following seems easiest: for any $n \in \mathbb{Z}^+$, complex projective $n$-space $\mathbb{C} \mathbb{P}^n$ has the natural structure of a CW-complex with exactly one cell in each degree $2k$ for $0 \leq k \leq n$ and no cells in any other degrees. (You can see this by writing projective $n$-space as affine $n$-space union projective $n-1$ space.) This makes the co/homology work out about as simply as it gets: all the attaching maps are zero, so we have $H_i(\mathbb{C} \mathbb{P}^n, \mathbb{Z})$ is $\mathbb{Z}$ if $0 \leq i \leq 2n$ and $i$ is even and $0$ otherwise. The vanishing of all the odd homology groups also makes the Universal Coefficient Theorem easy to apply, and one gets exactly the same answer for the cohomology groups.
If you wanted to use some other method -- or, if you need to know the ring structure of the cohomology (short answer: it is a truncated polynomial ring) -- then please let me know.
-
0@Alexander: thanks for pointing out that typo. – 2011-03-29
Let $f: \mathbb CP^n \to \mathbb R$ be given by: $[z_0, \dots, z_n] \mapsto \frac{|z_1|^2 + 2|z_2|^2 + \dots + n|z_n|^2}{|z_0|^2 + |z_1|^2 + \dots + |z_n|^2}$ One can show that $f$ is a morse function with morse polynomal $P_f(t) = \sum_{k=0}^n t^{2k}$, which satisfies the gap condition and therefore $f$ is a perfect morse function. We conclude $H^k(\mathbb CP^n,\mathbb R) = \mathbb R$ for $k = 0,2,\dots,2n$ and $H^k(\mathbb CP^n,\mathbb R) = 0$ otherwise.
-
1This approach is by the way in no way fundamentally different from that taken by Pete L. Clark in his answer, as morse theory gives us a CW complex with one cell in each even dimension $k\leq 2n$. – 2011-03-29