Talk:Uniqueness of contractible coboundary (Ex)
From Manifold Atlas
Let be a homology -sphere bounding contractible -manifolds and . Let . By Seifert van-Kampen and Mayer-Vietoris, and , so Freedman’s theorem says that is homeomorphic to . Therefore, bounds , where is homeomorphic to the -ball.
Thus, we have constructed a cobordism from to . Since , and are all contractible, this is an -cobordism. By the -cobordism theorem for manifolds with boundary, there is a homeomorphism which is the indentity on . Therefore, is a homeomorphism from to fixing the boundary pointwise.