The virtual Haken conjecture

We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main result of "Residual finiteness, QCERF and fillings of hyperbolic groups".

[1]  D. Osin,et al.  Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces , 2011, 1111.7048.

[2]  A. Schinzel.  Primitive divisors of the expression An - Bn in algebraic number fields. , 1968 .

[3]  M. Lackenby.  Surface subgroups of Kleinian groups with torsion , 2008, 0804.1309.

[4]  B. H. Bowditch,et al.  Relatively hyperbolic Groups , 2012, Int. J. Algebra Comput..

[5]  Virtually Haken surgeries on once-punctured torus bundles , 2005, math/0506443.

[6]  David Gabai.  Convergence groups are Fuchsian groups , 1992 .

[7]  C. Wall.  Rational Euler Characteristics , 1961, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  Ilya Kapovich,et al.  The Combination Theorem and Quasiconvexity , 2001, Int. J. Algebra Comput..

[9]  Wilhelm Plesken,et al.  Constructing Rational Representations of Finite Groups , 1996, Exp. Math..

[10]  S. Yau,et al.  Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature , 1982 .

[11]  Benson Farb,et al.  Relatively Hyperbolic Groups , 1998 .

[12]  Marc Lackenby.  Heegaard splittings, the virtually Haken conjecture and Property (τ) , 2002 .

[13]  Daniel T. Wise,et al.  A combination theorem for special cube complexes , 2012 .

[14]  Brian H. Bowditch,et al.  A topological characterisation of hyperbolic groups , 1998 .

[15]  É. Ghys,et al.  Sur Les Groupes Hyperboliques D'Apres Mikhael Gromov , 1990 .

[16]  J. Conway,et al.  ATLAS of Finite Groups , 1985 .

[17]  Charles C. Sims,et al.  Computation with finitely presented groups , 1994, Encyclopedia of mathematics and its applications.

[18]  M. Culler,et al.  Dehn surgery on knots , 1985 .

[19]  A. Haefliger,et al.  Group theory from a geometrical viewpoint , 1991 .

[20]  J. Rogawski.  Automorphic representations of unitary groups in three variables , 1990 .

[21]  David Gabai.  On the geometric and topological rigidity of hyperbolic 3-manifolds , 1994, math/9410218.

[22]  Some 3-manifolds and 3-orbifolds with large fundamental group , 2005, math/0507283.

[23]  J. Morgan,et al.  On Thurston''s uniformization theorem for three-dimensional manifolds , 1984 .

[24]  J. Masters.  Virtual homology of surgered torus bundles , 1998, math/9812068.

[25]  Michah Sageev,et al.  Ends of Group Pairs and Non‐Positively Curved Cube Complexes , 1995 .

[26]  V. Marković,et al.  Immersing almost geodesic surfaces in a closed hyperbolic three manifold , 2009, 0910.5501.

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

[28]  Mladen Bestvina,et al.  A combination theorem for negatively curved groups , 1992 .

[29]  W. Haken,et al.  Über das Homöomorphieproblem der 3-Mannigfaltigkeiten. I , 1962 .

[30]  Promoting essential laminations , 2002, math/0210148.

[31]  Gilbert Baumslag,et al.  Generalized triangle groups , 1987, Mathematical Proceedings of the Cambridge Philosophical Society.

[32]  Marc Burger,et al.  Lattices in product of trees , 2000 .

[33]  G. Perelman.  The entropy formula for the Ricci flow and its geometric applications , 2002, math/0211159.

[34]  Friedhelm Waldhausen,et al.  On irreducible 3-manifolds which are sufficiently large , 1968 .

[35]  J. Dixon.  Computing irreducible representations of groups , 1970 .

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

[37]  J. Morgan,et al.  Completion of the Proof of the Geometrization Conjecture , 2008, 0809.4040.

[38]  D. Cooper,et al.  Virtually Haken Dehn-filling , 1999 .

[39]  EIGENVALUES OF THE LAPLACIAN, THE FIRST BETTI NUMBER AND THE CONGRUENCE SUBGROUP PROBLEM , 1996 .

[40]  M. Bridson,et al.  Metric Spaces of Non-Positive Curvature , 1999 .

