[論文レビュー] A remark on Khovanov homology and two-fold branched covers

Liam Watson|ArXiv.org|Aug 20, 2008

Geometric and Algebraic Topology参考文献 7被引用数 6

ひとこと要約

この論文は、S³の2重被覆としての還元Khovanovホモロジーの総ランクが、𝔽₂上での不変量でないことを示している。(2,5)-トーラス紐結び目における surgery を用いて、2通りの方法でS³の2重被覆となる多様体の例を構成し、分岐集合のKhovanovホモロジーのランクが異なっている——具体的には、n=1 のとき 65∓8 と 16∓1、n=2 のとき 257∓16 と 32∓1 ——これにより、Khovanovホモロジーのランクが2重被覆において不変であるという予想に対する反例が得られた。

ABSTRACT

Examples of knots and links distinguished by the total rank of their Khovanov homology but sharing the same two-fold branched cover are given. As a result, Khovanov homology does not yield an invariant of two-fold branched covers.

研究の動機と目的

• 𝔽₂ 上の還元Khovanovホモロジーの総ランクが、S³の2重被覆の不変量であるかどうかを調査すること。
• Ozsváth が提起した、Khovanovホモロジーのランクが2重被覆において不変であるかどうかという未解決問題を解決すること。
• 2重被覆としてS³の複数の方法で得られる多様体の明示的例を構成し、分岐集合がKhovanovホモロジーのランクによって区別されることを示すこと。
• 変種とトーラス紐結び目の surgery が、同じ被覆を持つにもかかわらず異なる分岐集合と異なるKhovanovランクをもたらすことを示すこと。
• Khovanovホモロジーが2重被覆を介して3次元多様体の不変量として自然に拡張されないことを示唆する証拠を提供すること。

提案手法

• Montesinosのテクニックを用いて、トーラス紐結び目の surgery をS³の2重被覆として実現する。
• Seifertファイバー空間理論と surgery 公式を適用し、S³_{±1/n}(T_{2,5}) を特定のリンクの2重被覆と関連付ける。
• (2,5)-cinqfoil 結び目の強い反転を用いた tangle 商構成法により、さまざまな surgery の分岐集合を生成する。
• 還元Khovanovホモロジーの長完全系列を用いて、特に τ(±1/n) の tangle 閉包のホモロジーのランクを評価する。
• 計算ツール JavaKh を用いて、トーラスリンク T_{5,10n∓1} および tangle 閉包 τ(±1/n) の還元Khovanovホモロジーの総ランクを計算する。
• 同じ3次元多様体の異なる分岐集合のKhovanovホモロジーのランクを比較し、不変性を検証する。

実験結果

リサーチクエスチョン

• RQ1 𝔽₂ 上の還元Khovanovホモロジーの総ランクは、S³の2重被覆の不変量であるか？
• RQ2 同じ3次元多様体を2重被覆として得る異なるリンクが、それらのKhovanovホモロジーの総ランクによって区別可能か？
• RQ3 トーラス紐結び目の surgery は、Khovanovホモロジーの不変性が2重被覆において成り立たない反例を体系的に提供するか？
• RQ4 変種と tangle 填充操作の文脈において、KhovanovホモロジーのランクはDehn surgery に対してどのように振る舞うか？
• RQ5 トーラスリンク T_{2,q} のKhovanovホモロジーのランクの増大は、無限個のこのような反例を生成するために利用可能か？

主な発見

• n=1 のとき、T_{5,9} を分岐集合とするS³の2重被覆のKhovanovホモロジーのランクは57であるが、τ(±1) を分岐集合とする場合は15であり、同じ多様体に対して異なるランクを示している。
• n=1 のとき、T_{5,11} を分岐集合とするS³の2重被覆のKhovanovホモロジーのランクは73であるが、τ(±1) を分岐集合とする場合は17であり、再び異なるランクを示している。
• n=2 のとき、T_{5,19} を分岐集合とするS³の2重被覆のKhovanovホモロジーのランクは241であるが、τ(±1/2) を分岐集合とする場合は31であり、異なるランクが確認された。
• n=2 のとき、T_{5,21} を分岐集合とするS³の2重被覆のKhovanovホモロジーのランクは273であるが、τ(±1/2) を分岐集合とする場合は33であり、再び異なるランクを示している。
• τ(±1/n) のKhovanovホモロジーのランクは、16n∓1 で上から抑えられ、n=1 のときこの上限は達成されている。
• これらの結果により、Ozsváthの問いに対する否定的答えが得られた：還元Khovanovホモロジーの総ランクは2重被覆の不変量ではない。