Algorithmic recognition of 3-manifolds

Thompson, Abigail

doi:10.1090/S0273-0979-98-00738-1

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