Now Kawauchi claims that knotted surfaces in $S^4$ whose complement has cyclic fundamental group are smoothly trivial (i.e., bound a handlebody). See Corollary 1.3.
Ian Agol
- 68.8k
- 3
- 194
- 358