[论文解读] Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups

Yi Liu|arXiv (Cornell University)|Nov 18, 2020

Geometric and Algebraic Topology参考文献 45被引用 7

一句话总结

本文证明了有限体积双曲3-流形的基本群是拟正则几乎刚性（profinitely almost rigid）的，即其拟正则完备性在有限歧义下唯一确定基本群。通过使用 $ı\widehat{\mathbb{Z}}^\times$-正则的拟正则完备性同构，本文证明了第一整上同调上的Thurston范数与纤维类是拟正则不变量，从而通过几何与动力学不变量（如伪阿诺索夫映射的拉伸因子）得出双曲3-流形的刚性结果。

ABSTRACT

For any orientable finite-volume hyperbolic 3-manifold, this paper proves that the profinite isomorphism type of the fundamental group uniquely determines the isomorphism type of the first integral cohomology, as marked with the Thurston norm and the fibered classes; moreover, up to finite ambiguity, the profinite isomorphism type determines the isomorphism type of the fundamental group, among the class of finitely generated 3-manifold groups.

研究动机与目标

• 确定有限体积双曲3-流形的基本群的拟正则完备性中编码了多少关于该流形的信息。
• 研究此类基本群之间的拟正则同构是否保持关键的几何与拓扑不变量，特别是Thurston范数与纤维类。
• 建立拟正则完备性在3-流形群中唯一确定基本群（至多有限歧义）的结论。
• 证明拟正则同构在拟正则阿贝尔化上诱导出 $ı\widehat{\mathbb{Z}}^\times$-正则同构，保持上同调结构与Thurston范数及纤维面的关系。

提出的方法

• 通过特征子群构造有限叶覆盖 $S^\dagger_M$，以消除简单闭曲线的提升。
• 通过迭代单值映射的提升，定义 $S^\dagger_M$ 上的伪阿诺索夫自同态 $f^\dagger_M$，确保其固定所有缺口并保持拉伸因子。
• 通过填补 $S^\dagger_M$ 的缺口，构造闭的映射环面 $\bar{M}^\dagger$，得到与原拉伸因子相同的闭曲面丛，满足 $\lambda(f^\dagger_M) = \lambda(f_M)^D$。
• 利用拟正则柄状对应与纤维曲面对应，将拟正则同构 $\Psi: \widehat{\pi_1(M)} \to \widehat{\pi_1(N)}$ 提升为闭映射环面 $\pi_1(\bar{M}^\dagger)$ 与 $\pi_1(\bar{N}^\dagger)$ 的拟正则完备性之间的同构 $\bar{\Psi}^\dagger$。
• 应用推论8.2，得出拉伸因子相等：$\lambda(\bar{f}^\dagger_M) = \lambda(\bar{f}^\dagger_N)$，从而 $\lambda(f_M) = \lambda(f_N)$，证明了动力数据在拟正则同构下的不变性。
• 利用拉伸因子的不变性与闭情形的论证（引理9.4），将结果推广至有柄情形（引理9.5），从而证明定理9.1。

实验结果

研究问题

• RQ1 有限体积双曲3-流形的基本群的拟正则完备性是否能确定其第一整上同调（带Thurston范数与纤维类）？
• RQ2 所有有限体积双曲3-流形基本群之间的拟正则同构是否必为 $\widehat{\mathbb{Z}}^\times$-正则？
• RQ3 拟正则完备性在3-流形群中在多大程度上确定了基本群的同构类型？
• RQ4 纤维化双曲3-流形的单值映射的拉伸因子是否在拟正则同构下保持不变？

主要发现

• 有限体积双曲3-流形的基本群的拟正则完备性确定了其第一整上同调的同构类型，且标记了Thurston范数与纤维类。
• 所有有限体积双曲3-流形基本群之间的拟正则同构均为 $\widehat{\mathbb{Z}}^\times$-正则，确保与上同调结构的兼容性。
• 由拟正则同构诱导的上同调上的线性同构保持Thurston范数与纤维类，至多相差中心对称。
• 单值映射的拉伸因子 $\lambda(f_M)$ 在拟正则同构下保持不变，意味着纤维结构的动力数据是不变的。
• 有限体积双曲3-流形的基本群在有限生成的3-流形群中是拟正则几乎刚性的，即仅有有限多个群可具有相同的拟正则完备性。