The classification of 2-compact groups
Abstract
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 Moeller 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-Moeller-Viruel methods to incorporate the theory of root data over the p-adic integers, as developed by Dwyer-Wilkerson and the authors, and we show that certain occurring obstructions vanish, by relating them to obstruction groups calculated by Jackowski-McClure-Oliver in the early 1990s.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- November 2006
- DOI:
- 10.48550/arXiv.math/0611437
- arXiv:
- arXiv:math/0611437
- Bibcode:
- 2006math.....11437A
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Group Theory;
- Primary: 55R35;
- Secondary: 55P35;
- 55R37
- E-Print:
- 47 pages