[论文解读] Negatively Oriented Ideal Triangulations and a Proof of Thurston's Hyperbolic Dehn Filling Theorem

Carlo Petronio, Joan Porti|ArXiv.org|Jan 11, 1999

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

一句话总结

本文使用源自埃皮斯坦-彭纳分解的拟平坦理想三角剖分，提供了托尔斯特定理的完整、自包含的证明，避免了对真实理想三角剖分的假设，并绕过了变形空间光滑性的假设。证明表明，当德恩填充系数接近无穷大时，可得到完备的有限体积双曲结构，以及具有小锥角的锥流形结构。

ABSTRACT

We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a partially flat one, obtained by subdividing an Epstein-Penner decomposition. This forces us to deal with negatively oriented tetrahedra. Our analysis of the set of hyperbolic Dehn filling coefficients is elementary and self-contained. In particular, it does not assume smoothness of the complete point in the variety of deformations.

研究动机与目标

• 提供托尔斯特定理的严格、自包含证明，无需依赖关于理想三角剖分的未证实假设。
• 通过构建一个避免假设真实理想三角剖分存在的证明，弥补文献中的空白，因为埃皮斯坦-彭纳分解无法保证此类三角剖分的存在。
• 在完备双曲结构与锥流形结构两种情形下证明该定理，且不假设完备结构处变形空间的光滑性。
• 建立一个几何与解析框架，以处理由拟平坦三角剖分产生的负向定向四面体。
• 证明良好德恩填充参数的集合在紧化参数空间中包含无穷大的一个邻域。

提出的方法

• 利用埃皮斯坦-彭纳分解，构造有限体积双曲3-流形的拟平坦理想三角剖分，允许退化四面体退化为平坦四边形。
• 使用复解析变形参数（形状参数）来参数化三角剖分流形上的双曲结构，允许负向定向四面体的存在。
• 应用解析空间理论与分层理论的工具，分析变形空间，特别关注完备结构附近的性质。
• 定义一个发展映射，并利用拓扑不变量（循环的同调类）证明变形空间的像在参数空间中覆盖原点的一个邻域。
• 通过球面与复数空间 C^k 中的球体的同伦与同调论证，证明变形结构的像包含原点的完整邻域，从而推出在完备点附近为满射。
• 利用从变形空间到形状参数的映射是正规的且在小球上满射的性质，若像不为满，则通过径向投影导出矛盾。

实验结果

研究问题

• RQ1 托尔斯特定理能否在不假设真实理想三角剖分存在的情况下得到证明？
• RQ2 如何处理拟平坦理想三角剖分变形过程中出现的负向定向四面体？
• RQ3 能否在不假设完备结构处变形空间光滑性的前提下证明该定理？
• RQ4 哪些拓扑与解析工具足以证明良好德恩填充参数的集合包含无穷大的邻域？
• RQ5 如何严格地将一个双曲结构关联到具有重叠四面体的变形拟平坦三角剖分上？

主要发现

• 本文证明：在紧化参数空间中，所有足够接近无穷大的德恩填充系数，其对应的流形均 admits 完备的有限体积双曲结构。
• 证明了对于任意填充系数选择，填充后的流形上均存在具有任意小锥角的完备有限体积双曲锥流形结构。
• 证明表明，形状参数的变形空间映射到 C^k 中原点的一个邻域上为满射，从而确保所有足够小的锥角均可实现。
• 通过边界球面上的同调与同伦论证，确认变形映射的像包含原点的完整球体。
• 该方法通过使用分层解析技术与拓扑不变量，避免了对变形空间光滑性的依赖。
• 本文通过提供一个完整、初等且自包含的证明，解决了文献中的基础性空白，且不依赖托尔斯特定稿中未经验证的断言。