Atiyah–Singer Index Theorem

The Atiyah–Singer index theorem is arguably the most important single theorem of 20th-century mathematics. It states that for an elliptic differential operator $D$ acting between sections of vector bundles on a compact manifold $M$:

$\operatorname{ind}(D) = \int_M \operatorname{ch}(\sigma(D)) \cdot \operatorname{Td}(TM \otimes \mathbb{C})$

The left-hand side is the analytic index — a difference of dimensions of function spaces. The right-hand side is the topological index — an integral of characteristic classes. That these two are equal is the theorem.

Proved by Michael Atiyah and Isadore Singer in 1963, it unifies analysis, topology, geometry, and K-theory into one formula.

1. The setup

Let $E, F$ be complex vector bundles over a compact manifold $M$, and $D: \Gamma(E) \to \Gamma(F)$ an elliptic differential operator (meaning its principal symbol $\sigma(D)$ is invertible off the zero section of $T^*M$).

The key analytic fact (Fredholm theory): both $\ker D$ and $\operatorname{coker} D$ are finite-dimensional. Define

$\operatorname{ind}(D) = \dim \ker D - \dim \operatorname{coker} D \in \mathbb{Z}$

This is the analytic index — remarkably stable under perturbation and continuous deformation of $D$.

2. The topological side

The Chern character $\operatorname{ch}$ and Todd class $\operatorname{Td}$ are characteristic classes built from the curvature of connections:

• $\operatorname{ch}(E) = \operatorname{tr}\exp(\Omega/(2\pi i))$ for a curvature form $\Omega$ on $E$
• $\operatorname{Td}(E) = \det\bigl(\frac{\Omega/(2\pi i)}{1 - e^{-\Omega/(2\pi i)}}\bigr)$

These live in the de Rham cohomology $H^*(M; \mathbb{R})$. Pairing them against the fundamental class of $M$ gives a real number — which miraculously turns out to be an integer and equals the analytic index.

3. Specializations

Virtually all major “index formulas” of the 20th century are special cases:

Gauss–Bonnet–Chern theorem

For $D = d + d^*$ acting on forms ($D$ the Euler operator), the index is the Euler characteristic $\chi(M)$:

$\chi(M) = \int_M \operatorname{Pf}\left(\frac{\Omega}{2\pi}\right)$

This generalizes Euler’s polyhedron formula to all dimensions and curvatures.

Hirzebruch signature theorem

For the signature operator, the index is the signature of the intersection form on middle cohomology:

$\operatorname{sig}(M) = \int_M L(TM)$

where $L$ is the Hirzebruch $L$-polynomial.

Hirzebruch–Riemann–Roch

For the Dolbeault operator $\bar\partial$ on a complex manifold, the index is the holomorphic Euler characteristic:

$\chi(E) = \int_M \operatorname{ch}(E) \cdot \operatorname{Td}(TM)$

This is the classical Riemann–Roch theorem in all dimensions.

Dirac operator

For the Dirac operator $\slashed{D}$ on a spin manifold, the index is the $\hat A$-genus:

$\operatorname{ind}(\slashed{D}) = \int_M \hat{A}(M)$

This formula underlies the connection between topology and gauge theory.

4. Structural consequences

The index theorem has structural significance far beyond the formula itself:

• K-theory as a cohomology theory was largely motivated by the need to formulate Atiyah–Singer precisely.
• The theorem established topological K-theory as a major tool in analysis.
• Noncommutative geometry (Connes) and cyclic homology emerged from extensions of the theorem.
• Atiyah’s vision of a topological quantum field theory is rooted in the perspective that index theorems are the classical shadow of quantum topological invariants.

5. Physics connections

Physicists use index theorems constantly:

• Anomalies in quantum field theory are computed via the index of a Dirac operator on a family of backgrounds.
• Instanton numbers in Yang–Mills theory are topological indices.
• String theory uses the index of $\bar\partial$ operators on Riemann surfaces for partition-function calculations.
• Topological insulators in condensed matter are classified by index-theoretic invariants.

Edward Witten’s work extensively exploits index-theoretic formulas — many of his results are physics-inspired rediscoveries or extensions of mathematical index theorems.

6. Recognition

Atiyah received the Fields Medal in 1966, in part for this work. Both he and Singer received the Abel Prize in 2004 — explicitly citing the index theorem as the most important single result of the late 20th century.

Further reading

• Atiyah, Collected Works Volume 3 and 4 — the original papers and expositions.
• Booss & Bleecker, Topology and Analysis: The Atiyah–Singer Index Formula — accessible introduction.
• Berline, Getzler & Vergne, Heat Kernels and Dirac Operators — heat-equation proof.

Frequently asked

What does 'analytic index' mean?

For a Fredholm operator D: Γ(E) → Γ(F) between sections of vector bundles, the analytic index is ind(D) = dim(ker D) - dim(coker D). These dimensions are both infinite in general for differential operators, but their difference is finite and stable under perturbation — giving a well-defined integer invariant.

What does 'topological index' mean?

It is an integer computable purely from the topology of the manifold and the principal symbol of the operator, via characteristic classes: the Chern character ch of the symbol pulled back to the tangent bundle, multiplied by the Todd class Td of the complexified tangent bundle, integrated over M. Remarkably, this topological datum equals the analytic index — despite looking completely different in origin.

Why is this theorem considered the crown jewel of 20th-century mathematics?

Because it unifies four apparently disjoint worlds: analysis (Fredholm theory of elliptic operators), topology (characteristic classes, K-theory), geometry (curvature-integral formulas), and algebra (ring structure of K-theory). Specializations include the Gauss–Bonnet theorem, Hirzebruch–Riemann–Roch, the Chern–Gauss–Bonnet, and Hirzebruch's signature theorem — each a major result in its own right, all corollaries of Atiyah–Singer.

Continue reading

Formula

Euler's Polyhedron Formula

For any convex polyhedron, vertices minus edges plus faces equals two. A simple relationship that launched topology.

Read →Blog

Sphere Packing: The Densest Way to Stack Oranges, Proved at Last

Stack oranges and you naturally end up with the same pattern grocers have used for centuries. Kepler conjectured in 1611 that this packing is the densest possible. The proof took 398 years.

Read →Blog

Euler's Polyhedron Formula: Why V − E + F Always Equals 2

Count the corners, edges, and faces of any convex solid. The corners minus the edges plus the faces is always two. That tiny equation is one of the oldest pieces of topology hiding in plain sight.

Read →