Higher homotopy associativity of power maps on finite \(H\)-spaces (Q2374208)

Let \(p\) be an odd prime and \(S_{(p)}^{2t-1}\), \(t \geq 1\), be the \(p\)-localization of the \((2t-1)\)-dimensional sphere. By \textit{D. P. Sullivan} [Geometric topology. Localization, periodicity and Galois symmetry. The 1970 MIT Notes. Edited by A. Ranicki. Dordrecht: Springer (2005; Zbl 1078.55001)], this space is a loop space if and only if \(t \mid (p-1)\). In this case it is denoted by \(Y_{t}\). In the first part of this paper, the author generalizes two results about \(Y_{t}\) of \textit{M. Arkowitz} et al. [Q. J. Math., Oxf. II. Ser. 26, 295--307 (1975; Zbl 0309.55009)] and of \textit{C. A. McGibbon} [Trans. Am. Math. Soc. 274, 479--508 (1982; Zbl 0531.55009)], respectively. In the second part of this paper, the author proves the following result. Assume that \(X\) is a simply connected \(\mathbb{F}_{p}\)-finite \(A_{p}\)-space and that \(\lambda\) is a primitive \((p-1)\)st root of unity mod \(p\). If the Steenrod reduced power operations \((\mathcal{P}^{i})_{i \geq 1}\) act trivially on the indecomposable module \(QH^{*}(X;\; \mathbb{F}_{p})\) and the power map \(\Phi_{\lambda}\) on \(X\) is an \(A_{n}\)-map with \(n > \frac{p-1}{2}\), then \(X\) is \(\mathbb{F}_{p}\)-acyclic. Using the space \(S_{(p)}^{2t-1}\), the author shows that the assumptions in his result are necessary.