CW towers and mapping spaces (Q500917)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | CW towers and mapping spaces |
scientific article |
Statements
CW towers and mapping spaces (English)
0 references
8 October 2015
0 references
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.
0 references
tower of fibrations
0 references
Postnikov section
0 references
phantom map
0 references
CW homotopy type
0 references
mapping space
0 references
localization
0 references
0 references
0 references