Results 1 
9 of
9
THE CLASSIFICATION OF pCOMPACT GROUPS FOR p ODD
, 2003
"... A pcompact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined plocal 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 fi ..."
Abstract

Cited by 24 (13 self)
 Add to MetaCart
A pcompact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined plocal 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 onetoone correspondence between connected pcompact groups and finite reflection groups over the padic integers. We do this by providing the last, and rather intricate, piece, namely that the exceptional compact Lie groups are uniquely determined as pcompact groups by their Weyl groups seen as finite reflection groups over the padic integers. Our approach in fact gives a largely selfcontained proof of the entire
The classification of 2compact groups
"... Abstract. We prove that any connected 2compact group is classified by its 2adic root datum, and in particular the exotic 2compact group DI(4), constructed by DwyerWilkerson, is the only simple 2compact group not arising as the 2completion of a compact connected Lie group. Combined with our ear ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
Abstract. We prove that any connected 2compact group is classified by its 2adic root datum, and in particular the exotic 2compact group DI(4), constructed by DwyerWilkerson, is the only simple 2compact group not arising as the 2completion 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 pcompact groups, stating that, up to isomorphism, there is a onetoone correspondence between connected pcompact groups and root data over the padic integers. As a consequence we prove the maximal torus conjecture, giving a onetoone 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 AndersenGrodalMøllerViruel methods to incorporate the theory of root data over the padic integers, as developed by DwyerWilkerson and the authors, and we show that certain occurring obstructions vanish, by relating them to obstruction groups calculated by JackowskiMcClureOliver in the early 1990s. 1.
A FINITE LOOP SPACE NOT RATIONALLY EQUIVALENT TO A COMPACT LIE GROUP
, 2003
"... Abstract. We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we ver ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Abstract. We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rationally equivalent to a compact Lie group, extending the classical known bound of 5. 1.
Symplectic groups are Ndetermined 2compact groups
"... Abstract. We show that for n ≥ 3 the symplectic group Sp(n) is as a 2compact group determined up to isomorphism by the isomorphism type of its maximal torus normalizer. This allows us to determine the integral homotopy type of Sp(n) among connected finite loop spaces with maximal torus. 1. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. We show that for n ≥ 3 the symplectic group Sp(n) is as a 2compact group determined up to isomorphism by the isomorphism type of its maximal torus normalizer. This allows us to determine the integral homotopy type of Sp(n) among connected finite loop spaces with maximal torus. 1.
Automorphisms of pcompact groups and their root data
"... Abstract. We construct a model for the space of automorphisms of a connected pcompact group in terms of the space of automorphisms of its maximal torus normalizer and its root datum. As a consequence we show that any homomorphism to the outer automorphism group of a pcompact group can be lifted to ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. We construct a model for the space of automorphisms of a connected pcompact group in terms of the space of automorphisms of its maximal torus normalizer and its root datum. As a consequence we show that any homomorphism to the outer automorphism group of a pcompact group can be lifted to a group action, analogous to a classical theorem of de Siebenthal for compact Lie groups. The model of this paper is used in a crucial way in our paper “The classification of 2compact groups”, where we prove the conjectured classification of 2compact groups and determine their automorphism spaces. 1.
AUTOMORPHISMS OF ROOT DATA, MAXIMAL TORUS NORMALIZERS, AND pCOMPACT GROUPS
, 2005
"... Abstract. We describe the outer automorphism group of a compact connected Lie group as a certain subgroup of the outer automorphism group of its maximal torus normalizer, expressed in terms of the associated root datum. The same subgroup can be defined for connected 2compact groups. We use this to ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We describe the outer automorphism group of a compact connected Lie group as a certain subgroup of the outer automorphism group of its maximal torus normalizer, expressed in terms of the associated root datum. The same subgroup can be defined for connected 2compact groups. We use this to show that any homomorphism to the outer automorphism group of a pcompact group can be lifted to an action, analogous to a classical theorem of de Siebenthal for compact Lie groups, and we find a candidate formula for the whole space of selfhomotopy equivalences of any connected 2compact group. The results of this paper play a key role in a subsequent paper by the authors where we prove the conjectured classification of 2compact groups and describe their automorphism spaces. 1.
CENTERS AND COXETER ELEMENTS
"... Abstract. Suppose that G is a connected compact Lie group. We show that simple numerical information about the Weyl group of G can be used to obtain bounds, often sharp, on the size of the center of G. These bounds are obtained with the help of certain Coxeter elements in the Weyl group. Variants of ..."
Abstract
 Add to MetaCart
Abstract. Suppose that G is a connected compact Lie group. We show that simple numerical information about the Weyl group of G can be used to obtain bounds, often sharp, on the size of the center of G. These bounds are obtained with the help of certain Coxeter elements in the Weyl group. Variants of the method use generalized Coxeter elements and apply to pcompact groups; in this case a splitting theorem emerges. The Lie group results are mostly known, but our arguments have a conceptual appeal. 1.