エルランゲン・プログラム
サーストンは自身の幾何学化予想を定式化する際、新たな幾何学の概念を定式化した。サーストンの意味の幾何学は、リーマン多様体上のクラインの意味での幾何学であり、群作用がリーマン計量と両立し、しかもある種の極大性をみたすものとして定式化される。
3次元空間には8種類の幾何学が存在し、3次元多様体を適切に分解したものには必ずこの8つの幾何学のいずれかが入る、というのが幾何学化予想で、ペレルマンにより解決された。