On the 2-compact group DI(4)
The notion of \(p\) compact group was introduced by \textit{W. G. Dwyer} and \textit{C. W. Wilkerson} [Ann. Math. (2) 139, 395-442 (1994; Zbl 0801.55007)]. This is a pair \((X,BX)\) of spaces such that \(X\) is \(\mathbb{F}_p\)-finite, i.e. \(H^*(X;\mathbb{F}_p)\) is a finite vector space, \(BX\) is pointed, both spaces are \(p\)-complete, in the sense of \textit{A. Bousfield} and \textit{D. Kan} [Homotopy limits, completion and localizations, Lect. Notes Math. 304 (1972; Zbl 0259.55004)], and the loop space \(\Omega BX\) and \(X\) are homotopy equivalent. This is a generalization of the concept of compact Lie groups. For a connected compact Lie group \(G\), the pair \((G_p^\wedge, BG_p^\wedge)\) together with the natural equivalence \(\Omega BG_p^\wedge\simeq G^\wedge_p\) is a \(p\)-compact group, denoted also by \(G\). For odd primes, there exist many connected \(p\)-compact groups which do not come from compact Lie groups, e.g. \textit{D. Sullivan} showed that, if \(n\) divides \(p-1\), the sphere \(S^{2n-1}\) gives rise to a connected \(p\)-compact group \(((S^{2n-1})^\wedge_p\), \(B(S^{2n-1})_p^\wedge)\) [Geometric Topology, Part I: Localizations, periodicity and Galois theory, Mimeographed notes, MIT, 1970]. For the prime 2, \textit{W. G. Dwyer} and \textit{C. W. Wilkerson} constructed the only known example \(DI(4)\) of connected 2-compact groups, which is not a Lie group [J. Am. Math. Soc. 6, 37-64 (1993; Zbl 0769.55007)]. The classifying space \(BDI(4)\) realizes the rank 4 mod--2 Dickson invariants, namely the ring of invariants of the natural action of \(Gl (4,\mathbb{F}_2)\) on the rank 4 polynomial algebra \(H^*(B\mathbb{Z}/2)^4; \mathbb{F}_2)\). Dwyer and Wilkerson conjectured that every connected 2-compact group is the product of a connected compact Lie group and copies of \(DI(4)\). In this paper the author approaches this conjecture by showing that the 2-compact group \(DI(4)\) satisfies some uniqueness results. The author also shows that this conjecture is at least rationally true. Every \(p\)-compact group \(X\) has a maximal torus \(T_X\to X\), a Weyl group \(W_X\), a maximal torus normalizer \(N_X\to X\) and a center \(Z(X)\to X\), all with basically the same properties as in the case of compact Lie groups. And two \(p\)-compact groups \(X\) and \(Y\) are isomorphic if the classifying spaces \(BX\) and \(BY\) are homotopy equivalent [\textit{J. M. Møller}, Bull. Am. Math. Soc., New Ser. 32, No. 4, 413-428 (1995; Zbl 0868.55007)]. In this paper the following concrete results are proved: Theorem 5. 1. Let \(X\) be a 2-compact group, such that \(X\) and \(DI(4)\) have isomorphic maximal torus normalizer and such that \(H^*(BX;\mathbb{F}_2) \cong H^*(BDI(4); \mathbb{F}_2)\) (as algebras over the Steenrod algebra). Then, \(X\) and \(DI(4)\) are isomorphic as 2-compact groups. Theorem 1.7. Every connected 2-compact group \(X\) splits into a product \(X\cong X_1\times X_2\) such that \(X_1\) is isomorphic to some copies of \(DI(4)\) and \(X_2\) has the same rational Weyl group data as a suitable connected compact Lie group \(G\). Theorem 1.8. Let \(i:T_{DI(4)} \subset DI (4)\) be a maximal torus of \(DI(4)\). Then, for two self maps \(f,g:BDI(4)\to BDI (4)\), the following conditions are equivalent: (i) \(f\) and \(g\) are homotopic; (ii) The compositions \(f\circ Bi\) and \(g\circ Bi\) are homotopic; (iii) \(H^*(f; \mathbb{Z}_1^\wedge) \otimes\mathbb{Q}= H^*(f;\mathbb{Z}^\wedge_2) \otimes\mathbb{Q}\).
- A faithful unitary representation of the 2-compact group \(DI(4)\)
- The \(D(2)\)-problem for dihedral groups of order \(4n\)
- A characterization of the groups D₄(2ⁿ)
- Actions of compact groups on compact (4, m)-quadrangles
- scientific article; zbMATH DE number 1765791
- A characterization of the finite simple group \(^2D_4(2)\)
- A general characterization of the simple group \(D_4(2)\)
- scientific article; zbMATH DE number 579492
- scientific article; zbMATH DE number 1457290
- On the 2-groups whose abelianizations are of type (2, 4) and applications
- A faithful unitary representation of the 2-compact group \(DI(4)\)
- A uniqueness result for orthogonal groups as 2-compact groups
- Construction of 2-local finite groups of a type studied by Solomon and Benson
- Rational isomorphisms of p-compact groups
- Stratification and duality for homotopical groups
- Normalizers of tori
- The cohomology of exotic 2-local finite groups
- Correction to: Construction of 2-local finite groups of a type studied by Solomon and Benson
- Embeddings of \(\text{DI}_2\) in \(\text{F}_4\)
- The classification of p-compact groups (after Andersen, Grodal, Møller, and Viruel)
- The torsion index of a p-compact group
- The classification of 2-compact groups
- Loop space homology associated with the mod 2 Dickson invariants
- A New Finite Loop Space at the Prime Two
- Unstable Adams operations on \(p\)-local compact groups
- A 2-Compact Group as a Spets
- Automorphisms of p-compact groups and their root data
- \(\nu_1\)-periodic homotopy groups of the Dwyer-Wilkerson space
This page was built for publication: On the 2-compact group DI(4)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4793834)
