Manifolds and cobordisms
For an embedding of manifolds, a tubular neighbourhood of in is
(tubular neighbourhood theorem)
Every embedding does admit a tubular neighbourhood.
For instance (DaSilva, theorem 3.1).
Moreover, tubular neighbourhoods are unique up to homotopy in a suitable sense:
This appears as (Godin, prop. 31).
Pullbacks of tubular neighbourhoods
(…) propagating flow (…) (Godin).
Basics on tubular neighbourhoods are for instance in section 3 of
- Ana Cannas da Silva, Prerequisites from differential geometry (pdf)
The homotopical uniqueness of tubular neighbourhoods is discussed in
For an analogue in homotopical algebraic geometry see
Revised on June 2, 2013 02:44:28
by Beren Sanders