In mathematics, a Haken manifold is a compact, P²-irreducible 3-manifold that is sufficiently large, meaning that it contains a properly embedded two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface.
A 3-manifold finitely covered by a Haken manifold is said to be virtually Haken. The Virtually Haken conjecture asserts that every compact, irreducible 3-manifold with infinite fundamental group is virtually Haken.
Haken manifolds were introduced by Haken (1961). Haken (1962) proved that Haken manifolds have a hierarchy, where they can be split up into 3-balls along incompressible surfaces. Haken also showed that there was a finite procedure to find an incompressible surface if the 3-manifold had one. Jaco & Oertel (1984) gave an algorithm to determine if a 3-manifold was Haken.
Normal surfaces are ubiquitous in the theory of Haken manifolds and their simple and rigid structure leads quite naturally to algorithms.
Read more about Haken Manifold: Haken Hierarchy, Applications, Examples of Haken Manifolds
Famous quotes containing the word manifold:
“They had met, and included in their meeting the thrust of the manifold grass stems, the cry of the peewit, the wheel of the stars.”
—D.H. (David Herbert)