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 givesFor 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!