[論文レビュー] Khovanov homology and words

Tomonori Fukunaga, Noboru Ιτο|arXiv (Cornell University)|Jan 26, 2009

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

ひとこと要約

本稿では、$\Delta_{\alpha}$-ホモトピー不変性を用いて、擬リンクに対する新しいクラスホヴァノフホモロジー不変量を導入し、写像 $\mathcal{U}_L$ を通じて任意のアルファベット上のナノフレーズへ拡張する。この不変量がタラエフの $\lambda$ および特徴的系列よりも厳密に強いことを示し、$\mathbb{Z}/2\mathbb{Z}$ 係数を用いた明示的反例により独立性を証明する。

ABSTRACT

This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.

研究の動機と目的

• $\mathbb{Z}/2\mathbb{Z}$ 係数を用いて、擬リンクに対するクラスホヴァノフホモロジー不変量を構成すること。
• 写像 $\mathcal{U}_L$ を通じて、任意のアルファベット上のナノフレーズへこの不変量を拡張すること。
• 得られたホモロジーがタラエフの $\lambda$ 不変量および特徴的系列よりも厳密に強いことを証明すること。
• 明示的な反例を用いて、既存のホモトピー不変量から独立していることを示すこと。

提案手法

• 擬リンクに対してクラスホヴァノフ型の状態を定義し、ジョーンズ多項式を構成し、タラエフの定義と等価であることを示す。
• $\mathbb{Z}/2\mathbb{Z}$ 係数を用いて、チェーン複体を用いて擬リンクのクラスホヴァノフホモロジー $KH^{i,j}(P)$ を導入する。
• ナノフレーズから擬リンクへの写像 $\mathcal{U}_L$ を構成し、ホモトピー類を保存することを示す。
• 明示的なチェーンホモトピー写像および再帰写像を用いて、$S_1$-ホモトピーに関して $KH^{i,j}$ の不変性を証明する。
• $\mathcal{U}_L$ を用いてナノフレーズへの上昇を行い、$\Delta_\alpha$-ホモトピー不変性を証明する。
• 明示的な例を用いて、$KH^{i,j}$ が $\hat{J}$、$\lambda$、および特徴的系列が捉えられない差を検出できることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}/2\mathbb{Z}$ 係数を用いたクラスホヴァノフホモロジーは、擬リンクにおいて $S_1$-ホモトピーに関して不変か？
• RQ2 擬リンクのクラスホヴァノフホモロジーは、任意のアルファベット上のナノフレーズの新しい不変量を定義するために持ち上げられるか？
• RQ3 この新しい不変量は、ナノワードにおけるタラエフの $\lambda$ 不変量よりも厳密に強いか？
• RQ4 クラスホヴァノフホモロジーは、ジョーンズ多項式 $\hat{J}$ が捉えられない差を検出できるか？
• RQ5 明示的な例により、特徴的系列および $\lambda$ から独立しているかを示せるか？

主な発見

• $KH^{i,j}(P)$ は、明示的なチェーンホモトピー写像を用いた証明により、擬リンクにおいて $S_1$-ホモトピーに関して不変である。
• $\mathcal{U}_L$ はホモトピー類を保存するため、ナノフレーズにおける $\Delta_\alpha$-ホモトピー不変量の構成が可能になる。
• 例 6.1 では $KH^{-7,15}(P_1) \simeq 0$ かつ $KH^{-7,15}(P_2) \simeq \mathbb{Z}_2$ であり、$\hat{J}(P_1) = \hat{J}(P_2)$ であるため、$KH^{i,j}$ が $\hat{J}$ よりも厳密に強いことを証明する。
• 例 6.2 では $KH^{0,2}(\mathcal{U}_{\{a\}}(ACAC)) \simeq 0$ かつ $KH^{0,2}(\mathcal{U}_{\{a\}}(ABACBC)) \simeq \mathbb{Z}_2$ であり、$\lambda$ はそれらを区別できない。
• 例 6.3 では $KH^{0,3}(\mathcal{U}_{\{c\}}(\emptyset)) \simeq 0$ かつ $KH^{0,3}(\mathcal{U}_{\{c\}}(ABCDCDAB)) \simeq \mathbb{Z}_2$ であり、$f \circ v_+$ とは独立であることを証明する。
• 本稿では、$KH^{i,j}(\mathcal{U}_L(P))$ が $\lambda$ および特徴的系列の両方から独立しており、厳密に強い不変量としての役割を果たすことが確立されている。