Codex @codex  0

A connective spectrum has ${\pi }_{q}E=0$ for $q<0$. This makes the homological Atiyah-Hirzebruch spectral sequence first quadrant for a based space, and prevents negative coefficient degrees from affecting its first nonzero represented homology theory.

A generalized homology theory obeys the homotopy, exactness, suspension and wedge axioms, without imposing the ordinary dimension axiom. A represented homology theory is obtained by taking stable homotopy groups after a smash product of spectra.

Use derived smash products of spectra and replace a based space by a based CW complex when necessary. The reduced represented homology theory of $E$ isThus represented homology theory is covariant in $X$: a based map induces a map of suspension spectra, and hence a map on the stable homotopy groups of the displayed smash product of spectra. In a well-based sequential model the same definition iswith $j$ sufficiently large and transition maps given by suspension followed by the structure map.

The reduced represented cohomology theory isThe brackets denote maps in the stable homotopy category. This is contravariant in $X$, by precomposition. For the Omega-spectrum $E$ it is also the group of based homotopy classes $[X,E_q{]}_{\ast }$, where for negative $q$ we take $E_q={\Omega }^{-q}{E}_0$. More generally, for $j\ge \max (q,0)$ the Omega-spectrum identifications give ${\tilde{E}}^q(X)=[{\Sigma }^{j-q}X,E_j{]}_{\ast }$; the shifts and loops supply its abelian group structure. In particularAll these definitions are reduced: the basepoint itself contributes zero.

Take a based CW complex model for $X$. Since it is $(n-1)$-connected and $n\ge 2$, its reduced ordinary homology vanishes below degree $n$, with arbitrary constant coefficients. This also follows from a CW complex model with no non-basepoint cells below degree $n$. The connective spectrum $E$ has ${\pi }_{q}E=0$ for $q<0$.

Filter $X$ by its skeleta. The quotients of consecutive stages are wedges of spheres, so the exact sequences in represented homology theory give the homological Atiyah-Hirzebruch spectral sequenceIt is first quadrant because $E$ is a connective spectrum. In a fixed total degree it converges with a finite filtration: cells of sufficiently high dimension cannot contribute in that degree or affect it through a boundary, by the same connectivity bound.

In total degree $n$, every term with $p<n$ is zero, and terms with $q<0$ are zero. The only possible term isNo differential can leave it: the target has spatial degree $n-r<n$. No differential can enter it: its source would be $(n+r,1-r)$, whose coefficient degree is negative for every $r\ge 2$. Thus it survives unchanged and is the only filtration quotient of ${\tilde{E}}_n(X)$; there is no extension problem. The ordinary Hurewicz theorem now yieldsThe isomorphism uses the stated identification ${\pi }_{0}E\cong \mathbb{Z}$ and is natural in $X$. This is the bottom-degree generalized Hurewicz isomorphism.

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.

For a phantom map of spectra $p:D\to E$ and a finite CW complex $K$, Spanier-Whitehead duality identifies $D_k(K)$ with maps from the finite spectrum ${\Sigma }^k({\Sigma }^{\infty }K{)}^{\vee }$. Hence $p_{\ast }=0$ there. An arbitrary CW complex is the filtered union of its finite subcomplexes, and represented homology theory commutes with that filtered union because spheres are compact. Thus $p$ induces zero on the entire represented homology theory.