Let be an oriented real vector bundle of positive even rank , with zero Euler class, and suppose the integral cohomology of is torsion-free. The Gysin sequence gives . Choose an odd-degree class with . The projection formula for sphere bundle integration identifies the cohomology additively with . It is torsion-free, so graded commutativity of the cup product gives from . These facts establish the displayed ring isomorphism, not just a decomposition of groups.
Articles by others on the same topic
There are currently no matching articles.