[41]  Friedhelm Waldhausen,et al.  The word problem in fundamental groups of sufficiently large irreducible 3-manifolds , 1968 .

[42]  Gaven Martin,et al.  Discrete Quasiconformal Groups I , 1987 .

[43]  Stephen J. Pride,et al.  Groups with two More Generators Than Relators , 1978 .

[44]  W. Thurston,et al.  The virtual Haken conjecture: Experiments and examples , 2002, math/0209214.

[45]  Peripheral fillings of relatively hyperbolic groups , 2006 .

[46]  B. Souvignier,et al.  Constructing Representations of Finite Groups and Applications to Finitely Presented Groups , 1998 .

[47]  G. Christopher Hruska,et al.  Relative hyperbolicity and relative quasiconvexity for countable groups , 2008, 0801.4596.

[48]  J. Dixon.  Exact solution of linear equations usingP-adic expansions , 1982 .

[49]  Jeffrey R. Weeks,et al.  A census of cusped hyperbolic 3-manifolds , 1999, Math. Comput..

[50]  John R. Stallings,et al.  Topology of finite graphs , 1983 .

[51]  M. Culler,et al.  Bounded, separating, incompressible surfaces in knot manifolds , 1984 .

[52]  Derek F. Holt,et al.  A cohomological criterion for a finitely presented group to be infinite , 1992 .

[53]  Some surface subgroups survive surgery , 2001, math/0104088.

[54]  On coverings of figure eight knot surgeries , 1991 .

[55]  Virtually Haken fillings and semi-bundles , 2004, math/0407328.

[56]  A. Hatcher,et al.  Boundary Curves of Incompressible Surfaces , 1982 .

[57]  G. Perelman.  Ricci flow with surgery on three-manifolds , 2003, math/0303109.

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

[59]  Peter Scott.  There are no fake Seifert Fibre Spaces with Infinite π 1 , 1983 .

[60]  Ying-Qing Wu,et al.  Incompressibility of surfaces in surgered 3-manifolds , 1992 .

[61]  G. Robert Meyerhoff,et al.  Homotopy hyperbolic 3-manifolds are hyperbolic , 1996 .

[62]  M. Freedman,et al.  Kneser-Haken finiteness for bounded 3-manifolds, locally free groups, and cyclic covers , 1998 .

[63]  D. Long.  Immersions and Embeddings of Totally Geodesic Surfaces , 1987 .

[64]  D. Wise,et al.  A boundary criterion for cubulation , 2009, 0908.3609.

[65]  Jason Fox Manning,et al.  SEPARATION OF RELATIVELY QUASICONVEX SUBGROUPS , 2008, 0811.4001.

[66]  A. Lubotzky.  Free quotients and the first betti number of some hyperbolic manifolds , 1996 .

[67]  H. Hilden,et al.  Heegaard splittings of branched coverings of , 1975 .

[68]  Eduardo Mart'inez-Pedroza.  On quasiconvexity and relatively hyperbolic structures on groups , 2012 .

[69]  S. Kojima,et al.  VIRTUAL BETTI NUMBERS OF SOME HYPERBOLIC 3-MANIFOLDS , 1988 .

[70]  Ulrich Oertel,et al.  An algorithm to decide if a 3-manifold is a Haken manifold , 1984 .

[71]  Daniel Groves,et al.  Dehn filling in relatively hyperbolic groups , 2006 .

[72]  S. Boyer,et al.  Virtual Haken 3-manifolds and Dehn filling , 2000 .

[73]  George Havas,et al.  Bohdan S. Majewski: Integer Matrix Diagonalization , 1997, J. Symb. Comput..

[74]  R. Canary.  Covering theorems for hyperbolic 3-manifolds , 2007 .

[75]  W. Thurston.  Three dimensional manifolds, Kleinian groups and hyperbolic geometry , 1982 .

[76]  Edited Rob Kirby,et al.  Problems in Low-Dimensional Topology , 1995 .

[77]  A. Yaman,et al.  A topological characterisation of relatively hyperbolic groups , 2004 .

[78]  D. Jungreis,et al.  Convergence groups and seifert fibered 3-manifolds , 1994 .