The Arone-Goodwillie spectral sequence for \(\Sigma^{\infty }\Omega^{n}\) and topological realization at odd primes (Q1938761): Difference between revisions

In [Ann. Math. (2) 141, No. 2, 321--347 (1995; Zbl 0849.55022)], \textit{N. Kuhn} proved that \(H^\ast(X;\mathbb{F}_p)\) is a finite dimensional \(\mathbb{F}_p\)-vector space if \(H^\ast(X;\mathbb{F}_p)\) is finitely generated over the Steenrod algebra \(\mathcal{A}_p\) and the Bockstein acts trivially on it in high degrees. He obtained this result as a consequence of non-realization theorems for certain finite dimensional \(\mathcal{A}_p\)-modules, and he conjectured the result to be true without the assumption on the Bockstein. \textit{L. Schwartz} proved the conjecture for \(p=2\) [Invent. Math. 134, No.1, 211--227 (1998); erratum ibid. 182, No. 2, 449--450 (2010; Zbl 0919.55007)], again via non-realization theorems, and Gaudens and L. Schwartz proved the general case by different means (Preprint 2010). \textit{N. Kuhn} gave a streamlined proof of his conjecture at \(p=2\) in [Algebr. Geom. Topol. 8, No. 4, 2109--2129 (2008); correction ibid. 10, No. 1, 531--533 (2010; Zbl 1169.55011)], also via nonrealization results. The present paper is an attempt to generalize this approach to odd primes. Let \(\Phi(k,l)\) be the quotient of the \(\mathcal{A}_p\)-module \(H^\ast(K(\mathbb{Z}_p,1);\mathbb{F}_p)\) generated by an element \(t\) of degree 2 and having the \(\mathbb{F}_p\)-basis \(\{t^{p^k}, t^{p^{k+1}},\ldots,t^{p^{k+l}}\}\). The authors prove the following non-realization theorem: Let \(M\) be an unstable \(\mathcal{A}_p\)-module of finite type concentrated in degrees \([l,m]\). Suppose \(M\) contains a desuspension class of even origin (see Definition 5.2) and suppose there is a space \(X\) such that \[ \widetilde{H}^\ast(X;\mathbb{F}_p)\cong M\otimes\Phi(k,k+2) \] as \(\mathcal{A}_p\)-modules, then \(2p^k\leq(p^2-1)m+p(m-l)\). Kuhn's original theorem can be deduced from this result and the general conjecture follows in ``about half the cases''.