A p-compact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined p-local analog of a compact Lie group. It has long been the hope, and later the conjecture, that these objects should have a classification similar to the classification of compact Lie groups. In this paper we finish the proof of this conjecture, for p an odd prime, proving that there is a one-to-one correspondence between connected p-compact groups and finite reflection groups over the p-adic integers. We do this by providing the last, and rather intricate, piece, namely that the exceptional compact Lie groups are uniquely determined as p-compact groups by their Weyl groups seen as finite reflection groups over the p-adic integers. Our approach in fact gives a largely self-contained proof of the entire classification theorem for p odd.
Under certain finiteness conditions, ^-completion commutes with the formation of a certain group of self-homotopy equivalences.
Introduction.Let X be a pointed, 0-connected topological space, Aut(Z) the group of based homotopy classes of based self-homotopy equivalences of X, and Aut # (Z) the kernel of the obvious homomorphism Aut(Z)-> τiAutπi(X)where we further assume either that X is a Cΐf-complex of dimension d or that 7r*(Z)=0 for *>d, l^d
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.