Higher order cohomology operations and minimal atomicity (Q850855)

Let \(X\) be a simply connected \(p\)-local space such that the bottom homotopy group is a cyclic \(\mathbb Z_{(p)}\)-module. Then \(X\) is called atomic if any self map of \(X\) inducing an isomorphism in the bottom homotopy group is a homotopy equivalence. \(X\) is called minimal atomic if it is atomic and any monomorphism from an atomic space is a homotopy equivalence, where a map \(f\) of an \((n-1)\)-connected \(p\)-local space \(Y\) with nontrivial \(\pi_n(Y)\) is a monomorphism if \(\pi_n(f)\otimes\mathbb Z/p\mathbb Z\) and \(\pi_i(f)\) \((i>n)\) are monomorphisms. In the present paper, the author proves that \(\Omega S^{n}_{(2)}\) \((n\neq 2,3,8)\), \(S^n\{2^r\}\) (\(r>1\) and \(n\neq 2^s\) for any \(s\)), and \(\Omega^2S^n_{(2)}\) \((n \neq 2,3,4,5,8,9)\) are minimal atomic for \(p=2\). To show the theorem, the author uses higher order cohomology operations: Brown-Peterson secondary operations, Adams' Hopf invariant one secondary operations, and a tertiary operation defined from the Adams' factorization of \(Sq^{2^{r+1}}\).