I'm not sure whether this will be helpful to mpdude, but I thought I'd just point out that given a smooth manifold M and a smooth submanifold N, you can see very easily that the inclusion $Nto M$ is a cofibration, without any cell structure.
Simply observe that a tubular neighborhood gives you a mapping cylinder neighborhood of N inside M (if you choose a metric, then the disk bundle is the mapping cylinder of the projection from the sphere bundle down to N). The homotopy extension property is then easy to verify, because in general for a map $f: Xto Y$, the pair $(M_f, Xcup Y)$ has the homotopy extension property ($M_f$ is the mapping cylinder) so given a map on M and a homotopy on the submanifold M, you can extend your homotopy trivially outside the disk bundle of the tubular neighborhood, and use the HEP to extend it on the disk bundle itself (leaving the homotopy constant on the sphere bundle).
I suppose this procedure would also work for infinite-dimensional manifolds (with appropriate hypotheses).
Closely related is the characterization of (closed) cofibrations in terms of neighborhood deformation retracts, which appears for example in Arne Strom's Note on Cofibrations II.
No comments:
Post a Comment