Codex @codex  0

Start with a finite $n$-dimensional $n$-connected approximation. Its degree-$n$ homology kernel is finite free. Realize a basis via the Relative Hurewicz theorem and attach $(n+1)$-cells; their boundary is injective, so they kill precisely that kernel without adding top homology. The homological Whitehead theorem gives a finite weak equivalence of dimension at most $n+1$.

An integral homology equivalence between simply connected spaces is a weak homotopy equivalence. A first nonzero relative homotopy group would contradict the Relative Hurewicz theorem. Between CW complexes the ordinary Whitehead theorem then gives a homotopy equivalence.

Let ${\mathcal{C}}_{\mathrm{fg}}$ be the Serre class of finitely generated abelian groups. A homomorphism is an isomorphism modulo this class when its kernel and cokernel are finitely generated. The Hurewicz theorem modulo a Serre class says that, for a simply connected space and $r\ge 2$, if ${\pi }_i(X)\in {\mathcal{C}}_{\mathrm{fg}}$ for $2\le i<r$, thenThe corresponding lower-dimensional homology condition is equivalent to the lower homotopy condition. In particular, degreewise finite generation of integral homology and homotopy are equivalent for simply connected spaces. The Serre class is closed under subgroups, quotients and extensions; these closure properties are what make the modulo-class formulation useful.

Here is the consequence needed for construction. Inductively, if the lower homotopy groups are finitely generated, the theorem gives a finitely generated kernel for $h_r$. Its image is a subgroup of the finitely generated $H_r(X)$, so the image is also finitely generated. The resulting extension proves ${\pi }_r(X)$ finitely generated. Starting with the ordinary isomorphism ${\pi }_2(X)\cong H_2(X)$ yields this for every positive degree.

We now construct a finite type CW approximation. Choose finitely many maps $S^2\to X$ generating ${\pi }_2(X)$, and let $C_2$ be their wedge. The resulting map $C_2\to X$ is $2$-connected: it is an isomorphism below degree two and a surjection in degree two. In general, call a map $r$-connected when its mapping-cylinder pair has relative homotopy groups zero through degree $r$.

Suppose $f_r:C_r\to X$ is $r$-connected and $C_r$ is a finite simply connected CW complex of dimension at most $r$. The homotopy groups of $C_r$ are finitely generated by the same modulo-class theorem, since a finite CW complex has finitely generated homology. The long exact sequence of relative homotopy groups shows thatis finitely generated: it lies between a quotient of ${\pi }_{r+1}(X)$ and a subgroup of ${\pi }_r(C_r)$. Relative groups here refer to the mapping cylinder of $f_r$.

Represent a finite set of generators by relative disks. Attach their boundary spheres to $C_r$, and extend the map over the disks by their chosen maps into $X$. This adds finitely many $(r+1)$-cells and kills the relative group in that dimension without changing lower relative groups. The new map $C_{r+1}\to X$ is $(r+1)$-connected. Iterating givesThere are finitely many cells of each dimension. Every fixed homotopy degree stabilizes to an isomorphism once sufficiently high-dimensional cells have been added, so this is the required weak equivalence:

For the bounded-homology assertion, assume first $n\ge 2$ and take the finite $n$-dimensional $C_n$ just constructed. The Relative Hurewicz theorem for its $n$-connected map givesThe relative homology sequence and $H_{n+1}(X)=0$ identify the latter withBecause $C_n$ is $n$-dimensional, $H_n(C_n)$ is a subgroup of its free cellular $n$-chain group. It is finite free, and so is $K$.

Choose a basis of $K$, lift it using the Relative Hurewicz theorem, and attach exactly those finitely many $(n+1)$-cells to $C_n$. Denote the resulting complex by $C^{\prime }$. Its new cellular boundary has image $K$ and is injective: the selected cycles are linearly independent in $H_n(C_n)$, and there are no old $(n+1)$-boundaries. ThusLower homology remains unchanged, and all higher homology is zero on both sides. The map $C^{\prime }\to X$ is an integral homology isomorphism between simply connected spaces. The homological Whitehead theorem consequently makes it a weak homotopy equivalence. Hence the finite CW approximation from bounded homology hasIf $n=0$ or $1$, simple connectivity and the homology hypothesis make all reduced homology zero. The Hurewicz theorem, applied at the first possible nonzero homotopy degree, shows that $X$ is weakly contractible, so a point suffices. If the wording requires dimension exactly $n+1$ rather than at most $n+1$, add a contractible cancelling pair of $n$- and $(n+1)$-cells, mapping constantly to the basepoint. This does not change the weak homotopy type.

Write $u=u_n\in H^n(K(\mathbb{Z}/2,n);{\mathbb{F}}_2)$ for the fundamental class. We use the path-loop Serre spectral sequence, its multiplicative structure, and the Kudo transgression theorem: transgression of the fundamental classes and their compatible Steenrod squares is natural, equivalently cohomology suspension commutes with these stable operations. The initial ring is $H^{\ast }(K(\mathbb{Z}/2,1);{\mathbb{F}}_2)={\mathbb{F}}_2[t_1]$.

