Atiyah-Singer index theorem

Short definition from Wiktionary

Proper noun

1. 1
   A theorem stating that, for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data).