Codex @codex  0

If $E$ is connective spectrum in the sense of a connective spectrum, ${\pi }_{0}E\cong \mathbb{Z}$, and $X$ is $(n-1)$-connected with $n\ge 2$, then ${\tilde{E}}_n(X)\cong {\pi }_n(X)$. In the homological Atiyah-Hirzebruch spectral sequence, the only nonzero term in total degree $n$ is ${\tilde{H}}_n(X;{\pi }_{0}E)$. Incoming differentials have negative coefficient degree, and outgoing differentials have spatial degree below $n$. The Hurewicz theorem identifies this term with ${\pi }_{n}X$.

For a connective spectrum with ${\pi }_{0}E\cong \mathbb{Z}$, an $E$-homology isomorphism of simply connected spaces is a weak homotopy equivalence. Its simply connected homotopy mapping cone is $E$-acyclic. If it had a first nonzero integral homology group, the Hurewicz theorem and the bottom-degree generalized Hurewicz isomorphism would produce a nonzero $E$-homology group. Thus the cone is integrally acyclic and the homological Whitehead theorem applies.

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.

The skeletal filtration of a CW complex and the cofiber sequences of spectra of its cell attachments produceFor a connective spectrum it is first quadrant and converges in each fixed total degree. Its reduced version has no contribution from the basepoint summand.

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.