3-manifold groups are virtually residually p

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is well-known that finitely generated linear groups over fields of characteristic zero are virtually residually $p$ for all but finitely many $p$. In particular, fundamental groups of hyperbolic 3-manifolds are virtually residually $p$. It is also well-known that fundamental groups of 3-manifolds are residually finite. In this paper we prove a common generalization of these results: every 3-manifold group is virtually residually $p$ for all but finitely many $p$. This gives evidence for the conjecture (Thurston) that fundamental groups of 3-manifolds are linear groups.

[1]  John R. Stallings,et al.  Homology and central series of groups , 1965 .

[2]  J. Müller,et al.  Group Theory , 2019, Computers, Rigidity, and Moduli.

[3]  A. Lubotzky A group theoretic characterization of linear groups , 1988 .

[4]  G. Swarup,et al.  On scott’s core theorem , 1990 .

[5]  G. A. Soifer,et al.  Free Subgroups of Linear Groups , 2007 .

[6]  J. Labute The Lie algebra associated to the lower central series of a link group and Murasugi’s conjecture , 1990 .

[7]  P. Zalesskii,et al.  PROFINITE AND PRO-p COMPLETIONS OF POINCARÉ DUALITY GROUPS OF DIMENSION 3 , 2007 .

[8]  Rolf Brandl Integer Polynomials That Are Reducible Modulo All Primes , 1986 .

[9]  Ross Geoghegan,et al.  Topological methods in group theory , 2007 .

[10]  A. Lubotzky,et al.  On some Λ-analytic pro-p groups , 1994 .

[11]  Stefan Friedl,et al.  Twisted Alexander polynomials and fibered 3-manifolds , 2009, 1001.0132.

[12]  C. Gordon Some aspects of classical knot theory , 1978 .

[13]  J. Neukirch Algebraic Number Theory , 1999 .

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

[15]  M. Shirvani On residually finite graph products , 1987 .

[16]  J. Lennox The Fitting-Gaschütz-Hall relation in certain soluble by finite groups , 1973 .

[17]  B. Wehrfritz Generalized Free Products of Linear Groups , 1973 .

[18]  T. Schick,et al.  Galois cohomology of completed link groups , 2007, 0708.3727.

[19]  M. Lazard,et al.  Sur les groupes nilpotents et les anneaux de Lie , 1954 .

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

[21]  Benjamin Baumslag,et al.  Residually finite hnn extensions , 1978 .

[22]  R. Tennant Algebra , 1941, Nature.

[23]  A. Lubotzky Group presentation, $p$-adic analytic groups and lattices in $\mathrm{SL}_2(\mathbf{C})$ , 1983 .

[24]  D. Passman,et al.  The algebraic structure of group rings , 1977 .

[25]  Nicolas Bourbaki,et al.  Eléments de Mathématique , 1964 .

[26]  S. A. Jennings,et al.  The structure of the group ring of a $p$-group over a modular field , 1941 .

[27]  T. Weigel On profinite groups with finite abelianizations , 2007 .

[28]  Sadayoshi Kojima,et al.  Bounding finite groups acting on 3-manifolds , 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

[29]  G. Higman,et al.  A Finitely Related Group with An Isomorphic Proper Factor Group , 1951 .

[30]  Daniel T. Wise,et al.  SUBGROUP SEPARABILITY OF GRAPHS OF FREE GROUPS WITH CYCLIC EDGE GROUPS , 2000 .

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

[32]  Groups with the same cohomology as their pro-$p$ completions , 2008, 0802.0118.

[33]  Daniel E Cohen,et al.  Combinatorial Group Theory: COVERINGS AND GROUP THEORY , 1989 .

[34]  Frank Quinn,et al.  Problems in low-dimensional topology , 1997 .

[35]  G. P. Scott Compact Submanifolds of 3‐Manifolds , 1973 .

[36]  Erwin Schrödinger International,et al.  Supported by the Austrian Federal Ministry of Education, Science and Culture , 1689 .

[37]  H. Bass Covering theory for graphs of groups , 1993 .

[38]  J. Wilson,et al.  Conjugacy separability of certain Bianchi groups and HNN extensions , 1998, Mathematical Proceedings of the Cambridge Philosophical Society.

[39]  Patrizia M. Gianni,et al.  Gröbner Bases and Primary Decomposition of Polynomial Ideals , 1988, J. Symb. Comput..

[40]  A. Reid,et al.  Simple quotients of hyperbolic 3-manifold groups , 1998 .

[41]  W. Magnus Noneuclidean tesselations and their groups , 1974 .

