Index theory of elliptic operators

Index theory of elliptic operators
Name	Index theory of elliptic operators
Field	Mathematics
Introduced	1960s
Notable work	Atiyah–Singer index theorem
Related	K-theory, pseudodifferential operators, heat equation

Index theory of elliptic operators examines relationships between analytical properties of elliptic differential operators on manifolds and topological invariants of those manifolds. The subject unites ideas from Michael Atiyah, Isadore Singer, Atiyah–Singer index theorem, Raoul Bott, Jean-Pierre Serre, and combines techniques from K-theory, cohomology, pseudodifferential operator theory, and the heat equation. It has influenced developments in Donaldson theory, Seiberg–Witten theory, string theory, and the study of anomalies in quantum field theory.

Introduction

Index theory arose from attempts by Atiyah and Singer to compute the index of elliptic operators such as the Dirac operator and the Dolbeault operator on compact manifolds like Sphere, Torus, and complex projective spaces such as Complex projective space. Early motivations included the Riemann–Roch theorem in algebraic geometry, the Hirzebruch–Riemann–Roch theorem, and invariants studied by Hirzebruch and Grothendieck. Key institutions in the development included Institute for Advanced Study, Princeton University, Cambridge University, and conferences at International Congress of Mathematicians.

Elliptic Operators and Fredholm Theory

Elliptic operators generalize the Laplace operator and arise on smooth manifolds studied by researchers at Harvard University, University of Oxford, and University of Chicago. A linear elliptic differential operator between sections of vector bundles such as tangent bundle or spinor bundle can often be extended to a Fredholm operator studied by John von Neumann and Israel Gelfand. The Fredholm index, stable under compact perturbations, connects to spectral problems investigated by Hermann Weyl, Marcel Riesz, and Frigyes Riesz. Pseudodifferential operators introduced by Lars Hörmander and Joseph J. Kohn provide essential tools for parametrices and symbolic calculus used at Courant Institute.

Analytical Index and Heat Kernel Methods

The analytical index equals the difference between dimensions of kernel and cokernel of an elliptic operator, a notion refined by analysis at Princeton University and Brown University. Heat kernel methods developed by Minakshisundaram, Amitabha Raychaudhuri and popularized by Patodi and Dai link short-time asymptotics of the heat equation on manifolds like Calabi–Yau manifold to index densities. The Seeley calculus of complex powers and the work of Ray Solomon, Isadore Singer on eta invariants connect spectral asymmetry to topological terms encountered by Witten in supersymmetry and quantum anomaly computations. The McKean–Singer formula, the Minakshisundaram–Pleijel expansion, and contributions by Berline and Getzler are central.

Topological Index and K-Theory

The topological index is computed via characteristic classes in K-theory and cohomology as in the analyses by Grothendieck, Atiyah and Bott. Chern character, Todd class, Pontryagin class, and A-roof genus (Â-genus) appear in index formulas studied at IHÉS and University of Cambridge. The pushforward (Gysin) map in topological K-theory and the Thom isomorphism tie to the work of Adams and Milnor, and to generalizations by Segal and Conner. K-theoretic formulations relate to Kasparov's KK-theory, noncommutative methods of Alain Connes, and applications in operator algebras studied at University of California, Berkeley.

Atiyah–Singer Index Theorem and Proof Sketches

The Atiyah–Singer index theorem, proved by Atiyah and Singer, equates analytical and topological indices for elliptic operators on compact manifolds, forging links among differential geometry, algebraic topology, and functional analysis. Proof techniques include cobordism arguments of Atiyah and Singer, K-theoretic proofs using Bott periodicity due to Bott, heat equation proofs by Patodi, and proofs via pseudodifferential operator theory from Seeley and Shubin. Alternative approaches draw on bordism from Rokhlin-type arguments, fixed-point formulas inspired by Lefschetz and Atiyah–Bott fixed-point theorem, and noncommutative geometry methods of Connes and Kasparov.

Applications and Examples

Index theory computes invariants such as the Â-genus of Spin manifolds and the signature of oriented manifolds via the signature operator; classic examples include calculations on K3 surface, Complex projective space, and Lie group homogeneous spaces like SU(2). It underpins results in Donaldson theory for four-manifolds studied by Freed and Uhlenbeck, and in Seiberg–Witten theory influenced by Witten. Applications reach mathematical physics in quantum field theory anomalies, spectral flow studied by Robbin and Salamon, and index pairing in noncommutative torus work by Connes and Rieffel.

Extensions and Generalizations

Generalizations include families index theorems by Atiyah and Singer, equivariant index theorems related to Weyl character formula and work of Berline–Vergne, index theory on noncompact and singular spaces studied by Melrose, and index theory in noncommutative geometry by Connes and Moscovici. Higher index theory connects to the Novikov conjecture and conjectures of Baum–Connes, while analytical torsion and developments by Ray and Singer led to refined invariants. Modern research continues at institutions such as MIT, University of Cambridge, Princeton University, and Max Planck Institute for Mathematics.

Category:Differential geometry