Realisability of the group of self-homotopy equivalences and local homotopy theory (Q2670961)

For a space \(X\), let \(\mathcal{E}(X)\) denote the group of all homotopy classes of self-homotopy equivalences of \(X\) whose multiplication is induced from the composition of maps. Let \(\mathcal{E}_*(X)\) be the normal subgroup of \(\mathcal{E}(X)\) consisting of all elements inducing the identity on the homotopy groups \(\pi_*(X)\). In this paper the author studies the following Kahn's realizability problem of groups: For any group \(G\) can we find a space \(X\) such that there is an isomorphism \(\mathcal{E}(X)\cong G\)? Note that de Groot showed that any group \(G\) is isomorphic to the automorphism group of a strongly connected digraph \(\mathcal{G}\) [\textit{J. de Groot}, Math. Ann. 138, 80--102 (1959; Zbl 0087.37802)]. Moreover, \textit{C. Costoya} and \textit{A. Viruel} [Acta Math. 213, No. 1, 49--62 (2014; Zbl 1308.55005)] proved that if \(G\) is a finite group there exists a simply connected space \(X\) such that \(\mathcal{E}(X)\cong G\) with \(\mathcal{E}_*(X)=\{1\}\). So this problem is open for infinite groups \(G\). In this paper, the author proves that for any group \(G\), there exists a CW complex \(X\) such that there is an isomorphism \(\mathcal{E}(X)/\mathcal{E}_*(X)\cong G\) with the infinite subgroup \(\mathcal{E}_*(X)\). The proof is based on Anick's \(\mathbb{Z}_{(p)}\)-local homotopy theory [\textit{D. J. Anick}, Lect. Notes Math. 1418, 78--85 (1990; Zbl 0696.55013)] and the above result due to de Groot.