Index theorem

Index theorem
Name	Index theorem
Field	Differential geometry, Algebraic topology, Global analysis
Statement	Relates analytical index of elliptic operators to topological index of manifolds
Introduced	1963
Notable	Michael Atiyah, Isadore Singer

Index theorem is a class of results relating analytical invariants of differential operators on manifolds to topological invariants of underlying spaces. The central theme connects spectral properties of elliptic operators to characteristic classes, cobordism, and K-theory, producing bridges between Michael Atiyah-era functional analysis, René Thom-style cobordism theory, and later developments in Alexander Grothendieck-inspired algebraic geometry.

Overview

The subject unites techniques from Differential geometry, Algebraic topology, Functional analysis, Representation theory, and Algebraic geometry to equate an analytic index computed from kernel and cokernel dimensions of elliptic operators with a topological index computed from characteristic classes and K-theory. Foundational actors include Michael Atiyah, Isadore Singer, Atle Selberg (in spectral contexts), and Friedrich Hirzebruch whose signature theorem anticipated many ideas. The theorem influenced work by Raoul Bott, John Milnor, I. M. Gelfand, and later by Edward Witten within Quantum field theory and String theory contexts.

Atiyah–Singer Index Theorem

The celebrated Atiyah–Singer statement equates the analytical index of an elliptic differential operator on a compact manifold with a topological expression using K-theory and characteristic classes. Key contributors include Michael Atiyah, Isadore Singer, and contemporaries like Raoul Bott and Friedrich Hirzebruch whose signature theorem served as precedent. The theorem connects elliptic operators such as the Dirac operator (introduced by Paul Dirac), the de Rham complex (linked to Henri Cartan and Élie Cartan), and the signature operator (studied by Hirzebruch). Extensions and formulations involve work by Grothendieck-influenced algebraic geometers, Daniel Quillen on higher algebraic K-theory, and Jean-Michel Bismut on analytic torsion.

The Atiyah–Singer result has multiple equivalent formulations: an index pairing in topological K-theory, a cobordism formula related to René Thom classes, and heat-kernel methods influenced by Marcel Berger and later analytic approaches by Patodi and Singer himself. Important related concepts are the Todd class from Hirzebruch–Riemann–Roch, the Â-genus appearing for spin manifolds, and the Chern character developed by Shiing-Shen Chern.

Examples and Applications

Applications span many celebrated results and cross-disciplinary breakthroughs. The Hirzebruch signature theorem (proven by Hirzebruch) is a special case tying the signature of a 4k-dimensional manifold to L-classes. The Riemann–Roch theorem, in versions due to Bernhard Riemann, Georg Riemann, G. H. Hardy (historical context), and ultimately generalized by Alexander Grothendieck, is subsumed by index ideas via the Grothendieck–Riemann–Roch framework. The Dirac operator index yields the Â-genus which played a crucial role in the proof of the Lichnerowicz vanishing theorem (used by André Lichnerowicz), influencing results in spin geometry studied by Lawrence Conlon and Hermann Weyl-style representation theory.

In mathematical physics, techniques from the index story underpin anomalies in Quantum field theory as developed by Edward Witten and Alvarez-Gaumé; they also inform the Atiyah–Patodi–Singer spectral boundary conditions studied by V. K. Patodi and Isadore Singer. The index appears in knot-theoretic and low-dimensional topology contexts treated by William Thurston, Chern–Simons theory authors, and in moduli problems like instanton counting influenced by Simon Donaldson and Edward Witten.

Variants and Generalizations

Over time many extensions emerged: the Atiyah–Patodi–Singer index theorem for manifolds with boundary (work by M. F. Atiyah, V. K. Patodi, Isadore Singer), index theorems for families by Atiyah–Singer and Michael Atiyah’s collaborators, equivariant index theorems incorporating group actions (studied by Raoul Bott and Bertram Kostant), and local index formulas in noncommutative geometry developed by Alain Connes. Algebraic-geometric analogues include the Riemann–Roch-type theorems of Grothendieck and higher K-theory formulations by Daniel Quillen. Further generalizations involve index theory on singular spaces studied by Jeff Cheeger and George Lusztig-inspired intersection homology ideas by Mark Goresky and Robert MacPherson.

Proof Sketches and Techniques

Proof methods combine heat kernel analysis, K-theory, cobordism, and local index density computations. Heat equation proofs pioneered by Patodi and refined by Ray Singer use asymptotic expansion of the heat kernel and the Minakshisundaram–Pleijel coefficients. K-theoretic proofs leverage Bott periodicity discovered by Raoul Bott and functional-analytic Fredholm theory developed in the milieu of John von Neumann and Israel Gelfand. Topological arguments apply characteristic classes from Shiing-Shen Chern and orientation ideas from René Thom and John Milnor, while local index density formulas exploit curvature tensors studied since Elie Cartan and Marcel Berger.

Analytic continuation techniques and zeta-regularization by Ray and Isadore Singer produce spectral invariants; supersymmetric quantum-mechanical derivations by Edward Witten offer physics-inspired proofs. Noncommutative geometry approaches by Alain Connes recast index pairings in cyclic cohomology.

Historical Development

Initial precursors include the Gauss–Bonnet theorem (linked to Carl Friedrich Gauss and Pierre Ossian Bonnet) and Hirzebruch's signature theorem (by Friedrich Hirzebruch). Work by Atle Selberg on spectral theory and by Raoul Bott on periodicity paved ways to the 1963 Atiyah–Singer statement. The 1960s–1970s saw rapid expansion via contributions from Michael Atiyah, Isadore Singer, Raoul Bott, Friedrich Hirzebruch, Shiing-Shen Chern, Daniel Quillen, and Jean-Michel Bismut. Later decades integrated perspectives from Edward Witten, Alain Connes, and researchers in low-dimensional topology like Simon Donaldson and William Thurston, embedding index ideas across Mathematical physics and modern Algebraic geometry.

Category:Differential geometry