The Atiyah-Singer Index Theorem

The Atiyah-Singer Index Theorem asserts that for an elliptic differential operator

D

on a compact smooth manifold, the analytic index (dimension of solutions minus dimension of cosolutions) equals a purely topological index computed from characteristic classes. In words: analysis = topology for elliptic operators. It applies to elliptic (pseudo)differential operators on closed manifolds and unifies the Gauss-Bonnet, Riemann-Roch-Hirzebruch, and Hirzebruch signature theorems. Proved by Michael Atiyah and Isadore Singer in 1963 (announcement) and published in a celebrated series 1968–1971.

The index theorem computes the integer

ind (D) = dim ker D - dim coker D

for an elliptic operator

D : Γ (E) \to Γ (F)

between sections of vector bundles, asserting it equals the evaluation of a universal characteristic class against the fundamental homology class of the manifold. Its importance lies in the fact that the left-hand side is fragile analytic data — solutions of PDEs — while the right-hand side is a stable topological invariant that ignores the precise coefficients of

D

. The deformation invariance of the index (it is constant under continuous deformations of

D

through elliptic operators) is the engine that makes the equality possible. A genuinely surprising fact: the signature of a

4 k

-dimensional manifold, an integer defined by the cup-product pairing on middle cohomology, can be read off as the index of a single first-order operator built from the de Rham complex. The theorem thereby ties together index theory, K-theory, characteristic classes, spin geometry, and (later) quantum field theory.

The Core Insight

An elliptic operator $D$ has a symbol $σ (D)$ , a bundle map that becomes invertible away from the zero section of $T^{*} M$ . This invertibility data defines a class in compactly supported K-theory $K^{0} (T^{*} M)$ . The analytic index factors through this K-theory class — only the symbol's homotopy type matters, not $D$ itself. K-theory carries two natural maps to $Z$ : the analytic index and the topological index (defined via embeddings into Euclidean space and Bott periodicity). The theorem is the statement that these two maps coincide. Equivalently, the index is a cobordism invariant, and characteristic numbers detect cobordism classes.

Formal Statement

Elliptic operator and symbol

Let $M$ be a closed (compact, boundaryless) smooth manifold of dimension $n$ , and let $E, F \to M$ be smooth complex vector bundles. A linear differential operator of order $m$ ,

D = ∣ α ∣ \leq m \sum a_{α} (x) \partial^{α} : Γ (E) \to Γ (F),

⟳

α

is a multi-index,

a_{α} (x) \in Hom (E_{x}, F_{x})

are smooth bundle homomorphisms,

\partial^{α} = \partial_{x_{1}}^{α_{1}} \dots \partial_{x_{n}}^{α_{n}}

in local coordinates and trivializations.

has principal symbol at $(x, ξ) \in T^{*} M$ given by

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

⟳keep only top-order terms and replace

\partial_{x_{j}} \mapsto i ξ_{j}

; this is the leading behavior under Fourier transform / the principal part of

D

D

is elliptic iff

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

is an isomorphism for all

x \in M

and all

ξ \neq = 0

Analytic index

For an elliptic operator on a closed manifold, both $ker D$ and $coker D$ are finite-dimensional (elliptic regularity + Fredholm theory on Sobolev spaces). The analytic index is

ind_{a} (D) = dim_{C} ker D - dim_{C} coker D \in Z .

⟳

D

extends to a bounded Fredholm map

H^{s} (E) \to H^{s - m} (F)

between Sobolev spaces; the index is independent of

s

and stable under compact perturbations.

Atiyah-Singer Index Theorem — cohomological form

Let $D$ be an elliptic differential operator of order $m$ on a closed oriented manifold $M^{n}$ , with symbol class $[σ (D)] \in K^{0} (T^{*} M)$ . Then the analytic index equals the topological index:

ind_{a} (D) = ind_{t} (D) = (- 1)^{n} \int_{T^{*} M} ch ([σ (D)]) π^{*} Td (T M \otimes C) .

⟳

ch

is the Chern character,

Td

the Todd class,

π : T^{*} M \to M

the projection; the integral is over the total space

T^{*} M

(an open manifold, with the integrand compactly supported by ellipticity). The sign

