The homeomorphism problem for closed 3–manifolds

We give a geometric approach to an algorithm for deciding whether two hyperbolic 3‐manifolds are homeomorphic. We also give an algebraic approach to the homeomorphism problem for geometric, but nonhyperbolic, 3‐manifolds. 57M50; 20F65, 57M99

[1]  Torsion free subgroups of Fuchsian groups and tessellations of surfaces , 1982 .

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

[3]  S. Gersten,et al.  Rational subgroups of biautomatic groups , 1991 .

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

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

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

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

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

[9]  S. Gersten,et al.  Small cancellation theory and automatic groups , 1990 .

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

[11]  H. Short,et al.  Notes on word hyperbolic groups , 1991 .

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

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

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

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

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

[17]  R. Loos.  Computing in Algebraic Extensions , 1983 .

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

[19]  임종인,et al.  Gröbner Bases와 응용 , 1995 .

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

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

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

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

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

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

[26]  S. M. Gersten,et al.  Small cancellation theory and automatic groups: Part II , 1991 .

[27]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

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

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

[30]  Sebastian Ehrlichmann,et al.  Metric Spaces Of Non Positive Curvature , 2016 .

[31]  Abigail Thompson,et al.  Thin Position and the Recognition Problem for $\bold{S^3}$ , 1994 .