解法：阿戈尔用立方复形证明虚哈肯猜想(2012年)
通俗地说
哈肯流形是可以沿着一个真正嵌入、不会自我折叠的曲面被切开的流形——就像沿着一刀平整的切口把一条面包彻底切穿一样干净利落。20世纪60年代,Waldhausen 提出:即使原流形本身不是这样,每个双曲三维流形是否都有某个有限覆叠允许这样的切口?
Agol 在2012年的证明把这个问题翻译到一个完全不同的世界来回答:通过沿面粘合单位立方体所构造的非正曲率立方复形,其组合结构可以用几何群论的工具来分析,而不必直接依赖三维流形拓扑。
详细分析
Waldhausen 的虚哈肯猜想问的是,每个闭双曲三维流形 是否都有一个有限覆叠 是哈肯流形,即 含有一个嵌入的 -单射(不可压缩)曲面(Agol 2012, 定理9.1,解决了 Waldhausen 1968年提出的问题)。
Agol 的策略要经过一个纯群论的命题,即他的主定理1.1:每个字双曲群 若在 CAT(0) 立方复形 上真且余紧地作用,就存在一个有限指数子群在 上特殊地作用(§1)。把拓扑问题转化为这个代数问题,正是使证明得以使用组合技巧(墙、超平面、染色)的关键——这些技巧在三维流形中并无明显类似物。
接下来的几步要拼齐对双曲三维流形套用这一定理所需的两半:首先(通过 Kahn–Markovic 曲面与 Sageev 的构造)构造出一个 作用于其上的合适立方复形,然后再套用立方复形定理本身。
- 哈肯流形
- 包含一个嵌入双侧曲面且该曲面 -单射(其包含映射不引入额外的环路关系)的紧致、可定向、不可约三维流形;这类流形在拓扑上异常易于处理。
- CAT(0) 立方复形
- 将各种维数的欧氏单位立方体沿其面粘合而成的单连通空间,使结果在组合意义下具有非正曲率;群在此类复形上的作用是现代几何群论的核心工具。