Trace Embeddings from Zero Surgery Homeomorphisms

Abstract

Manolescu and Piccirillo recently initiated a program to construct an exotic S 4 or #nCP 2 by using zero surgery homeomorphisms and Rasmussen's s-invariant [MP21]. They find five knots that if any were slice, one could construct an exotic S 4 and disprove the Smooth 4-dimensional Poincaré conjecture. We rule out this exciting possibility and show that these knots are not slice. To do this, we use a zero surgery homeomorphism to relate slice properties of two knots stably after a connected sum with some 4manifold. Furthermore, we show that our techniques will extend to the entire infinite family of zero surgery homeomorphisms constructed by Manolescu and Piccirillo. However, our methods do not completely rule out the possibility of constructing an exotic S 4 or #nCP 2 as Manolescu and Piccirillo proposed. We explain the limits of these methods hoping this will inform and invite new attempts to construct an exotic S 4 or #nCP 2 . We also show a family of homotopy spheres constructed by Manolescu and Piccirillo using annulus twists of a ribbon knot are all standard.

From zero surgeries to candidates for exotic definite 4‐manifolds

“…Remark 1.5. After our paper was posted on the arXiv, Nakamura [41] showed that the knots in Figures 1 and 23 are not H-slice in # 𝑛 ℂℙ 2 for any 𝑛 (and in particular not slice). Thus, they cannot be used to produce an exotic 𝑆 4 or # 𝑛 ℂℙ 2 .…”