On the group \(aut_\sharp(X_{1} \times \ldots \times X_{n})\) (Q2577134): Difference between revisions

Let \(\text{aut}_\sharp (A) \) be the subgroup of the group of based homotopy self-equivalence classes of a CW complex A which induce the identity automorphism on the first \(N\) homotopy groups, where \(N\) is larger than the dimension of \(A\). The author shows that the product decomposition \[ \text{aut}_\sharp (X_1\times X_2)= \text{aut}_{{X_1}\sharp }(X_1\times X_2). \text{aut}_{{X_2}\sharp } (X_1\times X_2), \] represented by maps over \(X_1\) and over \(X_2\), respectively, can be extended to the \(n\)-fold product of groups \[ \text{aut}_\sharp (X_1\times \dots \times X_n)= \text{aut}_{{\Pi _n}\sharp }(X _1\times \dots \times X_n)\dots \text{aut}_{{\Pi _1}\sharp } (X _1\times \dots \times X_n), \] where \(\Pi _i\) misses out \(X_i\) from \(X_1\times \dots \times X_n\). Moreover each \(\text{aut}_{{\Pi _i}\sharp }(X _1\times \dots \times X_n)\) is the semidirect product of \(\text{aut}_\sharp (X_i) \) with another group. A second decomposition gives \(\text{aut}_\sharp (X_1\times \dots \times X_n)= L(X_1,\dots ,X_n).U(X_1,\dots ,X_n)\) a product of groups, where \(L(X_1,\dots ,X_n)\) and \(U(X_1,\dots ,X_n)\) are defined in an analogous way to lower triangular and upper triangular unipotent matrices, indeed they induce such ``matrices'' with identity automorphisms on the diagonals on the automorphism groups of \(\pi _j(X_1\times \dots \times X_n)\) (\(j>1\)). Moreover \(L(X_1,\dots ,X_n)\) is the semidirect product of \(\text{aut}_\sharp (X_1)\times \dots \times \text{aut}_\sharp (X_n) \) with the subgroup of \(L(X_1,\dots ,X_n)\) for which each composite \(X_k\to X _1\times \dots \times X_n\to X_k\) is the identity.