# Smashing with a cw-complex preserves weak equivalences between well-pointed spaces

By well-pointed i mean that the inclusion of the base point is a h-cofibration, weak equivalences are the usual weak homotopy equivalences between spaces. this is claimed as part of theorem 6.9 (i) in model categories of diagram spectra but as far as i can see without reference. can anyone point me to some place in the literature or indicate where this statement comes from ?

-
There's an elementary proof by CW-induction, a nice exercise. – Fernando Muro Oct 5 '12 at 19:03
What would the induction step look like, smashing source and target with a cellular pushout and then use some sort of gluing lemma ? – Christian Wimmer Oct 5 '12 at 20:59
Yes, induction on dimension using gluing. It doesn't use function spaces, just stays in the cofibrant side of homotopy theory. – Fernando Muro Oct 6 '12 at 9:18

I would like to just comment but don't see how. Christian, here's an answer to your last question. For based spaces, you can just do what you want by hand, as Fernando suggested, taking care to use disjoint basepoints to make your attaching maps of $A$ based. You are right to complain that the interplay of $h$ and $q$-model structures is not obvious. Based spaces are of course spaces over and under a point. In Parametrized homotopy theory'', Sigurdsson and I generalize to parametrized spaces, which are spaces over and under a give space, and then the combination of $h$, $q$, and related model structures is surprisingly delicate. In that book, the answer to your original question is axiomatized in a general model categorical context in 5.4.1 (see (v)) and the axioms are verified for parametrized spaces in 5.4.9. But that is like hitting a thumb tack with a sledge hammer. Maybe it will help to add that in the direct argument you do need to know that a wedge of weak equivalences is a weak equivalence, and that uses the well-pointed hypothesis.
As usual, I apologize for excess concision. Let $A$ be a based CW complex, $X$ and $Y$ well-pointed spaces, $f\colon X\to Y$ a (weak) equivalence. The first claim in 6.9(i) is that $[X\wedge A,Z] \cong [X,F(A,Z)]$, and a proof is indicated. Since $f$ clearly induces a bijection on the right side, it must induce a bijection on the left side. By Yoneda (take $Z = X\wedge A$ to find an inverse to $f\wedge id$ in the homotopy category), that means that $f\wedge id\colon X\wedge A \to Y\wedge A$ is a weak equivalence.
Sorry for concision again. The adjunction is best checked model theoretically. We have the $q$-model structure on based spaces. Fixing $A$, we have the evident point-set level adjunction. By a quick use of the adjunction to check the lifting properties, we see that the functor \$F(A,-) preserves (Serre) fibrations and acyclic fibrations. Therefore the adjunction is a Quillen adjunction and so descends to homotopy categories. In answer to your question above, yes, and the gluing lemma is itself best proven model categorically. See e.g. Section 17.2 of More Concise'' for details. – Peter May Oct 6 '12 at 0:33