Noetherian loop spaces (Q638773): Difference between revisions

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).