[論文レビュー] Non-parallel essential surfaces in knot complements

David Bachman|ArXiv.org|Feb 22, 2003

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

ひとこと要約

この論文は、薄い位置にある $ n $ 個の薄いレベルをもつ紐結びまたはリンクの補集合には、少なくとも $ n $ 個の互いに非平行で、平面的で、縁に沿った、本質的で、互いに素な表面が存在することを確立する。著者たちは、薄いレベルに最大圧縮列を適用し、これらの表面が圧縮後も存続することを証明し、その結果、補集合の任意の三角形分割には少なくとも $ n/3 $ 個の単体が必要であるという重要な結論に至る。

ABSTRACT

We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.

研究の動機と目的

• 薄い位置に基づいた本質的表面の数の下界を、紐結びの補集合に対して確立すること。
• 非平行な本質的表面が圧縮の下でも存続することを示し、Thompsonの不変性表面に関する結果を一般化すること。
• 紐結びの薄い位置構造から、トポロジカル不変量（単体数）を導出すること。
• 薄い位置と3次元多様体における三角形分割の複雑さとの関係をより深く理解すること。
• 本質的表面理論と圧縮列を用いて、三角形分割の複雑さに対する新しい下界を提供すること。

提案手法

• 紐結びまたはリンクの補集合における薄いレベルの和集合に対して、最大圧縮列を定義する。
• 非平行性を圧縮ステップの間で保つ良好な圧縮列を用いる。
• Hakenの補題を適用し、圧縮ディスクが本質的表面と本質的ループで交わることを保証する。
• 集合 $ \mathcal{S} $ の非平行な球面から、$ S^3 $ の各成分に対応する頂点をもつ双対木 $ \Gamma $ を構成する。
• 各薄いレベルが少なくとも $ n+1 $ 個の結びの臨界点を分離することを証明し、$ \Gamma $ に少なくとも $ n+1 $ 個の頂点が存在することを示し、したがって少なくとも $ n $ 個の非平行表面が存在することを導く。
• Kneser-Hakenの有限性原理を用いて、三角形分割の複雑さによって本質的表面の数を抑え、$ t \geq n/3 $ を得る。

実験結果

リサーチクエスチョン

• RQ1 薄い位置における薄いレベルの数によって、紐結びの補集合に存在する非平行な本質的表面の数を下から抑えられるか。
• RQ2 紐結びの補集合における圧縮の下でも、薄いレベルの非平行性は存続するか。
• RQ3 薄い位置構造に基づいて、紐結びの補集合を三角形分割するのに必要な最小単体数は何か。
• RQ4 本質的表面の存在と3次元多様体における三角形分割の複雑さとの関係は何か。
• RQ5 圧縮列が複数の圧縮ステップにわたり、非平行性のようなトポロジカル不変量を保存できるか。

主な発見

• 薄い位置に $ n $ 個の薄いレベルをもつ紐結びまたはリンクの補集合には、少なくとも $ n $ 個の互いに素で、非平行で、平面的で、縁に沿った、本質的表面が存在する。
• 最大圧縮列は非平行性を保存するため、最終的な不変性表面も非平行のままである。
• 表面集合 $ \mathcal{S} $ の双対木 $ \Gamma $ の頂点数は少なくとも $ n+1 $ 個であり、したがって $ |\mathcal{S}| \geq n $ である。
• このような $ n $ 個の表面の存在は、紐結びの補集合の任意の三角形分割に少なくとも $ n/3 $ 個の単体が必要であることを示唆する。
• $ t \geq n/3 $ の境界は、$ 2|\mathcal{S}| \leq 6t $ という不等式から得られ、これは $ g=0 $ の多様体における境界不変性表面に対して有効である。
• この結果は、Thompsonの定理を非平行の場合に一般化し、薄い位置からより強い不変量を提供する。