[論文レビュー] The Khovanov homology of 3-strand pretzels, revisited

Andrew Manion|arXiv (Cornell University)|Mar 13, 2013

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

ひとこと要約

本稿では、Bar-Natanのcobordism形式による構成を用いて、すべての3本鎖のプレティゼルリンクに対して、偶数符号割り当てを用いたℤ上の縮約されたKhovanovホモロジーを計算し、簡潔で概念的な導出を提供する。主な結果として、同調的薄型でない非擬代数的3本鎖プレティゼルリンクは、$P(-p,p,r)$（$p$ が奇数で $r \geq p$）に限られ、StarkstonとQazaqzehの先行研究を確認・拡張する。

ABSTRACT

We compute the reduced Khovanov homology of 3-stranded pretzel links. The coefficients are the integers with the "even" sign assignment. In particular, we show that the only homologically thin, non-quasi-alternating 3-stranded pretzels are P(-p,p,r) with p an odd integer and r greater than or equal to p (these were shown to be homologically thin by Starkston and Qazaqzeh).

研究の動機と目的

• すべての3本鎖プレティゼルリンクの、偶数符号割り当てを用いたℤ上の縮約Khovanovホモロジーを計算すること。
• tangleのKhovanovホモロジーのBar-Natanのcobordism形式による構成を用いて、より短く概念的な証明を提供すること。
• 3本鎖プレティゼルリンクの完全な双次数ホモロジー構造を特定し、特にδ-次数に注目すること。
• 非擬代数的だが同調的薄型であるプレティゼルリンクをすべて同定し、Starkstonの予想を解決するとともにQazaqzehの結果を確認すること。
• 多成分リンクにおける縮約ホモロジーの基点選択依存性を明確にし、単純化のための1つの標準的選択に制限すること。

提案手法

• tangle複体をモデル化するために、カテゴリ $\operatorname{Kom}(\operatorname{Mat}(\operatorname{Cob}^{3}_{\cdot/l}))$ 内のドット付きcobordismのBar-Natan形式を用いる。
• Khovanovの元来の研究に基づくが、cobordism言語に再定式化された、$n$ 個の半回転の形式的複体に関する鍵となる補題を適用する。
• デロープイング同型を用いて、自明な円周を除去することでtangle図を簡略化し、複雑さを低減する。
• δ-次数 $\delta = q/2 - h$ を用いて双次数を単一次数理論に縮約し、計算と解釈を簡素化する。
• 量子次数変数 $Q$ とホモロジー次数変数 $H$ を用いて、$P_{Kh}$ のPoincaré多項式を計算し、$p,q,r$ の偶奇および相対的大きさに依存する係数を含む。
• 特に、基点が負のねじれを持つ成分にある場合に注目し、方向付けの慣習と基点選択を一貫して適用する。

実験結果

リサーチクエスチョン

• RQ1 どの3本鎖プレティゼルリンクが同調的薄型だが非擬代数的であるか？
• RQ2 すべての3本鎖プレティゼルリンクのℤ上での完全な縮約Khovanovホモロジーは何か？
• RQ3 多成分プレティゼルリンクの縮約Khovanovホモロジーにおいて、基点の選択はどのように影響するか？
• RQ4 Bar-Natanのcobordism形式を用いることで、3本鎖プレティゼルリンクのKhovanovホモロジーの計算を簡略化できるか？
• RQ5 非擬代数的プレティゼルリンクの双次数ホモロジーの正確な構造は何か、特にδ-次数の観点から。

主な発見

• 同調的薄型でない非擬代数的3本鎖プレティゼルリンクは、$p$ が奇数で $r \geq p$ のとき $P(-p,p,r)$ に限られ、先行の予想と結果を確認する。
• $p,q,r$ がすべて奇数の $P(-p,q,r)$ に対しては、$H_0 = \mathbb{Z}^{p^2-1}$ および $H_{-1} = \mathbb{Z}^{(q-p)(r-p)-1}$、その他のすべての $H_\delta = 0$。
• $p$ が偶数のとき、$H_{(q+r)/2} = \mathbb{Z}^{p^2}$ および $H_{(q+r)/2 - 1} = \mathbb{Z}^{(q-p)(r-p)}$、その他のすべての $H_\delta = 0$。
• $q$ が偶数のとき、$H_{(-p+r)/2} = \mathbb{Z}^{p^2-1}$ および $H_{(-p+r)/2 - 1} = \mathbb{Z}^{(q-p)(r-p)-1}$、その他のすべての $H_\delta = 0$。
• $p=2$ のとき、項 $2Q^{-2+3p+n_{+}-2n_{-}}H^{-1+2p-n_{-}}$ の係数は、生成子の欠落により1に減少する。
• Poincaré多項式 $P_{Kh}$ は、$p,q,r$ の偶奇および相対的大きさに基づき、複数のケースで明示的に計算され、$n_+$ と $n_-$ は方向付けによって定まる。