A theorem which states that the analytic and topological "indices" are equal for any elliptic differential operator on an n-dimensional compact smooth C^∞ boundaryless manifold. For their discovery and proof is this theorem, Atiyah and Singer shared the 2004 Abel prize.

compact manifold | smooth manifold