[論文レビュー] Denominators and Differences of Boundary Slopes for (1,1)-Knots

Jason Callahan|arXiv (Cornell University)|Jan 26, 2013

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

ひとこと要約

本稿では、奇数の $n > 1$ を用いた $K(-1/2, m/(2m\pm1), 1/n)$ の形をしたモンテスィノス結び目を用いて、無限に多くの (1,1)-結び目において、非ゼロ整数が境界斜度の分母に現れることを示している。さらに、$n$ を増加させることで境界斜度の差を任意に小さくできることを証明しており、ハッターとオーテルのアルゴリズムを用いて、制御されたオイラー標数と境界成分をもつ本質的表面を構築している。

ABSTRACT

We show that every nonzero integer occurs in the denominator of a boundary slope for infinitely many (1,1)-knots and that infinitely many (1,1)-knots have boundary slopes of arbitrarily small difference. Specifically, we prove that for any integers m, n > 1 with n odd the exterior of the Montesinos knot K(-1/2, m/(2m \pm 1), 1/n) in S^3 contains an essential surface with boundary slope r = 2(n-1)^2/n if m is even and 2(n+1)^2/n if m is odd. If n > 4m, we prove that K(-1/2, m/(2m+1), 1/n) also has a boundary slope whose difference with r is (8m-2)/(n^2-4mn+n), which decreases to 0 as n increases. All of these knots are (1,1)-knots.

研究の動機と目的

• 無限に多くの (1,1)-結び目において、すべての非ゼロ整数が本質的表面の境界斜度の分母として現れることを示すこと。
• 無限に多くの (1,1)-結び目が、任意に小さい差をもつ境界斜度をもつことを示すこと。
• 特に、[8]における表面の可縮性と境界成分数に関する誤りを是正し、モンテスィノス結び目の境界斜度に関する先行結果を拡張すること。
• [10]の特徴付けを用いて、構築された結び目が (1,1)-結び目であることを検証すること。
• [9]で確立されたモンテスィノス結び目外部における境界斜度の分母の上限の鋭さを分析すること。

提案手法

• 境界斜度を計算するための、$uv$-平面上のグラフ $\mathcal{D}$ に表現された曲線系を表す、Hatcher-Oertelのアルゴリズムを適用し、適切なエッジパス系を用いる。
• 有理タングルに対応するエッジパス系を分析することで、指定された枚数のシート、オイラー標数、境界成分数をもつ本質的表面を構築する。
• エッジパス系から導かれる境界斜度の公式を用いる：$m$ が偶数のとき $r = 2(n-1)^2/n$、$m$ が奇数のとき $2(n+1)^2/n$ であり、第二の斜度は $n$ と $m$ の有理関数として与えられる。
• 二つの境界斜度の差が $ (8m-2)/(n^2 - 4mn + n) $ に等しく、$n$ が増加するにつれて 0 に近づくことを証明する。
• Theorem 2.1 を用いて、$K(-1/2, m/(2m\pm1), 1/n)$ が (1,1)-結び目であることを検証する。
• [8]における誤りを是正し、本質的表面が一つの境界成分ではなく二つの境界成分をもつ（よって可縮である可能性がある）ことを示し、したがって表面が非可縮でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての非ゼロ整数が、無限に多くの (1,1)-結び目の本質的表面の境界斜度の分母として現れうるか？
• RQ2 任意に小さい差をもつ境界斜度をもつ (1,1)-結び目が存在するか？
• RQ3 $n \geq 4m+1$ のとき、モンテスィノス結び目 $K(-1/2, m/(2m+1), 1/n)$ の境界斜度の公式は正当に解釈され、正しいか？
• RQ4 証明における本質的表面は、一つの境界成分をもつのか、二つの境界成分をもつのか？ これは可縮性にどのような意味を持つのか？
• RQ5 境界斜度の分母は [9] の定理 4.1 で確立された境界とどのように関係し、どの結び目が最適な境界に達しているか？

主な発見

• 任意の整数 $m,n > 1$ で $n$ が奇数であるとき、モンテスィノス結び目 $K(-1/2, m/(2m\pm1), 1/n)$ は、$m$ が偶数のとき分母が $2(n-1)^2/n$、$m$ が奇数のとき $2(n+1)^2/n$ である本質的表面をもつ。
• $n \geq 4m+1$ のとき、結び目 $K(-1/2, m/(2m+1), 1/n)$ は第二の境界斜度をもち、二つの斜度の差は $ (8m-2)/(n^2 - 4mn + n) $ に等しく、$n$ が増加するにつれて 0 に近づく。
• 任意の $m > 1$ と $
  > 0$ に対して、ある $N$ が存在し、すべての $n \geq N$ に対して境界斜度の差が $
  $ より小さくなる。これにより、任意に小さい差が存在することが証明される。
• 境界斜度の既約分数における分母は $ (n-4m+1)/2 $ であり、これは整数である。これにより、表面が二つの境界成分をもつことが確認され、可縮である可能性がある。
• 本研究は [8] の結果を一般化し、是正した。[8]では単一の境界成分と非可縮性を誤って主張していたが、実際には二つの境界成分をもち、可縮である。
• 本稿は、$m=1$ のとき、結び目 $K(-1/2,1/3,1/n)$ が [9] の定理 4.1 の第二の境界（$(-2,3,n)$-プリジエリ結び目）に達することを確認している。$m>1$ のとき、第一の境界に達する。$m>2$ のとき、両方の境界に達しないが、依然として分母 $ (n-4m+1)/2 $ を実現している。