Bott periodicity theorem

Bott periodicity theorem In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by Raoul Bott (1957, 1959), which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group. See for example topological K-theory.

There are corresponding period-8 phenomena for the matching theories, (real) KO-theory and (quaternionic) KSp-theory, associated to the real orthogonal group and the quaternionic symplectic group, respectively. The J-homomorphism is a homomorphism from the homotopy groups of orthogonal groups to stable homotopy groups of spheres, which causes the period 8 Bott periodicity to be visible in the stable homotopy groups of spheres.

Contents 1 Statement of result 2 Context and significance 3 Loop spaces and classifying spaces 4 Geometric model of loop spaces 5 Proofs 6 Notes 7 References Statement of result Bott showed that if {displaystyle O(infty )} is defined as the inductive limit of the orthogonal groups, then its homotopy groups are periodic:[1] {displaystyle pi _{n}(O(infty ))simeq pi _{n+8}(O(infty ))} and the first 8 homotopy groups are as follows: {displaystyle {begin{aligned}pi _{0}(O(infty ))&simeq mathbb {Z} _{2}\pi _{1}(O(infty ))&simeq mathbb {Z} _{2}\pi _{2}(O(infty ))&simeq 0\pi _{3}(O(infty ))&simeq mathbb {Z} \pi _{4}(O(infty ))&simeq 0\pi _{5}(O(infty ))&simeq 0\pi _{6}(O(infty ))&simeq 0\pi _{7}(O(infty ))&simeq mathbb {Z} end{aligned}}} Context and significance The context of Bott periodicity is that the homotopy groups of spheres, which would be expected to play the basic part in algebraic topology by analogy with homology theory, have proved elusive (and the theory is complicated). The subject of stable homotopy theory was conceived as a simplification, by introducing the suspension (smash product with a circle) operation, and seeing what (roughly speaking) remained of homotopy theory once one was allowed to suspend both sides of an equation, as many times as one wished. The stable theory was still hard to compute with, in practice.

What Bott periodicity offered was an insight into some highly non-trivial spaces, with central status in topology because of the connection of their cohomology with characteristic classes, for which all the (unstable) homotopy groups could be calculated. These spaces are the (infinite, or stable) unitary, orthogonal and symplectic groups U, O and Sp. In this context, stable refers to taking the union U (also known as the direct limit) of the sequence of inclusions {displaystyle U(1)subset U(2)subset cdots subset U=bigcup _{k=1}^{infty }U(k)} and similarly for O and Sp. Note that Bott's use of the word stable in the title of his seminal paper refers to these stable classical groups and not to stable homotopy groups.

The important connection of Bott periodicity with the stable homotopy groups of spheres {displaystyle pi _{n}^{S}} comes via the so-called stable J-homomorphism from the (unstable) homotopy groups of the (stable) classical groups to these stable homotopy groups {displaystyle pi _{n}^{S}} . Originally described by George W. Whitehead, it became the subject of the famous Adams conjecture (1963) which was finally resolved in the affirmative by Daniel Quillen (1971).

Bott's original results may be succinctly summarized in: Corollary: The (unstable) homotopy groups of the (infinite) classical groups are periodic: {displaystyle {begin{aligned}pi _{k}(U)&=pi _{k+2}(U)\pi _{k}(O)&=pi _{k+4}(operatorname {Sp} )\pi _{k}(operatorname {Sp} )&=pi _{k+4}(O)&&k=0,1,ldots end{aligned}}} Note: The second and third of these isomorphisms intertwine to give the 8-fold periodicity results: {displaystyle {begin{aligned}pi _{k}(O)&=pi _{k+8}(O)\pi _{k}(operatorname {Sp} )&=pi _{k+8}(operatorname {Sp} ),&&k=0,1,ldots end{aligned}}} Loop spaces and classifying spaces For the theory associated to the infinite unitary group, U, the space BU is the classifying space for stable complex vector bundles (a Grassmannian in infinite dimensions). One formulation of Bott periodicity describes the twofold loop space, {displaystyle Omega ^{2}BU} of BU. Here, {displaystyle Omega } is the loop space functor, right adjoint to suspension and left adjoint to the classifying space construction. Bott periodicity states that this double loop space is essentially BU again; more precisely, {displaystyle Omega ^{2}BUsimeq mathbb {Z} times BU} is essentially (that is, homotopy equivalent to) the union of a countable number of copies of BU. An equivalent formulation is {displaystyle Omega ^{2}Usimeq U.} Either of these has the immediate effect of showing why (complex) topological K-theory is a 2-fold periodic theory.

