Stiefel–Whitney class

Stiefel–Whitney class is a family of characteristic classes associating cohomology classes to real vector bundles over topological spaces, used to detect orientability, immersions, and embeddings. Introduced in work by Eduard Stiefel and Hassler Whitney, these classes play a central role in the study of manifolds related to results of René Thom, John Milnor, and Michael Atiyah. Their utility spans applications connected to the Adams spectral sequence, René Thom's cobordism theory, and topological K-theory developed by Atiyah and Bott.

Definition and basic properties

For a real vector bundle over a space such as a CW complex or manifold studied by Henri Poincaré, the Stiefel–Whitney classes wi lie in the mod 2 cohomology ring H*(X; Z/2Z) used by Emil Artin and Jean-Pierre Serre. The first class w1 obstructs orientability in contexts referenced by Carl Friedrich Gauss and Bernhard Riemann, while the top class wn corresponds to the mod 2 Euler class related to work of Euler and Cauchy. Whitney’s sum formula mirrors formulas in the work of Isaac Newton and James Clerk Maxwell for additivity under direct sum operations familiar from linear algebra used by David Hilbert. Natural transformations and functoriality connect these classes with constructions in the contexts of Élie Cartan, Hermann Weyl, and Sophus Lie.

Construction and cohomology classes

Classical constructions proceed via the orthogonal frame bundle associated to a bundle, invoking the structure group O(n) studied by Wilhelm Killing and Évariste Galois in group contexts, and classifying maps into the Grassmannian and classifying spaces encountered by John Milnor and Graeme Segal. The cohomology ring of BO(n) computed by Norman Steenrod and Saunders Mac Lane yields universal Stiefel–Whitney classes used by Alexander Grothendieck in comparison frameworks. Alternative constructions use obstruction theory pioneered by Karol Borsuk and J. H. C. Whitehead and spectral sequences such as the Serre spectral sequence and the Atiyah–Hirzebruch spectral sequence studied by Michael Atiyah and Friedrich Hirzebruch. Relations with Steenrod operations discovered by Norman Steenrod and J. H. C. Whitehead further constrain the behavior of these mod 2 classes in the manner explored by Jean Leray and Henri Cartan.

Stiefel–Whitney numbers and applications

Pairings of total Stiefel–Whitney classes with fundamental homology classes yield Stiefel–Whitney numbers used by René Thom in cobordism classifications and by John Milnor in differentiable structures on spheres relevant to the work of Steve Smale and Michel Kervaire. These numbers provide obstructions to immersions and embeddings in Euclidean spaces built on results of Whitney and Haefliger, and inform classification results comparable to those by Alexander Grothendieck in algebraic geometry or by Vladimir Arnold in singularity theory. Applications appear in the study of manifolds appearing in the work of William Thurston and Michael Freedman, and in gauge theories influenced by Paul Dirac and Edward Witten where topological invariants interplay with quantum field theoretic constructions by Richard Feynman and Freeman Dyson.

Relations to other characteristic classes

Stiefel–Whitney classes relate to Chern classes for complex bundles as explored by Friedrich Hirzebruch and Kunihiko Kodaira, with the mod 2 reduction mapping complex characteristic classes to their real analogues in contexts studied by André Weil and Jean-Pierre Serre. The Wu classes introduced by Wen-Tsün Wu and Steenrod squares of Norman Steenrod provide algebraic identities connecting Stiefel–Whitney classes to Pontryagin classes developed by Henri Pontryagin and Lev Pontryagin, and to the A-roof genus and Todd genus that appear in the Atiyah–Singer index theorem by Michael Atiyah and Isadore Singer. These interrelations play roles in index theory exploited by Daniel Quillen and in homotopy-theoretic contexts addressed by J. Peter May and Haynes Miller.

Computation and examples

Computations for projective spaces studied by Évariste Galois and Felix Klein yield explicit formulas for Stiefel–Whitney classes of tangent bundles on real projective spaces RP^n and complex projective spaces CP^n as treated by Henri Poincaré and Solomon Lefschetz. For Lie groups such as SO(n), U(n), and Sp(n) investigated by Sophus Lie and Wilhelm Killing, the classes follow from the classifying space computations of Graeme Segal and Armand Borel. Examples include nonorientable surfaces analyzed by Bernhard Riemann and Felix Klein, exotic spheres from John Milnor’s constructions, and vector bundles on manifolds studied by René Thom and Shiing-Shen Chern. Computational tools developed by Jean-Pierre Serre, Armand Borel, and J. H. C. Whitehead, and algorithmic approaches in modern algebraic topology by Gunnar Carlsson and Michael Hopkins, facilitate explicit determination of Stiefel–Whitney classes in concrete geometric and topological problems.

Category:Algebraic topology