Decision problems for 3-manifolds and their fundamental groups

We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold groups.

[1]  H. Wilton,et al.  The membership problem for 3–manifold groups is solvable , 2014, 1401.2648.

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

[3]  Ilya Kapovich,et al.  Foldings, Graphs of Groups and the Membership Problem , 2005, Int. J. Algebra Comput..

[4]  Hao Liang.  Equation problem over central extensions of hyperbolic groups , 2013, 1307.5889.

[5]  Saul Schleimer,et al.  SPHERE RECOGNITION LIES IN NP , 2004, math/0407047.

[6]  Graham A. Niblo,et al.  Subgroup separability, knot groups and graph manifolds , 2000 .

[7]  Vincent Guirardel,et al.  The Isomorphism Problem for All Hyperbolic Groups , 2010, 1002.2590.

[8]  B. Poonen.  UNDECIDABLE PROBLEMS: A SAMPLER , 2012, 1204.0299.

[9]  M. Bridson,et al.  Formal language theory and the geometry of 3-manifolds , 1996 .

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

[11]  Gerd Folkers,et al.  On computable numbers , 2016 .

[12]  Rolf Herken,et al.  The universal Turing machine (2nd ed.): a half-century survey , 1995 .

[13]  Ruth Charney,et al.  An introduction to right-angled Artin groups , 2006, math/0610668.

[14]  Tameness of hyperbolic 3-manifolds , 2004, math/0405568.

[15]  A. Mostowski.  On the decidability of some problems in special classes of groups , 1966 .

[16]  Z. Sela.  The conjugacy problem for knot groups , 1993 .

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

[18]  Wolfgang H. Heil.  On Kneser's conjecture for bounded 3-manifolds , 1972, Mathematical Proceedings of the Cambridge Philosophical Society.

[19]  D. Epstein,et al.  Three-dimensional manifolds , 1960 .

[20]  Sergei Matveev,et al.  Algorithmic Topology and Classification of 3-Manifolds , 2003 .

[21]  Finding relative hyperbolic structures , 2008 .

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

[23]  Danny Calegari,et al.  Shrinkwrapping and the taming of hyperbolic 3-manifolds : preprint , 2004, math/0407161.

[24]  David Letscher,et al.  Algorithms for essential surfaces in 3-manifolds , 2002 .

[25]  John Milnor,et al.  A Unique Decomposition Theorem for 3-Manifolds , 1962 .

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

[27]  Gilbert Baumslag,et al.  Some two-generator one-relator non-Hopfian groups , 1962 .

[28]  J. Morgan,et al.  Ricci Flow and the Poincare Conjecture , 2006, math/0607607.

[29]  W. Haken.  Theorie der Normalflächen , 1961 .

[30]  Nellie Clarke Brown.  Trees , 1896, Savage Dreams.

[31]  G. Makanin.  EQUATIONS IN A FREE GROUP , 1983 .

[32]  Geoffrey Hemion,et al.  On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds , 1979 .

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

[34]  John Stillwell,et al.  Three-Dimensional Manifolds , 1980 .

[35]  Vincent Guirardel,et al.  Foliations for solving equations in groups: free, virtually free, and hyperbolic groups , 2009, 0901.1830.

[36]  J. Rubinstein,et al.  An Algorithm to Recognize the 3-Sphere , 1995 .

[37]  I. Belegradek.  Topology of open nonpositively curved manifolds , 2013, 1306.1256.

[38]  M. Hagen,et al.  Residual finiteness growths of virtually special groups , 2014, 1402.6974.

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

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

[41]  Sergei V Ivanov,et al.  The computational complexity of basic decision problems in 3-dimensional topology , 2008 .

[42]  A. Meyers.  Reading , 1999, Language Teaching.

[43]  Z. Sela,et al.  Canonical representatives and equations in hyperbolic groups , 1995 .

[44]  P. Scott,et al.  The geometries of 3-manifolds , 1983 .

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

[46]  The conjugacy problem in groups of non-orientable 3-manifolds , 2012, 1202.4148.

[47]  Bernhard Leeb.  3-manifolds with(out) metrics of nonpositive curvature , 1995 .

[48]  H. Short,et al.  The homeomorphism problem for closed 3–manifolds , 2012, 1211.0264.

[49]  Edwin D. Mares,et al.  On S , 1994, Stud Logica.

[50]  Trevor Evans,et al.  Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem , 1969 .

[51]  Laurent Bessières,et al.  Geometrisation of 3-Manifolds , 2010 .

[52]  Friedhelm Waldhausen,et al.  On irreducible 3-manifolds which are sufficiently large * , 2010 .

[53]  John Stillwell.  The word problem and the isomorphism problem for groups , 1982 .

[54]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .

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

[56]  William Jaco,et al.  Algorithms for the complete decomposition of a closed $3$-manifold , 1995 .

[57]  On Tarski's Decidability Problem , 2014, 1402.0482.

[58]  Stefan Friedl,et al.  The virtual fibering theorem for 3-manifolds , 2012, 1210.4799.

[59]  Sergey Nikitin.  On 3-manifolds , 2005 .

[60]  Pascal Koiran.  Hilbert's Nullstellensatz Is in the Polynomial Hierarchy , 1996, J. Complex..

[61]  D. Groves,et al.  The isomorphism problem for toral relatively hyperbolic groups , 2005, math/0512605.

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

[63]  Frédéric Haglund.  Finite index subgroups of graph products , 2008 .

[64]  Noel Brady,et al.  The Geometry of the Word Problem for Finitely Generated Groups , 2007 .

[65]  Bernhard H. Neumann.  Review: Michael O. Rabin, Recursive Unsolvability of Group Theoretic Problems , 1958 .

