Atiyah–Singer index theorem

Atiyah–Singer index theorem The Atiyah–Singer index theorem is a foundational result in modern mathematics connecting analytical properties of elliptic differential operators on compact manifolds with topological invariants of those manifolds. Formulated by Sir Michael Atiyah and Isadore Singer in 1963, the theorem ties together concepts from differential topology, Algebraic topology, functional analysis, K-theory, and Representation theory. Its influence spans work by figures such as Raoul Bott, John Milnor, Atle Selberg, Alexander Grothendieck, and André Weil.

Statement and formulation

The theorem gives an equality between the analytical index (the dimension of the kernel minus the dimension of the cokernel of an elliptic operator) and the topological index (a cobordism- and characteristic-class-derived integer). In precise terms, for an elliptic differential operator D on a compact manifold M with symbol class in K-theory K(T^*M), the analytical index Index_a(D) equals the topological index Index_t(symbol(D)), computed via characteristic classes such as the Chern character, Todd class, and the A-roof genus (Â-genus) depending on structure like spin or complex structure. This statement unifies special cases including the Gauss–Bonnet theorem, the Riemann–Roch theorem, and the Hirzebruch signature theorem through a common K-theoretic framework articulated by Atiyah and Singer and influenced by prior work of James Simons and F. Hirzebruch.

Historical background and development

The emergence of the theorem built on classical results: Carl Friedrich Gauss's curvature integral formula, Bernhard Riemann's work on Riemann surfaces, and Friedrich Hirzebruch's development of the Hirzebruch–Riemann–Roch theorem. The conceptual bridge from analysis to topology drew on techniques from Leray–Schauder theory and the development of Fredholm operators in the work of Erhard Schmidt and David Hilbert. Atiyah and Singer synthesized inputs from the Index theory of elliptic operators tradition and advances in Topological K-theory by Michael Atiyah and Friedrich Hirzebruch, while later expansions involved contributions by Daniel Quillen, Jean-Louis Koszul, Edward Witten, and Michael Hopkins. Seminal expositions appeared in lectures at institutions such as Institute for Advanced Study and Harvard University, influencing research programmes in mathematical physics and prompting awards including the Fields Medal and the Abel Prize to researchers building on index-theoretic methods.

Examples and applications

Concrete instances of the theorem include recovering the classical Gauss–Bonnet theorem for even-dimensional oriented manifolds by choosing the de Rham operator, deriving the Hirzebruch signature theorem for oriented manifolds via the signature operator, and obtaining the Riemann–Roch theorem for complex manifolds using the Dolbeault operator. In mathematical physics, index theory underpins anomalies in quantum field theory examined by Edward Witten and clarifies spectral flow phenomena studied by Atle Selberg and Raoul Bott. Applications extend to invariants in low-dimensional topology such as those considered by William Thurston and C. Gordon, spectral geometry problems linked to Mark Kac's question "Can one hear the shape of a drum?", and the study of Positive scalar curvature obstructions associated with work by Jean-Pierre Serre and Gromov–Lawson techniques. Index-theoretic tools also appear in the analysis of moduli spaces investigated by Simon Donaldson and Kronheimer–Mrowka.

Proofs and methods

Proofs of the theorem use a blend of analytical, topological, and algebraic methods. Atiyah and Singer's original approach employed K-theory of operator algebras and cobordism, leveraging the properties of Fredholm operators and heat kernel techniques influenced by Minakshisundaram–Pleijel asymptotics. Alternative proofs were developed using the Atiyah–Patodi–Singer index theorem boundary correction terms, heat equation methods pioneered by Patodi and expounded by Gilkey, and cohomological localization strategies connected to the Duistermaat–Heckman formula and fixed-point theorems of Lefschetz and Atiyah–Bott. Proofs via Noncommutative geometry tools introduced by Alain Connes and analytic proofs using pseudodifferential operators and symbol calculus by Lars Hörmander and Joseph Kohn further diversified the methods. The interplay with Elliptic cohomology and Topological modular forms brought insights from Daniel Quillen and Michael Hopkins.

Generalizations and related results

The index theorem spawned numerous generalizations: the Atiyah–Patodi–Singer index theorem for manifolds with boundary, equivariant index theorems incorporating group actions as in the work of Segal and Atiyah–Bott localization, and index theorems in Noncommutative geometry due to Alain Connes. Extensions to families of operators yield the Atiyah–Singer families index theorem, with connections to Grothendieck–Riemann–Roch and to the Baum–Connes conjecture in operator K-theory advanced by Paul Baum and Alain Connes. Analogs appear in Index theory on foliations developed by Connes and Hector, and in analytic torsion results of Ray–Singer amplified in the work of Cheeger and Müller. Contemporary research links index theory to Mirror symmetry themes explored by Maxim Kontsevich and to categorical approaches influenced by Alexander Beilinson and Joseph Bernstein.

Category:Differential topology Category:Index theorems