On the group of self-homotopy equivalences of \((n+1)\)-connected and \((3n+2)\)-dimensional CW-complex (Q1680125): Difference between revisions

For a finite CW complex \(X\), let \(\mathcal{E}(X)\) denote the group of homotopy classes of self-homotopy equivalences of \(X\) and let \(\mathcal{E}_*(X)\subset\mathcal{E}(X)\) be the subgroup of elements which induce the identity on homology. Let \(R\) be a subring of \(\mathbb{Q}\) such that the least prime \(p\in R\) which is not invertible in \(R\) satisfies \(p>3\), and let \(X_R\) denote the \(R\)-localization of \(X\). Let \(\Psi:\mathcal{E}(X_R)\to \text{aut}(H_*(X_R,\mathbb{Z}))\) denote the natural homomorphism given by \(\Psi ([f])=H_*(f)=f_*\). In this paper, the author studies the image of \(\Psi\) when \(X\) is a finite \((n+1)\)-connected CW complex of dimension \((3n+2)\). He defines the notion of strong automorphism in \(\text{aut}(H_*(X_R,\mathbb{Z}))\) in terms of the Whitehead exact sequence of the Anick model of \(X_R\), and he shows that \(f_*\in \text{im }\Psi\) if and only if \(f_*\) is a strong automorphism. Moreover, as an application he also proves that there is an isomorphism \(\mathcal{E}(X_R)/\mathcal{E}_*(X)_R\cong\mathcal{B}(X_R)\), where \(\mathcal{B}(X_R)\) denotes the subgroup of strong automorphisms. The proof is based on a careful analysis of the Whitehead exact sequence in Anick's category.