[66]  Greg Kuperberg,et al.  Knottedness is in NP, modulo GRH , 2011, ArXiv.

[67]  A. Myasnikov,et al.  Elementary theory of free non-abelian groups , 2006 .

[68]  David B. A. Epstein,et al.  Word processing in groups , 1992 .

[69]  Y. Lafont.  Word Problem , 2019, 99 Variations on a Proof.

[70]  J. Hyam Rubinstein,et al.  0-Efficient Triangulations of 3-Manifolds , 2002 .

[71]  K A Mihailova.  THE OCCURRENCE PROBLEM FOR FREE PRODUCTS OF GROUPS , 1968 .

[72]  Gang Tian,et al.  The Geometrization Conjecture , 2014 .

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

[74]  Jeffrey C. Lagarias,et al.  The computational complexity of knot and link problems , 1999, JACM.

[75]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[76]  J. C. C. McKinsey,et al.  The decision problem for some classes of sentences without quantifiers , 1943, Journal of Symbolic Logic.

[77]  I. Agol.  Criteria for virtual fibering , 2007, 0707.4522.

[78]  D. Wise,et al.  Separability of embedded surfaces in 3-manifolds , 2012, Compositio Mathematica.

[79]  D. J. Collins.  Review: K. A. Mihajlova, (Problema vhozdenia did pramyh proizvedenij grupp):The Occurrence Problem for Direct Products of Groups , 1971 .

[80]  William Jaco,et al.  Seifert fibered spaces in irreducible, sufficiently-large 3-manifolds , 1976 .

[81]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[82]  E. Moise.  Geometric Topology in Dimensions 2 and 3 , 1977 .

[83]  Edwin E. Moise,et al.  Affine structures in 3-manifolds, V, The triangulation theorem and Hauptvermutung , 1952 .

[84]  E. M. Hartwell.  Boston , 1906 .

[85]  Friedhelm Waldhausen,et al.  Recent results on sufficiently large 3-manifolds , 1976 .

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

[87]  J. Manning,et al.  Algorithmic detection and description of hyperbolic structures on closed 3{manifolds with solvable word problem , 2002 .

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

[89]  W. Thurston,et al.  The Computational Complexity of Knot Genus and Spanning Area , 2002, math/0205057.

[90]  A. Church.  Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem , 1937 .

[91]  Equivalence of Geometric and Combinatorial Dehn Functions , 1995, dg-ga/9508008.

[92]  K. Reidemeister.  Homotopieringe und Linsenräume , 1935 .

[93]  D. Groves,et al.  Recognizing geometric 3-manifold groups using the word problem , 2012, 1210.2101.

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

[95]  Z. Sela.  The isomorphism problem for hyperbolic groups I , 1995 .

[96]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[97]  D. Wise.  From Riches to Raags: 3-Manifolds, Right-Angled Artin Groups, and Cubical Geometry , 2012 .

[98]  Grushko's theorem , 1966 .

[99]  Matthias Aschenbrenner,et al.  3-Manifold Groups , 2012, 1205.0202.

[100]  A. Myasnikov,et al.  Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group , 2013, 1303.0760.

[101]  G. Perelman.  Finite extinction time for the solutions to the Ricci flow on certain three-manifolds , 2003, math/0307245.

[102]  Charles F. Miller.  Decision Problems for Groups — Survey and Reflections , 1992 .

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

[104]  Hellmuth Kneser,et al.  Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten. , 1929 .

[105]  Ruth Charney,et al.  On the Sub-Quadratic Isoperimetric Inequality , 1995 .

[106]  Jean-Philippe Préaux.  The conjugacy problem in groups of orientable geometrizable 3-manifolds , 2013, 1308.2888.

[107]  Panos Papasoglu.  An algorithm detecting hyperbolicity , 1994, Geometric and Computational Perspectives on Infinite Groups.

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

[109]  Charles F. Miller,et al.  Combinatorial Group Theory , 2002 .

[110]  F. Bonahon.  Chapter 3 – Geometric Structures on 3-Manifolds* , 2001 .

[111]  A. Markov,et al.  Insolubility of the Problem of Homeomorphy ∗ , 2001 .

[112]  A. O. Houcine.  On hyperbolic groups , 2006 .

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

[114]  Matthias Aschenbrenner,et al.  3-manifold groups are virtually residually p , 2010, 1004.3619.

[115]  M. Dehn.  Über unendliche diskontinuierliche Gruppen , 1911 .

[116]  Jean-Philippe Préaux.  Conjugacy problem in groups of oriented geometrizable 3-manifolds , 2005, math/0512484.

[117]  M. Handzic.  5 , 1824, The Banality of Heidegger.

[118]  Greg Kuperberg,et al.  Algorithmic homeomorphism of 3-manifolds as a corollary of geometrization , 2015, Pacific Journal of Mathematics.

[119]  Michael O. Rabin,et al.  Recursive Unsolvability of Group Theoretic Problems , 1958 .

[120]  Grushko’s theorem , 1965 .

[121]  Sergei Matveev,et al.  Algorithmic Topology and Classification of 3-Manifolds (Algorithms and Computation in Mathematics) , 2007 .

[122]  A report on Tarski's decidability problem , 2014, 1401.5711.

[123]  Pavel Zalesskii,et al.  Separability of double cosets and conjugacy classes in 3‐manifold groups , 2011, J. Lond. Math. Soc..

[124]  Mark Brittenham,et al.  Algorithms and topology for Cayley graphs of groups , 2013 .

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

[126]  Abigail Thompson,et al.  THIN POSITION AND THE RECOGNITION PROBLEM FOR S3 , 1994 .

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