Doubles of groups and hyperbolic LERF \(3\)-manifolds (Q1971905): Difference between revisions

Let \(G\) be a group. The profinite topology on \(G\) is obtained by setting all finite index subgroups of \(G\) to be the base of open neighborhoods of the identity element. \(G\) is said to be LERF (locally extended residually finite) if any finitely generated subgroup of \(G\) is closed in the profinite topology. A 3-manifold is said to be LERF if its fundamental group is LERF. The main result of this paper is the following Theorem. Let \(M\) be a compact hyperbolic LERF 3-manifold with boundary, which does not have boundary tori, let \(B\) be a connected submanifold of \(\partial M\), such that \(B\) is incompressible in \(M\), and let \(D(M)\) be the double of \(M\) along \(B\). If \(D(M)\) is hyperbolic, has nonempty boundary, and has no boundary tori, then \(D(M)\) is LERF. If the boundary of \(D(M)\) is empty, then any geometrically finite subgroup and any freely indecomposable geometrically infinite subgroup (hence any closed surface subgroup) of the fundamental group of \(D(M)\) is closed in the profinite topology. Using this result, the author constructs a family of hyperbolic 3-manifolds with LERF fundamental group.