[論文レビュー] The Ozsv{á}th-Szab{ó} and Rasmussen concordance invariants are not equal

Matthew Hedden, Philip Ording|ArXiv.org|Dec 15, 2005

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

ひとこと要約

この論文は、すべての絡み目の $s(K)$ が $2\tau(K)$ に等しいというラスマッセンの予想を反証する。$(2,2n+1)$ ホールド・トーラス結び目に対するねじれホワイトヘッド二重結び目を用いて、スケイン完全系列と絡み目のフローリングホモロジー技法を用いて $\tau$ と $s$ を計算し、$\tau(D_+(T_{2,3},2))=0$ であるのに対し $s(D_+(T_{2,3},2))=2$ であることを示し、予想に対する最初の反例を提供する。

ABSTRACT

In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.

研究の動機と目的

• すべての絡み目について $s(K) = 2\tau(K)$ であるというラスマッセンの予想を反証すること。
• $(2,2n+1)$ トーラス結び目のねじれホワイトヘッド二重結び目を用いて明示的な反例を構成すること。
• フローリングホモロジーとスケイン完全系列を用いて、これらの結び目のオズヴァース・シュバルツ絡み目の不変量 $\tau$ とラスマッセン不変量 $s$ を計算すること。
• $\tau$ と $s$ が常に一致するわけではないことを示し、それらが多くの形式的性質を共有しているにもかかわらず、そのような性質が常に一致するわけではないことを明らかにすること。
• フィルトレーション解析とスケイン関係を用いて、ねじれホワイトヘッド二重結び目の $\tau$ と $s$ を体系的に計算する方法を提供すること。

提案手法

• 著者たちは、絡み目のフローリングホモロジーのスケイン完全系列を用いて、ホワイトヘッド二重結び目のホモロジー群と三叉形結び目および輪結び目のホモロジー群を関連付ける。
• ゴダ、モリフジ、松田の技法を応用し、特にねじれホワイトヘッド二重結び目を含む $(1,1)$ 結び目の絡み目のフローリングホモロジーを計算する。
• 計算は、スケイン系列における微分のフィルトレーションを保存する部分、特に写像 $f_2$ の分析に依存する。
• $\tau$ の値は、フィルトレーションレベル 1 in に非自明なサイクルが存在するかどうかによって決定され、$\tau$ の定義は非自明なホモロジーを持つ最小のフィルトレーションレベルである。
• 著者たちは、エフテハリーの $0$-ねじれホワイトヘッド二重結び目に関する結果を用いて、特定のフィルトレーションレベルにおける $\widehat{HFK}$ を計算する。
• 交差の変更において $\tau(K_+) - 1 \leq \tau(K_-) \leq \tau(K_+)$ という不等式を適用し、$\tau$ の異なるねじれにおける振る舞いを制約する。

実験結果

リサーチクエスチョン

• RQ1 すべての絡み目について、ラスマッセン不変量 $s(K)$ は常にオズヴァース・シュバルツ不変量 $2\tau(K)$ に等しいだろうか？
• RQ2 $(2,2n+1)$ トーラス結び目のねじれホワイトヘッド二重結び目は、$s(K) = 2\tau(K)$ の等式に対する反例として機能するだろうか？
• RQ3 特に $t > 2n-1$ の場合に、ホワイトヘッド二重結び目におけるねじりの変化に伴う $\tau$ と $s$ の振る舞いはいかなるものか？
• RQ4 スケイン完全系列と絡み目のフローリングホモロジーにおけるフィルトレーション構造は、$\tau$ と $s$ の値をどのように制御するのか？
• RQ5 ホモロジー代数とフィルトレーション解析を用いて、ねじれホワイトヘッド二重結び目の $\tau$ と $s$ を体系的に計算する方法はあるだろうか？

主な発見

• 右回りの三叉形結び目の $2$-ねじれ正のホワイトヘッド二重結び目について、$\tau(D_+(T_{2,3},2)) = 0$ であるのに対し $s(D_+(T_{2,3},2)) = 2$ であるため、$s = 2\tau$ という予想される等式と直接矛盾する。
• 著者たちは、$t \leq 2n-1$ の場合 $\tau(D_+(T_{2,2n+1},t)) = 1$ であり、$t > 2n-1$ の場合 $\tau(D_+(T_{2,2n+1},t)) = 0$ であることを証明し、$t_\tau(T_{2,2n+1}) = 2n-1$ を得る。
• $(2,5)$ の場合 $t = 5,4$ および $(2,7)$ の場合 $t = 8,7,6$ について、$s(D_+(T_{2,2n+1},t)) = 2$ であるのに対し $\tau = 0$ であるため、複数の反例が確認される。
• スケイン系列における写像 $f_2$ は、テストされた値の中で $t = 2,1$ のみで非自明であり、その非自明性または自明性が $\tau$ の値を決定する。
• 結果から、$t_s(T_{2,2n+1}) = 3n-1$ が妥当な予想であることが示唆され、無限個の反例の族が存在することが示唆される。
• この研究は、$\tau$ と $s$ が常に一致するわけではないことを確認しており、それらが多くの形式的性質を共有しており、広いクラスの結び目で一致することは確認されているが、そのような性質が常に一致するわけではないことを示している。