Heegaard Diagrams for 5-Manifolds
This presentation introduces a new diagrammatic framework for representing 5-dimensional manifolds, extending the classical theory of Heegaard diagrams from dimension 3 to dimension 5. By encoding a 5-manifold using a closed 4-dimensional surface and two collections of framed 2-spheres, the authors establish existence and uniqueness theorems, define a complete set of diagrammatic moves, and apply the theory to Gluck twists of 2-knots in the 4-sphere, offering new tools for attacking open problems in high-dimensional topology.Script
For over a century, mathematicians have used simple pictures of curves on surfaces to encode 3-dimensional spaces. This paper asks whether we can do the same thing in dimension 5, using 2-spheres on 4-dimensional surfaces.
The framework is surprisingly concrete. A 5-dimensional Heegaard diagram consists of a closed 4-manifold called sigma, together with two collections of framed 2-spheres, alpha and beta, embedded in it. These spheres specify where to attach 3-dimensional handles on opposite sides of sigma, building up a 5-dimensional cobordism, handlebody, or closed manifold.
The authors prove that every 5-manifold built from 2-handles and 3-handles admits such a diagram. The construction uses Morse theory: take a level set between index-2 and index-3 critical points, then record where ascending and descending manifolds intersect that level set.
Two diagrams represent the same 5-manifold exactly when they are related by isotopies, handle slides, and three types of stabilization. This uniqueness theorem mirrors the classical result in dimension 3, but with higher-dimensional moves acting on 2-spheres rather than curves.
The theory has immediate applications to Gluck twists, where you remove a neighborhood of a knotted 2-sphere in the 4-sphere and reglue it with a twist. The authors show that proving a Gluck twist is trivial reduces to showing that the knot connected sum with a fiber can be transformed into the fiber alone by diagrammatic moves, converting a difficult 4-dimensional question into a problem about surfaces.
By lifting Heegaard theory from curves on surfaces to spheres in 4-manifolds, this work opens a new chapter in high-dimensional topology, offering both computational tools and fresh perspectives on longstanding problems. To explore the full paper and create your own video summaries of cutting-edge research, visit EmergentMind.com.
