Algorithmic recognition of 3-manifolds
HTML articles powered by AMS MathViewer
- by Abigail Thompson PDF
- Bull. Amer. Math. Soc. 35 (1998), 57-66 Request permission
Abstract:
This article discusses recent progress in algorithmically classifying 3-manifolds by homeomorphism type.References
- I. R. Aitchison, S. Matsumoto and J. H. Rubinstein, Immersed surfaces in the figure-8 knot complement, preprint.
- Marc Culler, C. McA. Gordon, J. Luecke, and Peter B. Shalen, Dehn surgery on knots, Ann. of Math. (2) 125 (1987), no. 2, 237–300. MR 881270, DOI 10.2307/1971311
- Michael Hartley Freedman, The topology of four-dimensional manifolds, J. Differential Geometry 17 (1982), no. 3, 357–453. MR 679066
- David Gabai, Foliations and the topology of $3$-manifolds. II, J. Differential Geom. 26 (1987), no. 3, 461–478. MR 910017
- C. McA. Gordon and J. Luecke, Knots are determined by their complements, J. Amer. Math. Soc. 2 (1989), no. 2, 371–415. MR 965210, DOI 10.1090/S0894-0347-1989-0965210-7
- Matthew A. Grayson, Shortening embedded curves, Ann. of Math. (2) 129 (1989), no. 1, 71–111. MR 979601, DOI 10.2307/1971486
- Wolfgang Haken, Theorie der Normalflächen, Acta Math. 105 (1961), 245–375 (German). MR 141106, DOI 10.1007/BF02559591
- Wolfgang Haken, Some results on surfaces in $3$-manifolds, Studies in Modern Topology, Math. Assoc. America, Buffalo, N.Y.; distributed by Prentice-Hall, Englewood Cliffs, N.J., 1968, pp. 39–98. MR 0224071
- J. Hass, J. Lagarias, and N. Pippinger, The computational complexity of knot and link algorithms, preprint.
- Geoffrey Hemion, The classification of knots and $3$-dimensional spaces, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1992. MR 1211184
- John Hempel, $3$-Manifolds, Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1976. Ann. of Math. Studies, No. 86. MR 0415619
- John E. Hopcroft and Jeffrey D. Ullman, Introduction to automata theory, languages, and computation, Addison-Wesley Series in Computer Science, Addison-Wesley Publishing Co., Reading, Mass., 1979. MR 645539
- William Jaco and Ulrich Oertel, An algorithm to decide if a $3$-manifold is a Haken manifold, Topology 23 (1984), no. 2, 195–209. MR 744850, DOI 10.1016/0040-9383(84)90039-9
- William Jaco and J. H. Rubinstein, A piecewise linear theory of minimal surfaces in $3$-manifolds, Miniconference on geometry and partial differential equations (Canberra, 1985) Proc. Centre Math. Anal. Austral. Nat. Univ., vol. 10, Austral. Nat. Univ., Canberra, 1986, pp. 99–110. MR 857657
- William Jaco and Jeffrey L. Tollefson, Algorithms for the complete decomposition of a closed $3$-manifold, Illinois J. Math. 39 (1995), no. 3, 358–406. MR 1339832
- K. Johannsen, Classification problems in low-dimensional topology, geometric and algebraic topology, Banach Center Publ., vol. 18, PWN, Warsaw, 1986.
- L. Lusternik and L. Schnirelman, Sur le probleme de trois geodesiques fermees sur les surface de genre $0$, C. R. Acad. Sci. Paris 189 (1929).
- S. V. Matveev, Algorithms for the recognition of the three-dimensional sphere (after A. Thompson), Mat. Sb. 186 (1995), no. 5, 69–84 (Russian, with Russian summary); English transl., Sb. Math. 186 (1995), no. 5, 695–710. MR 1341085, DOI 10.1070/SM1995v186n05ABEH000037
- C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
- R. Rannard, Computational enumeration of immersed normal surfaces in the figure eight knot complement, preprint.
- Joachim H. Rubinstein, An algorithm to recognize the $3$-sphere, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994) Birkhäuser, Basel, 1995, pp. 601–611. MR 1403961
- —, The solution to the recognition problem for $S^3$, Lectures, Haifa, Israel, May 1992.
- —, Polyhedral minimal surfaces, Heegaard splittings and decision problems for 3-manifolds, Proc. Georgia Topology Conf., Amer. Math. Soc./Intl. Press, 1993.
- Wolfgang Haken, Theorie der Normalflächen, Acta Math. 105 (1961), 245–375 (German). MR 141106, DOI 10.1007/BF02559591
- Stephen Smale, Generalized Poincaré’s conjecture in dimensions greater than four, Ann. of Math. (2) 74 (1961), 391–406. MR 137124, DOI 10.2307/1970239
- S. Simon and F. Smith, On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary metric, preprint.
- M. Stocking, Almost normal surfaces in 3-manifolds, Ph.D. thesis, UC Davis, 1996.
- Abigail Thompson, Thin position and the recognition problem for $S^3$, Math. Res. Lett. 1 (1994), no. 5, 613–630. MR 1295555, DOI 10.4310/MRL.1994.v1.n5.a9
- Abigail Thompson, Thin position and bridge number for knots in the $3$-sphere, Topology 36 (1997), no. 2, 505–507. MR 1415602, DOI 10.1016/0040-9383(96)00010-9
- Friedhelm Waldhausen, Recent results on sufficiently large $3$-manifolds, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 21–38. MR 520520
Additional Information
- Abigail Thompson
- Affiliation: Department of Mathematics, University of California Davis, Davis, California 95616-5224
- MR Author ID: 172260
- Email: thompson@math.ucdavis.edu
- Received by editor(s): October 1, 1997
- © Copyright 1998 American Mathematical Society
- Journal: Bull. Amer. Math. Soc. 35 (1998), 57-66
- MSC (1991): Primary 57M40
- DOI: https://doi.org/10.1090/S0273-0979-98-00738-1
- MathSciNet review: 1487190