(- 1)^{n}

comes from orientation conventions on

T^{*} M

Equivalently, for the standard geometric operators one obtains a class on $M$ itself: if $D$ is the Dirac operator twisted by a bundle $E$ ,

ind (D_{E}) = \int_{M} \hat{A} (T M) ch (E),

⟳specialize [4]; the

T^{*} M

integral collapses to an

M

integral by Thom isomorphism, the Todd class combines with the symbol's Bott class to produce the

\hat{A}

-genus

\hat{A} (T M) = \prod_{j} \frac{x _{j} /2}{s i n h ( x _{j} /2 )}

(Pontryagin roots

x_{j}

K-theoretic form

There are two homomorphisms $K^{0} (T^{*} M) \to Z$ :

ind_{a} : [σ] ⟼ dim ker D - dim coker D, ind_{t} = p_{!},

⟳

ind_{t}

is the pushforward (Gysin map) to a point, constructed by choosing an embedding

M ↪ R^{N}

, using the Thom isomorphism for the normal bundle and Bott periodicity

K^{0} (R^{2 k}) ≅ Z

and the theorem is the operator-free identity $ind_{a} = ind_{t}$ as maps on $K^{0} (T^{*} M)$ .

Why It Holds / Derivation

Embedding/K-theory proof — structure

The original 1968 proof reduces the theorem to two functorial properties and a single normalization, following the strategy used by Hirzebruch–Grothendieck for Riemann-Roch.

Step 1 (Symbol class). Ellipticity of

D

means

σ (D)

is an isomorphism off the zero section, hence the triple

(π^{*} E, π^{*} F, σ)

defines a difference class

[σ (D)] \in K^{0} (T^{*} M) = K_{cpt}^{0} (T^{*} M)

. The analytic index depends only on this class:

ind_{a} : K^{0} (T^{*} M) \to Z is well-defined and a homomorphism.

⟳homotopies of symbols through elliptic ones, and direct sums of operators, give the homomorphism property; lower-order terms do not affect the index (compact perturbation).

Step 2 (Axioms). Both

ind_{a}

and

ind_{t}

satisfy: (i) Normalization: on a point,

ind =

identity on

Z

. (ii) Excision / multiplicativity under embeddings

i : M ↪ M^{'}

, compatible with the induced K-theory pushforward

i_{!}

. Step 3 (Embedding into Euclidean space). Choose

M ↪ R^{N}

. The Gysin/pushforward

i_{!} : K^{0} (T^{*} M) \to K^{0} (T^{*} R^{N})

commutes with

ind_{a}

(analytically: a tubular neighborhood theorem for operators) and with

ind_{t}

(topologically: by definition of

ind_{t}

ind_{a} = ind_{a}^{R^{N}} \circ i_{!}, ind_{t} = ind_{t}^{R^{N}} \circ i_{!} .

⟳the analytic invariance under

i_{!}

is the technical heart — an elliptic operator on

M

corresponds to one on

R^{N}

with the same index via the Thom class of the normal bundle.

Step 4 (Reduce to $R^{N}$ and Bott). On

T^{*} R^{N} ≅ R^{2 N}

Bott periodicity gives

K_{cpt}^{0} (R^{2 N}) ≅ Z

generated by the Bott class, on which

ind_{a}

and

ind_{t}

each compute to

1

ind_{a}^{R^{N}} = ind_{t}^{R^{N}} : K_{cpt}^{0} (R^{2 N}) ≅ Z .

⟳the generator is represented by the de Rham/Dolbeault-type complex on

C^{N}

whose index is

1

; Bott periodicity makes this the universal normalization.

Conclusion. By Steps 3–4,

ind_{a}

and

ind_{t}

agree on the image of

i_{!}

, which is all of

K^{0} (T^{*} M)

up to the isomorphism. Hence

ind_{a} = ind_{t}

K^{0} (T^{*} M)

, giving [4]. Translating

ind_{t}

via Chern character and the Thom isomorphism produces the cohomological formula.

■

Heat-kernel (local) proof — McKean–Singer

A second, more analytic proof yields [5] directly and explains the appearance of $\hat{A}$ .

Step 1 (McKean–Singer formula). For

D : Γ (E) \to Γ (F)

form the Laplacians

D^{*} D

D D^{*}

. For all

t > 0

ind (D) = Tr (e^{- t D^{*} D}) - Tr (e^{- t D D^{*}}) .

⟳nonzero eigenvalues of

D^{*} D

and

D D^{*}

coincide with equal multiplicity (the map

D

intertwines them), so they cancel; only the kernels survive, independent of

t

Step 2 (Heat-kernel asymptotics). As

t \to 0^{+}

the supertrace has an asymptotic expansion in

t

with coefficients that are integrals of local invariants of the metric and connection:

Tr_{s} (e^{- t D^{2}}) \sim k \geq 0 \sum t^{(k - n) /2} \int_{M} a_{k} (x) d x .

⟳Minakshisundaram–Pleijel expansion of the heat kernel

K (t, x, x)

; the supertrace

Tr_{s} = Tr_{E} - Tr_{F}

Step 3 (Fantastic cancellation). Since the left side is the

t

-independent integer

ind (D)

, all

t \to 0

singular terms vanish and only the

t^{0}

coefficient survives. Getzler's rescaling shows this coefficient is exactly

[\hat{A} (T M) ch (E)]_{top}

ind (D) = \int_{M} [\hat{A} (T M) ch (E)]_{n} .

⟳Getzler's symbol calculus rescales the Clifford variables and time so the heat operator limits to a harmonic-oscillator (Mehler) kernel whose trace is precisely the

\hat{A}

characteristic form.

■

Schematic of the index map: from elliptic symbol through K-theory to an integer

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

Atiyah, an Oxford/Cambridge algebraic geometer and topologist (Fields Medal 1966), brought K-theory and characteristic-class machinery; Singer, an MIT analyst, brought operator theory and PDE. Their collaboration, beginning around 1962, fused two disciplines that had barely communicated. The pair received the Abel Prize in 2004 specifically for the index theorem. Atiyah's later work linked index theory to gauge theory and physics; Singer's pushed into eta-invariants and noncommutative geometry. The breadth of collaborators — Bott, Patodi, Hirzebruch, Donaldson, Witten — radiates from this single result.

Building Intuition

Think of $ind (D)$ as a signed count that refuses to change under deformation. If you wiggle the coefficients of $D$ continuously, individual eigenvalues drift, kernels and cokernels can jump — but they jump in tandem: a vector that leaves $ker D$ pairs with one entering $coker D$ , so the difference is locked. This rigidity is exactly what a topological invariant should have. The miracle is that this rigidity is strong enough to be computed without solving any equation — the answer depends only on the symbol, the leading-order "shape" of $D$ , and through it only on the manifold's curvature integrated into characteristic classes. The simplest avatar is Gauss-Bonnet: the Euler characteristic (a count of "holes") equals $\frac{1}{2 π} \int K d A$ (a curvature integral). The index theorem says every elliptic operator obeys a Gauss-Bonnet-type law, with $\hat{A}$ or $L$ or $Td$ replacing curvature.

Edward Witten | b. 1951

Witten reinterpreted the index theorem through supersymmetric quantum mechanics: the Dirac operator becomes a supercharge $Q$ , the index becomes the Witten index $Tr (- 1)^{F} e^{- β H}$ counting supersymmetric ground states, and the heat-kernel proof becomes a path-integral localization onto constant loops. This physical lens (1982) demystified the "fantastic cancellation" of the heat-kernel proof and seeded the field of index theory in QFT, anomalies, and the Atiyah-Bott fixed-point formula in physics. Anomaly cancellation in the Standard Model and string theory is, at root, an index computation.

Worked Examples

Gauss-Bonnet from the de Rham complex

Given: A closed oriented surface

M^{2}

(so

n = 2

), with the de Rham operator

D = d + d^{*} : Ω^{even} \to Ω^{odd}

. Steps:

The index of $d + d^{*}$ from even to odd forms equals the Euler characteristic:

ind (d + d^{*}) = k \sum (- 1)^{k} dim H_{dR}^{k} (M) = χ (M) .

⟳by Hodge theory

ker (d + d^{*})

restricted to even/odd forms gives harmonic even/odd forms, i.e.

\sum b_{even} - \sum b_{odd} = χ

The index formula [5] specializes (Euler class form) to $ind = \int_{M} e (T M)$ , the Euler class. For a surface $e (T M) = \frac{1}{2 π} K d A$ .

χ (M) = \frac{1}{2 π} \int_{M} K d A .

⟳

e (T M)

in two dimensions is the Gaussian curvature 2-form divided by

2 π

; this is the Chern-Gauss-Bonnet integrand.

For the round sphere of radius $R$ : $K = 1/ R^{2}$ , area $= 4 π R^{2}$ .

Answer:

χ (S^{2}) = \frac{1}{2 π} \cdot \frac{1}{R ^{2}} \cdot 4 π R^{2} = 2

(dimensionless integer), matching

χ (S^{2}) = 2

Riemann-Roch for a line bundle on a curve via the Dolbeault operator

Given: A compact Riemann surface

X

of genus

g

, a holomorphic line bundle

L

of degree

d = de g L

. Take

D = \overset{ˉ}{\partial}_{L} : Ω^{0, 0} (L) \to Ω^{0, 1} (L)

. Steps:

The analytic index is the holomorphic Euler characteristic:

ind (\overset{ˉ}{\partial}_{L}) = dim H^{0} (X, L) - dim H^{1} (X, L) = χ (X, L) .

⟳

ker \overset{ˉ}{\partial}_{L} = H^{0}

coker \overset{ˉ}{\partial}_{L} ≅ H^{1}

by Dolbeault + Serre duality.

The topological index [4] specializes (complex dimension $1$ ) to the Hirzebruch-Riemann-Roch integrand $ch (L) Td (T X)$ with $Td (T X) = 1 + \frac{1}{2} c_{1} (T X)$ and $ch (L) = 1 + c_{1} (L)$ :

χ (X, L) = \int_{X} (c_{1} (L) + \frac{1}{2} c_{1} (T X)) = de g L + \frac{1}{2} χ (X) = d + (1 - g) .

⟳keep the degree-2 (top) part;

\int_{X} c_{1} (L) = d

and

\int_{X} c_{1} (T X) = χ (X) = 2 - 2 g

Answer:

h^{0} (L) - h^{1} (L) = d + 1 - g

— the classical Riemann-Roch theorem, recovered as one line of the index theorem. For

L = O

(degree

0

h^{0} - h^{1} = 1 - g

, i.e.

1 - g

, consistent with

h^{0} = 1, h^{1} = g

Common Misconceptions

The theorem does NOT compute $dim ker D$ or $dim coker D$ individually. Only their difference is a topological invariant; the separate dimensions depend on the metric, the connection, and lower-order terms, and can jump under deformation. Asking the index theorem for

dim ker D

alone is a category error. Likewise, ellipticity and compactness of

M

are both essential: on a noncompact manifold the operator need not be Fredholm and "the index" may be ill-defined without boundary or APS conditions. Orientation, complex vs. real, and sign conventions matter. The factor

(- 1)^{n}

in [4], the choice of

Td (T M \otimes C)

\hat{A} (T M)^{2}

, and whether forms are taken with

2 π i

normalizations are sources of constant confusion. Always fix the convention

ch = \sum \frac{1}{k !} (\frac{c}{?})^{k}

at the outset. Many "errors" in student computations are just normalization mismatches. A non-elliptic operator has no index theorem. Consider

\partial / \partial x_{1}

on the torus

T^{2}

. Its symbol is

i ξ_{1}

, which vanishes whenever

ξ_{1} = 0, ξ_{2} \neq = 0

— not invertible off the zero section, hence not elliptic. The kernel is infinite-dimensional (any function of

x_{2}

alone), so

ind

is not even defined as an integer. This shows ellipticity is not a cosmetic hypothesis but the load-bearing one: it is precisely what makes

D

Fredholm and the symbol class live in K-theory.

Connections

The index theorem sits at the crossroads of several theories. Via the symbol class it is fundamentally a statement in Topological K-Theory and uses Bott Periodicity for its normalization. The right-hand side lives in Characteristic Classes (Chern, Pontryagin, Euler), packaged into the Todd Class and Â-genus. The geometric operators it specializes to come from Clifford Algebras and Spin Geometry (the Dirac Operator). Its proofs use Hodge Theory, Pseudodifferential Operators, and (for the local version) Heat Kernel Methods. The boundary version, the Atiyah-Patodi-Singer Index Theorem, introduces the eta-invariant and connects to Spectral Flow. Through Witten's reinterpretation it links to Supersymmetry and Quantum Anomalies.

Real-World Applications

Gauge theory & instantons. The dimension of the moduli space of ASD instantons on a 4-manifold is computed by an index (the ASD deformation complex), central to Donaldson theory and the topology of 4-manifolds.
Anomaly cancellation in the Standard Model. Chiral fermion anomalies are indices of Dirac operators coupled to gauge fields; the precise cancellation of $SU (2)$ and $U (1)$ anomalies among quark/lepton generations is an index identity.
String theory consistency. The Green-Schwarz anomaly cancellation ( $SO (32)$ , $E_{8} \times E_{8}$ ) rests on index/characteristic-class identities ( $\hat{A}$ , $L$ -genus relations).
Quantum Hall effect. The integer-quantized Hall conductance equals a Chern number / index of a projection, a physical manifestation of the topological index (TKNN invariant).
Lattice fermions. The Ginsparg-Wilson relation and the overlap Dirac operator implement an exact lattice index theorem, crucial for chiral gauge simulations in QCD.
Seiberg-Witten theory. Dimension counts for the SW moduli space (used to define smooth 4-manifold invariants) are index computations.
Topological insulators & K-theory classification. The tenfold-way classification of topological phases of matter is organized by K-theory and index invariants of Dirac-type Hamiltonians.

Historical Development

1827–1848: Gauss-Bonnet theorem links curvature to Euler characteristic — the prototype "analysis = topology" identity.
1953–1954: Hirzebruch proves the Signature Theorem and Riemann-Roch-Hirzebruch, expressing invariants via $L$ -genus and Todd genus — the patterns the index theorem will generalize.
1957: Grothendieck reformulates Riemann-Roch functorially using $K$ -theory of coherent sheaves, foreshadowing the K-theoretic proof.
1959–1961: Gelfand poses the general problem of computing the index of an elliptic operator topologically.
1963: Atiyah and Singer announce the index theorem (Bull. AMS), with the embedding/K-theory proof strategy.
1965–1966: Atiyah's K-theory book and Bott periodicity provide the tools; the result is presented in the Palais seminar notes (1965).
1968: The definitive series "The Index of Elliptic Operators I–III" (with Atiyah-Segal for the equivariant case) appears in Annals of Mathematics.
1971: Atiyah-Singer IV–V extend to families (the families index theorem, valued in $K^{0}$ of the base).
1973–1975: Atiyah-Patodi-Singer treat manifolds with boundary, introducing the eta-invariant.
1982: Witten's supersymmetric proof; Getzler (1983–86) gives a short heat-kernel proof via rescaling.
2004: Atiyah and Singer awarded the Abel Prize.

Subtleties & Limits

Several frontiers remain active. (1) Index theory on noncompact and singular spaces — operators on manifolds with corners, conical/cusp singularities, or stratified spaces require new analytic frameworks (Melrose's b-calculus, Cheeger's intersection cohomology); a fully general index formula is incomplete. (2) Higher index theory and the Baum-Connes / Novikov conjectures — for noncompact groups, the index lives in the K-theory of a group $C^{*}$ -algebra, and the equality with a topological assembly map is the Baum-Connes conjecture, open in general (with counterexamples for certain Gromov groups). (3) Index theory of foliations (Connes' noncommutative geometry) and the longitudinal index theorem extend the framework but raise measurability and traciality questions. (4) $L^{2}$ -index theory (Atiyah's $L^{2}$ -index theorem on covers) feeds the Atiyah conjecture on integrality of $L^{2}$ -Betti numbers, only partially resolved. (5) Making the families index and equivariant versions compatible with positive scalar curvature obstructions (Gromov-Lawson-Rosenberg conjecture) is ongoing.