Talk:Homotopy spheres II (Ex)
Exercise 3.
Suppose that is a diffeomorphism. Then is an embedding of into with trivial normal bundle. Therefore the composition of with the standard embedding is an embedding with trivial normal bundle.
Now assume that there is an embedding of into with trivial normal bundle. Consider the tubular neighborhood of in . Its boundary is embedded into .
Denote by the "interior" connected component of , i.e. the component homeomorphic to . Let be standardly embedded into and disjoint with . Denote by the "exterior" connected component of , i.e. the component homeomorphic to .
Then and is a manifold with boundary . Using Mayer–Vietoris sequence for we obtain that the homologies of equal to the homologies of (or ) and that inclusions and induce isomorphism in homologies. Since both and are simply-connected then these inclusions are homotopy equivalences.
So, is an -cobordism. Therefore since then -cobordism Theorem implies that is diffeomorphic to .