This series of posts are mainly based on the book ‘lectures on the h-cobordism theorem’ by John Milnor. And this post is an introduction to the h-cobordism, mainly the definitions and so forth.
H-cobordism is a branch of differential topology, which uses the cobordisms to define an equivalence between manifolds that is weaker than the equivalence of diffeomorphism.
Suppose that two manifolds(here we assume always differentiable manifolds), if there is a compact manifold such that its boundary , a disjoint union with diffeomorphic to (with a diffeomorphism ) and diffeomorphic to (with a diffeomorphism ). We call this quintuple a cobordism for . There are several things to say. are not necessarily connected. If we assume them to be both connected, then has a boundary of two component. This is not a trivial condition. We can not always find such an .
Now that we have defined objects(in a category to be clarified), then naturally we should consider morphisms between these objects. We define a morphism on the cobordisms for the pair to be where is a morphism of manifolds between and such that , and . So in a natural way, we can define an equivalence relation on these triads for (of course we assume that the triads exist, which, though, is not always right). So, we thus defined a category for each pair .
There is another equivalence relation, though it is not so obvious. We say that is cobordant(a French word) to if there exists a cobordism for . Clearly, is cobordant to itself, and if is cobordant to (by one cobordism ), is cobordant to (by a cobordism ), then we define with the quotient differential structure. In fact we have to show that this differential structure exists, but here we will not prove it. Admitting this result, then give that is cobordant to . What is more, if is cobordant to , then is cobordant to , too. Thus an equivalence relation is established.
There is a finer structure in this equivalence relation. If is cobordant to by a quintuple , and is cobordant to by , then we define to be the quintuple described above. So, in this way, we define another category, the objects of which are the manifolds, and the morphisms are the cobordisms between manifolds(we have to show that for any manifold , there is the identity morphism . This is not hard, is cobordant to itself by , which we set to be the identity morphism in this category).
In summary, we have defined two categories, the first is associated to two given manifolds, the objects being the cobordisms, the morphisms being the morphisms between cobordisms, the second category concerns with all the manifolds, the objects being the manifolds, the morphism being cobordisms.
Until now we have never talked about differential morphisms between these two manifolds . It is not easy to associate a function to the cobordisms on . Note that in the definition of cobordism, we require that the two boundaries be diffeomorphic to these two manifolds, so perhaps we should also require that be a diffeomorphism. If it is so, then the quintuple defines a cobordism on . And we denote this cobordism by , induced by . It is not hard to see that, if , then we have that . So, in some sense, we give a (contravariant) functor from the category of manifolds with diffeomorphisms as morphisms to the category of manifolds with cobordisms as morphisms. But in general, the cobordisms on are more numerous than the diffeomorphism between . So, in some sense, the cobordism is something softer than diffeomorphism.