of dimension at least 3 has a hyperbolic structure of finite volume, then it is essentially unique. The conditions that the manifold M should be irreducible and atoroidal are necessary, as hyperbolic manifolds have these properties. However the condition that the manifold be Haken is unnecessarily strong. Thurston's hyperbolization conjecture states that a closed irreducible atoroidal 3-manifold with infinite fundamental group is hyperbolic, and this follows from Perelman's proof of the Thurston geometrization conjecture. Tameness conjecture, also called the Marden conjecture or tame ends conjecture The tameness theorem states that every complete hyperbolic 3-manifold with finitely generated fundamental group is topologically tame, in other words homeomorphic to the interior of a compact 3-manifold. The tameness theorem was conjectured by Marden. It was proved by Agol and, independently, by Danny Calegari and David Gabai. It is one of the fundamental properties of geometrically infinite hyperbolic 3-manifolds, together with the density theorem for Kleinian groups and the ending lamination theorem. It also implies the Ahlfors measure conjecture. Ending lamination conjecture The ending lamination theorem, originally conjectured by William Thurston and later proven by Jeffrey Brock, Richard Canary, and Yair Minsky, states that hyperbolic 3-manifolds with finitely generated fundamental groups are determined by their topology together with certain "end invariants", which are geodesic laminations on some surfaces in the boundary of the manifold. Poincaré conjecture The 3-sphere is an especially important 3-manifold because of the now-proven Poincaré conjecture. Originally conjectured by Henri Poincaré, the theorem concerns a space that locally looks like ordinary three-dimensional space but is connected, finite in size, and lacks any boundary (a closed 3-manifold). The Poincaré conjecture claims that if such a space has the additional property that each loop in the space can be continuously tightened to a point, then it is necessarily a three-dimensional sphere. An analogous result has been known in higher dimensions for some time. After nearly a century of effort by mathematicians, Grigori Perelman presented a proof of the conjecture in three papers made available in 2002 and 2003 on arXiv. The proof followed on from the program of Richard S. Hamilton to use the Ricci flow to attack the problem. Perelman introduced a modification of the standard Ricci flow, called Ricci flow with surgery to systematically excise singular regions as they develop, in a controlled way. Several teams of mathematicians have verified that Perelman's proof is correct. Thurston's geometrization conjecture Thurston's geometrization conjecture