[論文レビュー] The cosmetic crossing conjecture for split links

Joshua Wang|arXiv (Cornell University)|Jun 1, 2020

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

ひとこと要約

この論文は、スクリューのないバンドによるバンド和が、バンドに全ねじりを加えることで無限個の異なる非向き付きのねじれを生成することを示すことにより、分離2成分リンクに対する一般化された装飾的交差予想を証明する。$f_2$ 上のケーブルホモロジーを用いて、これらのねじれの二重次数ホモロジー群がすべて異なることを示し、一方ヘーガードおよびインスタントンねじれフローエルホモロジーはねじりに対して不変のままであるため、分離リンクに対する予想の予測が裏付けられる。

ABSTRACT

Given a band sum of a split two-component link along a nontrivial band, we obtain a family of knots indexed by the integers by adding any number of full twists to the band. We show that the knots in this family have the same Heegaard knot Floer homology and the same instanton knot Floer homology. In contrast, a generalization of the cosmetic crossing conjecture predicts that the knots in this family are all distinct. We verify this prediction by showing that any two knots in this family have distinct Khovanov homology. Along the way, we prove that each of the three knot homologies detects the trivial band.

研究の動機と目的

• 分離2成分リンクに対する一般化された装飾的交差予想を検証すること。
• 分離リンクの非自明なバンドに沿ったバンド和が、全ねじりを加えることで無限個の異なる非向き付きのねじれを生成することを示すこと。
• ケーブルホモロジーがバンドの非自明性を検出でき、ねじったねじれを区別できることを示すこと。
• ヘーガードおよびインスタントンねじれフローエルホモロジーが全ねじりに対して不変のままであることを確立し、ケーブルホモロジーの感度と対照的にすること。

提案手法

• スクリューのないバンドを含む分離2成分リンク $L$ において、$n$ 個の半ねじりをバンドに加えることで、ねじれの族 $\{K_{b+n/2}\}$ を構成する。
• リボンコンcordance および平面のムービー表現を用いて、$K_{b+n/2}$ のケーブルホモロジーを $K_{\#}$ およびリンク $L$ のものと関連付ける。
• $\u0066_2$ 上のケーブルホモロジーにおける非向き付きのスケイン完全三角形を適用し、ねじりにおけるホモロジーの振る舞いを分析する。
• 関手性および次数シフトを活用して、ケーブルホモロジー群が $h^n q^{2n} H_b$ だけシフトすることを示す。ここで $H_b$ は非ゼロの二重次数ベクトル空間である。
• ケーブルホモロジーの $\u0066_2$ 上の同型型が非向き付きねじれ型の不変量であることを証明し、ねじれの区別を可能にする。
• $Kh(K_b) \cong Kh(K_{\#}) \oplus H_b$ かつ $H_b \neq 0$、および $H_{b+n/2} \cong h^n q^{2n} H_b$ を用いて、すべての $n \in \mathbb{Z}$ に対して異なることを示す。

実験結果

リサーチクエスチョン

• RQ1 分離2成分リンクにおける非自明なバンドに全ねじりを加えることで得られるすべてのねじれは、非向き付きのねじれとして互いに異なるか？
• RQ2 ケーブルホモロジーは分離リンクのバンド和におけるバンドの非自明性を検出できるか？
• RQ3 なぜヘーガードおよびインスタントンねじれフローエルホモロジーは全ねじりに対して不変のままであり、ケーブルホモロジーはそうではないのか？
• RQ4 ケーブルホモロジーを用いて、分離リンクにおける一般化された装飾的交差予想を検証できるか？
• RQ5 $\u0066_2$ 上のケーブルホモロジーの二重次数構造は、ねじった族内のすべてのねじれを区別するのに十分か？

主な発見

• すべての $n \in \mathbb{Z}$ に対して、ねじれ $K_{b+n/2}$ は非向き付きのねじれとして互いに異なる。これにより、分離リンクに対する一般化された装飾的交差予想が確認される。
• $\u0066_2$ 上のケーブルホモロジーはバンドの非自明性を検出でき、$H_b$ が非ゼロかつ有限次元であるため。
• 二重次数ベクトル空間 $Kh(K_{b+n/2})$ は $Kh(K_{\#}) \oplus h^n q^{2n} H_b$ に同型であり、ねじりにおける一貫したシフトを示している。
• $\u0066_2$ 上の $Kh(K_{b+n/2})$ の同型型は、すべての $n \in \mathbb{Z}$ に対して異なるため、ねじれが同相でないことを証明している。
• ヘーガードおよびインスタントンねじれフローエルホモロジーは全ねじりに対して不変のままであり、分離リンクにおけるバンドねじりに対して不変であることを示している。
• 連結和 $K_{\#}$ のケーブルホモロジーは、$Kh(K_{\#})$ と $H_b$ の直和に同型であり、$H_b$ がねじり効果を捉えている。