[論文レビュー] Winding homology of knotoids

Deniz Kutluay|arXiv (Cornell University)|Feb 18, 2020

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

ひとこと要約

本稿では、Turaev多項式をカテゴライズ化する三重に重み付けされたホモロジー的不変量である巻き込みホモロジーを導入し、knotoids におけるKhovanovホモロジーの一般化を行う。状態の頭部および脚部まわりの巻き込み数を用いて重み付けを定義し、Turaev多項式やKhovanovホモロジー単体よりも強い不変量を提供する。特に、ℝ² 内のknotoidsを区別するための精錬された多項式不変量を用いる応用がある。

ABSTRACT

Knotoids were introduced by V. Turaev as open-ended knot-type diagrams that generalize knots. Turaev defined a two-variable polynomial invariant of knotoids which encompasses a generalization of the Jones knot polynomial to knotoids. We define a triply-graded homological invariant of knotoids categorifying the Turaev polynomial, called winding homology. Forgetting one of the three gradings gives a generalization of the Khovanov knot homology to knotoids.

研究の動機と目的

• S² 上のknotoidsにおけるTuraev多項式のホモロジー的カテゴライゼーションを構築すること。
• 頭部および脚部まわりの巻き込み数を用いた三重に重み付けされた不変量を導入することで、Khovanovホモロジーをknotoids に一般化すること。
• 頭部および脚部まわりの巻き込み寄与を分離することで、ℝ² 内のknotoidsに対する精錬された多項式不変量を構築すること。
• 巻き込みホモロジーがTuraev多項式とKhovanovホモロジーを合わせたものよりも強い不変量であることを示すこと。
• ℝ² 内の精錬された不変量が元のTuraev多項式と同値でないことを示し、非同値なknotoidsを区別する明示的な例を提示すること。

提案手法

• S² 上のknotoid図式に対して、状態空間と頭部および脚部まわりの状態の巻き込み数を用いて、三重に重み付けされたチェーン複体を定義する。
• 各状態の脚部（ℓ）および頭部（h）まわりの巻き込み数に加え、ホモロジー的および量子的重み付けに基づいて重み付けを割り当てる。
• コボルディズム写像を介した状態間の微分を構成し、リーデマイスター移動に対して不変性を保証する。
• 巻き込みポテンシャル関数を用いて、ショートカットや図式射影の選択に依存しない内在的正規化巻き込み数を定義する。
• 脚部および頭部まわりの巻き込み寄与を分離することで、4変数のTuraev多項式の精錬版を導入する。
• S² 上の回転数を用いた正規化により、精錬された多項式および巻き込みホモロジーの同値性を、同相変形およびリーデマイスター移動に対して証明する。

実験結果

リサーチクエスチョン

• RQ1 knotoids におけるTuraev多項式は、三重に重み付けされたホモロジー的不変量にカテゴライズ化可能か？
• RQ2 knotoids における巻き込みホモロジーは、Turaev多項式およびKhovanovホモロジーと比較して、どの程度強い不変量か？
• RQ3 knotoid の頭部および脚部まわりの巻き込み数を用いて、ℝ² 内で精錬された多項式不変量を定義可能か？
• RQ4 ℝ² 内の精錬された不変量は、元のTuraev多項式よりも厳密に強いか？
• RQ5 巻き込みホモロジー不変量は、knots に対して標準的なKhovanovホモロジーと同値か？

主な発見

• 巻き込みホモロジーは、knotoids における三重に重み付けされたホモロジー的不変量であり、Turaev多項式をカテゴライズ化する。
• 巻き込みホモロジーから1つの重み付けを無視すると、knotoids へのKhovanovホモロジーの一般化が得られる。
• 巻き込みホモロジーは、Turaev多項式とKhovanovホモロジーを合わせたものよりも強い不変量である。これは、両者単独では区別できないknotoidのペアを区別できる例によって示された。
• ℝ² では、精錬された多項式不変量（6.11）により、B₁ および B₂ のknotoidsが区別され、代入後のTuraev多項式が同一であるにもかかわらず、4変数多項式 T̂B₁ および T̂B₂ が異なる。
• ℝ² 内の精錬された不変量は、元のTuraev多項式と同値でない。これは、B₁ および B₂ に対して非同型な多項式（6.7）および（6.8）が得られることで示された。
• knots に対しては、巻き込みホモロジーは標準的なKhovanovホモロジーと同値であり、古典的ケースと整合性が保たれている。