Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 16 4 ii Solution Created 2026-10-03 Updated 2026-10-14
Use the standard integral cohomology ring , . Any self-homeomorphism sends to or , and hence sends to . Its Lefschetz number is therefore , which is either or . By the Lefschetz fixed-point theorem, every such homeomorphism has a fixed point.
Now is simply connected: its CW structure has no one-cells and only two- and four-cells. If it covered a connected space with degree , it would be the universal cover. The usual covering space hypotheses hold for the base because it is locally homeomorphic to this manifold. Its deck transformation group would act transitively on every fibre and have elements. A nonidentity deck transformation has no fixed point: uniqueness of lifts makes one fixing a point the identity everywhere on the connected cover. This contradicts the preceding calculation. ThusThus the complex projective plane has no nontrivial covering quotient.