[論文レビュー] Genus two Heegaard splittings of exteriors of 1-genus 1-bridge knots II

Hiroshi Goda, Chuichiro Hayashi|arXiv (Cornell University)|Sep 13, 2010

Geometric and Algebraic Topology参考文献 23被引用数 5

ひとこと要約

本稿は、3次元球面およびレンズ空間内の1生成数1ブリッジ絡み目の外部について、生成数2のヒーガード分解の分類を完了する。2つの分解面が正確に2つの$K$-本質的ループで交わる場合を分析し、分岐被覆技術とハンドル体分解を用いて、弱$K$-非可縮性からサテライト図や特定のディスク/アーク構成まで、6つの構造的条件のいずれかが成立することを証明した。これにより、著者らの先行研究における重要な定理の証明が完全に完成した。

ABSTRACT

A knot K is called a 1-genus 1-bridge knot in a 3-manifold M if (M,K) has a Heegaard splitting (V_1,t_1)\cup (V_2,t_2) where V_i is a solid torus and t_i is a boundary parallel arc properly embedded in V_i. If the exterior of a knot has a genus 2 Heegaard splitting, we say that the knot has an unknotting tunnel. Naturally the exterior of a 1-genus 1-bridge knot K allows a genus 2 Heegaard splitting, i.e., K has an unknotting tunnel. But, in general, there are unknotting tunnels which are not derived form this procedure. Some of them may be levelled with the torus \partial V_1=\partial V_2, whose case was studied in our previous paper. In this paper, we consider the remaining case.

研究の動機と目的

• 生成数2のヒーガード分解の分類を、$S^3$およびレンズ空間内の1生成数1ブリッジ絡み目の外部について、分解面が正確に2つの$K$-本質的ループで交わる残りのケースを解消することで完了すること。
• この場合、弱$K$-非可縮性、トーラス/サテライト絡みみタイプ、サテライト図、または特定のディスク・アーク構成といった6つの構造的条件のいずれかが成立することを証明すること。
• 最小交差数における$\ extbackslash{}ell = 2$のケースが有限個の位相的構成に帰着されることを確立し、著者らの先行研究における定理1.3の証明を完全に完了すること。

提案手法

• 2つの分解面、すなわち$(1,1)$-分解トーラス$H_1$と$(2,0)$-分解面$H_2$の交わりを分析し、正確に2つの$K$-本質的ループが存在すると仮定する。
• $H_1$および$H_2$における$H_1 \cap H_2$の位相的型を分類し、分離するループパターンと非分離するループパターンを区別する。
• 文献[7]の命題2.1（2重分岐被覆に関するもの）を適用し、$W_2$または$W_1$に圧縮ディスクが存在し、$H_1$と交わらない場合の帰結を導出する。
• $K$-圧縮、$\partial$-圧縮、および同倫変形を用いて、円柱とディスクを分析し、特定の構成が弱$K$-非可縮性または特定の幾何的構造を意味することを示す。
• 同倫変形の議論を用いて$H_1$と$H_2$を移動させ、交差パターンを単純化する。特に、円柱と圧縮ディスクの存在との間の類似性を活用する。
• 先行研究の補題6.11および命題4.7を適用し、縁に沿った安定化が弱$K$-非可縮性を意味することを示し、構造的分類を完成させる。

実験結果

リサーチクエスチョン

• RQ1 1生成数1ブリッジ絡み目の外部において、$(1,1)$-分解トーラスと$(2,0)$-分解面が正確に2つの$K$-本質的ループで交わるとき、どのような位相的構成が生じるか？
• RQ2 このような交差パターンが$(2,0)$-分解の弱$K$-非可縮性を意味するのはどのような条件下か？
• RQ3 $K$-圧縮ディスクまたは$\partial$-圧縮ディスクが他方の分解面と交わらない場合、その存在が絡みみのタイプや分解構造の分類にどのように寄与するか？
• RQ4 分岐集合$K$を持つ2重分岐被覆が、定理1.2における6つの構造的条件のいずれかを強制するか？
• RQ5 分解面を同倫変形によって交差ループ数を減らすことは可能か？ もし可能であれば、どのような幾何的制約下で成立するか？

主な発見

• $H_1$と$H_2$が2つの$K$-本質的ループで交わる場合、弱$K$-非可縮性、トーラス絡みみ、サテライト絡みみ、サテライト図、または特定のディスク・アーク構成といった6つの条件のいずれかが成立する。
• $W_1$に$K$-圧縮ディスクが存在し、$H_1$と交わらない場合、圧縮と同倫変形の議論により$(2,0)$-分解$H_2$は弱$K$-非可縮性を示す。
• $H_1$内の円柱に$K$-圧縮ディスク$R$が存在し、$R$が$H_1$内でディスクを境界とする場合、その円柱上にサテライト図が存在し、条件(e)を満たす。
• $W_1$内の円柱に対する$\partial$-圧縮ディスク$C$が$H_2$上で本質的アークで交わる場合、条件(iv)が成立し、特定の幾何的構成が示される。
• $H_1$を$\partial$-圧縮ディスク$C$に沿って同倫変形すると、新たなトーラス$H$が得られ、これは$W_1$内の立体トーラス$U_1$と同倫的である。このとき補題6.11により、縁に沿った安定化が成立し、結果として弱$K$-非可縮性が得られる。
• ケース(i)(B)において、円柱$A_{12}$と$Z'$が$W_2$内で平行であることが示され、これにより補題における条件(2)を削除可能となり、分類が単純化された。