| index theorems | |
|---|---|
| Name | Index theorems |
| Field | Mathematics; Theoretical physics |
| Notable examples | Atiyah–Singer index theorem, Atiyah–Bott fixed-point theorem, Callias index theorem |
| Introduced | 20th century |
| Contributors | Michael Atiyah, Isadore Singer, Raoul Bott, Edward Witten, Paul Dirac |
index theorems
Index theorems relate analytical quantities of differential operators to topological invariants of manifolds, providing exact formulas for the index of an operator in terms of cohomological data. In Quantum Physics, these results underlie rigorous descriptions of spectral asymmetries, explain the origin of certain anomalies, and connect global geometric structure with spectra of quantum operators. Their interplay with quantum field theory and condensed matter physics has informed both mathematical technique and physical interpretation.
Index theorems quantify the difference between the dimensions of solution spaces (kernels and cokernels) of elliptic operators and express that integer in topological terms. The prototypical example, the Atiyah–Singer index theorem, equates the analytic index of an elliptic operator to a topological index computed from characteristic classes like the Chern character and the Todd class. In quantum contexts, such integers govern zero modes of the Dirac operator which determine charge quantization, ground-state degeneracy, and selection rules for tunneling processes in quantum mechanics and quantum field theory.
Index theory rests on analysis of elliptic differential operators on smooth manifolds and algebraic topology tools such as K-theory and characteristic classes from de Rham cohomology and Chern–Weil theory. The analytic index counts solutions to linear PDEs (e.g., Dirac or Laplace-type operators) while the topological index is computed in topological K-theory via symbol classes. Foundational contributors include Atiyah and Singer and Raoul Bott; later formal developments used Fredholm operators, heat kernel methods of Minakshisundaram–Pleijel type, and spectral asymptotics developed by John Roe and Peter Gilkey.
The Atiyah–Singer index theorem provides a general formula for elliptic operators on compact manifolds with or without boundary (the latter via extensions like the Atiyah–Patodi–Singer index theorem). Physically, it predicts numbers of fermionic zero modes in backgrounds such as instantons in Yang–Mills theory or monopoles in gauge theory. Applications include counting zero-energy solutions relevant to the chiral anomaly and the quantization of topological terms in effective actions. Key physical expositions were advanced by Edward Witten who connected index results to supersymmetry and Morse theory, and by works relating index computations to topological insulators in condensed matter.
Index theorems explain anomalies via spectral flow and determinants of Dirac-type operators. The chiral anomaly in four-dimensional quantum electrodynamics and quantum chromodynamics is computed from index densities like the Pontryagin class; Fujikawa's path-integral derivation relates the Jacobian under chiral rotations to heat kernel regularization and index densities. Spectral flow—the net number of eigenvalues crossing zero under parameter variation—is formalized by index formulas and has consequences for fermion number fractionalization in models studied by Jackiw and Rajaraman.
The Dirac operator on a spin manifold is the central example: its index equals the Â-genus of the manifold and counts chiral zero modes. The Callias index theorem addresses Dirac operators on noncompact manifolds with a masslike potential, applicable to monopole and soliton backgrounds in gauge theories. Supersymmetric quantum mechanics yields index-like invariants as Witten indices; Witten index computations relate supersymmetry-protected ground states to topological data and provide a bridge between quantum spectral problems and index theory. Classic papers by Atiyah, Singer, and Callias remain foundational.
Practical computation of indices uses several analytic methods: heat kernel expansions, the Atiyah–Bott fixed-point theorem for equivariant problems, spectral flow computations, and localization techniques from supersymmetric field theories. Heat kernel asymptotics produce local index density formulas via the short-time expansion; numerical spectral methods can approximate low-lying eigenmodes for Dirac operators in lattice gauge theory and in simulations at CERN or other high-energy laboratories. Operator-theoretic approaches use Fredholm determinants and zeta-function regularization to connect determinants to index-type quantities.
Index theory extends to families of operators (the families index theorem) giving characteristic classes in K-theory of parameter spaces, with applications to Berry phases and adiabatic transport in quantum systems. Noncommutative geometry as developed by Alain Connes generalizes index formulas to noncommutative spaces and has been applied to models of the quantum Hall effect and solid-state systems with disorder. Current research connects index theory with topological phases of matter, higher-categorical generalizations, and interactions with string theory and M-theory compactification anomalies.
Category:Mathematical physics Category:Index theory Category:Quantum field theory