Profinite rigidity for Seifert fibre spaces (Q527603)

Hempel gave examples of closed orientable Seifert fiber spaces which cannot be distinguished by the finite quotients of their fundamental groups. More precisely, if \(M_\phi\) is the surface bundle with periodic monodromy \(\phi\), then \(\pi_1 (M_\phi )\) and \(\pi_1 (M_{\phi^k} )\) have the same finite quotients (hence the same profinite completions), if \(k\) is coprime to order(\(\phi)\); however in most cases \(\pi_1 (M_\phi )\) and \(\pi_1 (M_\phi^k )\) are not isomorphic. He gave similar examples for Seifert fiber spaces with connected boundary. In the present paper the author defines an (orientable) \(3\)-manifold to be \textit{profinitely rigid} if the profinite completion distinguishes its fundamental group from all other fundamental groups of (orientable) \(3\)-manifolds. First he shows that a closed orientable Seifert fiber space \(M\) is profinitely rigid, except if \(M\) is as in Hempel's examples. Then he considers Seifert fiber spaces \(M_i\) with non-empty boundary and shows that \(\pi_1 (M_1 )\) and \(\pi_1 (M_2 )\) have isomorphic profinite completions by an isomorphism inducing an isomorphism of peripheral systems if and only if \(M_1 =M_\phi \) and \(M_2 =M_{\phi^k} \) for a periodic monodromy \(\phi\) and \(k\) coprime to order(\(\phi)\).