A compact smooth cobordism is an h-cobordism when both boundary inclusions are homotopy equivalences. The name does not itself impose simple connectivity. A trivial cobordism is an h-cobordism because a product cylinder retracts onto either end.
In topology, particularly in the field of differential topology, H-cobordism is a concept that arises in the study of smooth manifolds. It is a specific type of cobordism that deals with the structures of manifolds and the mappings between them. To provide a more precise definition, let \( M \) and \( N \) be smooth manifolds of the same dimension.
New to topics? Read the docs here!