A deep theorem equating the analytical index of an elliptic differential operator on a compact manifold (the difference of dimensions of kernel and cokernel) with a topologically defined index computed from characteristic classes of the manifold and the operator symbol.

Principle

Global analytic data (index of an elliptic operator) can be computed by topological formulas: pushforward of characteristic classes and Thom/isomorphism constructions evaluate to the same integer as the Fredholm index of the operator.

Demonstration

For the Dirac operator on a compact spin manifold the theorem computes its index in terms of the Â-genus (A-roof) of the manifold; the signature operator's index gives the Hirzebruch signature formula expressing signature in terms of L-classes.

Misapplication

Applying the theorem to non-elliptic operators, noncompact manifolds without decay conditions, or ignoring required symbol-topology data (e.g., wrong symbol class) yields invalid conclusions; boundary cases need the Atiyah–Patodi–Singer or other boundary corrections.

Consequence

Allows topological calculation of analytic invariants, produces existence/obstruction results (e.g., existence of harmonic spinors), and has far-reaching consequences across geometry, topology, and mathematical physics.

Reversal

While topology determines the index, it does not determine the full spectrum or finer analytic features of the operator; equal indices can correspond to very different operator spectra or kernels.

Boundary

Classical statement requires elliptic operators on compact manifolds without boundary (or with specialized boundary conditions); extensions (APS theorem, families index, equivariant versions) expand scope but change hypotheses and terms.

Semantic Tension

Reconciles analytic/Fredholm theory with topological/characteristic-class computations; tension occurs when one attempts to deduce spectral properties stronger than the integer-valued index or when analytic subtleties of domains are ignored.

Synthesis

The Atiyah–Singer index theorem identifies an inherently analytic invariant, the Fredholm index of an elliptic operator, with a topological expression in characteristic classes, enabling transport of problems between analysis and topology.