Noetherian loop spaces (Q638773)

This paper studies properties of loop spaces having Noetherian mod \(p\) cohomology, paying attention to differences between such loop spaces and those with finite mod \(p\) cohomology; here \(p\) is any prime number. More precisely, a \(p\)-Noetherian group is a triple \((X,BX,e)\) such that the cohomology \(H^*(X; \mathbb F_p)\) is a Noetherian algebra (it is finitely generated as an algebra), \(BX\) is a \(p\)-complete space, and \(e: X\rightarrow \Omega BX\) (where \(\Omega BX\) is the space of loops on \(BX\)) is a weak homotopy equivalence. In this setting, \(X\) is called the Noetherian loop space, and \(BX\) is referred to as the classifying space of \(X\). In particular, \(p\)-compact groups in the sense of \textit{W. Dwyer} and \textit{C. Wilkerson} [Ann. Math. (2) 139, No.~2, 395--442 (1994; Zbl 0801.55007)] are \(p\)-Noetherian groups. The authors study the cohomology of the classifying space \(BX\) and show that it is as small as expected. More precisely, they prove that for any \(p\)-Noetherian group \((X,BX,e)\), \(H^*(BX; \mathbb F_p)\) is finitely generated as an algebra over the Steenrod algebra and, in addition, the module of indecomposable elements, \(QH^*(BX; \mathbb F_p)=\tilde H^*(BX; \mathbb F_p)/\tilde H^*(BX; \mathbb F_p)\cdot \tilde H^*(BX; \mathbb F_p)\), belongs to \(\mathcal U_1\) of the Krull filtration, \(\mathcal U_1\subset \mathcal U_2\subset \cdots\), of the category \(\mathcal U\) of unstable modules over the Steenrod algebra (\(\mathcal U_0\) consists of the locally finite unstable modules and contains \(QH^*(X; \mathbb F_p)\); that is, \(QH^*(BX; \mathbb F_p)\) lies only one stage higher than where \(QH^*(X; \mathbb F_p)\) lies).