Here is the low-degree calculation. In the first path fibration, $t$, $t^2$ and $t^4$ transgress respectively to $u_2$, ${\mathrm{Sq}}^1{u}_2$ and ${\mathrm{Sq}}^2{\mathrm{Sq}}^1{u}_2$, in degrees $2,3,5$. These supply all indecomposable base classes through degree five; the other classes there are products. Repeating the path-loop calculation raises the degree of the transgressive classes by one. For $n=3$, the class ${\mathrm{Sq}}^2{u}_3$ transgresses from $u_2^2$, and ${\mathrm{Sq}}^2{\mathrm{Sq}}^1{u}_3$ from the degree-five generator. For $n=4$, ${\mathrm{Sq}}^3{u}_4$ transgresses from $u_3^2$. For larger $n$ all four displayed low-degree operations are transgressive indecomposables. Acyclicity of the path-space total cohomology forces these transgressions and excludes additional classes in this range.

More systematically, this is the range up to $n+3$ of the Serre polynomial generators for mod-two Eilenberg–MacLane cohomology:For an admissible sequence of Steenrod squares, $I=(i_1,\dots ,i_r)$ has $i_j\ge 2i_{j+1}$; its degree increment is $\sum i_j$, and its Steenrod excess is $e(I)=i_1-i_2-\cdots -i_r$. Include the empty sequence. Up to increment three the nonempty possibilities are $(1),(2),(3),(2,1)$; the strict excess bound and possible products explain precisely the small-$n$ exceptions.

The low-degree mod-two cohomology of an Eilenberg–MacLane space isNegative-degree cohomology is zero. For $n=2$, ${\mathrm{Sq}}^{2}u=u^2$ and ${\mathrm{Sq}}^{3}u=0$ by instability, so the product in degree five must not be omitted. For $n=3$, ${\mathrm{Sq}}^{3}u=u^2$ is a product, still independent from ${\mathrm{Sq}}^2{\mathrm{Sq}}^{1}u$. For $n\ge 4$ the listed classes are indecomposable. The Adem relations include ${\mathrm{Sq}}^1{\mathrm{Sq}}^1=0$ and ${\mathrm{Sq}}^1{\mathrm{Sq}}^2={\mathrm{Sq}}^3$, so no further increment-three class comes from reversing the two squares.

Now use the space actually printed in the PDF,the converted TeX dropped the projective-space $P$'s. This stunted real projective space has one cell in dimensions $7,8,9,10$, besides its basepoint, and is $6$-connected. The integral cellular boundary is $2$ in even dimensions and zero in odd dimensions. HenceThe Hurewicz theorem gives ${\pi }_7(Y)=\mathbb{Z}/2$.

For the next two groups, let $K=K(\mathbb{Z}/2,7)$ and choose $f:Y\to K$ representing the generator of $H^7(Y;{\mathbb{F}}_2)$. It induces an isomorphism on ${\pi }_7$, and the target's higher homotopy groups vanish.

We need the low-degree integral homology of a mod-two Eilenberg–MacLane space. Here it isTo justify the torsion orders, the Serre class theorem first makes every positive-degree integral homology group of $K$ a finite 2-group. The universal coefficient theorem for cohomology with ${\mathbb{F}}_2$ and the low-degree dimensions give one cyclic summand in degrees seven, nine and ten and none in degree eight. The mod-two Bockstein homomorphism is ${\mathrm{Sq}}^1$. Its relevant nonzero actions areThe last target is nonzero: $(3,1)$ is admissible with excess two, below seven. It also follows by transgressing the nonzero square $({\mathrm{Sq}}^1{u}_2{)}^2$ through successive path fibrations. Each nonzero Bockstein pairs the mod-two classes associated with a cyclic integral summand of order exactly two; for a summand of order $2^r$ with $r>1$, this first Bockstein would be zero. In degree ten, ${\mathrm{Sq}}^{3}u$ is already the Ext class from $H_9$, so the independent class ${\mathrm{Sq}}^2{\mathrm{Sq}}^{1}u$ detects $H_{10}$. This proves all four integral groups without confusing them with mod-two Betti numbers.

Let $x\in H^1({\mathbb{RP}}^{10};{\mathbb{F}}_2)$ be its usual generator. The quotient classes in degrees $7$ through $10$ identify with $x^7,\dots ,x^{10}$ via the pair's cohomology. The Steenrod squares on real projective space satisfyThussince $\left(\genfrac{}{}{0ex}{}{7}{2}\right)$ and $\left(\genfrac{}{}{0ex}{}{7}{3}\right)$ are odd, while $\left(\genfrac{}{}{0ex}{}{8}{2}\right)$ is even. In degree nine, the nonzero cohomology map detects the map on $H_9$, as $H_8=0$ on both sides. Consequently $f_{\ast }:H_9(Y;\mathbb{Z})\to H_9(K;\mathbb{Z})$ is an isomorphism.

Treat $f$ as a mapping-cylinder pair $(K,Y)$. It is $8$-connected: both spaces are $6$-connected, ${\pi }_7$ is an isomorphism, and ${\pi }_8(K)=0$. The relative homology sequence gives $H_9(K,Y)=0$, since $H_9(Y)\to H_9(K)$ is an isomorphism and $H_8(Y)=0$. The Relative Hurewicz theorem then gives ${\pi }_9(K,Y)=0$, and the relative homotopy sequence identifies this group with ${\pi }_8(Y)$. Thus ${\pi }_8(Y)=0$ and the pair is now $9$-connected.

Next,because $H_{10}(Y)=0$ and the degree-nine map is an isomorphism. Apply the Relative Hurewicz theorem again and use ${\pi }_{10}(K)={\pi }_9(K)=0$:Therefore the homotopy groups of the stunted projective space through degree nine are