On the group of self-homotopy equivalences of a 1-connected and 5-dimensional CW-complex (Q6124466)

Let \(X\) be a simply connected CW complex and we denote by \(X^n\) its \(n\) skeleton. Let \(\mbox{WES}(X)\) denote the Whitehead exact sequence given by \[ \mbox{WES}(X): \ \ \cdots \to H_{n+1}(X)\stackrel{b_{n+1}}{\longrightarrow} \Gamma_n(X)\to \pi_n(X)\stackrel{h_{n}}{\longrightarrow} H_n(X)\to\cdots \] where \(H_n(X)=H_n(X;\mathbb{Z})\), \(i_n:X^{n-1}\to X^n\) is a natural inclusion, \(\Gamma_n(X)=\mbox{Im }[(i_n)_*:\pi_n(X^{n-1})\to \pi_n(X^n)]\) for \(n\geq 2\), and \(h_n\) denotes the Hurewicz homomorphism. \par Let \(Ab\) denote the category of abelian groups and let \(\Gamma:Ab\to Ab\) denote the functor defined by J.H.C. Whitehead, which is constructed by using the notion of quadratic maps. \par Let \(\mathcal{E}(X)\) and \(\mathcal{E}_*(X)\) denote the group of self-homotopy equivalences of \(X\) and its subgroup consisting of all \(f\in \mathcal{E}(X)\) which induce identity on \(H_*(X)=H_*(X;\mathbb{Z})\). \par In this paper the author investigates about the quotient group \(\mathcal{E}(X)/\mathcal{E}_*(X)\) for a simply connected five dimensional CW complex \(X\). For a simply connected five dimensional CW complex \(X\), we denote by \(\mathcal{B}^5_1(X)\) the set of all \(\Gamma\)-automorphisms of \(\mbox{WES}(X)\). In particular, he proves that it is a group, and there is an isomorphism \(\mathcal{E}(X)/\mathcal{E}_*(X)\cong \mathcal{B}^5_1(X)\) if \(\mbox{Tor}(H_2(X;\mathbb{Z}/2,\mathbb{Z}/2)=0\) by using the careful analysis and computations of \(\Gamma\)-automorphisms of \(\mbox{WES}(X)\). As an application, he also obtains the following short exact sequence \[ 1\to \mathcal{E}_*(X)\to \mathcal{E}(X) \to \mathcal{B}^5_1(X)\to 1 \] when \(X\) is a a simply connected five dimensional CW complex \(X\) satisfying the condition \(\mbox{Tor}(H_2(X;\mathbb{Z}/2,\mathbb{Z}/2)=0\).