Topological K-theory

Topological K-theory
Name	Topological K-theory
Field	Algebraic topology
Introduced	1950s
Founders	Atiyah Bott Grothendieck

Topological K-theory is a generalized cohomology theory that assigns to a topological space a sequence of abelian groups capturing vector bundle data and stable isomorphism classes, developed to solve classification problems in topology and geometry. Originating in work by Michael Atiyah, Friedrich Hirzebruch, and Raoul Bott, K-theory connects to index theory, representation theory, and algebraic geometry through deep theorems and computational tools that link spaces such as spheres, projective spaces, and CW complexes to algebraic invariants.

History and motivation

The genesis of K-theory involved interactions among Michael Atiyah, Friedrich Hirzebruch, Raoul Bott, and institutions like the Institute for Advanced Study, with motivations drawn from attempts to classify vector bundles over manifolds encountered in seminars at Princeton University and University of Cambridge. Early milestones include Atiyah and Hirzebruch's formulation of topological K-theory influenced by Grothendieck's algebraic K-theory and by Bott's discoveries about homotopy groups from work at University of Chicago and Harvard University. The subject expanded through collaborations and conferences at International Congress of Mathematicians, shaping links to the Atiyah–Singer index theorem, the Hirzebruch–Riemann–Roch theorem, and problems studied at the Mathematical Sciences Research Institute and Institut des Hautes Études Scientifiques. Funding and institutional support from organizations like the National Science Foundation and the Simons Foundation helped propagate K-theory into fields influenced by researchers at ETH Zurich, Massachusetts Institute of Technology, and University of Oxford.

Definitions and basic properties

Topological K-theory is defined using isomorphism classes of complex or real vector bundles over a compact Hausdorff space with operations inspired by work at École Normale Supérieure and formalized in the language of spectra by researchers affiliated with California Institute of Technology. The basic construction employs Grothendieck group completion paralleling methods introduced by Alexander Grothendieck in algebraic K-theory, and axioms similar to those for extraordinary cohomology theories developed in discussions at Princeton University and formalized through Brown representability used by scholars linked to University of California, Berkeley. Key properties such as exactness, homotopy invariance, and excision were clarified in lectures connected to University of Cambridge and texts by authors associated with Cambridge University Press and Springer-Verlag. Bott periodicity, originally discovered by Raoul Bott during collaboration with faculty at Stanford University, provides the periodic structure central to computations.

K-theory for spaces (complex and real)

Complex K-theory (denoted K) and real K-theory (denoted KO) arise from classifying complex and real vector bundles respectively, with foundational contributions from Michael Atiyah and Friedrich Hirzebruch presented at venues such as International Congress of Mathematicians and taught in courses at University of Oxford and University of Cambridge. These theories assign to a finite CW complex a graded ring via suspension isomorphisms studied by researchers at University of Chicago and represented by classifying spaces like BU and BO developed in seminars at Princeton University. Real K-theory incorporates additional structure tied to orientation and spin phenomena explored by mathematicians connected with Princeton University and Institute for Advanced Study, and is related to KR-theory introduced in projects linked to University of California, Berkeley. Equivariant variants, studied by groups at Massachusetts Institute of Technology and University of Bonn, analyze actions of compact Lie groups such as SU(2), SO(n), and U(1) on bundles and spaces.

Operations and ring structure (Bott periodicity, Chern character)

The ring structure on K-theory comes from tensor product of vector bundles, a construction formalized in lectures by scholars at Harvard University and elaborated in monographs from Springer-Verlag, while Bott periodicity, proven by Raoul Bott in work influenced by colleagues at Princeton University, yields the twofold periodicity for complex K-theory and eightfold periodicity for real K-theory documented in expositions from Cambridge University Press. The Chern character, formulated through the intersection of ideas from Friedrich Hirzebruch and Jean-Pierre Serre and developed in collaboration with researchers at École Normale Supérieure, provides a natural transformation from K-theory to singular cohomology rationalized by de Rham techniques taught at Sorbonne University and used in proofs at IHÉS. Adams operations and lambda-ring structures, studied by J. Frank Adams and collaborators at University of Cambridge, refine the multiplicative behavior and connect to representation rings examined in seminars at University of Michigan and University of Bonn.

Relation to index theory and applications

Topological K-theory underpinning of the Atiyah–Singer index theorem emerged from collaborations among Michael Atiyah, Isadore Singer, and colleagues at Institute for Advanced Study and Princeton University, linking analytical indices of elliptic operators on manifolds studied at Harvard University to topological K-theory classes. Applications span the classification of D-brane charges in string theory research at CERN and Caltech, condensed matter insights related to topological insulators investigated at MIT and Harvard University, and connections to representation theory problems taught at Institute for Advanced Study and Max Planck Institute for Mathematics. Further interplay with operator algebras and KK-theory originated from collaborations at University of California, Berkeley and University of Copenhagen, influencing research programs at European Research Council funded centers and workshops at Banff International Research Station.

Computations and examples (spheres, projective spaces, CW complexes)

Computations in K-theory for spheres and projective spaces were central to early validation, beginning with calculations of K*(S^n) using Bott periodicity communicated in lectures by Raoul Bott at Princeton University and expanded to complex projective spaces CP^n in expositions by Friedrich Hirzebruch at Humboldt University. Real projective spaces RP^n produce subtler KO-theory phenomena analyzed in papers from groups at University of Chicago and University of Oxford, while cellular induction on finite CW complexes is taught in graduate courses at University of Cambridge and MIT to compute groups and ring structures. Spectral sequence techniques, such as the Atiyah–Hirzebruch spectral sequence developed by Michael Atiyah and Friedrich Hirzebruch and presented at International Congress of Mathematicians, enable computations for spaces built from cells, and K-theory calculations for classifying spaces BU(n) and BO(n) inform representation-theoretic and bundle-classification results disseminated through publications from Springer-Verlag and conferences at Mathematical Sciences Research Institute.

Category:Algebraic topology