[論文レビュー] A partial order on the set of prime knots with up to 11 crossings

Keiichi Horie, Teruaki Kitano+2 more|ArXiv.org|Jun 22, 2009

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

ひとこと要約

この論文は、11交差以下の801個の素ねつに対するそのねつ群間の全単射準同型の surjective homomorphisms を用いて、完全な半順序を確立する。アレクサンダー多項式およびねじれアレクサンダー多項式を用いた明示的構成と非存在証明を組み合わせることで、640,800組の全順序関係を解明し、10交差までの先行結果を拡張し、この範囲内のねつ群間の群エピモルフィズムの包括的分類を提供する。

ABSTRACT

Let $K$ be a prime knot in $S^3$ and $G(K)=π_1(S^3-K)$ the knot group. We write $K_1 \geq K_2$ if there exists a surjective homomorphism from $G(K_1)$ onto $G(K_2)$. In this paper, we determine this partial order on the set of prime knots with up to 11 crossings. There exist such 801 prime knots and then $640,800$ should be considered. The existence of a surjective homomorphism can be proved by constructing it explicitly. On the other hand, the non-existence of a surjective homomorphism can be proved by the Alexander polynomial and the twisted Alexander polynomial. This work is an extension of the result of \cite{KS1}.

研究の動機と目的

• 10交差から11交差への素ねつによる全単射準同型による半順序の拡張。
• 11交差以下の801個の素ねつについて、ねつ群間の全単射準同型の存在または非存在を解明すること。
• 代数的不変量と明示的構成を用いて、これらのねつにおける群エピモルフィズムの完全な分類を提供すること。
• Horieら（2008年）の10交差ねつに関する先行結果を11交差の場合に検証および拡張すること。

提案手法

• 群の提示と計算的検証を用いたねつ群間の全単射準同型の明示的構成。
• 全単射準同型の存在に対する必要条件としてのアレクサンダー多項式の応用。
• ねじれアレクサンダー多項式を用いた全単射準同型の非存在基準の強化。
• 11表（surj-31 から surj-63）および1つの非存在表における結果の体系的計算と表形式の整理。
• 10交差ねつに関する先行結果を活用し、11交差ねつを含むペアに限定することで、処理対象を579,084件に削減。
• 一貫性のある11交差ねつラベル付けのため、KnotInfo表記法を採用。

実験結果

リサーチクエスチョン

• RQ1 11交差以下の素ねつの中で、他のねつ群からの全単射準同型をもつものはどれか？
• RQ2 ねじれアレクサンダー多項式は、ねつ群間の全単射準同型の非存在をどのように排除できるか？
• RQ3 11交差以下の素ねつ集合における、全単射準同型関係による完全な半順序構造は何か？
• RQ4 11交差ねつに関する結果は、10交差までのねつに対して既に知られていた半順序をどのように拡張するか？
• RQ5 半順序における全640,800組の順序関係を検証するために必要な計算的および理論的枠組みは何か？

主な発見

• 11交差以下の素ねつにおける半順序は完全に決定され、801個のねつと640,800組の順序関係が解明された。
• 定理1.2にリストされた119組の全単射準同型は、すべて表surj-31からsurj-63に記録された明示的構成により構成された。
• 他のすべてのペアについて、ねじれアレクサンダー多項式および関連不変量を用いて全単射準同型の非存在が確認された。
• 10交差ねつ分類（801組）の先行結果を11交差に拡張し、579,084件の新規ケースが分析された。
• 11a_{352} ≥ 6₁、11a_{351} ≥ 6₂、および11a_{47}、11a_{239} ≥ 6₃が確認され、以前未解決だったケースが解消された。
• 11n_{139}については、37個の異なるねつからの全単射準同型が存在し、その中には10_{147}および11a_{352}も含まれる。この結果はデータ表に示されている。