Atiyah–Singer index theorem

In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data). It includes many other theorems, such as the Riemann–Roch theorem, as special cases, and has applications in theoretical physics.

The index problem for elliptic differential operators was posed by Israel Gel'fand (1960). He noticed the homotopy invariance of the index, and asked for a formula for it by means of topological invariants. Some of the motivating examples included the Riemann–Roch theorem and its generalization the Hirzebruch–Riemann–Roch theorem, and the Hirzebruch signature theorem. Hirzebruch and Borel had proved the integrality of the  genus of a spin manifold, and Atiyah suggested that this integrality could be explained if it were the index of the Dirac operator (which was rediscovered by Atiyah and Singer in 1961).

The Atiyah–Singer theorem was announced by Atiyah & Singer (1963). The proof sketched in this announcement was never published by them, though it appears in the book (Palais 1965). It appears also in the "Séminaire Cartan-Schwartz 1963/64" (Cartan-Schwartz 1965) that was held in Paris simultaneously with the seminar led by Palais at Princeton. The last talk in Paris was by Atiyah on manifolds with boundary. Their first published proof (Atiyah & Singer 1968a) replaced the cobordism theory of the first proof with K-theory, and they used this to give proofs of various generalizations in the papers Atiyah and Singer (1968a, 1968b, 1971a, 1971b).

...
Wikipedia