[論文レビュー] Knot Group Epimorphisms, II

Daniel S. Silver, Wilbur Whitten|ArXiv.org|Jun 19, 2008

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

ひとこと要約

本稿は、ねじれ構造を保つエピモルフィズムと、トーラス結び目および2-ブリッジ結び目の間の関係を調査する。トーラス結び目 $k$ に対して、任意のエピモルフィズム $ olimits k \to \nolimits k'$ が存在する場合、$k'$ もまたトーラス結び目であり、すべての such $k'$ が完全に分類されている。2-ブリッジ結び目に対しては、$k >_p k'$ ならば、$k'$ は $k$ の行列式を真に割り切る2-ブリッジ結び目であり、このような $k'$ は有限個に限られ、J. Simon が提起した問題を解決する。

ABSTRACT

We consider the relations $\ge$ and $\ge_p$ on the collection of all knots, where $k \ge k'$ (respectively, $k \ge_p k'$) if there exists an epimorphism $πk o πk'$ of knot groups (respectively, preserving peripheral systems). When $k$ is a torus knot, the relations coincide and $k'$ must also be a torus knot; we determine the knots $k'$ that can occur. If $k$ is a 2-bridge knot and $k \ge_p k'$, then $k'$ is a 2-bridge knot with determinant a proper divisor of the determinant of $k$; only finitely many knots $k'$ are possible.

研究の動機と目的

• トーラス結び目 $k$ に対して、$ olimits k \to \nolimits k'$ がねじれ構造を保つエピモルフィズムをもつようなすべての結び目 $k'$ を分類すること。
• 2-ブリッジ結び目 $k$ が、別の結び目 $k'$ へねじれエピモルフィズムをもつための条件を特定すること、特に行列式と有限性に焦点を当てる。
• J. Simon が提起した、2-ブリッジ結び目に対してこのようなエピモルフィズムが有限個であるかどうかという未解決問題に取り組む。
• 特にねじり結び目およびトーラス結び目に適用される最小性と $p$-最小性の定義とその研究を行う。
• エピモルフィズムの下で、位相的不変量（例： genus、交差数、Gromov 不変量）がどのように保存または継承されるかを調査する。

提案手法

• 著者たちは、結び目に対して2つの半順序を定義する：$k \geq k'$ は、$ olimits k \to \nolimits k'$ が結び目の群のエピモルフィズムであることを意味し、$k \geq_p k'$ はそのエピモルフィズムがねじれ構造を保つことを意味する。
• 彼らは、メリジアンの中心化子を、可換子部分群内で用いる代数的トポロジー的手法を用いて、素な結び目間のメリジアンを保つエピモルフィズムがねじれ構造を保つことを示す。
• 2-ブリッジ結び目に対しては、アレクサンダー多項式の性質と行列式の整除性を応用し、エピモルフィズムの可能な像 $k'$ を制限する。
• 彼らは、$k$ が $(p_1,q_1)$-2-ブリッジ結び目であり、$k >_p k'$ ならば、$k'$ は $(p_2,q_2)$-2-ブリッジ結び目であり、$p_2$ が $p_1$ を真に割り切ることを示し、有限性に到る。
• 最小性と $p$-最小性を定義し、ねじり結び目が $p$-最小であることを示し、また、$(p_1,p_2)$-トーラス結び目が最小であるための必要十分条件は、$p_1$ と $p_2$ がともに素数であることであることを示す。
• 手術記述と既知の例（例：Riley の結び目、スクエア結び目）を用いて、総回転数を0とする写像を明示的に構成し、結び目外部間のゼロ次写像を示す。

実験結果

リサーチクエスチョン

• RQ1 与えられたトーラス結び目 $k$ に対して、$ olimits k \to \nolimits k'$ がねじれ構造を保つエピモルフィズムをもつような結び目 $k'$ はどれか？
• RQ2 2-ブリッジ結び目 $k$ に対して、$ olimits k \to \nolimits k'$ がねじれエピモルフィズムをもつような結び目 $k'$ はいくつ存在するか？ また、その不変量（例：行列式）にどのような制約が課されるか？
• RQ3 メリジアンを保つエピモルフィズム $ olimits k \to \nolimits k'$ が存在する場合、$k'$ は2-ブリッジ結び目であることが保証されるか？ また、このような $k'$ の数は有限か？
• RQ4 どのような条件下で結び目 $k$ が $p$-最小であるか、すなわち、$k >_p k'$ を満たす非自明な $k'$ が存在しないか？
• RQ5 エピモルフィズムの下で、位相的不変量（例： genus、交差数、Gromov 不変量）はどのように保存または継承されるか？

主な発見

• トーラス結び目 $k$ に対して、ねじれ構造を保つエピモルフィズム $ olimits k \to \nolimits k'$ が存在するならば、$k'$ もまたトーラス結び目であり、本稿ではそのすべての $k'$ が完全に分類されている。
• 2-ブリッジ結び目 $k$ に対して、$k >_p k'$ を満たす $k'$ は、$k$ の行列式を真に割り切る2-ブリッジ結び目であり、このような $k'$ は有限個に限られる。
• 本稿は、J. Simon が提起した問題を解決し、任意の2-ブリッジ結び目 $k$ に対して、$ olimits k \to \nolimits k'$ がメリジアンを保つエピモルフィズムをもつような $k'$ は有限個であることを証明した。
• 非自明なすべてのねじり結び目は $p$-最小であり、$k >_p k'$ を満たす非自明な $k'$ は存在しない。さらに、各 $n \geq 3$ に対して、交差数 $n$ の $p$-最小結び目が存在する。
• $(p_1,p_2)$-トーラス結び目が最小であるための必要十分条件は、$p_1$ と $p_2$ がともに素数であることである。これはこのクラスにおける最小性の明確な代数的基準を確立する。
• 2-ブリッジ結び目またはファイバリング結び目 $k$ に対して、$k'$ の genus は $k$ の genus 以下である。なぜなら、$ olimits_{k'}(t)$ が $ olimits_k(t)$ を整除し、genus はアレクサンダー多項式の次数の半分に等しいからである。