Geometrization conjecture

The geometrization conjecture, also known as Thurston's geometrization conjecture, concerns the geometric structure of compact 3manifolds. It was proposed by William Thurston in the late 1970s. It 'includes' other conjectures, such as the Poincaré conjecture and the Thurston elliptization conjecture. Here are some essential concepts used in the conjecture:
3manifolds exhibit a phenomenon called a standard twolevel decomposition.
 the prime decomposition, where every compact 3manifold is the connected sum of an essentially unique collection of prime threemanifolds
 the JSJ decomposition
Here is a formulation of Thurston's conjecture:
 Separate a closed 3manifold into its prime decomposition (capping off spherical boundaries with 3balls), and then each irreducible summand is reduced by its JSJ decomposition. The interior of each of the resulting manifolds is covered by a simplyconnected homogeneous space such that the group of covering transformations are isometries of the homogeneous space, thus endowing the manifold with the local geometry of the homogeneous space. In addition, each manifold (with its induced Riemannian metric) has finite volume.
There are exactly eight such simplyconnected homogeneous spaces that admit finite volume quotients; they are called Thurston model geometries.
The following is a list of the eight geometries:
 Euclidean geometry
 Hyperbolic geometry
 Spherical geometry
 The geometry of S^{2} × R
 The geometry of H^{2} × R
 The geometry of SL_{2}R
 Nil geometry, i.e. geometry of group of upper triangular 3by3 matrices with units on diagonal
 Sol geometry, i.e. geometry of group of upper triangular 2by2 matrices.
In the list of geometries above, S^{2} is the 2sphere (in a topological sense) and H^{2} is the hyperbolic plane. Six of the eight geometries above (all except hyperbolic and spherical) are now clearly understood and known to correspond to Seifert manifolds and certain torus bundles. Using information about Seifert manifolds, we can restate the conjecture more tersely as:
Every irreducible, compact 3manifold falls into exactly one of the following categories:
 it has a spherical geometry
 it has a hyperbolic geometry
 The fundamental group contains a subgroup isomorphic to the free abelian group on two generators (this is the fundamental group of a torus).
If Thurston's conjecture is correct, then so is the Poincaré Conjecture (via Thurston elliptization conjecture). The Fields Medal was awarded to Thurston in 1982 partially for his proof of the conjecture for Haken manifolds.
Progress has been made in proving that 3manifolds that should be hyperbolic are in fact so. Mainly this progress has been limited to checking examples, although there are some notable results.
The case of 3manifolds that should be spherical has been slower, but provided the spark needed for Richard Hamilton to develop his Ricci flow. In 1982, Hamilton showed that given a closed 3manifold with a metric of positive Ricci curvature, the Ricci flow would smooth out any bumps in the metric, resulting in a metric of constant positive curvature, i.e. a spherical metric. He later developed a program to prove the Geometrization Conjecture by Ricci flow.
Grigori Perelman may have now solved the Geometrization conjecture (and thus also the Poincaré Conjecture) and there seems to be a consensus among experts that the proof is correct, at least in the case of 3manifolds with finite fundamental group. Note that Perelman is eligible for a million dollar Millennium Prize Problems but his work will need to survive two years of systematic scrutiny after publication, which he seems uninterested in, before the Clay Mathematical Institute can deem the conjecture to have been solved.de:Geometrisierung von 3Mannigfaltigkeiten