A New Finite Loop Space at the Prime Two

From MaRDI portal





From the point of view of homotopy theory a compact Lie group \(G\) has the following remarkable combination of properties: (1) \(G\) can be given the structure of a finite CW-complex, and (2) there is a pointed space \(BG\) and a homotopy equivalence from \(G\) to the loop space \(\Omega BG\). The space \(BG\) in (2) is the ordinary classifying space of \(G\). In general, a finite complex \(X\) together with a chosen equivalence \(X \to \Omega BX\) for some \(BX\) is called a finite loop space. If \(p\) is a prime number and the geometric finiteness condition on \(X\) is replaced by the requirement that \(X\) be \(F_ p\)-complete in the sense of \textit{A. K. Bousfield} and \textit{D. M. Kan} [Homotopy limits, completions and localizations, Lect. Notes Math. 304 (1972; Zbl 0259.55004)] and have finite \(\bmod p\) cohomology, then \(X\) is called a \(p\)-adic finite loop space or a finite loop space at the prime \(p\). Call a \(p\)-adic finite loop space \(X\) exotic if it is not the \(F_ p\)-completion of \(G\) for a compact Lie group \(G\). From \textit{H. Miller} and the second author [Contemp. Math. 19, 233-246 (1983; Zbl 0528.57031)] the ring of rank \(\bmod 2\) Dickson invariants in the ring of invariants of the natural action of \(\text{GL}(4,F_ 2)\) on the rank 4 polynomial algebra \(H^*(B(Z/2)^ 4,F_ 2)\); is a polynomial algebra on classes \(c_ 8\), \(c_{12}\), \(c_{14}\), and \(c_{15}\) with \(Sq^ 4c_ 8 = c_{12}\), \(Sq^ 2c_{12} = c_{14}\), and \(Sq^ 1c_{14} = c_{15}\). The main theorem of this paper is the following Theorem. There exists an \(F_ 2\)-complete space \(B\)DI(4) such that \(H^*(B\text{DI}(4),F_ 2)\) is isomorphic as an algebra over the Steenrod algebra to the ring of rank 4 \(\bmod 2\) Dickson invariants.



Cites work


Cited in
(35)








This page was built for publication: A New Finite Loop Space at the Prime Two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038325)