[论文解读] Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

Brannon Basilio, Chaeryn Lee+1 more|arXiv (Cornell University)|Jan 1, 2024

Geometric and Algebraic Topology被引用 1

一句话总结

本文提出算法，利用法向曲面理论与单值表示，检测双曲3-流形中的全测地曲面。将这些算法应用于超过15万个流形后，作者发现了九个新的此类曲面示例，并提供了强有力的计算证据，支持Menasco与Reid的猜想：在12个交叉以下的双曲纽结补形中，不存在闭合、嵌入的全测地曲面。

ABSTRACT

Finding a totally geodesic surface, an embedded surface where the geodesics in the surface are also geodesics in the surrounding manifold, has been a problem of interest in the study of 3-manifolds. This has especially been of interest in hyperbolic 3-manifolds and knot complements, complements of piecewise-linearly embedded circles in the 3-sphere. This is due to Menasco-Reid's conjecture stating that hyperbolic knot complements do not contain such surfaces. Here, we present an algorithm that determines whether a given surface is totally geodesic and an algorithm that checks whether a given 3-manifold contains a totally geodesic surface. We applied our algorithm on over 150,000 3-manifolds and discovered nine 3-manifolds with totally geodesic surfaces. Additionally, we verified Menasco-Reid's conjecture for knots up to 12 crossings.

研究动机与目标

• 开发计算算法，以确定给定曲面在双曲3-流形中是否为全测地曲面。
• 创建枚举算法，列出在双曲3-流形中同痕于全测地曲面的所有法向曲面。
• 测试Menasco与Reid的猜想：在12个交叉以内的双曲纽结补形中，不包含闭合、嵌入的全测地曲面。
• 通过大规模计算，识别出此前未知的包含全测地曲面的双曲3-流形。

提出的方法

• 以带有提升至PSL(2,C)的单值表示的具柄双曲3-流形的理想三角剖分作为输入。
• 通过Regina应用法向曲面理论，利用法向坐标枚举候选曲面。
• 通过验证其基本群在单值表示下的像是否满足由测地性不变性导出的线性代数条件，来检查曲面是否为全测地曲面。
• 使用极限集近似（通过随机矩阵迭代生成10,000个点）进行视觉验证，确认全测地性与Fuchsian结构。
• 使用SageMath计算曲面基本群的迹域，以确认Fuchsian性质。
• 通过检查是否存在平凡柄，并验证曲面不与非几何形变同痕，来过滤非本质曲面。

实验结果

研究问题

• RQ1 是否存在高效算法，可确定给定法向曲面在双曲3-流形中是否为全测地曲面？
• RQ2 是否存在此前未知的包含闭合、嵌入、全测地曲面的双曲3-流形？
• RQ3 Menasco–Reid猜想对所有12个交叉以内的双曲纽结是否成立？
• RQ4 计算方法能否检测并验证全测地曲面的几何与代数性质（如Fuchsian结构、迹域）？

主要发现

• 该算法成功识别出九个包含全测地曲面的新双曲3-流形，所有这些流形均为OrientableCuspedCensus中流形的覆叠。
• 这九个流形均与已知具有无限多个浸入全测地曲面的双曲8字纽结补形m004共度量。
• 在测试的142,409个链外空间中，无一包含闭合、嵌入的全测地曲面，支持Menasco–Reid猜想。
• 在m412(0,0)(0,0)的三重覆叠中，发现一个亏格为2的曲面，其法向坐标为偶数，确认其为非可定向Fuchsian曲面的双重。
• 该曲面的极限集近似为一个几何圆，其迹域计算为Q(√3)，确认其为Fuchsian且全测地。
• 该算法在大规模数据集上运行高效，运行时间与体积及四面体数量的增加呈合理比例，如5,000个样本流形的散点图所示。