Every continuous self-map of has a fixed point. If its pullback sends the integral degree-two generator to times itself, multiplicativity gives trace in degree . Thus its Lefschetz number is , which is positive: for it is , and at it is . The Lefschetz fixed-point theorem applies. In particular no nontrivial finite group acts freely on this simply connected space.
The Complex projective plane is simply connected. If it were the total space of a covering of degree at least two, it would be the universal cover and have a nonidentity deck transformation. Such a transformation acts by on , giving Lefschetz number 1 or 3. It therefore has a fixed point, impossible for a nonidentity deck transformation.
Articles by others on the same topic
There are currently no matching articles.