Topology of general $3$-manifolds Topological manifolds mathematics