18016c91c2f01bb0.tex
1: \begin{abstract}
2: We prove that any connected $2$-compact group is classified by its
3: $2$-adic root datum, and in particular the exotic
4: $2$-compact group $\DI(4)$, constructed by Dwyer-Wilkerson, is the
5: only simple $2$-compact group not arising as the $2$-completion of a
6: compact connected Lie group. Combined with our earlier work with
7: M{\o}ller and Viruel for $p$ odd, this establishes the full classification
8: of $p$-compact groups, stating that, up to isomorphism, there is a
9: one-to-one correspondence between connected $p$-compact groups and root
10: data over the $p$-adic integers. As a consequence we prove the maximal torus
11: conjecture, giving a one-to-one correspondence between compact Lie groups
12: and finite loop spaces admitting a maximal torus. Our proof is a general
13: induction on the dimension of the group, which works for all
14: primes. It refines the Andersen-Grodal-M{\o}ller-Viruel methods to
15: incorporate the theory of root data over the $p$-adic integers, as
16: developed by Dwyer-Wilkerson and the authors, and we show that certain
17: occurring obstructions vanish, by relating them to obstruction
18: groups calculated by Jackowski-McClure-Oliver in the early 1990s.
19: \end{abstract}
20: