Use the standard complex orientations and the product orientation. Let satisfy and , and let satisfy . These are the cohomology rings of the product of two spheres and the Complex projective plane.
For a map from the Complex projective plane, write and . Naturality of the cup product gives and . Since has infinite order, . It follows that , so every such map has degree .
In the reverse direction, write . ThenEvery even mapping degree really occurs. To construct it, identify with and use the Segre embeddingThe generator pulls back to : restricting to either factor gives a projective line and hence coefficient . By the cellular approximation theorem, is homotopic to a cellular map. Its four-dimensional domain then maps into the four-skeleton of . Denote that map by ; restriction of to is , so and .
For any integer , choose a map of mapping degree . For one may use on the Riemann sphere, for use , and for use a constant map. Then satisfies , so the possible degrees are exactly all even integers, with realizing . The cellular approximation here deforms this particular map into the skeleton; it does not require a retraction of onto .
Finally, take the connected sum of oriented manifolds with both summands carrying their standard complex orientations. Its degree-two cohomology has generators withThis follows by choosing the generators supported away from the two balls used to form the connected sum, so mixed cup products vanish while each square gives the common orientation class. WriteIf , the three cup product relations sayTaking determinants gives , which forces . Therefore the only possible degree to the connected sum is , realized by a constant map. This is a degree constraint from intersection forms: the indefinite intersection form of the sphere product cannot pull back a definite form with a nonzero degree multiplier.
Articles by others on the same topic
There are currently no matching articles.