[论文解读] Marden's Tameness Conjecture: history and applications

Richard D. Canary|arXiv (Cornell University)|Jul 31, 2010

Geometric and Algebraic Topology参考文献 90被引用 16

一句话总结

本文综述了马登的狭隘性猜想的历史与应用，该猜想提出：每个基本群有限生成的双曲3-流形都同胚于某个紧致3-流形的内部。该猜想最近由阿戈尔与卡莱加里-加贝依证明，本文详细阐述了其在双曲3-流形分类、谱理论、群论性质以及形变理论方面的意义。

ABSTRACT

Marden's Tameness Conjecture predicts that every hyperbolic 3-manifold with finitely generated fundamental group is homeomorphic to the interior of a compact 3-manifold. It was recently established by Agol and Calegari-Gabai. We will survey the history of work on this conjecture and discuss its many applications.

研究动机与目标

• 追溯马登狭隘性猜想的历史发展及其在双曲3-流形分类中的作用。
• 解释该猜想在解决双曲几何与动力系统中长期悬而未决问题中的重要性。
• 建立双曲3-流形中拓扑狭隘性与几何狭隘性之间的等价性。
• 展示狭隘性定理如何实现对基本群有限生成的双曲3-流形的完全分类。
• 探讨形变理论中的应用，包括稠密性定理及空间 $AH(M)$ 的结构。

提出的方法

• 综述双曲3-流形理论中的基础定义与构造，包括拟凸核心、共形边界与极限集。
• 引入拓扑狭隘性的概念，并将其与几何有限性及拟凸共轭性进行对比。
• 提出由瑟斯顿定义的几何狭隘性与拓扑狭隘性之间的等价性，这是证明中的关键步骤。
• 应用狭隘性定理证明阿赫夫尔斯测度猜想，并分析双曲3-流形的谱理论。
• 利用狭隘性定理推导出 $AH(M)$ 的稠密性定理，表明 $AH(M)$ 的内部在其中的闭包中稠密。
• 结合瑟斯顿、克林艾德姆-苏托与勒库尔的收敛结果以及终层定理，构造具有指定端不变量的几何有限流形的极限。

实验结果

研究问题

• RQ1 在双曲3-流形中，拓扑狭隘性与几何狭隘性之间存在何种关系？
• RQ2 狭隘性定理如何解决阿赫夫尔斯测度猜想及其他双曲几何中的猜想？
• RQ3 对于一个紧致双曲可化3-流形 $M$，其形变空间 $AH(M)$ 的结构是什么？
• RQ4 狭隘性定理如何实现对基本群有限生成的双曲3-流形的完全分类？
• RQ5 狭隘性在群论方面有何后果，特别是关于可分性与有限生成交集性质？

主要发现

• 马登的狭隘性猜想由阿戈尔与卡莱加里-加贝依证明，确立了每个基本群有限生成的双曲3-流形都同胚于某个紧致3-流形的内部。
• 狭隘性定理蕴含阿赫夫尔斯测度猜想，该猜想断言：有限生成克莱因群的极限集在黎曼球面上的测度为零或全测度。
• 狭隘性定理使得通过终层定理对基本群有限生成的双曲3-流形实现完全分类成为可能。
• $AH(M)$ 的稠密性定理成立：$AH(M)$ 的内部在其中的闭包中稠密，且该结论由狭隘性定理与终层定理推出。
• 当 $ ho_1(M)$ 自由不可约时，$AH(M)$ 的各连通分支与 $ar{rak{A}}(M)$ 一一对应，$ar{rak{A}}(M)$ 是在初等置换等价关系下标记同胚类型的集合的商集。
• 当且仅当 $M$ 具有双重困难时，即存在同伦但非边界同伦的简单闭曲线，分别位于不同边界分量上，且其中一个位于环面分量上，空间 $AH(M)$ 才有无穷多个连通分支。