1: \begin{abstract}

2: %(Experimental)

3: %$3D$ objects or more precisely $3$-manifolds in the $3$-sphere $\sphere$ are geometric objects

4: %studied by both computer scientists and low-dimensional topologists; it is a subject closely 

5: %related to knotted surfaces in $\sphere$ and handlebody knot theory.

6: In this paper we study embeddings of $3$-manifolds with connected boundary in $\sphere$

7: or, equivalently, embeddings of oriented connected closed surfaces in $\sphere$.

8: We develop a complete invariant, the fundamental span, for such embeddings, which 

9: generalizes the notion of the peripheral system of a knot group.

10: From the fundamental span, several computable invariants are derived, 

11: and they are employed 

12: to investigate handlebody knots, bi-knotted surfaces and the chirality of a knot.  

13: These invariants are capable to distinguish 

14: inequivalent handlebody knots and bi-knotted surfaces 

15: with homeomorphic complements. Particularly, we obtain an alternative proof of 

16: inequivalence of Ishii et al.'s handlebody knots $5_{1}$ and $6_{4}$, and construct 

17: an infinite family of pairs of inequivalent bi-knotted surfaces 

18: with homeomorphic complements. 

19: An interpretation of Fox's invariant in terms of the fundamental span 

20: is also discussed; we use it to prove the chirality of   

21: $9_{42}$ and $10_{71}$, which are known to be undetectable 

22: by the Jones and HOMFLY polynomials. 

23: \end{abstract}

24: