Fixed-point property of even-dimensional complex projective space

ID: fixed-point-property-of-even-dimensional-complex-projective-space

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.

New to topics? Read the docs here!