[論文レビュー] Non-peripheral ideal decompositions of alternating knots

Stavros Garoufalidis, Iain Moffatt+1 more|arXiv (Cornell University)|Oct 31, 2016

Geometric and Algebraic Topology参考文献 9被引用数 4

ひとこと要約

この論文は、双曲的交代的ケーブルの平面的で簡約された交代的射影から導かれる理想三角形分割が非周辺的であることを証明している。つまり、どの辺も境界トーラス上の曲線とホモトープでない。この性質により、貼り合わせ方程式と完全性方程式の可解性が保証される。小群理論と明示的な周辺的複体を用いて、交代的ケーブル群における周辺的要素を検出する多項式時間アルゴリズムを構築した。これは、これらのケーブルに対してボリューム予想が適用可能であるための鍵となる条件を解消する。

ABSTRACT

An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternating projections of hyperbolic knots. Our proof uses the small cancellation properties of the Dehn presentation of alternating knot groups, and an explicit solution to their word and conjugacy problems. In particular, we describe a planar complex that encodes all geodesic words that represent elements of the peripheral subgroup of an alternating knot group. This gives a polynomial time algorithm for checking if an element in an alternating knot group is peripheral. Our motivation for this work comes from the Volume Conjecture for knots.

研究の動機と目的

• 双曲的ケーブルの平面的で簡約された交代的射影から得られる理想三角形分割が非周辺的であることを確立すること。
• 小群理論を用いて、交代的ケーブル群の周辺的語問題を解くこと。
• 周辺的部分群を表す測地的語をすべて符号化する計画的複体を構築すること。
• 交代的ケーブル群における周辺的要素を検出する多項式時間アルゴリズムを提供すること。
• これらの三角形分割における貼り合わせ方程式と完全性方程式の可解性を保証することで、ボリューム予想の適用を支援すること。

提案手法

• 交代的ケーブル群の拡張されたデーン提示を用いて、関係子の平方を用いて群構造をモデル化する。
• 小群理論を適用して、交代的ケーブル群における語問題と共役問題を分析する。
• 関係子の平方をグリッド状にタイル配置することで、方向付きおよび非方向付きの周辺的複体を構築する。
• 関係子の平方の対角アライメントを用いた幾何的構成により、周辺的複体を定義し、一意性と方向付き複体への等長性を保証する。
• 周辺的複体を用いて、周辺的部分群を表すすべての測地的語を符号化する。
• 周辺的複体を走査することで、与えられた群元が周辺的かどうかをテストする多項式時間アルゴリズムを開発する。

実験結果

リサーチクエスチョン

• RQ1 双曲的ケーブルの平面的で簡約された交代的射影から導かれる理想三角形分割は非周辺的か？
• RQ2 小群理論を用いて、交代的ケーブル群の周辺的語問題を効率的に解けるか？
• RQ3 すべての測地的語を表す周辺的要素を符号化する幾何的複体は存在するか？
• RQ4 キーナイト図に依存せずに、デーン提示から直接周辺的複体を構築できるか？
• RQ5 このような複体の存在が、交代的ケーブル群における周辺的検出の多項式時間アルゴリズムの実現を可能にするか？

主な発見

• 双曲的交代的ケーブルの平面的で簡約された交代的射影から得られるすべての理想三角形分割は非周辺的であり、貼り合わせ方程式と完全性方程式の可解性が保証される。
• 周辺的複体は、関係子の平方を対角線に沿ってタイル配置することで、拡張されたデーン提示から一意に構築可能である。
• 非方向付き周辺的複体は方向付き周辺的複体と等長であり、群論的構造を保持する。
• 交代的ケーブルのガウスコード、またはその逆は、非方向付き周辺的複体から再構成可能である。
• 与えられた交代的ケーブル群の元が周辺的かどうかを判定する多項式時間アルゴリズムが存在する。このアルゴリズムは周辺的複体の走査に基づく。
• この構成により、小群理論的性質を用いて、交代的ケーブル群における語問題と共役問題の幾何的解法が得られる。