
The Geometrization conjecture (now a theorem) is a theorem about the topology of 3-dimensional manifolds. Roughly, it states that any nice 3-manifold may be decomposed into 3-manifolds that have a geometric structure and this decomposition is in some sense unique. A geometric structure means that the manifold can be modelled on one of Thurston’s eight 3-dimensional geometries. Some of the more well known of these eight geometries are Euclidean, spherical and hyperbolic geometry. I will attempt to convey the statement using pictures and non-technical language (it is quite tricky to draw a 3-manifold but the decomposition is along surfaces which we can draw) and to look at some of the geometries. If there is time at the end I will talk about how this work resolved the Poincaré conjecture.