3-Manifolds with nilpotent embeddings in $S^4$

Abstract

We consider embeddings of 3-manifolds $M$ in $S^4$ such that the two complementary regions $X$ and $Y$ each have nilpotent fundamental group. If $β=β_1(M)$ is odd then these groups are abelian and $β\leq3$. In general, $π_1(X)$ and $π_1(Y)$ have 3-generator presentations, and $β\leq6$. We determine all such nilpotent groups which are torsion-free and have Hirsch length $\leq5$.