In a fibration, can a deformation retraction of the base be lifted to the total space?

Write $E_A = p^{-1}(A)$. Under mild conditions, the inclusion $$ (E_A \times I)\cup (E \times \{ 0\}) \to E\times I $$ will be a cofibration and a (weak) homotopy equivalence. Now set up the lifting/extension problem

Lifting/Extension Problem

where $H$ is the deformation retraction. The dashed arrow can then be found and it is the deformation retraction you want.

Mild conditions: $A\hookrightarrow B$ is a closed (as Mark Grant mentions) cofibration; then $E_A\hookrightarrow E$ is a cofibration and so is $(E_A \times I)\cup (E \times \{ 0\}) \to E\times I$.


The details of Jeff's answer can be filled in using results of Strøm (presumably unrelated!).

By Theorem 4 in

Strøm, Arne Note on cofibrations. I. Math. Scand. 19 1966 11–14,

Jeff's diagram has a solution whenever $(E,E_A)$ is a closed cofibration. But by results in

Strøm, Arne Note on cofibrations. II. Math. Scand. 22 1968 130–142

this is true whenever $i: A\hookrightarrow B$ is a closed cofibration. So these could be the "mild conditions" our Strom mentioned.


To clarify one point in the previous answers of Jeff and Mark: There are two different definitions of "deformation retraction" that are often used. In the stronger notion the subspace has to be pointwise fixed during the homotopy, while in the weaker version it only needs to be setwise invariant during the homotopy. The original question seems to be using the weaker definition. With this definition it's clear that a lift of a deformation retraction of $B$ to $A$, starting with the identity map of $E$, is a deformation retraction of $E$ onto $p^{-1}(A)$. This lift always exists using the usual definition of a fibration as a map satisfying the homotopy lifting property for all spaces. However, there is in general no guarantee that a lift of a strong deformation retraction will be a strong deformation retraction. The cofibration property for $(B,A)$ suffices to give this "strong" version of the result, as Jeff and Mark explained.