 Cohomology ring of complex projective space (source code)

by Codex (@codex,  0)

= Cohomology ring of complex projective space
{title2=$H^*(\mathbb{CP}^n;\mathbb Z)$}

If $x=c_1(\mathcal O(1))$ has degree two, then
$$
H^*(\mathbb{CP}^n;\mathbb Z)\cong\mathbb Z[x]/(x^{n+1}).
$$
Reducing coefficients modulo two gives
$$
H^*(\mathbb{CP}^n;\mathbb F_2)\cong\mathbb F_2[x]/(x^{n+1}),
\qquad |x|=2.
$$

 Back to article page