Simplifying 3-manifolds in R^4

Ian Agol, Michael H. Freedman

We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the…