The classification of 2-compact groups
Author
Summary, in English
We prove that any connected 2-compact group is classified by its
2-adic root datum, and in particular the exotic 2-compact group
DI(4), constructed by Dwyer-Wilkerson, is the only simple 2-compact group not arising as the 2-completion of a compact connected Lie group. Combined with our earlier work with Møller and Viruel for p odd, this establishes the full classification of p-compact groups, stating that, up to isomorphism, there is a one-to-one correspondence between connected p-compact groups and root data over the p-adic integers. As a consequence we prove the maximal torus conjecture, giving a one-to-one correspondence between compact Lie groups and finite loop spaces admitting a maximal torus. Our proof is a general induction on the dimension of the group, which works for all primes. It refines the Andersen-Grodal-Møller-Viruel methods by incorporating the theory of root data over the p-adic integers, as developed by Dwyer-Wilkerson and the authors. Furthermore we devise a different way of dealing with the rigidification problem by utilizing obstruction groups calculated by Jackowski-McClure-Oliver in the early 1990s.
2-adic root datum, and in particular the exotic 2-compact group
DI(4), constructed by Dwyer-Wilkerson, is the only simple 2-compact group not arising as the 2-completion of a compact connected Lie group. Combined with our earlier work with Møller and Viruel for p odd, this establishes the full classification of p-compact groups, stating that, up to isomorphism, there is a one-to-one correspondence between connected p-compact groups and root data over the p-adic integers. As a consequence we prove the maximal torus conjecture, giving a one-to-one correspondence between compact Lie groups and finite loop spaces admitting a maximal torus. Our proof is a general induction on the dimension of the group, which works for all primes. It refines the Andersen-Grodal-Møller-Viruel methods by incorporating the theory of root data over the p-adic integers, as developed by Dwyer-Wilkerson and the authors. Furthermore we devise a different way of dealing with the rigidification problem by utilizing obstruction groups calculated by Jackowski-McClure-Oliver in the early 1990s.
Publishing year
2009
Language
English
Pages
387-436
Publication/Series
Journal of the American Mathematical Society
Volume
22
Issue
2
Links
Document type
Journal article
Publisher
American Mathematical Society (AMS)
Topic
- Mathematics
Status
Published
ISBN/ISSN/Other
- ISSN: 0894-0347