Heegaard surfaces and measured laminations, I: The Waldhausen conjecture

We give a proof of the so-called generalized Waldhausen conjecture, which says that an orientable irreducible atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. Jaco and Rubinstein have announced a proof of this conjecture using different methods.