Nonsurjective self-map of real projective space is null-homotopic

ID: nonsurjective-self-map-of-real-projective-space-is-null-homotopic

For , a nonsurjective self-map of Real projective space has zero mod-two degree of a map between closed manifolds. In the mod-two cohomology ring of real projective space, the nonzero degree-one class has . If pullback fixed , it would fix , contradicting zero degree. Thus the map is trivial on the fundamental group and lifts to . A point missed by the original map has both its inverse images missed by the lift. The lift therefore takes values in a punctured sphere, which is contractible, and is null-homotopic. Composing its contraction with the covering projection proves the conclusion.

New to topics? Read the docs here!