On the spaces of self homotopy equivalences of certain CW complexes (Q5966433): Difference between revisions

This paper contains a detailed account of results announced in the previous article [the author, Proc. Japan Acad. A 60, 229-231 (1984); see the review above]. The paper is concerned with the space of self homotopy equivalences of a connected CW complex X with non-degenerate base point and the space of based self homotopy equivalences of X, which will be denoted by G(X) and \(G_ 0(X)\) respectively. A main result is as follows: for given \(n>0\), let X be a connected CW complex satisfying dim \(X\leq n\) or \(\pi_ i(X)=0\) for every \(i>n\), and let Y be an n-connected CW complex. Then it holds: \[ G(X\times Y)\cong G(X)\times G(Y)\times G(X)^ Y_ 0\times G(Y)^ X_ 0, \] \[ G_ 0(X\times Y)\cong G_ 0(X)\times G_ 0(Y)\times G(X)^ Y_ 0\times G(Y)^ X_ 0, \] where \(A\cong B\) means that A is weakly homotopy equivalent to B and \(D_ 0^ C\) denotes the space of based maps of C into D. Furthermore, some results on \(\pi_ 0(G_ 0(X\times Y))=\epsilon (X\times Y)\) for X and Y satisfying the previous conditions are obtained.