This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Thom class | |
|---|---|
| Name | Thom class |
| Field | Algebraic topology |
| Introduced | 1952 |
| Introduced by | René Thom |
| Related | Cohomology theory; Cobordism; Characteristic class |
Thom class is a cohomology class associated to a vector bundle that encodes orientation and local duality information, central to the study of René Thom, Borel–Moore homology, and Leray–Hirsch theorem techniques. It underpins the Thom isomorphism, links bundle data to global invariants such as the Euler class, and appears in computations in cobordism, K-theory, and intersection theory. The construction interacts with classical objects including the Pontryagin classes, Stiefel–Whitney classes, and the Atiyah–Bott fixed-point theorem framework.
For a real rank-n vector bundle E → X over a paracompact base X, the Thom class is a distinguished element u_E in the compactly supported cohomology group H^n_c(E; R) (or reduced cohomology of the Thom space) characterized by local nondegeneracy conditions and naturality under bundle maps. It yields a generator of the cohomology of each fiber isomorphic to H^n_c(R^n; R), and pulls back along zero-section and projection maps to produce canonical maps between cohomology groups of X and E. The class behaves functorially under pullback along maps f: Y → X and is multiplicative under Whitney sum with the external cup product relating to classes from Milnor–Stasheff style constructions.
Existence is proven using partitions of unity and local trivializations combined with Mayer–Vietoris arguments for paracompact X, or via the cellular approximation when X is a CW complex as in constructions by Eilenberg–Steenrod style axioms. For oriented real bundles one may construct u_E from a choice of orientation on each fiber, using a generator of H^n_c(R^n; R) and gluing via transition functions coming from structure group reductions to SO(n). In the topological category, one uses the Thom space of E and identifies u_E as the image of the generator under suspension isomorphisms; in the smooth category, one can produce representatives as differential forms using compactly supported forms on fibers and the de Rham theorem.
The Thom isomorphism theorem asserts that cupping with the Thom class defines an isomorphism H^*(X; R) → H^{*+n}_c(E; R), often identified as an isomorphism H^*(X; R) → \tilde H^{*+n}(Th(E); R) where Th(E) denotes the Thom space. This fundamental equivalence is used in proofs of the Lefschetz fixed-point theorem, in constructions of transfer maps for fibrations, and in relating cohomology of total spaces to base spaces in spectral sequence arguments such as the Serre spectral sequence. Naturalities include compatibility with pullbacks and with cup products, and the inverse isomorphism arises by restriction to the zero-section followed by integration along the fiber in oriented situations, a procedure formalized by the pushforward (or Gysin) map appearing in the context of Grothendieck–Riemann–Roch style formulas.
Cupping the Thom class with the zero-section pushforward yields the Euler class of the vector bundle, linking local orientation data to global obstruction invariants studied by Hopf and Poincaré. For real oriented bundles with structure group reduced to SO(n), the Thom class exists with coefficients in the chosen ring and determines orientations; for bundles with nontrivial first Stiefel–Whitney class, the Thom class must be taken in twisted coefficients corresponding to the orientation local system, echoing constructions in Brown–Peterson cohomology and in the theory of local systems used by Deligne. The relation also appears in fixed-point index computations in the context of the Atiyah–Singer index theorem when pairing Thom classes with characteristic classes like Pontryagin or Chern classes.
Classical computations include the Thom class of the trivial bundle R^n over a point, which is the generator of H^n_c(R^n; R); the tautological line bundle over Real projective space RP^n whose Euler/Stiefel–Whitney data give the Wu classes and computations linked to Adams spectral sequence phenomena; and complex tautological bundles over Complex projective space CP^n where complex orientations identify Thom classes with powers of the first Chern class. In K-theory contexts, the Bott element corresponds to a Thom class for complex line bundles and underlies Bott periodicity. Explicit differential form representatives arise in the Mathai–Quillen formalism used in connections between torsion invariants and supersymmetric quantum field theory as in work related to Edward Witten.
In cobordism theories pioneered by René Thom and axiomatized by Conner–Floyd, Thom classes furnish Thom spectra whose homotopy groups define bordism rings; the construction of the Thom spectrum MU, MO, or MSO depends on assigning Thom classes compatibly across bundles. Characteristic classes such as Pontryagin, Chern, and Stiefel–Whitney classes can be derived or detected by manipulating Thom classes and applying the Thom isomorphism together with transfer and Gysin maps; this machinery is central to computations in the Hirzebruch–Riemann–Roch theorem and to the determination of cobordism rings by the work of Milnor and Novikov.
Generalizations include twisted Thom classes in cohomology with local coefficients, equivariant Thom classes in equivariant cohomology for actions of groups like Lie groups and finite groups, and Thom classes in extraordinary cohomology theories such as K-theory, MU-theory, BP-theory, and tmf where orientations (complex, spin, string) determine existence. Spectral and parametrized versions appear in contemporary stable homotopy theory via parametrized spectra and fiberwise duality used in developments by May and Lewis. Analytic incarnations arise in index theory where Thom classes pair with symbol classes in the construction of analytic pushforwards as in the Atiyah–Singer index theorem.