Hirzebruch signature theorem

Hirzebruch signature theorem The Hirzebruch signature theorem is a fundamental result in Mathematics that connects topology, Differential topology, and Algebraic topology by equating a purely topological invariant of a smooth oriented closed manifold with a characteristic number expressed in terms of Pontryagin classes. Introduced by Friedrich Hirzebruch in the 1950s, the theorem played a central role in the development of the Atiyah–Singer index theorem and influenced subsequent work by Michael Atiyah, Isadore Singer, Jean-Pierre Serre, and Raoul Bott. The statement and methods bring together ideas from Hirzebruch–Riemann–Roch theorem, Milnor, and considerations that later appeared in the work of René Thom, Stephen Smale, and John Milnor.

Statement of the theorem

Let M be a smooth, closed, oriented 4k-dimensional manifold. The theorem asserts that the signature σ(M) of the nondegenerate symmetric bilinear form on H^{2k}(M; ℝ) given by cup product equals the evaluation of a particular rational cohomology class, the Hirzebruch L-class, on the fundamental class [M]. Concretely, σ(M) = ⟨L(M), [M]⟩, where L(M) is the total Hirzebruch L-polynomial in the Pontryagin classes p_i(M). This connects to earlier invariants studied by René Thom and to invariants appearing in work of Kervaire and Milnor on exotic spheres and differentiable structures. The identity has implications for manifolds studied by John Nash and constraints reminiscent of results by Hermann Weyl and Élie Cartan in Riemannian geometry.

Proof outline and methods

Hirzebruch's original proof used cobordism theory, complex analytic techniques, and the signature multiplicativity properties under fiber bundles studied by Hirzebruch himself and collaborators. The argument relates the signature to genera defined on the oriented cobordism ring, using Hirzebruch's earlier classification of multiplicative sequences and formal power series techniques developed in the context of the Hirzebruch–Riemann–Roch theorem. Later alternative proofs and perspectives arose from the analytic index of elliptic operators in the work of Atiyah and Singer, showing the signature equals the index of the signature operator; this analytic route uses heat kernel methods developed by M. F. Atiyah, I. M. Singer, N. Hitchin, and E. Witten. Additional approaches employ surgery theory as in the work of C. T. C. Wall and uses of bordism by Ralph Cohen and Dennis Sullivan, while assembly maps and K-theory considerations connect to results by Bott and Segal.

Hirzebruch L-polynomial and characteristic classes

The Hirzebruch L-class L(M) is a formal polynomial in the Pontryagin classes p_i(M) with rational coefficients determined by the power series x / tanh(x). Each homogeneous component L_k is expressed in terms of p_1, ..., p_k and originates from multiplicative sequences introduced by Hirzebruch in his study of genera. Pontryagin classes themselves were introduced by Lev Pontryagin and further developed by Wu Wenjun and Solomon Lefschetz; they live in the rational cohomology ring H^{*}(M; ℚ). The evaluation ⟨L(M), [M]⟩ is a characteristic number analogous to Chern numbers appearing in Hirzebruch–Riemann–Roch theorem and in classification results involving Chern classes studied by Shiing-Shen Chern and Raoul Bott. The L-polynomial coefficients can be computed from the formal expansion and relate to integrality phenomena investigated by Arnold and obstructions considered by Kirby and Taylor.

Examples and computations

For 4-dimensional manifolds (k=1), the L-class reduces to L_1 = p_1/3, so σ(M^4) = (1/3)⟨p_1(M), [M]⟩. Classic computations include the signature of the complex projective plane CP^2: using its tangent bundle Chern classes, one obtains σ(CP^2)=1, a calculation appearing in work by Hirzebruch and recounted in texts by John Milnor and James Stasheff. For K3 surfaces studied in algebraic geometry by Shing-Tung Yau and Kunihiko Kodaira, the topological signature equals −16, reflecting algebraic computations of Chern numbers used by André Weil and Alexander Grothendieck. In higher dimensions, examples from Milnor’s exotic spheres and plumbing constructions analyzed by William Browder and Michel Kervaire illustrate constraints on possible signatures and show interactions with the E8 lattice studied by John Conway and N. J. A. Sloane. Computations on products and connected sums use multiplicativity and additivity properties developed by Hirzebruch and others.

Relations and generalizations

The theorem is a special case of the analytic Index theorem of Atiyah–Singer, which identifies the signature with the index of the signature operator, linking to the Dirac operator studied by Paul Dirac and to spectral geometry pursued by Peter B. Gilkey. Generalizations include odd-dimensional invariants like the rho invariant of Atiyah–Patodi–Singer and secondary invariants in the work of M. F. Atiyah, Vladimir Drinfeld, and Don Zagier. The interaction with surgery theory and L-theory originates in work of C. T. C. Wall and William Browder and connects to assembly conjectures considered by F. T. Farrell and L. E. Jones. In algebraic and arithmetic geometry, analogues appear in the form of signature-type formulas for singular varieties studied by Mark Goresky and Robert MacPherson, and motivic refinements pursued by Alexander Beilinson and Maxim Kontsevich. The theorem continues to influence research across topology, Differential geometry and Algebraic geometry, informing constraints on manifold structures explored by John Morgan and implications for string-theoretic compactifications investigated by Edward Witten and Cumrun Vafa.

Category:Mathematical theorems