real KO-theory

real KO-theory
Name	real KO-theory
Discipline	Algebraic topology
Introduced	1960s
Main contributors	Atiyah, Bott, Hirzebruch, Adams

real KO-theory is an extraordinary cohomology theory originating in the interaction between vector bundle classification and homotopy theory. It refines the study of vector bundles with real structure by encoding stable equivalence classes into graded abelian groups, and it connects to central results associated with Atiyah–Bott operations, index theory, and characteristic classes. The subject informs computations in manifold invariants, index formulas, and links to equivariant problems studied by major institutions such as the Institute for Advanced Study and conferences like the International Congress of Mathematicians.

Introduction

real KO-theory organizes stable isomorphism classes of real vector bundles over a space into a contravariant functor from CW complexes to graded rings, paralleling constructions first systematized by Michael Atiyah, Friedrich Hirzebruch, and Raoul Bott. It arises as a representable theory in the sense of Eilenberg–Steenrod axioms adapted to extraordinary theories and is modeled by classifying spaces related to the families of groups O(n), BO, and KO-spectrum. The theory plays a central role in connections among the Atiyah–Singer index theorem, Adams operations, and the classification problems addressed in seminars at the Mathematical Sciences Research Institute.

Definitions and Constructions

One constructs real KO-theory via the Grothendieck group of stable equivalence classes of finite-dimensional real vector bundles over a compact Hausdorff space, following ideas formalized by Grothendieck and operationalized by Atiyah and Hirzebruch. Alternatively, KO is realized as the homotopy groups of a spectrum whose zero space is BO and whose structure maps are induced by stabilization maps related to O(n), O(n+1), and Bott maps developed by Bott. The multiplicative structure is induced by tensor product constructions connected to operations studied by Adams and ring structures appearing in the work of Milnor and Stasheff.

Bott Periodicity and Fundamental Theorems

A cornerstone is Bott periodicity, originally proved by Raoul Bott using Morse theory on loop spaces associated to Lie groups like O(n), which yields an 8-periodicity in KO-groups: KO^{i+8}(X) ≅ KO^i(X). This periodicity underlies fundamental computations and interacts with the Atiyah–Singer index theorem and the index of real elliptic operators studied by Atiyah and Singer. The theorem gives rise to exact sequences and long-exact cohomology sequences used in classification problems previously addressed by Hirzebruch in the context of characteristic classes. Bott periodicity also connects to the homotopy groups of spheres computations by Adams and to stable homotopy theory developed at institutions like Princeton University.

Relationship with Complex K-Theory and KR-Theory

real KO-theory relates to complex K-theory K by complexification and realification maps studied by Atiyah that intertwine with the Chern character formalism introduced by Chern. The real-to-complex comparison produces exact sequences and Bott-type relations analogous to those in studies of Hermitian and skew-Hermitian forms considered in work by Milnor and Husemoller. KR-theory, introduced by Atiyah in response to questions about involutions and real structures, extends KO by incorporating a space with involution and relates to equivariant K-theory developments by Segal and later expansions by researchers at Cambridge University and Harvard University.

Computations and Examples

Basic computations include KO^*(pt), which is 8-periodic with values computable via Bott periodicity and classical calculations appearing in papers by Bott and Atiyah; these computations played roles in work by Conner and Floyd on cobordism. Computations for spheres, projective spaces such as Real projective space RP^n, and Grassmannians use Mayer–Vietoris sequences and Thom isomorphisms employed in studies by Milnor, Stiefel, and Whitney. Calculations for Lie groups like SO(n), homogeneous spaces studied by Borel, and complexifications linked to Unitary group cohomology illustrate interactions with characteristic classes first catalogued by Hirzebruch.

Applications in Topology and Geometry

Applications include index-theoretic invariants for real elliptic operators appearing in the Atiyah–Singer index theorem, constraints on smooth structures on manifolds as in the work of Wall and Kervaire–Milnor, and obstructions to vector field existence on spheres studied by Adams via the Hopf invariant. KO-theory influences study of spacetime topology in mathematical physics literature associated with Witten and the formulation of anomalies in gauge theories investigated at centers like CERN and Perimeter Institute. It also contributes to surgery theory and classification programs pursued by researchers at Princeton and ETH Zurich.

Historical Development and Key Contributors

The subject emerged from mid-20th-century efforts by Atiyah, Bott, Hirzebruch, and Grothendieck to systematize characteristic classes and index phenomena, with major advances like Bott periodicity and the Atiyah–Singer index theorem catalyzed by collaborations involving Singer. Later computational and structural refinements involved Adams, Milnor, Stiefel, Whitney, Conner, and Floyd, while extensions to equivariant and Real settings engaged Segal and subsequent contributors at institutions including the Institute for Advanced Study, University of Cambridge, and Harvard University.

Category:Algebraic topology