[論文レビュー] Closed essential surfaces in the complements of large volume Berge knots

Kenneth L. Baker|ArXiv.org|Sep 4, 2005

Geometric and Algebraic Topology参考文献 6被引用数 3

ひとこと要約

本稿では、1回穿パラメータ付きトーラスバンドル内の連分数展開とねじれ表面理論を用いて、大規模なボルディング・ベールドンクの補集合におけるすべての閉じた本質的表面を分類するためのアルゴリズムを開発する。主な結果として、このような結び目の補集合に任意に多くの異なる閉じた本質的表面が存在するか、まったく存在しない場合があるにもかかわらず、それらの双曲的体積が任意に大きくなること、すなわち、これらのレンズ空間手術候補における本質的表面と体積の相関関係についての疑問を解決する。

ABSTRACT

We construct an algorithm that lists all closed essential surfaces in the complement of a knot that lies on the fiber of a trefoil or figure eight knot. Such knots are Berge knots and hence admit lens space surgeries. Furthermore they may have arbitrarily large hyperbolic volume. Using this algorithm we concoct large volume Berge knots of two flavors: those whose complement contains arbitrarily many distinct closed essential surfaces, and those whose complement contains no closed essential surfaces.

研究の動機と目的

• ボルディング・ベールドンクの補集合における閉じた本質的表面の存在が、その双曲的体積と相関しているかどうかを特定すること。
• 三葉結び目または図8結び目のファイバー上にある結び目の補集合における、すべての閉じた本質的表面を分類すること。
• 任意に大きな体積を持つが、それらの補集合に多数の異なる閉じた本質的表面を含むか、まったく含まないようなボルディング・ベールドンクの例を構成すること。
• 連分数展開と表面不変量に基づく計算フレームワークを確立し、このような表面を体系的かつ系統的に検出すること。

提案手法

• キュラー、ジャコ、ルビンスタインおよびフライト、ハッチャーよりのアルゴリズムを改変し、1回穿パラメータ付きトーラスバンドルに埋め込まれた、与えられたレベル曲線と交わらない本質的表面を列挙する。
• 1回穿パラメータ付きトーラスバンドルに含まれるすべてのねじれ表面を、レベル曲線の補集合において本質的であるものとして列挙するためのアルゴリズム6.1を導入する。
• アルゴリズム6.1を拡張し、アルゴリズム6.2を構築することで、その境界が開いた書式の結び目のミリディアン曲線に一致するねじれ表面のみを特定する。
• フレーミング理論を用いて、ミリディアン境界を持つねじれ表面から得られるキャップされた表面が、完全な結び目の補集合においても非圧縮的であることを保証する。
• 連分数の傾きに交互な符号および大きさの制約を満たす場合に、アルゴリズムの簡略化版（アルゴリズム9.1）をボルディング・ベールドンクに適用する。
• 閉じた本質的表面の存在を決定するための重要な方程式を導出する。この方程式は、連分数係数の部分集合の和を含む。

実験結果

リサーチクエスチョン

• RQ1 双曲的体積が任意に大きなボルディング・ベールドンクの補集合に、任意に多くの異なる閉じた本質的表面が存在しうるか？
• RQ2 ボルディング・ベールドンクの双曲的体積と、閉じた本質的表面の存在との間に、構造的な相関関係が存在するか？
• RQ3 双曲的体積が任意に大きなボルディング・ベールドンクの補集合に、まったく閉じた本質的表面が存在しない場合があるか？
• RQ4 結び目の傾きの連分数展開における代数的条件は、その補集合に閉じた本質的表面が存在するか否かを決定するか？
• RQ5 三葉結び目または図8結び目のファイバー上にある結び目の補集合における、すべての閉じた本質的表面をアルゴリズム的に分類する方法は何か？

主な発見

• 連分数の傾きが [z, -z, z, ..., ±z] の長さが増加するような族を構成することで、双曲的体積が任意に大きなボルディング・ベールドンクが、補集合に任意に多くの異なる閉じた本質的表面を含むことが示された。
• そのような族の各々について、連分数の長さに応じて異なる閉じた本質的表面の数が増加し、異なるインデックスの部分集合に対応する異なる genus の表面が得られる。
• 連分数係数におけるモジュラー障害的議論により、双曲的体積が任意に大きなが、補集合に閉じた本質的表面をまったく含まないボルディング・ベールドンクが存在することが証明された。
• 傾きが [Φₙ+2, -Φₙ, +Φₙ, ..., ±Φₙ] であるような結び目は、n が大きくなるにつれて体積が無限大に近づくが、すべての補集合に閉じた本質的表面を含まない（「スモール」）。
• 閉じた本質的表面の存在は、連分数係数の部分集合和を含む特定の式によって決定され、非連続なインデックスに制限され、1 を含むことが条件となる。
• アルゴリズムは、ねじれ表面理論と1回穿パラメータ付きトーラスバンドル内のミリディアン境界検出を組み合わせることで、すべてのこのような表面を効果的に検出できた。