Fixed-point-free complex-structure map on odd-dimensional real projective space

ID: fixed-point-free-complex-structure-map-on-odd-dimensional-real-projective-space

Choose a complex structure on , with . Its induced map on has no fixed point: for a real nonzero vector would give . The maps , for , give a homotopy from the identity to , because they are invertible throughout. Thus this fixed-point-free map is homotopic to the identity.

New to topics? Read the docs here!