Topological K-theory

Topological K-theory assigns abelian groups to spaces by forming formal differences of vector bundles. For a compact space X, the group K⁰(X) is the Grothendieck group of isomorphism classes of complex vector bundles: a bundle E represents a positive element, and relations identify E⊕F with the sum of E and F. Two bundles become equivalent when they become isomorphic after adding a common auxiliary bundle, a relation called stable equivalence.

The resulting group is a ring under tensor product. Reduced K-theory, written \widetilde{K}⁰(X), removes the contribution of trivial bundles and is especially effective for pointed spaces and spheres. The odd group K¹(X) can be defined through reduced K-theory of the suspension of X, or through homotopy classes of maps from X into an infinite general linear group.

Topological K-theory is a generalized cohomology theory because its groups satisfy homotopy invariance, excision, and exact-sequence axioms adapted to pairs of spaces. Its central structural fact is Bott periodicity: complex K-groups repeat every two dimensions, so Kⁱ⁺²(X) is naturally isomorphic to Kⁱ(X).¹ Real K-theory, denoted KO-theory, has an eightfold periodicity instead and records information about real vector bundles.

For spheres, periodicity gives a particularly compact calculation: reduced complex K-theory is nonzero in alternating parity, with \widetilde{K}⁰(S²ⁿ) isomorphic to the integers and the odd-dimensional counterpart vanishing in the corresponding stable pattern. The Chern character maps K-theory rationally to ordinary cohomology, translating bundle classes into characteristic-class data while generally losing torsion information.

Vector-bundle problems become computable in K-theory through filtrations, exact sequences, products, and spectral sequences. The ring structure detects how bundles combine, while restriction and pushforward maps relate the K-theory of different spaces. Equivariant K-theory extends the construction to spaces with a group action and can retain symmetry information that ordinary K-theory forgets.

The subject is closely tied to the Atiyah–Singer index theorem, which identifies the analytical index of elliptic operators with a topological expression in K-theory.² In this setting, the symbol of an elliptic operator defines a K-theory class on a cotangent bundle, and the index becomes a homomorphism from that class to the integers. K-theory also shaped the formulation of K-homology and the study of C*-algebras, where it provides computable invariants for operator-algebraic classification.³

Stable equivalence deliberately suppresses finite-dimensional distinctions, making K-theory a theory of bundles after stabilization rather than a complete classification of individual bundles. Two nonisomorphic bundles may define the same K-theory class, even though their geometric sections, connections, or metrics differ.

Several refinements preserve information outside ordinary complex K-theory. Real K-theory detects phenomena governed by conjugation and real structures; quaternionic and symplectic variants occur in geometry and mathematical physics; and equivariant theories incorporate group actions. Bott periodicity also has a geometric origin in the topology of the classical groups, not merely an algebraic recurrence.¹ The theory’s language extends beyond finite CW complexes through generalized spectra, allowing K-theory to participate in stable homotopy theory and in index constructions on noncompact or nonclassical spaces, although additional support or boundary conditions are then required.

Vector bundle

A space that locally looks like a product of a base space with a fixed vector space, with linear transition maps between local descriptions.

Stable equivalence

An equivalence relation in which two vector bundles are identified after direct-summing each with suitable trivial or auxiliary bundles.

Grothendieck group

The universal abelian group obtained by formally allowing differences of objects from a commutative monoid.

Bott periodicity

The periodic repetition of homotopy and K-theory groups associated with classical groups and loop spaces.

Chern character

A natural transformation from complex K-theory to rational ordinary cohomology, expressed through Chern classes.

Reduced K-theory

The part of K-theory with the contribution of trivial bundles removed, usually for pointed spaces.