On invariants of surfaces in the -sphere
In this paper we study isotopy classes of closed connected orientable surfaces in the standard -sphere. Such a surface splits the -sphere into two compact connected submanifolds, and by using their Heegaard splittings, we obtain a -component handlebody-link. In this paper, we first show that the equivalence class of such a 2-component handlebody-link up to attaching trivial -handles can recover the original surface. Therefore, we can reduce the study of surfaces in the -sphere to that of -component handlebody-links up to stabilizations. Then, by using -families of quandles, we construct invariants of -component handlebody-links up to attaching trivial -handles, which lead to invariants of surfaces in the -sphere. In order to see the effectiveness of our invariants, we will also show that our invariants can distinguish certain explicit surfaces in the -sphere.