Cobordism of smooth maps

From Diffgeom
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Definition

Suppose are differential manifolds, and are smooth maps. Then, a smooth cobordism from to is the following data:

  • A smooth cobordism from to i.e. a manifold with boundary with a diffeomorphism
  • A smooth map such that the composite of with the inclusions of are respectively the maps

Note that we may sometimes fix the cobordism between and , and ask whether we can fill in a function for the particular cobordism.