[論文レビュー] 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万件以上の多様体に適用した結果、完全測地的表面を有する新たな例を9件発見し、12交差以下のハイパーボリックリンク補間には閉じた埋め込み完全測地的表面を含まないというMenascoとReidの予想に対する強力な計算的証拠を提供した。

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次元多様体内で完全測地的であるかどうかを判定するための計算アルゴリズムを開発すること。
• 完全測地的表面にホモトープであるすべての正規表面を列挙するアルゴリズムを構築すること。
• ハイパーボリックリンク補間には閉じた埋め込み完全測地的表面を含まないというMenascoとReidの予想が、12交差までに成り立つかを検証すること。
• 大規模計算を用いて、完全測地的表面を有するハイパーボリック3次元多様体の新たな例を同定すること。

提案手法

• カスプ付きハイパーボリック3次元多様体の理想三角形分割を入力とし、ホロノミー表現をPSL(2,C)に持ち上げる。
• Reginaを用いて正規座標を用いて候補表面を正規表面理論により列挙する。
• 測地的不変性から導かれる線形代数的条件を満たすかどうかを、ホロノミー表現による基本群の像を検証することで、表面が完全測地的であるかを確認する。
• ランダム行列反復による10,000点の極限集合近似を用いて、完全測地的性およびFuchsian構造を視覚的に検証する。
• SageMathを用いて表面の基本群のトレース体を計算し、Fuchsian性を確認する。
• 自明なハンドルの有無を確認し、表面が非幾何的変形にホモトープでないことを検証することで、不要な表面をフィルタリングする。

実験結果

リサーチクエスチョン

• RQ1 ハイパーボリック3次元多様体内の与えられた正規表面が完全測地的であるかどうかを、効率的なアルゴリズムで判定できるか？
• RQ2 これまでに知られていなかった、閉じた埋め込み完全測地的表面を有するハイパーボリック3次元多様体は存在するか？
• RQ3 12交差までのすべてのハイパーボリックリンクに対してMenasco–Reid予想は成り立つか？
• RQ4 計算的手法により、完全測地的表面の幾何的・代数的性質（例：Fuchsian構造、トレース体）を検出し、検証できるか？

主な発見

• アルゴリズムは、完全測地的表面を有する9件の新たなハイパーボリック3次元多様体を効果的に同定した。これら9件の多様体は、すべてOrientableCuspedCensusに含まれる多様体の被覆であることが判明した。
• これらの9件の多様体は、無限に多くの埋め込み完全測地的表面を有するという事実が知られている図8結び補間m004と可換であることが判明した。
• 142,409件のリンク外部多様体をテストした結果、いずれの多様体に対しても閉じた埋め込み完全測地的表面は存在しなかった。これはMenasco–Reid予想を支持するものである。
• m412(0,0)(0,0)の3重被覆において、偶数の正規座標を持つ genus-2 表面が発見され、非可換Fuchsian表面の2重被覆であることが確認された。
• この表面の極限集合は、幾何的円に近似され、そのトレース体はQ(√3)として計算された。これにより、Fuchsianかつ完全測地的であることが確認された。
• アルゴリズムは大規模データセットに対しても効率的に動作し、体積および四面体数に応じて実行時間が適切にスケーリングされた。5,000件のサンプル多様体の散布図によりその傾向が示された。