Mazur-type manifolds with -space boundaries
arXiv:1807.08880
Abstract
In this note, we prove that if the boundary of a Mazur-type -manifold is an irreducible Heegaard Floer homology -space, then the manifold must be the -ball, and the boundary must be the -sphere. We use this to give a new proof of Gabai's Property R.
5 pages, 3 figures