解法：阿戈尔用立方复形证明虚哈肯猜想(2012年)

第 6/8 步：Agol 定理:每个立方化的双曲群都是虚特殊的

通俗地说

Agol 的证明构造了一个“层级”:从一个带有嵌入墙的无限覆叠出发,用有限多种颜色给墙染色,使同色的墙永不相交,然后像剥洋葱一样每次沿一种颜色切开,直到整个复形被简化为简单的多面体碎片。

看似随机的染色无法被正确地重新粘合,因此 Agol 在染色空间上构造了一个精心设计的不变测度,逐阶段加以细化以尊重之前的切割,并证明一个“粘合方程”组有解——这使得层级的每一阶段,在转移到进一步的有限覆叠后,都能借助一个一般的虚粘合定理被重新组装起来,直到整个复形被重建为一个有限覆叠的特殊复形。

G \curvearrowright X \text{ (proper, cocompact, } G \text{ word-hyperbolic)} \ \implies\ \exists\, F \le_{f.i.} G:\ F \curvearrowright X \text{ specially}

详细分析

给定一个字双曲群 $G$ 在 CAT(0) 立方复形 $X$ 上真且余紧地作用,Agol(2012年,§§4–8)首先利用一个弱可分离性结果,找到 $X/G$ 的一个无限正则覆叠 $\mathcal{X}$ ,其上带有嵌入、两两不相交的紧致墙,并容许一个有限层级:用有限多种颜色给墙染色使同色墙不相交,再依次按颜色切开,得到无穷多个“立方多面体”的集合(§4)。

墙图上的一个不变染色测度(§5),经过细化以追踪每一阶段的切割如何与之前阶段相互作用(§6),被用来求解一个多面体粘合方程组(§7),给出归纳构造的基础情形;随后一个虚粘合定理(定理3.1)使得层级的每一阶段,在转移到进一步的有限覆叠之后,都能被组装进下一阶段(§8)。

把归纳法一路跑完所有颜色,最终得到一个具有平凡层级、且墙结构真正嵌入的有限覆叠 $\mathcal{V}_0 \to X/G$ ——覆叠群在其上特殊地作用——由此证明了定理1.1: $G$ 存在一个在 $X$ 上特殊作用的有限指数子群。

本步骤中的术语

层级: 沿嵌入墙进行的一列有限次切割,每次一种颜色,把立方复形逐步简化为组合结构可以直接分析的简单多面体碎片。
虚粘合定理: 一个技术工具(Agol 2012 的定理3.1),保证在切割两侧给定相容组合数据的情况下,存在一个进一步的有限覆叠,使两侧可以被真正重新粘合。

本步骤用到的知识

光滑流形