What is an Almost Normal Surface

A major breakthrough in the theory of topological algorithms occurred in 1992 when Hyam Rubinstein introduced the idea of an almost normal surface. We explain how almost normal surfaces emerged naturally from the study of geodesics and minimal surfaces. Patterns of stable and unstable geodesics can be used to characterize the 2-sphere among surfaces, and similar patterns characterize the 3-sphere among 3-manifolds. Analogous patterns of normal and almost normal surfaces led Rubinstein to an algorithm for recognizing the 3-sphere.

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

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

[3]  A. Fomenko,et al.  THE PROBLEM OF DISCRIMINATING ALGORITHMICALLY THE STANDARD THREE-DIMENSIONAL SPHERE , 1974 .

[4]  C. Croke.  Poincaré's problem and the length of the shortest closed geodesic on a convex hypersurface , 1982 .

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

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

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

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

[9]  J. Rubinstein,et al.  Existence of minimal surfaces of bounded topological type in three-manifolds , 1986 .

[10]  T. Morrison,et al.  Dynamical Systems , 2021, Nature.

[11]  F. Smith.  On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary metric , 1983, Bulletin of the Australian Mathematical Society.

[12]  J. Hass,et al.  SHORTENING CURVES ON SURFACES , 1994 .

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

[14]  Alexander Nabutovsky,et al.  Einstein structures: Existence versus uniqueness , 1995 .

[15]  M. Dehn,et al.  Über die Topologie des dreidimensionalen Raumes , 1910 .

[16]  Richard Schoen,et al.  Estimates for stable minimal surfaces in three dimensional manifolds , 1984 .

[17]  M. Grayson.  The heat equation shrinks embedded plane curves to round points , 1987 .

[18]  M. Grayson.  Shortening embedded curves , 1989 .

[19]  J. Jost.  Embedded minimal surfaces in manifolds diffeomorphic to the three-dimensional ball or sphere , 1989 .

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

[21]  S. Yau,et al.  Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature , 1982 .

[22]  J. Rubinstein,et al.  PL minimal surfaces in 3-manifolds , 1988 .