7
$\begingroup$

Suppose we have a cobordism $W$ of manifolds $M_0$ and $M_1$ and suppose the inclusion of $M_0$ into $W$ is a homotopy equivalence. Is the same true for the inclusion of $M_1$ (ie. is $W$ already an h-cobordism)?

Using Poincare Lefschetz duality one can show that this map induces isomorphisms on homology. Hence it suffices to show that the inclusion $M_1\rightarrow W$ induces an isomorphism on $\pi_1$.

$\endgroup$
12
$\begingroup$

For a counterexample take a non-simply connected homology sphere bounding a contractible manifold and remove the interior of a small ball from the contractible manifold. Such homology spheres exist in abundance.

$\endgroup$
6
$\begingroup$

I think the answer should be no, since people study so-called semi-s-cobordisms, which (if they exist) give counter-examples.

$\endgroup$
5
$\begingroup$

However, the answer is "yes" after stabilizing three times: The product $W \times J^3$ (where $J^3$ is a $3$-cube) is an $h$-cobordism from $M_0 \times J^3$ to the closure of the remaining part of the boundary. There are details in Remark 1.1.3 of my book project "Spaces of PL manifolds and categories of simple maps" with Jahren and Waldhausen.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.