Odd maps pull back the real tautological line bundle

ID: odd-maps-pull-back-the-real-tautological-line-bundle

For an odd map between spheres and its quotient , there is an isomorphism of real tautological line bundles. With a unit vector, send to ; replacing by and by gives the same vector. This proves both linearity on fibers and well-definedness. Therefore . The mod-two cohomology ring of real projective space then implies , since a vanishing st power must pull back to a vanishing power.

New to topics? Read the docs here!