Cup square of a Thom class

ID: cup-square-of-a-thom-class

For an oriented rank- vector bundle, let be its Thom class. Forgetting relative supports sends to , where is the Euler class. Compatibility of relative and mixed cup products gives
For odd , graded commutativity of the cup product makes . The Thom isomorphism theorem is injective, so . This explains why an odd-rank Euler class can have only two-torsion.

New to topics? Read the docs here!