Index Theorems

Index Theorems equate an analytic index (a difference of solution-space dimensions for an elliptic operator) with a topological index (a characteristic-class integral over the manifold). The flagship result, the Atiyah–Singer Index Theorem (1963), states

ind (D) = \int_{M} ch (σ (D)) Td (T M \otimes C)

. They apply to elliptic (pseudo)differential operators on compact manifolds, with vast reach in geometry, topology, and physics. Originated by Michael Atiyah and Isadore Singer; precursors due to Gauss, Riemann, Hirzebruch, and Gel'fand.

An index theorem asserts that a quantity defined by solving differential equations — the analytic index $ind (D) = dim ker D - dim coker D$ of an elliptic operator $D$ — is computable purely from the topology and geometry of the underlying space, via integrals of characteristic classes. The reason this matters is that the analytic index is a robust invariant: it is unchanged under deformation, perturbation by lower-order or compact terms, and continuous variation of the operator, yet it controls the existence of solutions to PDEs. The surprising fact is the sheer unity it reveals: the Gauss–Bonnet theorem, the Riemann–Roch theorem, the Hirzebruch signature theorem, and the Dirac-operator index all fall out as special cases of a single formula. The Atiyah–Singer theorem thereby became one of the great organizing principles of twentieth-century mathematics, and later the conduit by which gauge theory and quantum field theory entered geometry.

The Core Insight

Two numbers that look completely different are forced to coincide. One — the analytic index — measures the failure of an elliptic operator to be invertible: how many independent solutions its kernel has, minus how many obstructions to solvability live in its cokernel. The other — the topological index — is a sum of integrals of curvature/characteristic data, depending only on the manifold's smooth topology and the operator's leading symbol. Because the analytic index is a homotopy invariant (stable under deformations), it can only depend on coarse data, and that coarse data turns out to be exactly the topological index. Symbolically: deforming the operator doesn't change the index, so the index must be topological.

Formal Statement

Elliptic Operator and its Symbol

Let $E, F \to M$ be smooth complex vector bundles over a compact oriented Riemannian manifold $M$ of dimension $n$ , without boundary. A linear differential operator $D : Γ (E) \to Γ (F)$ of order $m$ has a principal symbol $σ_{m} (D) (x, ξ) \in Hom (E_{x}, F_{x})$ for $(x, ξ) \in T^{*} M$ , obtained by replacing each derivative $\partial / \partial x^{j}$ with $i ξ_{j}$ and keeping only top-order terms:

σ_{m} (D) (x, ξ) = ∣ α ∣ = m \sum a_{α} (x) (i ξ)^{α} .

⟳write

D = \sum_{∣ α ∣ \leq m} a_{α} (x) \partial^{α}

; the symbol is the Fourier-transform leading part,

e^{- i ⟨ x, ξ ⟩} D e^{i ⟨ x, ξ ⟩}

truncated to degree

m

D

is elliptic if

σ_{m} (D) (x, ξ)

is invertible for every

x \in M

and every nonzero

ξ \in T_{x}^{*} M

Analytic Index

For an elliptic operator $D$ on a compact manifold, $ker D$ and $coker D = (ran D)^{⊥} ≅ ker D^{*}$ are finite-dimensional. The analytic index is

ind_{a} (D) = dim_{C} ker D - dim_{C} coker D = dim ker D - dim ker D^{*} .

⟳ellipticity gives elliptic regularity and the Fredholm property via parametrices — there exists

Q

with

Q D - I

and

D Q - I

compact (smoothing) operators, so

D

is Fredholm and the index is well-defined and integer-valued.

Atiyah–Singer Index Theorem, 1963

Let $D : Γ (E) \to Γ (F)$ be an elliptic (pseudo)differential operator on a compact smooth manifold $M$ of even dimension $n$ . Then

ind_{a} (D) = (- 1)^{n} \int_{M} ch (σ (D)) Td (T M \otimes C),

where $ch (σ (D)) \in H^{*} (M; Q)$ is the Chern character of the symbol class (an element of $K$ -theory $K (T^{*} M)$ pushed to $H^{*} (M)$ ) and $Td$ is the Todd class of the complexified tangent bundle. The right side is the topological index $ind_{t} (D)$ .

Local Index Theorem — Dirac Operator Form

For the Atiyah–Singer Dirac operator $D = D^{+} \oplus D^{-}$ on a spin manifold $M^{n}$ twisted by a vector bundle $W$ with connection,

ind (D^{+}) = \int_{M} \hat{A} (M) ch (W), \hat{A} (M) = j \prod \frac{x _{j} /2}{sinh ( x _{j} /2 )},

where $\hat{A} (M)$ is the $\hat{A}$ -genus built from the Pontryagin roots $x_{j}$ of $T M$ and $ch (W) = tr exp (F_{W} /2 π i)$ is the Chern character of the twisting curvature $F_{W}$ .

