Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and spatial graphs.The main ingredients in the proof of the completeness are a generalization of the Kneser conjecture for $3$-manifolds with boundary proved also here, and extensions of Waldhausen's theorem by Evans, Tucker and Swarup. Computable invariants of handlebody links derived therefrom are calculated.
Categories: math.GT math.AT