[論文レビュー] Homotopy type of circle graphs complexes motivated by extreme Khovanov homology

Józef H. Przytycki, Marithania Silvero|arXiv (Cornell University)|Aug 9, 2016

Geometric and Algebraic Topology参考文献 22被引用数 5

ひとこと要約

本稿は、リンク図から導かれる円グラフの独立性単体複体のホモトピー型を調査し、これらの複体が球面のワッペンにホモトピー同値であると提唱している。著者らは、カクタス、外部平面、順列、非ネスト型グラフの族に対してこの予想を証明し、任意の有限ワッペンがこのような複体として実現可能であることを示している。これは、任意のリンク図の極端なカホロフホモロジーが torsion-free であることを意味し、非自明なホモロジー群の間隔が任意に分離された H-thick コンパクトが構成可能であることを示している。

ABSTRACT

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

研究の動機と目的

• リンク図から導かれる円グラフの独立性単体複体のホモトピー型を調査すること。
• 特にカクタス、外部平面、順列、非ネスト型グラフなどの族に対して、これらの複体が球面のワッペンにホモトピー同値であることを証明すること。
• この予想が成り立つならば、任意のリンク図の極端なカホロフホモロジーが torsion-free であることを確立すること。
• 非自明なホモロジー群の間隔が任意に大きい構造を示すようなリンク図を構成すること。
• 既存の独立性複体に関する結果を一般化し、そのホモトピー型に関する構造定理を提供すること。

提案手法

• コーン構成とドミネーション補題を用いて、独立性複体のホモトピー型を段階的に分析する。
• Csorba, Nagel, Reiner, Jonsson, Barmak による結果を拡張する一般化された独立性複体の構造定理を適用する。
• 任意の有限ワッペンが、独立性複体のホモトピー型として実現可能であるように、特定のコード図と関連する Lando グラフ（双対円グラフ）を構成する。
• トーラスリンク T(3,q) の極端なカホロフホモロジーを、カホロフホモロジーと独立性複体の（余）ホモロジーの対応関係を用いて分析する。
• 特定のホモトピー型を実現できるように、交差構造を制御した向き付けられたリンク図 D_n および D_{m,n} の図式的構成を用いる。
• 正の交差数が極端なカホロフホモロジーにおけるグレーディングシフトを決定することを活用し、非自明な群の位置を正確に制御できる。

実験結果

リサーチクエスチョン

• RQ1 任意の円グラフの独立性単体複体は、球面のワッペンにホモトピー同値であるか？
• RQ2 独立性複体が球面のワッペンにホモトピー同値であることは、すべてのリンク図の極端なカホロフホモロジーが torsion-free であることを示唆するか？
• RQ3 任意の有限ワッペンは、円グラフの独立性複体のホモトピー型として実現可能か？
• RQ4 トーラスリンク T(3,q) の極端なカホロフホモロジーの構造はいかなるものか？
• RQ5 非自明な極端なカホロフホモロジー群の間隔が任意に大きい H-thick コンパクトを構成可能か？

主な発見

• カクタスグラフの独立性単体複体は、ドミネーション補題とコーン・バイ・コーン構成を用いて、球面のワッペンにホモトピー同値であることが証明された。
• 外部平面グラフに対し、独立性複体は球面のワッペンにホモトピー同値であり、木やパスに対して既知の結果が拡張された。
• 順列グラフおよび非ネスト型円グラフに対しても、独立性複体は球面のワッペンにホモトピー同値であり、構造的分解によって確認された。
• 任意の有限連結ワッペンは、順列グラフの独立性複体のホモトピー型として実現可能である。
• 任意の n > 0 に対して、正確に二つの非自明な極端なカホロフホモロジー群を持ち、その間隔が n−1 の knot 図 D_n が存在する。
• 任意の m,n > 0 に対して、三つの非自明な極端なカホロフホモロジー群を持ち、それぞれの間隔が m−1 および n である knot 図 D_{m,n} が存在する。