⟳specialize [3] to the symbol of the twisted Dirac operator; the Todd class combines with the Chern character of the spinor bundle to produce

\hat{A} (M)

via the identity

Td \cdot ch (S^{+} - S^{-}) = \hat{A} \cdot e^{(\dots)}

Why It Holds / Derivation

Strategy: Cobordism / K-theory Proof of Atiyah–Singer

The original 1963 proof followed Hirzebruch's cobordism method; the cleaner 1968 proof uses $K$ -theory. The key steps:

Step 1 — Both indices are invariants of the symbol class in $K (T^{*} M)$ . The symbol of an elliptic operator defines a compactly-supported

K

-theory class

[σ (D)] \in K (T^{*} M)

. The analytic index depends only on this class (homotopy invariance + the fact that lower-order terms don't affect ellipticity). The topological index

ind_{t}

is a homomorphism

K (T^{*} M) \to Z

defined functorially. Step 2 — Both are functorial under embeddings. Embed

M ↪ R^{N}

for large

N

. There is a Thom isomorphism

K (T^{*} M) \sim K (T^{*} R^{N})

(restricted to a tubular neighborhood), and both indices are compatible with the pushforward

i_{!}

induced by this embedding. Step 3 — Reduce to a single point. After embedding, the problem reduces to computing the index map on

K (T^{*} R^{N}) ≅ K (R^{2 N})

. By Bott periodicity,

K (R^{2 N}) ≅ Z

, and the generator is the Bott class.

K (T^{*} M) i_{!} K (T^{*} R^{N}) j_{!} \sim K (pt) = Z .

⟳

i_{!}

is the Gysin/Thom pushforward in K-theory along the proper embedding;

j_{!}

is the Bott class of the trivial bundle over

R^{2 N}

; Bott periodicity identifies the target with

Z

Step 4 — Normalization. Both the analytic index map and the topological index map are uniquely determined by three axioms (functoriality, normalization on a point, multiplicativity). On the point both give the same value,

1

. Since both maps satisfy the same axioms and agree on the generator, they are equal:

ind_{a} = ind_{t} : K (T^{*} M) ⟶ Z .

⟳this is the uniqueness step — Atiyah–Singer's axiomatic characterization of index maps shows any natural transformation

K (T^{*} M) \to Z

satisfying the excision and multiplicativity properties and normalized on a point must be the topological index.

Step 5 — Convert to cohomology. Apply the Chern character

ch : K (T^{*} M) \to H_{c}^{*} (T^{*} M; Q)

and integrate, producing the Todd-class correction from the difference between the K-theoretic and cohomological Thom isomorphisms. This yields formula [3].

■

Alternative: Heat Kernel / McKean–Singer

A purely analytic proof gives the local index theorem. For $D = D^{+} \oplus D^{-}$ with $Δ^{\pm} = D^{\mp} D^{\pm}$ :

ind (D^{+}) = Tr (e^{- t Δ^{+}}) - Tr (e^{- t Δ^{-}}) for all t > 0.

⟳nonzero eigenvalues of

Δ^{+}

and

Δ^{-}

pair up bijectively via

D^{+}

, so their heat-trace contributions cancel; only the kernels (eigenvalue

0

) survive, giving

dim ker D^{+} - dim ker D^{-}

independent of

t

Taking $t \to 0^{+}$ , the heat-kernel asymptotic expansion has coefficients that are local curvature invariants. The miraculous cancellation (proved cleanly by Getzler's rescaling / Mehler-formula argument, or Gilkey's invariant theory) leaves precisely the $\hat{A}$ -genus integrand, recovering [4]. $■$

Michael Atiyah & Isadore Singer | 1929–2019 / 1924–2021

Atiyah, an Oxford/Cambridge geometer and 1966 Fields Medalist, and Singer, an MIT analyst, met in 1962 when Atiyah was puzzling over why the $\hat{A}$ -genus of a spin manifold is always an integer. Singer recognized this as the index of a Dirac operator, and within weeks they had conjectured the general theorem. Their collaboration spanned decades and four landmark papers (1968–1971). The index theorem won them the Abel Prize jointly in 2004. Atiyah's later work bridged the theorem to instantons, gauge theory, and physics; Singer's pushed into operator algebras and the eta invariant. Their partnership is often cited as the model for deep mathematical collaboration across the analysis–topology divide.

Building Intuition

Think of an elliptic operator as a system of equations. Solving $D u = 0$ counts symmetries/zero modes ( $ker D$ ); solvability of $D u = f$ is obstructed by $coker D$ . The index is the net count: solutions minus obstructions. Now imagine smoothly deforming the operator — eigenvalues drift, but an eigenvalue can only cross zero by pairing: a kernel mode in $ker D$ disappears exactly when a cokernel obstruction also disappears (or both appear together). So $dim ker D$ and $dim coker D$ jump simultaneously and the difference stays fixed. This rigidity is why the index is topological. The Atiyah–Singer theorem then names the invariant: it's a curvature integral, the same kind of "total curvature = topology" statement as Gauss–Bonnet, but for an arbitrary elliptic operator.

Spectral flow: kernel and cokernel modes pair up as an elliptic operator is deformed, leaving the index invariant.

Worked Examples

Gauss–Bonnet via the Euler Operator

Given: A compact oriented surface

M

of genus

g

(e.g. a genus-

2

surface), with the de Rham operator

D = d + d^{*}

mapping even forms to odd forms. Setup: The index of

D^{+} : Ω^{even} \to Ω^{odd}

is the alternating sum of Betti numbers:

ind (D^{+}) = b_{0} - b_{1} + b_{2} = χ (M) .

Topological side: Specializing [3], the integrand reduces to the Euler class

e (T M)

, the Pfaffian of curvature. By the Chern–Gauss–Bonnet theorem,

ind (D^{+}) = \int_{M} e (T M) = \frac{1}{2 π} \int_{M} K d A .

Numbers: For genus

g = 2

χ = 2 - 2 g = 2 - 4 = - 2

. Therefore the total Gaussian curvature is

\frac{1}{2 π} \int_{M} K d A = - 2 ⟹ \int_{M} K d A = - 4 π .

Boxed answer:

ind (D^{+}) = χ = - 2, \int_{M} K d A = - 4 π (radians\cdotarea, dimensionless total curvature)

Index of the Dirac Operator on a K3 Surface

Given: A K3 surface

M

— a compact complex surface (real dimension

4

) that is spin, with

\hat{A}

-genus needed for

ind (D^{+})

of the untwisted Dirac operator (

W

trivial). Topological data of K3: signature

τ (M) = - 16

; Euler characteristic

χ = 24

. In dimension

4

, the

\hat{A}

-genus integrates to

\int_{M} \hat{A} (M) = - \frac{1}{24} p_{1} [M], p_{1} [M] = 3 τ (M) .

Compute Pontryagin number:

p_{1} [M] = 3 τ = 3 (- 16) = - 48.

Index:

ind (D^{+}) = \int_{M} \hat{A} (M) = - \frac{1}{24} (- 48) = 2.

Check: A K3 surface admits a Ricci-flat (hyperkähler) metric with holonomy

S U (2)

, giving

2

covariantly constant spinors — exactly

dim ker D^{+} = 2

dim ker D^{-} = 0

. Boxed answer:

ind (D^{+}) = 2 (net number of harmonic spinors, dimensionless integer)

Common Misconceptions

The index is not the dimension of the kernel. Many beginners conflate

ind (D) = dim ker D - dim ker D^{*}

with

dim ker D

alone. Only the difference is topologically rigid;

dim ker D

itself depends on the metric and can jump. The theorem computes the difference, not the individual dimensions. The theorem requires a closed manifold. On manifolds with boundary, the formula [3] fails and must be corrected by a boundary term — the eta invariant — giving the Atiyah–Patodi–Singer (APS) theorem. Forgetting this is a classic error. Ellipticity is essential. Hyperbolic or parabolic operators (e.g. the wave operator, the heat operator) are not Fredholm on closed manifolds; their "index" is not defined by [2]. The symbol must be invertible off the zero section. The dimension parity matters. On odd-dimensional closed manifolds the index of any elliptic differential operator vanishes (by a symbol argument), so the interesting differential-operator content lives in even dimensions; odd dimensions carry spectral invariants (eta) instead.

Consider the operator $D = d / d x$ on the circle $S^{1}$ , acting on smooth complex functions $C^{\infty} (S^{1}) \to C^{\infty} (S^{1})$ . Its kernel is the constants (dimension $1$ ) and its cokernel is also the constants (dimension $1$ , since $\int_{S^{1}} f = 0$ is the solvability condition). So $ind (D) = 1 - 1 = 0$ . This illustrates the odd-dimensional vanishing: even though $D$ is elliptic on $S^{1}$ , the index is forced to be zero. One cannot extract topological information about $S^{1}$ from this index — confirming that the rich content of Atiyah–Singer lives in even dimensions, and that odd-dimensional refinement requires the eta invariant and spectral flow, not the naive index.

Connections

The index theorem unifies a remarkable web of classical results, each recovered by choosing a particular elliptic operator:

Gauss-Bonnet Theorem — the Euler operator $d + d^{*}$ gives $ind = χ (M)$ , integrating the Euler class.
Hirzebruch Signature Theorem — the signature operator gives $ind = τ (M) = \int_{M} L (M)$ , the $L$ -genus.
Riemann-Roch Theorem — the Dolbeault operator $\overset{ˉ}{\partial} + \overset{ˉ}{\partial}^{*}$ on a complex manifold gives $ind = χ (M, O)$ , the Todd-genus / holomorphic Euler characteristic.
K-Theory — the natural home of the symbol class and the cleanest proof framework via Bott periodicity and the Thom isomorphism.
Characteristic Classes — Chern, Pontryagin, Euler, Todd, and $\hat{A}$ classes are the building blocks of the topological index.
Heat Kernel Methods — provide the local proof and the bridge to spectral geometry and zeta-function regularization.
Chiral Anomaly — the physics incarnation: the anomalous non-conservation of axial current is the Dirac-operator index density.

Real-World Applications

Quantum field theory anomalies. The Adler–Bell–Jackiw chiral anomaly equals the index density of the Dirac operator coupled to a gauge field; the integrated anomaly is $ind (D)$ . This constrains consistent gauge theories (the Standard Model's anomaly cancellation between quarks and leptons).
Instanton counting in Yang–Mills theory. The dimension of the moduli space of self-dual connections (instantons) on a $4$ -manifold is computed by an index — the deformation complex's index via Atiyah–Hitchin–Singer.
String theory tadpole/anomaly cancellation. Index theorems on the worldsheet and target space enforce $D$ -brane charge quantization (classified by $K$ -theory) and Green–Schwarz anomaly cancellation.
Topological insulators and the quantum Hall effect. The quantized Hall conductance is a Chern number computed as the index of a projected Dirac/Landau operator; bulk–boundary correspondence is an APS-type statement.
Seiberg–Witten and Donaldson theory. Smooth-structure invariants of $4$ -manifolds rest on index computations for the relevant elliptic deformation complexes.
Spectral geometry and "hearing the shape of a drum." Heat-kernel index techniques quantify which geometric data are spectrally determined.
Geometric quantization & representation theory. The Borel–Weil–Bott theorem and the Atiyah–Bott fixed-point formula realize representations as kernels of elliptic operators, computed by index methods.

Historical Development

1827–1848 — Gauss & Bonnet. The Gauss–Bonnet theorem links total curvature to the Euler characteristic — the first "index theorem" in spirit.
1850s — Riemann & Roch. The Riemann–Roch theorem for curves equates $dim H^{0} - dim H^{1}$ of a line bundle with topological data, the prototypical analytic-minus-cokernel formula.
1954 — Hirzebruch. Proves the signature theorem and the general Hirzebruch–Riemann–Roch theorem using cobordism and his multiplicative genera; introduces the Todd and $L$ classes systematically.
1959–1960 — Gel'fand. Poses the general problem: compute the index of an elliptic operator from topological data, conjecturing it is a homotopy invariant.
1963 — Atiyah & Singer. Announce and prove the general index theorem (cobordism proof), unifying Gauss–Bonnet, Hirzebruch–Riemann–Roch, and the signature theorem.
1968 — Atiyah, Singer, Segal. The $K$ -theory proof (papers I–III), plus the equivariant Atiyah–Bott–Segal–Singer fixed-point theorem.
1971 — Atiyah, Singer. Paper IV–V extend to families (the index in $K (B)$ ) and real/ $K R$ -theory.
1975 — Atiyah, Patodi, Singer. The APS theorem for manifolds with boundary, introducing the eta invariant and spectral flow.
1983–1986 — Getzler, Bismut, Berline–Vergne. Heat-kernel/supersymmetric proofs giving the local index theorem; physics-inspired (Alvarez-Gaumé) supersymmetric quantum mechanics derivation.

Subtleties & Limits

Beyond compact manifolds. For non-compact or open manifolds,

D

need not be Fredholm and the index in the classical sense may not exist; one needs

L^{2}

-indices (Atiyah's

L^{2}

-index theorem for covering spaces), the Connes–Moscovici higher index, or coarse index theory. Determining the right invariants and their computability is an active program. The Novikov conjecture — homotopy invariance of higher signatures — is essentially a far-reaching index-theoretic statement; it remains open in general and is one of the central motivating problems of noncommutative geometry and the Baum–Connes program. The Gromov–Lawson–Rosenberg conjecture on existence of positive scalar curvature metrics is governed by index obstructions (

\hat{A}

and

α

-invariants in

K O

-theory); the full conjecture is false in general (counterexamples by Schick) and the precise correct statement is open. Foliations and singular spaces. Extending index theory to foliated manifolds (Connes' index theorem for foliations), stratified/singular spaces, and orbifolds (Kawasaki) raises ongoing analytic and operator-algebraic difficulties. Effective/local refinements. While Getzler's proof localizes the index, fully understanding the heat-kernel cancellations as a manifestation of supersymmetry, and rigorously connecting them to path-integral derivations, continues to stimulate work at the math–physics interface.