A statement in algebraic topology that for a (suitably oriented) rank‑k vector bundle E → B there exists a Thom class in the cohomology of the Thom space Th(E) that induces an isomorphism H^*(B; R) → H^{*+k}(Th(E); R) (equivalently H^*(Th(E)) ≅ H^{*-k}(B) after degree shift), enabling transfer and Gysin maps.

Principle

The existence of a distinguished cohomology class (the Thom class) in the reduced cohomology of the Thom space, whose cap product with cohomology classes of the base yields the stated isomorphism; the Thom class encodes bundle orientation and is natural with respect to bundle maps preserving orientation.

Demonstration

For an oriented real rank k vector bundle E over a CW base B with coefficients in R, construct the Thom class u ∈ H^k(Th(E); R) by choosing a local orientation and patching via a partition of unity or cellular arguments; cap product with u gives the Thom isomorphism H^*(B; R) → H^{*+k}(Th(E); R).

Misapplication

Assuming the isomorphism holds without an orientation hypothesis or with inappropriate coefficient rings (for instance using Z coefficients on a nonorientable bundle) leads to false statements; forgetting the degree shift or conflating Thom isomorphism with Poincaré duality are common errors.

Consequence

Enables definition of Gysin/pushforward maps, proofs of orientation‑dependent duality theorems, computations of characteristic classes via Thom classes, and transfer techniques in cohomology; it is a key tool in relating bundle data to cohomological information on the base.

Reversal

Failure of the Thom isomorphism signals absence of a global Thom class and hence nonorientability (or necessity of local coefficient systems); conversely the existence of a Thom class is equivalent to a choice of orientation for the bundle relative to the chosen coefficients.

Boundary

Applies to vector bundles (or spherical fibrations) and requires a choice of coefficient system or local coefficients to encode orientation; it does not hold, as stated with trivial coefficients, for nonorientable bundles and does not replace finer orientation obstruction theories.

Semantic Tension

Tension occurs between the Thom isomorphism and other dualities (like Poincaré duality) and between integral and mod p coefficient versions; deciding whether to use local coefficients or stabilization changes the precise formulation and applicability.

Synthesis

The Thom Isomorphism identifies the cohomology of a bundle's Thom space with that of the base up to a degree shift by encoding orientation in a Thom class; this single cohomology class underpins transfer maps, orientation theory, and many calculations linking bundles to base cohomology.