[42]  R. Grigorchuk ON THE HILBERT-POINCARÉ SERIES OF GRADED ALGEBRAS ASSOCIATED WITH GROUPS , 1990 .

[43]  M. Lackenby New lower bounds on subgroup growth and homology growth , 2005, math/0512261.

[44]  Daan Krammer,et al.  The braid group B4 is linear , 2000 .

[45]  A. Seidenberg Constructions in algebra , 1974 .

[46]  B. A. F. Wehrfritz,et al.  Infinite linear groups , 1973 .

[47]  Torsion numbers of augmented groups: with applications to knots and links , 2002, math/0202197.

[48]  K. Gruenberg Residual Properties of Infinite Soluble Groups , 1957 .

[49]  Cornelia Drutu,et al.  Non-linear residually finite groups , 2004 .

[50]  J. Ratcliffe Euler characteristics of 3-manifold groups and discrete subgroups of SL(2, C) , 1987 .

[51]  F. Leinen An Amalgamation Theorem For Soluble Groups , 1987, Canadian Mathematical Bulletin.

[52]  C. R. Leedham-Green,et al.  The Structure of Groups of Prime Power Order , 2002 .

[53]  Polynomial Maps over p -Adics and Residual Properties of Mapping Tori of Group Endomorphisms , 2008, 0810.0443.

[54]  A. Reznikov Three-manifolds class field theory (Homology of coverings for a nonvirtually b1-positive manifold) , 1997 .

[55]  D. Wise,et al.  Cubulating graphs of free groups with cyclic edge groups , 2010 .

[56]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[57]  Matthias Aschenbrenner,et al.  Residual properties of graph manifold groups , 2010, 1004.3618.

[58]  J. Kollár Sharp effective Nullstellensatz , 1988 .

[59]  Grete Hermann,et al.  Die Frage der endlich vielen Schritte in der Theorie der Polynomideale , 1926 .

[60]  Pro-p groups with non-isomorphic discrete and continuous cohomology groups , 2008 .

[61]  L. van den Dries,et al.  Bounds in the theory of polynomial rings over fields. A nonstandard approach , 1984 .

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

[63]  B. Perron,et al.  Homeomorphic graph manifolds: A contribution to the μ constant problem , 1999 .

[64]  A. Grothendieck,et al.  Étude locale des schémas et des morphismes de schémas , 1964 .

[65]  Finite group extensions and the Atiyah conjecture , 2004, math/0403229.

[66]  I. Kra On Lifting Kleinian Groups to SL (2, ℂ) , 1985 .

[67]  W. Magnus,et al.  Varieties of Groups , 1982 .

[68]  Lifting Finite Groups of Outer Automorphisms of Free Groups, Surface Groups and their Abelianizations , 2006, math/0604464.

[69]  J. Hillman,et al.  Pro-p link groups and p-homology groups , 2005, math/0505433.

[70]  Miles Reid,et al.  Commutative Ring Theory , 1989 .

[71]  H. Lenstra Profinite Groups , 2003 .

[72]  Igor Nikolaev Arithmetic of hyperbolic 3-manifolds , 2002 .

[73]  D. Robinson,et al.  On the Structure of the Normal Subgroups of a Group: Nilpotency , 1991 .

[74]  Z. Chatzidakis Some remarks on profinite HNN extensions , 1994 .

[75]  H. Grosser Chicago , 1906 .

[76]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[77]  M. Lazard,et al.  Groupes analytiques p-adiques , 1965 .

[78]  Gregory Cherlin,et al.  Homogeneous Finite Groups , 2000 .

[79]  FUCHSIAN GROUPS AND ALGEBRAIC NUMBER FIELDS , 1985 .

[80]  Dale Rolfsen,et al.  Orderable 3-manifold groups , 2006 .

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

[82]  Anna Erschler,et al.  Not residually finite groups of intermediate growth, commensurability and non-geometricity , 2004 .

[83]  Alexander I. Suciu,et al.  Hall invariants, homology of subgroups, and characteristic varieties , 2000, math/0010046.

[84]  P. Cameron,et al.  A descent principle in modular subgroup arithmetic , 2005 .

[85]  Comparison of the Discrete and Continuous Cohomology Groups of a Pro-$p$ Group , 2007, math/0701737.

[86]  I. Chiswell Exact sequences associated with a graph of groups , 1976 .

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

[88]  A. Rhemtulla Residually _{}-groups, for many primes , are orderable , 1973 .

[89]  W. Vasconcelos Flatness testing and torsionfree morphisms , 1997 .