manifolds and cobordisms
cobordism theory, Introduction
Definitions
Genera and invariants
Classification
Theorems
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
For an embedding of manifolds, a tubular neighbourhood of in is
a real vector bundle ;
an extension of to an isomorphism
with an open neighbourhood of in .
The derivative of provides an isomorphism of with the normal bundle of in .
For instance (DaSilva, theorem 3.1).
Moreover, tubular neighbourhoods are unique up to homotopy in a suitable sense:
For an embedding , write for the topological space whose underlying set is the set of tubular neighbourhoods of and whose topology is the subspace topology of equipped with the C-infinity topology.
If and are compact manifolds, then is contractible for all embeddings .
This appears as (Godin, prop. 31).
(…) propagating flow (…) (Godin).
key application: Pontrjagin-Thom collapse map
Ana Cannas da Silva, §3 of: Prerequisites from differential geometry [pdf]
Ana Cannas da Silva, §6.2 in: Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, Springer (2008) [doi:10.1007/978-3-540-45330-7, pdf]
The homotopical uniqueness of tubular neighbourhoods is discussed in
For an analogue in homotopical algebraic geometry see
See also
Last revised on November 16, 2023 at 09:43:58. See the history of this page for a list of all contributions to it.