The classification of 2-compact groups
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, stat