Profinite properties of graph manifolds (Q5961884)

From MaRDI portal
scientific article; zbMATH DE number 5786248
Language Label Description Also known as
English
Profinite properties of graph manifolds
scientific article; zbMATH DE number 5786248

    Statements

    Profinite properties of graph manifolds (English)
    0 references
    0 references
    0 references
    16 September 2010
    0 references
    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.
    0 references
    conjugacy separable
    0 references
    profinite topology
    0 references
    profinite groups
    0 references
    3-manifolds
    0 references
    graph manifolds
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references