Primitive and decomposable elements in homology of \(\Omega \Sigma \mathbb{C} P^{\infty}\) (Q2669064)

Let \(\mathbb{C}P^\infty\) be the infinite complex projective space. The author follows [\textit{K. Morisugi}, J. Math. Kyoto Univ. 38, No. 1, 151--165 (1998; Zbl 0924.55002)] to define a sequence of maps \(\hat{\varphi}_n : \mathbb{C}P^\infty\to \Omega\Sigma\mathbb{C}P^\infty\) for each positive integer \(n\). Using the adjointness, the sequence of self-maps \(\varphi_n : \Sigma\mathbb{C}P^\infty\to \Sigma\mathbb{C}P^\infty\) of the suspension of \(\mathbb{C}P^\infty\) or the localization of this space at a set of primes which may be an empty set is considered. Furthermore, let \([\varphi_m,\varphi_n] : \Sigma\mathbb{C}P^\infty\to \Sigma\mathbb{C}P^\infty\) be a commutator of \(\varphi_m\) and \(\varphi_n\) for any positive integers \(m\) and \(n\). \par The author shows that the image of the homomorphism \(\widehat{[\varphi_m, \varphi_n]}_\ast\) in homology induced by the adjoint \(\widehat{[\varphi_m, \varphi_n]} : \mathbb{C}P^\infty\to \Omega\Sigma\mathbb{C}P^\infty\) of the commutator \([\varphi_m, \varphi_n]\) is both primitive and decomposable. As a further support of the above statement, an example is provided.