Profinite properties of graph manifolds (Q5961884)

A group is \(G\) is conjugate separable if every conjugacy class is closed in the profinite topology on \(G\). Moreover, if a residually finite group \(G\) is the fundamental group of a graph of groups \(({\mathcal G},\Gamma)\) the profinite topology on \(G\) is called efficient if the vertex and edge groups of \(G\) are closed and if the profinite topology on \(G\) induces the full profinite topologies on the vertex and edge groups of \({\mathcal G}\). Finally a group \(G\) is good if the natural map from \(G\) to its profinite completion induces an isomorphism at the level of cohomology with coefficients in any fixed finite \(G\)-module. In the present paper the following results are proved. 1. Let \(M\) be a closed, orientable, irreducible, geometrizable 3-manifold, and let \(({\mathcal G},\Gamma)\) be the graph-of-groups decomposition of \(\pi_1(M)\) induced by the JSJ decomposition of \(M\). Then the profinite topology on \(\pi_1(M)\) is efficient. 2. Let \(M\) be a closed, irreducible, orientable 3-manifold, and suppose that the fundamental groups of the pieces of the JSJ decomposition of \(M\) are good. Then the fundamental group of \(M\) is good. 3. (Corollary of 2.) If \(M\) is a closed, orientable graph manifold then \(\pi_1(M)\) is good. 4. If \(M\) is an orientable graph manifold then \(\pi_1(M)\) is conjugacy separable.