Separability of double cosets and conjugacy classes in 3‐manifold groups

Let M = H^3 / \Gamma be a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of \Gamma and g is in \Gamma, then the double coset HgK is separable in \Gamma. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoking recent work of Agol and Wise, it follows that if M is a compact, orientable 3-manifold then \pi_1(M) is conjugacy separable.

[1]  P. Zalesskii,et al.  Profinite properties of graph manifolds , 2008, 0807.3727.

[2]  Nicolas Bergeron,et al.  Hyperplane sections in arithmetic hyperbolic manifolds , 2011, J. Lond. Math. Soc..

[3]  Bianchi groups are conjugacy separable , 2009, 0908.1420.

[4]  E. Hamilton.  Finite quotients of rings and applications to subgroup separability of linear groups , 2004 .

[5]  Graham A. Niblo,et al.  Subgroup separability and 3-manifold groups , 1991 .

[6]  Peter Scott.  Subgroups of Surface Groups are Almost Geometric , 1978 .

[7]  Virtual fibering of certain cover of S3, branched over the figure eight knot , 2008 .

[8]  A. Martino.  A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separable , 2005, math/0505565.

[9]  Graham A. Niblo.  Separability properties of free groups and surface groups , 1992 .

[10]  E. Allman,et al.  Abelian Subgroups of Finitely Generated Kleinian Groups are Separable , 1999 .

[11]  A residual property of certain groups , 1970 .

[12]  Daniel T. Wise,et al.  Special Cube Complexes , 2008, The Structure of Groups with a Quasiconvex Hierarchy.

[13]  Roger C. Alperin.  An elementary account of selberg's lemma , 1987 .

[14]  A. Minasyan.  Hereditary conjugacy separability of right angled Artin groups and its applications , 2009, 0905.1282.

[15]  Separable subsets of GFERF negatively curved groups , 2005, math/0502101.

[16]  V. Remeslennikov.  Conjugacy in polycyclic groups , 1969 .

[17]  R. Benedetti,et al.  Lectures on Hyperbolic Geometry , 1992 .

[18]  E. Hamilton.  Classes of separable two-generator free subgroups of 3-manifold groups , 2003 .

[19]  H. Bass.  Groups of integral representation type. , 1980 .

[20]  D. Solitar,et al.  A note on groups with separable finitely generated subgroups , 1987, Bulletin of the Australian Mathematical Society.

[21]  William P. Thurston,et al.  A norm for the homology of 3-manifolds , 1986 .

[22]  William Jaco,et al.  Seifert fibered spaces in 3-manifolds , 1979 .

[23]  Daniel T. Wise,et al.  RESEARCH ANNOUNCEMENT: THE STRUCTURE OF GROUPS WITH A QUASICONVEX HIERARCHY , 2009 .

[24]  E. Hamilton.  Abelian Subgroup Separability of Haken 3‐Manifolds and Closed Hyperbolic n‐Orbifolds , 2001 .

[25]  Gerald J. Janusz,et al.  Algebraic Number Fields , 2005 .

[26]  John Hempel,et al.  RESIDUAL FINITENESS FOR 3-MANIFOLDS , 1987 .

[27]  Klaus Johannson,et al.  Homotopy Equivalences of 3-Manifolds with Boundaries , 1979 .

[28]  Peter B. Shalen,et al.  Varieties of group representations and splittings of 3-manifolds , 1983 .

[29]  H. Wilton,et al.  Some virtually special hyperbolic 3-manifold groups , 2009, 0903.5288.

[30]  I. Agol,et al.  Residual finiteness, QCERF, and fillings of hyperbolic groups , 2008, 0802.0709.

[31]  Ian Agol,et al.  The virtual Haken conjecture , 2012, 1204.2810.