CW towers and mapping spaces (Q500917)

Let \[ \cdots \longrightarrow Z_i\overset{p_i}{\longrightarrow}Z_{i-1} \longrightarrow \cdots \cdots Z_2\overset{p_2}{\longrightarrow}Z_{1} \] be a tower of Hurewicz fibrations where each \(Z_i\) is homotopy equivalent to a CW complex. The sequence (*) is usually called a CW tower of fibrations. In this paper, the author investigates the conditions under which its inverse limit space \(Z_{\infty}\) has the homotopy type of a CW complex. If each \(p_i\) is null-homotopic, \((*)\) is called a contractible tower, and if each \(P_i\) is an identity map, it is called a constant tower. Let \(C\) be a path component of \(Z_{\infty}\). Then the author shows that if \(C\) has the homotopy type of a CW complex then a subtower of the tower \(\{\Omega Z_i\}\) splits homotopically into the product of a contractible tower and a constant tower. Moreover, he also proves that if \(\{Z_i\}\) splits into the product of a contractible tower and a constant tower then the space \(Z_{\infty}\) has the homotopy type a CW complex. As an application, he considers when the space \(\text{map}(X,Y)\) has the homotopy type of a CW complex, where \(\text{map}(X,Y)\) denotes the space of continuous maps from a countable CW complex \(X\) to a CW complex \(Y\). In particular, he shows that the path component of \(f\in \text{map}(X,Y)\) has the homotopy type of a CW complex if and only if all homotopy groups \(\pi_k(\text{map}(X,Y),f)\) are countable and \(f\) is not a phantom map, and he also extends some result concerning localization theory.