Exotic Mazur manifolds and knot trace invariants
View Researcher's Other CodesDisclaimer: The provided code links for this paper are external links. Science Nest has no responsibility for the accuracy, legality or content of these links. Also, by downloading this code(s), you agree to comply with the terms of use as set out by the author(s) of the code(s).
Authors | Kyle Hayden, Thomas E. Mark, Lisa Piccirillo |
Journal/Conference Name | ARXIV: GEOMETRIC TOPOLOGY |
Paper Category | Mathematical Sciences |
Paper Abstract | From a handlebody-theoretic perspective, the simplest compact, 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 $\nu$ is an invariant of the smooth 4-manifold associated to a knot in the 3-sphere by attaching an n-framed 2-handle to the 4-ball along the knot. In contrast, we also show (modulo forthcoming work of Ozsvath and Szabo) that the concordance invariants $\tau$ and $\epsilon$ are not invariants of such 4-manifolds. As a corollary to the existence of exotic Mazur manifolds, we produce integer homology 3-spheres admitting two distinct $S^1 \times S^2$ surgeries, resolving a question from Problem 1.16 in Kirby's list. |
Date of publication | 2019 |
Code Programming Language | Python |
Comment |