[論文レビュー] Khovanov homology for virtual links with arbitrary coefficients

Vassily Olegovich Manturov|ArXiv.org|Jan 8, 2006

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

ひとこと要約

本稿は、任意の係数環を用いた虚数リンクの明示的Khovanovホモロジー理論を、ねじれ係数と外積代数を用いて構築する。これは、既存のℤ₂上での理論の一般化である。主な貢献は、∂² = 0を満たす微分で、一般化されたReidemeister移動および虚数化に対して不変であり、非可換な原子およびねじれ付き虚数リンクへと理論を拡張することにある。

ABSTRACT

We construct explicitly the Khovanov homology theory for virtual links with arbitrary coefficients by using the twisted coefficients method. This method also works for constructing Khovanov homology for ``non-oriented virtual knots'' in the sense of Viro, in particular, for knots in ${\bf R}P^{3}$.

研究の動機と目的

• 非可換な原子が引き起こす障害を克服し、任意の係数環上の虚数リンクへKhovanovホモロジーを拡張すること。
• 古典的交差を通過する際、アンクノットのホモロジーを表すホップ代数の基底を変更することで、ねじれ係数を用いた微分の明示的構成。
• 可換な原子およびℝP³内のものも含め、ねじれ付き虚数リンクや非可換な原子を含む理論への一般化。
• 一般化されたReidemeister移動および虚数化に対して、函子的および不変性を確立すること。
• 特にℤ₂上および可換な原子についての既存の結果を統合・拡張すること。

提案手法

• 古典的交差を通過する際、アンクノットのホモロジーを表すホップ代数の基底を変更することで、ねじれ係数を導入する。
• チェーン複体の構成において、対称テンソル積の代わりに外積代数を用いる。
• テンソル空間の外積を用いて、高さと次数の二重次数構造を持つ複体を定義する。
• 次数を保存し、高さを1増加させる微分∂を構成し、立方体の反交換性により∂² = 0を保証する。
• 可換な原子に対して、解消の立方体における最大全域木を用いて、新しい複体と古典的複体を比較する。
• 局所性と不安定化に対する不変性を活用し、局所的マトリックス分解技術を虚数図に適応する。

実験結果

リサーチクエスチョン

• RQ1 任意の係数環（特にℤ₂以外）に対して、虚数リンクのKhovanovホモロジーを明示的に構成できるか？
• RQ2 非可換な原子が存在する状況でも、∂² = 0を満たす微分をどのように定義できるか？
• RQ3 得られたホモロジーは、虚数化および一般化されたReidemeister移動に対して不変か？
• RQ4 可換な原子に対して、新しいホモロジーは古典的Khovanovホモロジーと一致するか？
• RQ5 理論は、ℝP³内のものも含め、ねじれ付き虚数リンクや非可換な虚数リンクへ拡張可能か？

主な発見

• ねじれ係数と外積代数を用いた構成により、∂² = 0を満たす二重次数複体が得られ、適切に定義されたホモロジーが得られる。
• ホモロジーは一般化されたReidemeister移動および虚数化に対して不変であり、虚数リンクおよびねじれ付き虚数リンクの有効な不変量である。
• 可換な原子に対しては、新しいホモロジーは、以前の研究で定義された古典的Khovanovホモロジーと一致する。
• この構成は、Leeの理論および全域木展開を、虚数リンクおよびねじれ付き虚数リンクへ一般化する。
• 任意の代表原子の genus が g であるとき、虚数リンクのKhovanovホモロジーの厚さは 2 + g で有界である。
• 任意の係数環を用いたFrobenius系へ理論を拡張でき、h = 1の場合にはLeeの理論の一般化が得られる。