Topological K‑theory

Topological K‑theory
Name	Topological K‑theory
Discipline	Mathematics
Subdiscipline	Algebraic topology
Introduced	1950s
Key concepts	Vector bundle, Bott periodicity, K-group, Thom isomorphism
Notable contributors	Atiyah, Hirzebruch, Bott, Karoubi, Adams, Swan

Topological K‑theory Topological K‑theory is an extraordinary cohomology theory developed in the mid‑20th century that encodes stable isomorphism classes of vector bundles over compact spaces and provides powerful invariants for manifolds, complexes, and operator algebras. Influential figures such as Michael Atiyah, Friedrich Hirzebruch, Raoul Bott, Jean-Pierre Serre, and Hyman Bass shaped its foundations, while later contributors including Max Karoubi, John Milnor, J. F. Adams, and Goro Shimura expanded computational and structural aspects. The subject connects to deep results like the Atiyah–Singer index theorem, the Bott periodicity theorem, and interactions with K-theory (algebraic), C*-algebra classification, and manifold invariants arising in work of Simon Donaldson and Edward Witten.

History and motivations

Early motivations trace to vector bundle classification problems studied by Hermann Weyl, Élie Cartan, and Norbert Wiener and to algebraic K‑theory initiated by Alexander Grothendieck and Daniel Quillen. The modern topological theory crystallized when Raoul Bott discovered periodicity phenomena in homotopy groups of classical groups, prompting formulations by Friedrich Hirzebruch and formal axiomatization by Michael Atiyah and Alexander Grothendieck in collaboration with Jean-Pierre Serre. Landmark events include the development of the Atiyah–Hirzebruch spectral sequence linking K‑theory with singular cohomology and the articulation of the Atiyah–Singer index theorem which connected K‑theory to elliptic operators studied at institutions like Princeton University, Institute for Advanced Study, and École Normale Supérieure. Institutional settings such as Mathematical Reviews, American Mathematical Society, and conferences at International Congress of Mathematicians fostered dissemination.

K‑theory of topological spaces (definitions and constructions)

The principal definition assigns to a compact Hausdorff space X the Grothendieck group built from isomorphism classes of complex vector bundles, a construction formalized by John Milnor and Jean-Pierre Serre and codified in the language of Grothendieck groups and exact sequences studied by Hyman Bass. Parallel real K‑theory uses real vector bundles tied to classification results by Raoul Bott and J. H. C. Whitehead. Constructions proceed via stabilization with trivial bundles, equivalence classes under direct sum, and group completion yielding K0(X) and reduced K̃0(X), while suspension ΣX and loop space ΩX definitions produce higher groups K−n(X) consistent with axioms from Eilenberg–Steenrod style frameworks developed at Cambridge University and Harvard University. Alternative models use homotopy classes of maps into classifying spaces like BU and BO introduced by Claude Chevalley and elaborated by Henri Cartan and Jean Leray, or operator‑algebraic formulations via projections in matrix algebras over C(X) from research at Bell Labs and universities linked to Israel Gelfand and Israel Halperin.

Bott periodicity and computational tools

Bott periodicity, discovered by Raoul Bott and popularized through lectures at Princeton University and Institute for Advanced Study, yields an isomorphism K̃n+2(X) ≅ K̃n(X) for complex K‑theory and an eightfold periodicity for real K‑theory, enabling computations via suspension and stabilization techniques used by J. F. Adams in his work on vector fields on spheres. Computational tools include the Atiyah–Hirzebruch spectral sequence relating K‑theory to singular cohomology with coefficients, long exact sequences from pairs (X,A) analogous to constructions by Alexander Grothendieck in algebraic geometry, Mayer–Vietoris sequences developed in the lineage of André Weil and Hermann Weyl, and Adams spectral sequence techniques refined at University of Chicago and University of Cambridge. Bott periodicity also underpins the construction of characteristic classes in K‑theory connected to work by René Thom and Shiing-Shen Chern and feeds into obstruction theory pioneered by Lev Pontryagin and J. H. C. Whitehead.

Examples and computations

Classic examples compute K‑groups for spheres, tori, projective spaces, and Lie groups studied by Élie Cartan and Hermann Weyl: K̃0(S2n) ≅ Z and K̃−1(S2n+1) ≅ Z follow from Bott periodicity and computations by Raoul Bott and Henri Cartan; complex projective space computations use the Chern character introduced by Shiing-Shen Chern and techniques from Friedrich Hirzebruch; K‑theory of compact Lie groups such as U(n), SU(n), and SO(n) connects to representation rings developed by Issai Schur and Frobenius, and K‑theory of tori involves Künneth formula analogues traced to work at École Polytechnique and University of Paris. Further computations for CW complexes use the Atiyah–Hirzebruch spectral sequence as exploited in research at Massachusetts Institute of Technology and University of Oxford, while equivariant K‑theory for spaces with group actions, advanced by Michael Atiyah and Graeme Segal, computes examples arising in contexts studied at Stanford University and Imperial College London.

Relations to other theories (cohomology, index theory, C*-algebras)

K‑theory interlaces with singular cohomology via the Chern character mapping to rational cohomology classes developed by Shiing-Shen Chern and Henri Cartan, and with cobordism theories initiated by René Thom and expanded by Milnor and Bott. The Atiyah–Singer index theorem uses topological K‑theory inputs to compute analytical indices of elliptic operators, building on analytic frameworks by Israel Gelfand and Mark Krein and operator theory advances at University of Chicago. Operator‑algebraic formulations of K‑theory for C*-algebras were systematized by G. G. Kasparov and Bruce Blackadar, linking classification programs at Duke University and University of Copenhagen to Elliott classification conjectures and noncommutative geometry promoted by Alain Connes. Connections to algebraic K‑theory stem from comparisons due to Daniel Quillen and Suslin and to motivic approaches developed at Institute for Advanced Study and Max Planck Institute.

Applications and further developments

Applications span index theory, positive scalar curvature obstructions investigated by Mikhail Gromov and H. Blaine Lawson Jr., string theory implications explored by Edward Witten and Graeme Segal, and condensed matter realizations in topological insulators and superconductors influenced by collaborations involving Klaus von Klitzing and Charles Kane. Further developments include equivariant and twisted K‑theory used in research at CERN and Perimeter Institute, refinement via bivariant K‑theory (KK‑theory) originated by G. G. Kasparov, and interactions with category theory and higher algebra promoted by Jacob Lurie and Maxim Kontsevich. Contemporary directions involve computational tools from homotopy type theory at Carnegie Mellon University and applications to data analysis pursued at University College London.

Category:K-theory