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:
“As one who knows many things, the humanist loves the world precisely because of its manifold nature and the opposing forces in it do not frighten him. Nothing is further from him than the desire to resolve such conflicts ... and this is precisely the mark of the humanist spirit: not to evaluate contrasts as hostility but to seek human unity, that superior unity, for all that appears irreconcilable.”
—Stefan Zweig (18811942)