Hyperbolization theorem
Encyclopedia
In geometry, Thurston's
geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifold
s are hyperbolic, and in particular satisfy the Thurston conjecture.
If M is an compact irreducible atoroidal Haken manifold whose boundary has zero Euler characteristic, then the interior of M has a complete hyperbolic structure of finite volume.
The Mostow rigidity theorem
implies that if a manifold 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.
A hyperbolic structure on the interior of a compact orientable 3-manifold has finite volume if and only if all boundary components are tori, except for the manifold T2×[0,1] which has a hyperbolic structure but none of finite volume .
of the more general Thurston geometrization conjecture.
gave a proof in the case of manifolds that fiber over the circle.
Thurston's geometrization theorem in this special case states that if M is a 3-manifold that fibers over the circle and whose monodromy is a pseudo-Anosov diffeomorphism, then the interior of M has a complete hyperbolic metric of finite volume.
The idea of the proof is to cut a Haken manifold M along an incompressible surface, to obtain a new manifold N. By induction one assumes that the interior of N has a hyperbolic structure, and the problem is to modify it so that it can be extended to the boundary of N and glued together. Thurston showed that this follows from the existence of a fixed point for a map of Teichmuller space called the skinning map. The core of the proof of the geometrization theorem is to prove that if N is not an interval bundle over an interval and M is a atoroidal then the skinning map has a fixed point. (If N is an interval bundle then the skinning map has no fixed point, which is why one needs a separate argument when M fibers over the circle.) gave a new proof of the existence of a fixed point of the skinning map.
William Thurston
William Paul Thurston is an American mathematician. He is a pioneer in the field of low-dimensional topology. In 1982, he was awarded the Fields Medal for his contributions to the study of 3-manifolds...
geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifold
Haken manifold
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...
s are hyperbolic, and in particular satisfy the Thurston conjecture.
Statement
One form of Thurston's geometrization theorem states:If M is an compact irreducible atoroidal Haken manifold whose boundary has zero Euler characteristic, then the interior of M has a complete hyperbolic structure of finite volume.
The Mostow rigidity theorem
Mostow rigidity theorem
In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique...
implies that if a manifold 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.
Manifolds with boundary
showed that if a compact 3 manifold is prime, homotopically atoroidal, and has non-empty boundary, then it has a complete hyperbolic structure unless it is homeomorphic to a certain manifold (T2×[0,1])/Z/2Z with boundary T2.A hyperbolic structure on the interior of a compact orientable 3-manifold has finite volume if and only if all boundary components are tori, except for the manifold T2×[0,1] which has a hyperbolic structure but none of finite volume .
Proofs
Thurston never published a complete proof of his theorem for reasons that he explained in , though parts of his argument are contained in . and gave summaries of Thurston's proof. gave a proof in the case of manifolds that fiber over the circle, and and gave proofs for the generic case of manifolds that do not fiber over the circle. Thurston's geometrization theorem also follows from Perelman's proof using Ricci flowRicci flow
In differential geometry, the Ricci flow is an intrinsic geometric flow. It is a process that deforms the metric of a Riemannian manifold in a way formally analogous to the diffusion of heat, smoothing out irregularities in the metric....
of the more general Thurston geometrization conjecture.
Manifolds that fiber over the circle
Thurston's original argument for this case was summarized by .gave a proof in the case of manifolds that fiber over the circle.
Thurston's geometrization theorem in this special case states that if M is a 3-manifold that fibers over the circle and whose monodromy is a pseudo-Anosov diffeomorphism, then the interior of M has a complete hyperbolic metric of finite volume.
Manifolds that do not fiber over the circle
and gave proofs of Thurston's theorem for the generic case of manifolds that do not fiber over the circle.The idea of the proof is to cut a Haken manifold M along an incompressible surface, to obtain a new manifold N. By induction one assumes that the interior of N has a hyperbolic structure, and the problem is to modify it so that it can be extended to the boundary of N and glued together. Thurston showed that this follows from the existence of a fixed point for a map of Teichmuller space called the skinning map. The core of the proof of the geometrization theorem is to prove that if N is not an interval bundle over an interval and M is a atoroidal then the skinning map has a fixed point. (If N is an interval bundle then the skinning map has no fixed point, which is why one needs a separate argument when M fibers over the circle.) gave a new proof of the existence of a fixed point of the skinning map.