Phantom maps from a strong homology viewpoint (Q2508592)

Let \(X\) be a based CW complex, \(X_n\) its \(n\)-skeleton, \(Y\) any topological space and \(f: X \to Y\) a based continuous mapping. The author calls \(f\) a \textit{phantom map} whenever \(f \mid X_n\), for all \(n\), is null homotopic. Like other authors he has as his main objective a more algebraic description of \(Ph(X,Y)\), the set of all phantom maps in his sense. Let \(Y\) be also a CW space, then \(Y^{(n)}\) denotes the \(n\)-th Postnikov approximation of \(Y\). The author asserts: Let \(X,\;Y\) be pointed CW complexes, then there are set-theoretic bijections between the pointed sets: \(\lim^1\;[X, (\Omega Y)^{(n)}] \approx Ph(X,Y) \approx \lim^1\;[\Sigma X_n, Y]\). The \textit{strong homology} of the title refers to a homology concept in a category of inverse sequences (a pro-category), leading to the following assertion: Let \(X, \;Y\) be nilpotent CW complexes of finite type. Assume that either \(X\) has the rational homotopy type of a suspension or alternatively, that \(Y\) has the rational homotopy type of a loop space, then one can form the inverse system \(\mathfrak A = \{ [X, (\Omega Y)^{(n)}]/F_n \}\), \(F_n\)= commutator subgroup of \([X, [\Omega Y]^{(n)}]\). There exists an isomorphism \(Ph(X,Y)\approx H_{-1}(\mathfrak A)\).