[論文レビュー] Homology of torus links

Marko Stošić|ArXiv.org|Jun 26, 2006

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

ひとこと要約

本稿は、偶数成分のトーラスリンク $T_{2k,2kn}$ のクラスカルンホモロジーにおいて、ホモロジー次数 $2k^2n$ を超えると非ゼロホモロジーが消えるホモロジー的カットオフを確立し、この次数における最高ホモロジー群を明示的に計算する。その結果、これはクラスカルンの交差なしマッチングの環 $H^k$ の中心と同型であることが示され、クラスカルンとロザンスキーの予想を裏付ける。さらに、すべての $n \in \mathbb{N}$ に対して $(3,n)$-トーラス絡み目のケイホルンホモロジーの自由部分について明示的な公式を導出し、安定したホモロジー構造を明らかにする。

ABSTRACT

In this paper we show that there is a cut-off in the Khovanov homology of $(2k,2kn)$-torus links, namely that the maximal homological degree of non-zero homology group of $(2k,2kn)$-torus link is $2k^2n$. Furthermore, we calculate explicitely the homology groups in homological degree $2k^2n$ and prove that it coincides with the centre of the ring $H^k$ of crossingless matchings, introduced by M. Khovanov in \cite{tan}. Also we give an explicit formula for the ranks of the homology groups of $(3,n)$-torus knots for every $n\in\N$.

研究の動機と目的

• 偶数成分のトーラスリンク $T_{2k,2kn}$ の非ゼロケイホルンホモロジー群が現れる最大のホモロジー次数を特定すること。
• ホモロジー次数 $2k^2n$ におけるこの最大次数のホモロジー群の明示的構造を計算すること。
• この最高ホモロジー群が、交差なしマッチングの環 $H^k$ の中心と一致することを確認すること。
• すべての $n \in \mathbb{N}$ に対して、$(3,n)$-トーラス絡み目のケイホルンホモロジー群のランクについて明示的な公式を導出すること。
• $n \to \infty$ のとき $T'_{3,3n}$ の有理ケイホルンホモロジーが安定することを確立すること。

提案手法

• 交差の解消に関連するケイホルンホモロジーの長い完全系列を用いて、トーラスリンクのホモロジー構造を分析する。
• $n$ を変数として帰納法を適用し、$D_{3,3n}$, $D_{3,3n+1}$, $D_{3,3n+2}$, および $D_{3,3n+3}$ 図形のホモロジーを計算する。
• 双次数 $(1,4)$ のリー微分を含むスペクトル系列の議論を用いて、曖昧なホモロジー群を除外する。
• $T'_{2k,2kn}$（向きを反転させたもの）のホモロジーを $T_{2k,2kn}$ のシフトされたホモロジーと比較し、左下象限でのサポートを導出する。
• 交差なしマッチングの環 $H^k$ の中心を計算し、$T'_{2k,2kn}$ の最高ホモロジー群と比較する。
• コンピュータ支援の結果を帰納法の基底ケースとして用い、既知の不変量と整合性があることを検証する。

実験結果

リサーチクエスチョン

• RQ1 トーラスリンク $T_{2k,2kn}$ の非ゼロケイホルンホモロジー群が現れる最大のホモロジー次数は何か？
• RQ2 $T_{2k,2kn}$ の最高ホモロジー群（次数 $2k^2n$）は、環 $H^k$ の中心と一致するか？
• RQ3 すべての $n \in \mathbb{N}$ に対して、$(3,n)$-トーラス絡み目のケイホルンホモロジー群のランクについて明示的な公式を導出可能か？
• RQ4 $n \to \infty$ のとき、$T'_{3,3n}$ の有理ケイホルンホモロジーは安定化するか？
• RQ5 $m > 2$ のとき $sl(m)$ ホモロジーに対しても同様のカットオフが成立するか？

主な発見

• $T_{2k,2kn}$ のケイホルンホモロジーは、すべてのホモロジー次数 $2k^2n$ を超えると消えることが示され、明確なカットオフが成立する。
• ホモロジー次数 $2k^2n$ におけるホモロジー群は、環 $H^k$ の中心と同型であり、クラスカルンとロザンスキーの予想を裏付ける。
• $(3,n)$-トーラス絡み目の場合、すべての $n$ に対してケイホルンホモロジーの自由部分が明示的に計算され、$n$ の値に応じて特定の双次数で $\mathbb{Q}$, $\mathbb{Q}^3$, および $\mathbb{Q}^2$ のランクをとる。
• $T'_{3,3n}$ の有理ケイホルンホモロジーは $n \to \infty$ のとき安定化し、その極限は明示的に計算される。
• $m > 2$ のとき $sl(m)$ ホモロジーには同様のカットオフは成立せず、一般にはそのようなカットオフは存在しない。
• $T'_{2k,2kn}$ のホモロジーは左下象限にサポートされ、$q$-次数が非正でホモロジー次数が 0 であることが確認され、ホッホシルドコホモロジーの極限に関する予想を裏付ける。