Distinguishing geometries using finite quotients

Abstract

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of the fundamental group of a closed, hyperbolic 3-manifold does not contain a subgroup isomorphic to ${\hat{\mathbb{Z}}}^2$. This gives a profinite characterization of hyperbolicity among irreducible 3-manifolds. We also characterize Seifert fibred 3-manifolds as precisely those for which the profinite completion of the fundamental group has a non-trivial procyclic normal subgroup. Our techniques also apply to hyperbolic, virtually special groups, in the sense of Haglund and Wise. Finally, we prove that every finitely generated pro-$p$ subgroup of the profinite completion of a torsion-free, hyperbolic, virtually special group is free pro-$p$.

45 pages. Added Lemmas 4.5 and 4.6, showing that the cusp subgroups of a hyperbolic 3-manifold group profinitely form a malnormal family. This is the final version accepted for publication

Cited by in corpus (14)

• Profinite detection of 3-manifold decompositions
• Profinite rigidity and surface bundles over the circle
• The profinite completions of knot groups determine the Alexander polynomials
• Pro-$p$ subgroups of profinite completions of 3-manifold groups
• Profinite rigidity for twisted Alexander polynomials
• On profinite rigidity amongst free-by-cyclic groups I: the generic case
• Profinite rigidity properties of central extensions of 2-orbifold groups
• Profinite rigidity in the SnapPea census
• Infinitely many virtual geometric triangulations
• On the profinite distinguishability of hyperbolic Dehn fillings of finite-volume 3-manifolds
• Profinite almost rigidity in 3-manifolds
• Problems on handlebody groups
• Alexander polynomial, Dijkgraaf-Witten invariant, and Seifert fibred surgery
• Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds