Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-114/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 114 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
The assertion is true. The standard filtration gives one cell in each dimension . There are no odd-dimensional cells, so all cellular differentials vanish. The cellular homology theorem and the universal coefficient theorem for cohomology give one copy of in each even degree from zero to , and zero in every other degree.
Let be the Poincare dual of a projective hyperplane, with the complex orientation. It has degree two and evaluates to on a complex projective line, so it is the positive generator of . We use the intersection interpretation of the cup product: the product of duals of oriented submanifolds in transverse position is the dual of their oriented intersection. Distinct transverse complex hyperplanes intersect in after intersections, with positive complex orientation. Thus is the dual of that linear subspace.
Pairing with a transverse linear gives one positively oriented intersection point. Therefore is a primitive generator of , for every . There is no cohomology above dimension , so . These facts show that the surjective graded ring map from has exactly the indicated kernel:This proves the cohomology ring of complex projective space, rather than only its additive groups. For it is , with .
New to topics? Read the docs here!