What is an Almost Normal Surface

TL;DR

This paper explains the concept of almost normal surfaces, their origins from geodesic and minimal surface studies, and their role in recognizing the 3-sphere within 3-manifold topology.

Contribution

It clarifies the emergence of almost normal surfaces from geodesic patterns and their application in 3-sphere recognition algorithms.

Findings

Characterization of 2-sphere via stable and unstable geodesics

Characterization of 3-sphere among 3-manifolds

Development of an algorithm for recognizing the 3-sphere

Abstract

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.