[論文レビュー] Quasi-alternating links and odd homology: computations and conjectures

Slavik Jablan, Radmila Sazdanović|arXiv (Cornell University)|Dec 31, 2008

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

ひとこと要約

本稿では、KhoHo、Knotscape、LinKnotを用いて、12交差以下の擬代数的（QA）リンクおよびその奇Khovanovホモロジーについての計算結果を提示する。12交差以下のリンクにおいて、最小図形が複数存在するが、そのうち一方がQAで他方がそうでない例を初めて同定し、QAでないがホモロジカルに薄いリンクの新たな候補を提示する。特に、11n₅₀およびL11n₉₀が、ホモロジカルに薄いかかわらずQAでないことが確認された。

ABSTRACT

We present computational results about quasi-alternating knots and links and odd homology obtained by looking at link families in the Conway notation. More precisely, we list quasi-alternating links up to 12 crossings and the first examples of quasi-alternating knots and links with at least two different minimal diagrams, where one is quasi-alternating and the other is not. We provide examples of knots and links with $n\le 12$ crossings which are homologically thin and have no minimal quasi-alternating diagrams. These links are candidates for homologically thin links that are not quasi-alternating. For one of our candidates [JaSa1], knot $11n_{50}$, J. Greene proved that it is not quasi-alternating, so this is the first example of homologically thin knot which is not quasi-alternating [Gr]. Computations were performed by A. Shumakovitch's program \emph{KhoHo}, the program \emph{Knotscape}, and our program \emph{LinKnot}.

研究の動機と目的

• 12交差までにおける擬代数的リンクの分類を、計算的手法を用いて行う。
• ホモロジカルに薄いが擬代数的でないリンク（QAでない）を同定し、すべてのこのようなリンクがQAであるという予想に反する。
• 最小図形と擬代数的性質の関係を、特に複数の異なる最小図形を有する場合に焦点を当て、調査する。
• 代数的リンクおよびモンテスィノスリンクの奇Khovanovホモロジーの厚さについて、計算的証拠と予想を提示する。
• ホモロジカルに薄い性質およびスムージングの性質を用いて、既存の擬代数的リンクの基準を検証・拡張する。

提案手法

• A. ShumakovitchのKhoHoプログラムを用いて、12交差までのリンクの奇Khovanovホモロジー（$\overline{Kh}'$）を計算した。
• KnotscapeおよびLinKnotを用いて、非代数的リンクのフライング・エキスチェンジ（flype）同値な最小図形を生成・分析した。
• コンウェイ記法を用い、特に代数的およびモンテスィノス形式に注目して、リンクを体系的に列挙・区別した。
• ホモロジカルに厚いリンクは擬代数的ではありえないという基準を適用し、また、擬代数的交差における両方のスムージングがホモロジカルに薄くなければならないという性質を用いた。
• グリーンの定理を用いて、奇Khovanovホモロジーの厚さに基づき、11n₅₀やL11n₉₀などの特定のリンクが非QAであることを証明した。
• 特定のトゥーリング配置を有する代数的およびモンテスィノスリンクの族について、奇Khovanovホモロジーの厚さに関する予想を立案・検証した。

実験結果

リサーチクエスチョン

• RQ1 12交差以下のホモロジカルに薄いリンクで、Khovanovホモロジーおよびヘーゲル＝フローリングホモロジーにおいても薄いが、擬代数的でないリンクはどれか？
• RQ2 同一のリンクが複数の異なる最小図形を有する場合に、そのうち一方が擬代数的で他方がそうでないことはあり得るか？ これは、最小図形の性質とQA性の不変性にどのような含意をもたらすか？
• RQ3 代数的およびモンテスィノスリンクにおいて、リンクが奇Khovanovホモロジーで厚くなるための必要十分条件は何か、特にトゥーリング配置に着目して。
• RQ4 奇Khovanovホモロジーの性質および擬代数的交差の性質が、最小図形の構造にどのように制約を加えるか？
• RQ5 ホモロジカルに薄いが擬代数的でないリンクの族は存在するか？ そして、その非QA性はホモロジカル不変量を用いて体系的に証明可能か？

主な発見

• 本稿では、11n₅₀およびL11n₉₀がホモロジカルに薄いが擬代数的でないリンクであると同定し、奇Khovanovホモロジーを用いてグリーンの結果を確認した。
• 本稿は、最小図形が複数存在するが、そのうち一方が擬代数的で他方がそうでない例を初めて提示した。これは、フライング・エキスチェンジ移動においてQA性が図形に依存することを示しており、QA性が図形不変ではないことを示している。
• 12交差の非代数的リンクの中には、663個がホモロジカルに薄いが、その多くは最小の擬代数的図形をもたない。
• 代数的リンクの奇Khovanovホモロジーの厚さに関する新たな予想を提示した。特に、$(p_1,\dots,p_m+ k)(q_1,\dots,q_n-)$の形をしたリンクに対して、トゥーリングの長さや値に関する条件を設けた。
• 例外的なモンテスィノスリンクの族（例：$-2\,2,2\,2,p$、$p \geq 6$）が、以前の予想された条件を満たさないにもかかわらず$\overline{Kh}'$-厚いことが同定された。
• $(p_1,\dots,p_m)(q_1,\dots,q_n-)$の形をした代数的リンクで、$m \geq 4$、または$m=3$かつ$\max(p_i) \leq \min(q_j)$である場合、奇Khovanovホモロジーが$\overline{Kh}'$-厚いと予想され、計算的証拠によって支持されている。