Waldhausen's Theorem

TL;DR

This paper explains Waldhausen's proof that the three-sphere has a unique Heegaard splitting for each genus, including a sketch of the Reidemeister-Singer Theorem, clarifying key concepts in 3-manifold topology.

Contribution

It provides an exposition of Waldhausen's proof of the uniqueness of the three-sphere's Heegaard splitting, along with a sketch of the Reidemeister-Singer Theorem.

Findings

The three-sphere has a single Heegaard splitting up to isotopy in each genus.

Waldhausen's proof clarifies the structure of 3-manifolds.

A sketch of the Reidemeister-Singer Theorem is included.

Abstract

This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.