K-theory

K-theory is a generalized cohomology theory that studies topological spaces through the algebra of vector bundles over them. Introduced by Alexander Grothendieck in algebraic geometry and later developed by Michael Atiyah and Friedrich Hirzebruch in topology, K-theory assigns to each space X a ring K(X) whose elements are formal differences of vector bundle isomorphism classes.

The power of K-theory lies in its ability to detect global topological phenomena that ordinary cohomology misses. The periodicity theorem of Bott shows that K-theory has a remarkably simple structure: the K-theory of a space is periodic with period 2 in the complex case and period 8 in the real case. This periodicity is not merely a computational convenience; it is a deep structural fact about the classification of vector bundles.

In the proof of the Atiyah-Singer index theorem, K-theory provides the framework in which both the analytical and topological indices can be expressed as homomorphisms from K-theory to the integers, forcing their equality.