Infinite families of higher torsion in the homotopy groups of Moore spaces (Q6167517)

In [J. Lond. Math. Soc., II. Ser. 7, 577--583 (1974; Zbl 0275.55019)], \textit{V. P. Snaith} examined a functorial stable homotopy equivalence \[ \Sigma^\infty \Omega^2 \Sigma^2 X \simeq \Sigma^\infty \bigvee_{j=1}^{\infty} D_j (\Omega^2 \Sigma^2 X) \] for any \(0\)-connected CW-complex \(X\) as an analogue of the James construction, where the stable summands are given by suspension spectra of the extended powers \(D_j (\Omega^2 \Sigma^2 X) = \mathcal{C}_2 (j)_{+} \wedge_{\Sigma_j} X^{\wedge j}\), and \(\mathcal{C}_2 (j)\) is the space of \(j\)-little \(2\)-cubes. In [Ann. Math. (2) 110, 549--565 (1979; Zbl 0443.55009); ibid. 109, 121--168 (1979; Zbl 0405.55018)], \textit{F. R. Cohen} et al. showed that the Moore space \(P^n (p^r)\) has homotopy exponent exactly \(p^{r+1}\) if \(p\) is a prime number bigger than \(3\). In the paper under review, the authors give a refinement of the stable Snaith splitting of the double loop space of the Moore space. More precisely, they prove that if \(p \geq 3\), and \(r \geq 1\), then \(D_{p^k} (\Omega^2 P^{2n+1}(p^r))\) is stably homotopy equivalent to \(P^{2np^k -2} (p^{r+1}) \vee X_{p^k}\) for some finite CW-complex \(X_{p^k}\) for all \(k \geq 1\), and develop some similar results for \(p = 2\). Using the stabilization map, the authors show that if \(k \geq {\log}_p ((r+4)/n)\), then \(\pi_{2np^{k}-1+tqp^r}(P^{2n+1}(p^r))\) contains a \(\mathbb{Z}/p^{r+1}\) summand, and if \(k \geq {\log}_p ((r+3)/(2n-1))\), then \(\pi_{(4n-2)p^k -1 + tqp^r}(P^{2n}(p^r))\) contains a \(\mathbb{Z}/p^{r+1}\) summand for every \(t \geq 0\).