The group of self-homotopy equivalences of the \(m\)-fold smash product of a space (Q501596): Difference between revisions

Let \(\mathcal{E}(X)\) denote the group of homotopy classes of self-homotopy equivalences of a space \(X\), let \(X^{\wedge m}\) be the \(m\)-fold smash product \(X^{\wedge m}=X\wedge X\wedge \cdots \wedge X\) (\(m\)-times), and \(S_m\) be the symmetric group of \(m\)-letters \(\{1,2,\ldots ,m\}\). Note that there are natural homomorphisms \(\varphi :S_m\to \mathcal{E}(X^{\wedge m})\) and \(\psi :\mathcal{E}(X)^m\to \mathcal{E}(X^{\wedge m})\) and we easily see that they induce a homomorphism \(\Psi :\mathcal{E}(X)^m\rtimes S_m\to \mathcal{E}(X^{\wedge m})\). In this paper the authors study the group \(\mathcal{E}(X^{\wedge m})\) by using these homomorphisms. In particular, they prove that the group \(\mathcal{E}(K(A^r,n)^{\wedge m})\) contains a subgroup isomorphic to \(\mathrm{GL}_r(A)^m\rtimes S_m\) in many cases.