Abstract
From a handle-theoretic perspective, the simplest contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our diffeomorphism obstruction comes from our proof that the knot Floer homology concordance invariant Îœ is an invariant of the trace of a knot KâS3, i.e. the smooth 4-manifold obtained by attaching a 2-handle to B4 along K. This provides a computable, integer-valued diffeomorphism invariant that is effective at distinguishing exotic smooth structures on knot traces and other simple 4-manifolds, including when other adjunction-type obstructions are ineffective. We also show that the concordance invariants Ï and Ï” are not knot trace invariants. As a corollary to the existence of exotic Mazur manifolds, we produce integer homology 3-spheres admitting two distinct S1ĂS2 surgeries, resolving a question from Problem 1.16 in Kirby's list [28].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.