解法：阿戈尔用立方复形证明虚哈肯猜想(2012年)
通俗地说
在 Agol 的工作开始之前,Perelman 对 Thurston 几何化猜想的证明(2002–2003年)就已经把每个闭三维流形切成了标准的几何片。这些片中的大多数(Seifert 纤维空间、被本质环面分割的流形)早已由更初等的论证证明是虚哈肯的。
真正悬而未决的恰恰是带有双曲结构的那些片:在 中把直边多面体粘合起来、使其完美地铺满整个空间而构造出的空间,除了覆叠变换本身之外,没有任何对称群作用于整体图像。
详细分析
由佩雷尔曼对瑟斯顿几何化猜想的证明(2002–2003年),任何闭的、可定向的、不可约的三维流形都能典范地分解为若干几何片;虚哈肯猜想中有趣且此前悬而未决的情形归结为带有双曲结构的那一片,即 双曲三维空间等距群中一个自由且余紧作用的离散无挠子群 。
Thurston 分类中的其他每一种几何片——球面型、欧氏型、Seifert 纤维型,或含有本质环面的类型——在 Agol 的工作之前就已经由针对这些几何特有的更经典论证证明是虚哈肯的,因此这里无需再作说明。
因此从这里开始,整个证明都集中在一个界定清晰的单一目标上:闭双曲三维流形,其基本群在 Gromov 意义下是字双曲的——恰好是 Agol 的立方复形定理所适用的那类群。
- 字双曲群
- 其凯莱图作为度量空间满足 Gromov 意义下瘦三角形条件的有限生成群;这类群在大尺度上的行为类似于双曲空间等距群的离散子群。