Now that we have some initial tools about CW complexes, it is time to prove one of the first really interesting results. It says that, basically, homotopy groups are enough to determine CW complexes up to homotopy equivalence—almost.
Theorem 1 (Whitehead) Suppose are connected CW complexes. Suppose is a continuous map and
is an isomorphism for any choice of . Then is a homotopy equivalence.
It is important to note that this theorem does not to say that two CW complexes with the same homotopy groups are isomorphic! We will give examples of this in the sequel. Nonetheless, the more correct point is that the homotopy groups as functors are enough to detect homotopy equivalences among CW complexes.
I should, perhaps, note that the homotopy groups at different points of a path-connected space are isomorphic in a natural way. This point deserves more elaboration. But the point for now is that an ordinary (unpointed) homotopy equivalence between path-connected spaces induces isomorphisms in the homotopy groups.
The theorem can actually be proved with fairly elementary tools. We shall do so in this post.
The first thing to note is that we can assume is a cellular map. This follows because we can homotope to be cellular by the cellular approximation theorem.
Now we can factor into the composition
where is the mapping cylinder of ; since is cellular, this is itself a CW complex (see below). Then the map is an inclusion (in fact, an inclusion of a subcomplex) and the map is a homotopy equivalence. So it is sufficient to assume that is the inclusion of a subcomplex. In particular, we are reduced to proving:
Theorem 2 Let be a subcomplex of the pointed CW complex . Suppose induces isomorphims on all the homotopy groups at . Then deformation retracts onto .
Alright. So we have the identity map . We want to homotope this to something taking values in , such that the homotopy doesn’t move on . This is precisely what a deformation retraction (some people add the prefix “strong”) is. This will be accomplished by the following compression lemma, which in turn is a corollary of the compression criterion a while back.
Lemma 3 (Compression lemma) Suppose is a CW subcomplex, and any pair. Suppose is a map of pairs. Suppose moreover that for every dimension of an -cell in , we have (at any basepoint in ). Then is homotopic relative to to a map with .
So the condition is that have mild homotopic requirements. The conclusion is that we can homotope such that the image at the end lies in this smaller subspace , but at all points the homotopy doesn’t move on . If these relative homotopy groups vanish, there is no obstruction to “compressing” into .
Proof: The way to do this is, as is customary among CW arguments, cell by cell. Let us suppose inductively that we have homotoped such that lands inside , and the homotopy is stationary on . We will now homotope to get the skeleton inside while leaving the -skeleton stationary.
Fix a -cell in . Then the homotoped version of , which I will call , sends the boundary of into by assumption. So we have a map
from . But by the compression criterion for homotopy groups, we know that this can be homotoped relative the boundary to a map . We apply this homotopy for all the -cells at once to homotope so that the -cells all have image lying in ; then we use the fact the inclusion is a cofibration to extend the homotopy to . In the end, we have homotoped to changing nothing on .
So we can homotope such that each piece of the skeleton is taken care of. How do we get them all in? Well, we compose the homotopies
such that the first one is done in the time , the second in , and so on. Since the sequence becomes fixed eventually on any fixed finite subcomplex, this infinite composition is continuous. And in total, we get the homotopy from to something which has image landing in .
And now, it is time to prove the Whitehead theorem. As I said, it is really enough to take the case of the inclusion of a subcomplex, i.e. to prove the second incarnation of the Whitehead theorem. We have to show that if is the inclusion of a subcomplex whose relative homotopy groups vanish, then deformation retracts onto . This is now a direct consequence of the compression lemma. And that proves the Whitehead theorem—almost.
The loose end
Technically, I never showed one thing, namely that if is a cellular map between CW complexes, then the mapping cylinder is a CW complex. Let us do this now. First, it is a general and well-known fact that the product of two CW complexes is a CW complex. So is a CW complex. And, from the construction, is a subcomplex.
It’s the attaching that we have to check.
(Caution: The product of two CW complexes should not be given the product topology, but the “compactly generated” topology. This is because a CW complex has the W for weak: the topology is the weak topology on the skeleta. I don’t want to go into these technical details; consult a book on homotopy theory.)
Anyway, we have to show:
Lemma 4 Let be a CW complex and a subcomplex. Suppose is a cellular map (for another CW complex). Then the space is a CW complex.
Proof: We take as the cells the cells of not in and the cells of . This is kosher, because is the union of various cells, being a subcomplex. The reason we have to require to be cellular, though, is that the boundary of each -cell has to be contained in a union of -cells.