Bott Periodicity Theorem - Geometric Model of Loop Spaces

Geometric Model of Loop Spaces

One elegant formulation of Bott periodicity makes use of the observation that there are natural embeddings (as closed subgroups) between the classical groups. The loop spaces in Bott periodicity are then homotopy equivalent to the symmetric spaces of successive quotients, with additional discrete factors of Z.

Over the complex numbers:

Over the real numbers and quaternions:

O \times O \subset O\subset U\subset \operatorname{Sp} \subset \operatorname{Sp} \times \operatorname{Sp} \subset \operatorname{Sp}\subset U\subset O \subset O \times O. \,

These sequences corresponds to sequences in Clifford algebras – see classification of Clifford algebras; over the complex numbers:

Over the real numbers and quaternions:

where the division algebras indicate "matrices over that algebra".

As they are 2-periodic/8-periodic, they can be arranged in a circle, where they are called the Bott periodicity clock and Clifford algebra clock.

The Bott periodicity results then refine to a sequence of homotopy equivalences:

For complex K-theory:

\begin{align} \Omega U &\simeq \mathbf{Z}\times BU = \mathbf{Z}\times U/(U \times U)\\ \Omega(Z\times BU)& \simeq U = (U \times U)/U \end{align}

For real and quaternionic KO- and KSp-theories:

\begin{align} \Omega(\mathbf{Z}\times BO) &\simeq O = (O \times O)/O & \Omega(\mathbf{Z}\times \operatorname{BSp}) &\simeq \operatorname{Sp} = (\operatorname{Sp} \times \operatorname{Sp})/\operatorname{Sp}\\ \Omega O &\simeq O/U & \Omega \operatorname{Sp} &\simeq \operatorname{Sp}/U\\ \Omega(O/U) &\simeq U/\operatorname{Sp} & \Omega(\operatorname{Sp}/U) &\simeq U/O\\ \Omega(U/\operatorname{Sp})&\simeq \mathbf{Z}\times \operatorname{BSp} = \mathbf{Z}\times \operatorname{Sp}/(\operatorname{Sp} \times \operatorname{Sp}) & \Omega(U/O) &\simeq \mathbf{Z}\times BO = \mathbf{Z} \times O/(O \times O) \end{align}

The resulting spaces are homotopy equivalent to the classical reductive symmetric spaces, and are the successive quotients of the terms of the Bott periodicity clock. These equivalences immediately yield the Bott periodicity theorems.

The specific spaces are, (for groups, the principal homogeneous space is also listed):

Loop space Quotient Cartan's label Description
BDI Real Grassmannian
Orthogonal group (real Stiefel manifold)
DIII space of complex structures compatible with a given orthogonal structure
AII space of quaternionic structures compatible with a given complex structure
CII Quaternionic Grassmannian
Symplectic group (quaternionic Stiefel manifold)
CI complex Lagrangian Grassmannian
AI Lagrangian Grassmannian

Read more about this topic:  Bott Periodicity Theorem

Famous quotes containing the words geometric, model and/or spaces:

    “New York ... is a city of geometric heights, a petrified desert of grids and lattices, an inferno of greenish abstraction under a flat sky, a real Metropolis from which man is absent by his very accumulation.”
    —Roland Barthes (1915–1980)

    “The striking point about our model family is not simply the compete-compete, consume-consume style of life it urges us to follow.... The striking point, in the face of all the propaganda, is how few Americans actually live this way.”
    —Louise Kapp Howe (b. 1934)

    “In any case, raw aggression is thought to be the peculiar province of men, as nurturing is the peculiar province of women.... The psychologist Erik Erikson discovered that, while little girls playing with blocks generally create pleasant interior spaces and attractive entrances, little boys are inclined to pile up the blocks as high as they can and then watch them fall down: “the contemplation of ruins,” Erikson observes, “is a masculine specialty.””
    —Joyce Carol Oates (b. 1938)