解法：阿戈尔用立方复形证明虚哈肯猜想(2012年)
通俗地说
Kahn–Markovic 的每一张浸入曲面,在万有覆叠 中都会提升为一族嵌入的副本——可以把它们想象成切穿空间的巨大弯曲的墙。Sageev 早在1995年就指出,任何足够丰富的这类墙的集合都能确定一个组合“影子”:一个立方复形,其顶点记录了对每一堵墙都自洽的侧别选择。
Bergeron 与 Wise 把这一构造与 Kahn–Markovic 曲面结合起来,证明了闭双曲三维流形群总是能真且余紧地作用在这样一个立方复形上——把关于曲面的几何信息转化为 Agol 定理恰好需要的代数输入。
详细分析
Sageev 的对偶立方复形构造(1995年)为配备了足够可分离的余维1墙族的空间,赋予一个 CAT(0) 立方复形 ,每堵墙对应一个超平面,周围的对称群作用于其上。
Bergeron 与 Wise(引用为 Agol 2012 的定理9.3,建立在 Kahn–Markovic 及 Sageev 早先立方化判据之上)证明了对闭双曲三维流形 ,前一步中足够多浸入拟富克斯曲面在 中的提升,给出了足够丰富的墙结构,使得 能在由此得到的对偶立方复形 上真且余紧地作用。
这恰好正是 Agol 定理1.1的假设(字双曲群在 CAT(0) 立方复形上真且余紧地作用),因此接下来几步要完成的任务,就是证明这个定理本身。
- 墙/超平面
- 在立方复形中,超平面是通过将每个立方体沿一个方向对半切出的“中立方体”粘合而成的;墙则是构造立方复形所依据的空间中与之对应的分离超曲面。
- 真且余紧作用
- 若只有有限多个群元素能把任意给定紧集移动到与自身重叠,则称作用是真的;若空间对该作用取商后是紧的,则称作用是余紧的;两者合起来意味着群与空间在几何上“大小相当”。