KO-theory

KO-theory
Name	KO-theory
Field	Algebraic topology
Introduced	1960s
Founders	Raoul Bott, Michael Atiyah, Friedrich Hirzebruch
Related	K-theory (topology), Real vector bundle, Clifford algebra

KO-theory KO-theory is a topological cohomology theory for real vector bundles that records stable isomorphism classes of bundles and respects Bott periodicity. It was developed in the mid-20th century through work of major figures in algebraic topology and differential geometry and has deep connections with index theory, homotopy theory, and manifold invariants. KO-theory interacts with theories associated to complex bundles, spin structures, and operator algebras arising in mathematical physics.

Introduction

KO-theory arose from efforts by Raoul Bott, Michael Atiyah, and Friedrich Hirzebruch to understand periodicity phenomena in homotopy groups of classical groups and index theorems such as the Atiyah–Singer index theorem. It is situated alongside K-theory (topology) for complex bundles and shares historical development with work on Clifford algebra representations, Bott periodicity theorem, and the study of characteristic classes such as the Stiefel–Whitney class. KO-theory plays a role in computations performed by teams including J. F. Adams and in applications found in relations to Spin manifold structures and the Dirac operator.

Definition and Construction

KO-theory is defined as the generalized cohomology theory represented by a spectrum built from classifying spaces of real vector bundles, using stabilization with respect to Whitney sum of trivial bundles. Constructions employ classifying spaces like BO, maps between orthogonal groups such as O(n), and suspension spectra techniques pioneered in stable homotopy theory by figures like J. Peter May and G. W. Whitehead. Alternate constructions use categories of real vector bundles over CW complexes and Grothendieck group completions analogous to constructions in D. Quillen's algebraic K-theory. The spectrum-level approach relates KO-theory to spectra associated with real Clifford algebra modules and to structured ring spectra studied by researchers including Douglas Ravenel.

Basic Properties and Periodicity

KO-theory satisfies the Eilenberg–Steenrod axioms except the dimension axiom and exhibits an 8-fold Bott periodicity, reflecting periodicity in the homotopy groups of orthogonal groups such as O, SO, and their classifying spaces. The coefficient ring KO^*(pt) is a graded ring with periodicity generated by Bott elements discovered by Raoul Bott. Exact sequences and long exact Mayer–Vietoris sequences in KO-theory are analogous to those in singular cohomology used by Henri Cartan and Jean Leray in sheaf-theoretic contexts. KO-theory admits external and internal product structures making it into a graded-commutative ring spectrum studied in structured ring theory by Elmendorf, Mandell, May.

Relation to Complex K-theory and Realification/Complexification

KO-theory is related to complex K-theory via complexification and realification maps connecting spectra representing real and complex vector bundles. The complexification map interacts with the map induced by inclusion of groups O(n)) into U(n), and compositions with conjugation relate to operations studied by Atiyah and Hirzebruch in their joint work. Realification yields a map from complex K-theory to KO-theory, while complexification yields a map in the opposite direction; these fit into exact sequences and long exact triangles in stable homotopy categories developed by J. F. Adams and Daniel Quillen. Relations with twisted theories appear in the context of bundle gerbe twists studied by Jean-Luc Brylinski and in equivariant settings examined by George Segal and Gunnar Carlsson.

Computations and Examples

Computations of KO-groups for spheres, projective spaces, and Grassmannians were carried out by pioneers like Raoul Bott, Atiyah, and J. F. Adams; for example, KO-groups of spheres exhibit the 8-fold periodic pattern found in homotopy groups of classical groups. KO-theory of real projective spaces connects to the study of Stiefel manifold invariants and to results by Frank Adams on vector fields on spheres. Calculations for Lie group homogeneous spaces involve representation theory of groups such as SO(n), Spin(n), and Sp(n), and techniques use spectral sequences like the Atiyah–Hirzebruch spectral sequence introduced by Friedrich Hirzebruch and details refined by Jean-Pierre Serre and Norman Steenrod.

Applications in Topology and Geometry

KO-theory provides obstructions and invariants for manifold theory, including classification of stable tangent bundles, existence of Spin structures, and signature-type invariants appearing in the Atiyah–Singer index theorem. It underpins work on positive scalar curvature obstructions studied by Rosenberg and Gromov–Lawson and plays a role in the classification of exotic differentiable structures on spheres via relations to the J-homomorphism analyzed by Adams and Browder. In geometric quantization and mathematical physics, KO-theory appears in studies linking topological phases investigated by Freed, Moore, and Kitaev to symmetry-protected topological order; connections to operator algebraic K-theory involve Alain Connes and G. G. Kasparov.

Generalizations and Variants

Variants include real equivariant KO-theory for group actions developed by Atiyah and Segal, twisted KO-theory related to gerbes and Dixmier–Douady classes studied by Jean-Luc Brylinski and Paul Bouwknegt, and KR-theory introduced by Atiyah for spaces with involution. Algebraic analogues in algebraic geometry include real algebraic K-theory variations pursued by Maxim Kontsevich and Spencer Bloch, while operator-theoretic generalizations link to Kasparov's KK-theory and noncommutative geometry studied by Alain Connes and Nigel Higson. Recent developments tie KO-type theories to condensed-matter classifications by Kitaev and to motivic homotopy frameworks influenced by Vladimir Voevodsky.

Category:Algebraic topology