Editing Geometrization conjecture (section)

===The geometry of H<sup>2</sup> × R===
The point stabilizer is O(2, '''R''') × '''Z'''/2'''Z''', and the group ''G'' is O<sup>+</sup>(1, 2, '''R''') × '''R''' × '''Z'''/2'''Z''', with 4 components. Examples include the product of a [[hyperbolic surface]] with a circle, or more generally the mapping torus of an isometry of a hyperbolic surface. Finite volume manifolds with this geometry  have the structure of a [[Seifert fiber space]] if they are orientable. (If they are not orientable the natural fibration by circles is not necessarily a Seifert fibration: the problem is that some fibers may "reverse orientation";  in other words their neighborhoods look like fibered solid Klein bottles rather than solid tori.<ref>{{cite journal |first=Ronald |last=Fintushel |title=Local S<sup>1</sup> actions on 3-manifolds |journal=[[Pacific Journal of Mathematics]] |volume=66 |number=1 |year=1976 |pages=111–118  | doi=10.2140/pjm.1976.66.111 |doi-access=free }}</ref>) The classification of such (oriented) manifolds is given in the article on [[Seifert fiber space]]s. This geometry can be modeled as a left invariant metric on the [[Bianchi classification|Bianchi group of type III]]. Under normalized Ricci flow manifolds with this  geometry converge to a 2-dimensional manifold.