In the corresponding theory for the infinite orthogonal group, O, the space BO is the classifying space for stable real vector bundles. In this case, Bott periodicity states that, for the 8-fold loop space, {displaystyle Omega ^{8}BOsimeq mathbb {Z} times BO;} or equivalently, {displaystyle Omega ^{8}Osimeq O,} which yields the consequence that KO-theory is an 8-fold periodic theory. Also, for the infinite symplectic group, Sp, the space BSp is the classifying space for stable quaternionic vector bundles, and Bott periodicity states that {displaystyle Omega ^{8}operatorname {BSp} simeq mathbb {Z} times operatorname {BSp} ;} or equivalently {displaystyle Omega ^{8}operatorname {Sp} simeq operatorname {Sp} .} Thus both topological real K-theory (also known as KO-theory) and topological quaternionic K-theory (also known as KSp-theory) are 8-fold periodic theories.

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: {displaystyle Utimes Usubset Usubset Utimes U.} Over the real numbers and quaternions: {displaystyle Otimes Osubset Osubset Usubset operatorname {Sp} subset operatorname {Sp} times operatorname {Sp} subset operatorname {Sp} subset Usubset Osubset Otimes O.} These sequences corresponds to sequences in Clifford algebras – see classification of Clifford algebras; over the complex numbers: {displaystyle mathbb {C} oplus mathbb {C} subset mathbb {C} subset mathbb {C} oplus mathbb {C} .} Over the real numbers and quaternions: {displaystyle mathbb {R} oplus mathbb {R} subset mathbb {R} subset mathbb {C} subset mathbb {H} subset mathbb {H} oplus mathbb {H} subset mathbb {H} subset mathbb {C} subset mathbb {R} subset mathbb {R} oplus mathbb {R} ,} 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: {displaystyle {begin{aligned}Omega U&simeq mathbb {Z} times BU=mathbb {Z} times U/(Utimes U)\Omega (mathbb {Z} times BU)&simeq U=(Utimes U)/Uend{aligned}}} For real and quaternionic KO- and KSp-theories: {displaystyle {begin{aligned}Omega (mathbb {Z} times BO)&simeq O=(Otimes O)/O&Omega (mathbb {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 mathbb {Z} times operatorname {BSp} =mathbb {Z} times operatorname {Sp} /(operatorname {Sp} times operatorname {Sp} )&Omega (U/O)&simeq mathbb {Z} times BO=mathbb {Z} times O/(Otimes O)end{aligned}}} 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,[note 1] (for groups, the principal homogeneous space is also listed): Loop space Quotient Cartan's label Description {displaystyle Omega ^{0}} {displaystyle mathbb {Z} times O/(Otimes O)} BDI Real Grassmannian {displaystyle Omega ^{1}} {displaystyle O=(Otimes O)/O} Orthogonal group (real Stiefel manifold) {displaystyle Omega ^{2}} {displaystyle O/U} DIII space of complex structures compatible with a given orthogonal structure {displaystyle Omega ^{3}} {displaystyle U/mathrm {Sp} } AII space of quaternionic structures compatible with a given complex structure {displaystyle Omega ^{4}} {displaystyle mathbb {Z} times mathrm {Sp} /(mathrm {Sp} times mathrm {Sp} )} CII Quaternionic Grassmannian {displaystyle Omega ^{5}} {displaystyle mathrm {Sp} =(mathrm {Sp} times mathrm {Sp} )/mathrm {Sp} } Symplectic group (quaternionic Stiefel manifold) {displaystyle Omega ^{6}} {displaystyle mathrm {Sp} /U} CI complex Lagrangian Grassmannian {displaystyle Omega ^{7}} {displaystyle U/O} AI Lagrangian Grassmannian Proofs Bott's original proof (Bott 1959) used Morse theory, which Bott (1956) had used earlier to study the homology of Lie groups. Many different proofs have been given.

Notes ^ The interpretation and labeling is slightly incorrect, and refers to irreducible symmetric spaces, while these are the more general reductive spaces. For example, SU/Sp is irreducible, while U/Sp is reductive. As these show, the difference can be interpreted as whether or not one includes orientation. References ^ "Introduction". Bott, Raoul (1956), "An application of the Morse theory to the topology of Lie-groups", Bulletin de la Société Mathématique de France, 84: 251–281, doi:10.24033/bsmf.1472, ISSN 0037-9484, MR 0087035 Bott, Raoul (1957), "The stable homotopy of the classical groups", Proceedings of the National Academy of Sciences of the United States of America, 43 (10): 933–5, Bibcode:1957PNAS...43..933B, doi:10.1073/pnas.43.10.933, JSTOR 89403, MR 0102802, PMC 528555, PMID 16590113 Bott, Raoul (1959), "The stable homotopy of the classical groups", Annals of Mathematics, Second Series, 70 (2): 313–337, doi:10.2307/1970106, ISSN 0003-486X, JSTOR 1970106, MR 0110104, PMC 528555, PMID 16590113 Bott, Raoul (1970), "The periodicity theorem for the classical groups and some of its applications", Advances in Mathematics, 4 (3): 353–411, doi:10.1016/0001-8708(70)90030-7. An expository account of the theorem and the mathematics surrounding it. Giffen, C.H. (1996), "Bott periodicity and the Q-construction", in Banaszak, Grzegorz; Gajda, Wojciech; Krasoń, Piotr (eds.), Algebraic K-Theory, Contemporary Mathematics, vol. 199, American Mathematical Society, pp. 107–124, ISBN 978-0-8218-0511-4, MR 1409620 Milnor, J. (1969). Morse Theory. Princeton University Press. ISBN 0-691-08008-9. Baez, John (21 June 1997). "Week 105". This Week's Finds in Mathematical Physics. Categories: Topology of Lie groupsTheorems in homotopy theory

Si quieres conocer otros artículos parecidos a Bott periodicity theorem puedes visitar la categoría Theorems in homotopy theory.

Deja una respuesta

Tu dirección de correo electrónico no será publicada.


Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información