Gysin ring splitting for an odd-dimensional sphere bundle
ID: gysin-ring-splitting-for-an-odd-dimensional-sphere-bundle
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.
New to topics? Read the docs here!