Pontryagin classes

Pontryagin classes
Name	Pontryagin classes
Field	Topology
Introduced by	Lev Pontryagin
Year	1940s
Related	Chern class, Stiefel–Whitney class, A-hat genus, Todd class

Pontryagin classes are characteristic classes associated to real vector bundles that live in the even-degree cohomology of a base space. They provide obstructions and invariants for smooth manifolds and vector bundles and interact with signature theorems, index theorems, and cobordism theories. Introduced by Lev Pontryagin in mid-20th century work on topology, these classes connect to constructions by Hirzebruch, Atiyah, Singer, Thom, and Milnor.

Definition and basic properties

For a real vector bundle over a paracompact space, Pontryagin classes are elements of H^{4k}(X;Z). In the oriented smooth manifold context, Pontryagin classes evaluate on homology classes related to signatures and genera appearing in the work of Hirzebruch and Novikov. They are natural with respect to pullback maps induced by continuous maps between base spaces and are stable under Whitney sum operations inherited from properties used by Thom and Milnor. Pontryagin classes reduce mod 2 to expressions in Stiefel–Whitney classes, a relation exploited by Wu and Steenrod operations in the study of manifolds by Wall and Browder.

Construction and axioms

One construction passes through complexification: given a real bundle E, form its complexification E⊗C and take Chern classes; Pontryagin classes are defined as certain polynomials in Chern classes following formulas used by Chern, Hirzebruch, and Bott. Alternatively, one can define Pontryagin classes axiomatically via characteristic class theory as in the works of Milnor and Stasheff: naturality, normalization (agreeing with generator for canonical bundles over classifying spaces such as BO and BSO), and compatibility with Whitney sum. Classifying space methods use the maps BO(n)→BSO(n) and universal bundles analogous to constructions by Serre, Steenrod, and Whitehead. Cohomology operations and spectral sequence calculations of Serre and Eilenberg–Moore give tools for uniqueness and existence proofs similar to those in the theory of Chern classes developed by Grothendieck and Hirzebruch.

Relation to Chern classes and characteristic classes

Pontryagin classes relate directly to Chern classes via complexification and splitting principles familiar from Grothendieck’s approach to characteristic classes. Over complex vector bundles, total Chern classes determine Pontryagin classes through the identification of Chern roots and symmetric polynomials used by Newton and Schur. Pontryagin classes complement Stiefel–Whitney classes introduced by Stiefel and Whitney and together fit into the broader framework of characteristic classes studied by Thom, Wu, and Bott. In index theory, the A-hat genus of Atiyah, Singer, and Hirzebruch is expressed in terms of Pontryagin classes, connecting to the Atiyah–Singer index theorem and signatures appearing in Novikov’s higher signature theory and Morita’s work on mapping class groups.

Computation and examples

For tangent bundles of classical manifolds such as spheres, projective spaces, Grassmannians, and Lie groups, Pontryagin classes can be computed using methods of Bott, Samelson, Borel, and Hirzebruch. Examples: real projective spaces have Pontryagin classes constrained by orientation and Wu formulas studied by Wall; complex projective spaces yield Pontryagin classes expressible in terms of their generator in H^2, a computation appearing in work by Chern and Hirzebruch; Grassmannians and flag manifolds use Schubert calculus methods by Schubert, Borel, and Bott to compute characteristic classes. Techniques employing spectral sequences by Serre, Leray, and Eilenberg allow computation for fiber bundles such as sphere bundles studied by Adams and Milnor. Exotic spheres examined by Milnor and Kervaire reveal nontrivial Pontryagin classes in differentiable structures differentiated by Kervaire–Milnor invariants and surgery theory developed by Browder, Novikov, and Sullivan.

Applications in topology and geometry

Pontryagin classes appear in classification problems for smooth structures on manifolds studied by Smale, Cerf, and Kirby, and play roles in obstruction theory used by Wall, Browder, and Ranicki. The Hirzebruch signature theorem links the L-genus (a polynomial in Pontryagin classes) to the signature of a 4k-dimensional manifold, a result foundational to Novikov’s rigidity theorems and applications by Borel and Connes in noncommutative geometry. In index theory, the Atiyah–Singer index theorem expresses analytical indices via characteristic classes including the A-hat genus built from Pontryagin classes; applications include Dirac operators studied by Atiyah, Hitchin, and Singer and gauge theories by Donaldson and Taubes. Pontryagin classes serve in cobordism theory of Thom and Conner–Floyd, influence the classification of vector bundles via K-theory developed by Atiyah and Karoubi, and arise in geometric quantization contexts studied by Kostant and Souriau.

Historical development and notable results

Lev Pontryagin introduced the classes bearing his name inspired by investigations in algebraic topology and differential topology in the Soviet school including contributions by Alexandrov and Kolmogorov. Hirzebruch formulated the signature theorem linking Pontryagin classes to signatures, building on work by Thom and Novikov. Milnor and Kervaire discovered exotic differentiable structures whose detection involves Pontryagin classes, while Atiyah and Singer connected these classes to analytical indices. Further milestones include Novikov’s higher signature rigidity results, Bott’s periodicity influencing computations on classifying spaces, Sullivan’s use in rational homotopy theory, and surgery theory developments by Wall, Browder, and Ranicki. Subsequent research by Hopkins, Miller, and Lurie situates Pontryagin-type invariants within chromatic homotopy theory, topological modular forms, and the modern study of manifold invariants influenced by Witten and Kontsevich.

Category:Algebraic topology