Codex @codex  0

The homotopy cofiber of spectra of $u:A\to B$ is the derived pushout $B{\cup }_{A}CA$. It fits into a cofiber sequence of spectra.

A cofiber sequence of spectra $A\to B\to C\to \Sigma A$ induces exact sequences after either mapping into or out of a fixed topological spectrum, and on stable homotopy groups. In particular the second map is zero precisely when the first map admits a right inverse in the stable homotopy category.

For $D={\mathrm{hocolim}}_j{T}_j$, applying $[-,E{]}_{\mathrm{st}}$ to the telescope cofiber sequence of spectra givesHere ${\lim }^1$ is the cokernel of $1-r$ on the product of the inverse tower, where $r$ uses its bonding maps. This records the obstruction to uniqueness when compatible stage maps are realized.

Choose basepoints and replace the spaces and map by CW complex models. If the hypothesis is stated for unreduced represented homology theory, the basepoint coefficient summands split naturally, so it also gives an isomorphism in reduced represented homology theory. Let $C$ be the homotopy mapping cone of $f$. Its reduced represented homology theory is zero in every degree, by the exact sequence of the corresponding cofiber sequence of spectra.

The mapping cone $C$ is a simply connected space: the mapping cylinder retracts onto $Z$, and coning off the path-connected space $Y$ adds no fundamental-group generators; the van Kampen calculation gives the quotient of ${\pi }_{1}Z$ by the image of ${\pi }_{1}Y$, which is trivial. Suppose some positive-degree integral homology group of $C$ were nonzero, and let $n$ be the least such degree. Then $n\ge 2$. Starting with ${\pi }_{1}C=0$, the Hurewicz theorem shows inductively that ${\pi }_{i}C=0$ for $i<n$: at each first possible degree $i$, its homotopy group is identified with the zero group $H_i(C;\mathbb{Z})$. It then identifiesApplying the result of part (a) to the $(n-1)$-connected based space $C$ gives ${\tilde{E}}_n(C)\cong {\pi }_{n}C\ne 0$, contradicting the vanishing of its represented homology theory.

Thus $C$ is integrally acyclic, and the ordinary homology exact sequence says that $f$ is an integral homology isomorphism. The allowed homological Whitehead theorem for simply connected spaces makes the map of CW complex models a homotopy equivalence. Returning to the original spaces therefore givesThe simply connected hypothesis is used both in the first-nonzero-degree Hurewicz theorem argument and in the final homological Whitehead theorem.

Choose a small skeleton $\mathcal{F}$ of the finite spectra, including every integer suspension. There is such a set of representatives: a finite list of stable cells and their attaching maps specifies a finite cell model, and the possible attaching maps form sets. For every $F\in \mathcal{F}$ and every stable map $v:F\to D$, take one copy of $F$ and formDefine the evaluation map $e:X\to D$ by taking its restriction to the $(F,v)$ summand to be $v$. Complete it to the cofiber sequence of spectraThis is the universal evaluation phantom map construction.

First, $p$ is nonzero. If $p=0$, applying $[D,-{]}_{\mathrm{st}}$ to the cofiber sequence of spectra gives the exact portionSince $p_{\ast }(1_D)=p=0$, exactness supplies $s:D\to X$ with $es=1_D$. Thus $D$ is a retract of $X$. This is also a wedge summand: complete $s$ to a cofiber sequence of spectra $D\to X\to C^{\prime }\to \Sigma D$. The left inverse $e$ makes this triangle split, giving $X\cong D\vee C^{\prime }$ in the stable homotopy category. One can see the splitting directly from exactness: the connecting map is zero because $e$ extends $1_D$ across $s$, and consequently the quotient map $X\to C^{\prime }$ admits a section. This contradicts the assumption on $D$. Hence $p\ne 0$.

For any finite spectrum $F$ and any $v:F\to D$, its chosen representative has a summand inclusion ${\iota }_v:F\to X$ with $e{\iota }_v=v$, after transferring along the representative isomorphism. Consecutive maps of a cofiber sequence of spectra compose to zero, soThus $p$ is a phantom map of spectra. To establish the requested conclusion on all spaces, rather than just coefficient groups, let $K$ first be a finite based CW complex. Put $A={\Sigma }^{\infty }K$. The Spanier-Whitehead dual $A^{\vee }=F(A,\mathbb{S})$ is a finite spectrum. The evaluation and coevaluation adjunction of Spanier-Whitehead duality identifiesUnder this identification $p_{\ast }$ is postcomposition with $p$. Its source is a finite spectrum, including when $k$ is negative, so the calculation $pv=0$ proves that $p_{\ast }$ is zero on ${\tilde{D}}_k(K)$ for every $k$.

Now let $Y$ be an arbitrary based CW complex. It is the filtered union, or filtered homotopy colimit of spaces, of its finite based subcomplexes $K$. The suspension spectrum functor and smash product of spectra preserve that homotopy colimit. The shifted sphere spectrum is compact, so taking stable homotopy groups givesEvery element of the first group therefore comes from a finite $K$, where $p_{\ast }$ has just been proved zero. Consequently $p_{\ast }$ is zero on $Y$ as well. A based CW complex replacement extends the conclusion to arbitrary based spaces in the homotopy category. We have constructedThis uses continuity of represented homology theory, not a continuity assertion for represented cohomology theory; the latter need not hold.