[論文レビュー] Virtual Knots and Links

Louis H. Kauffman, Vassily Olegovich Manturov|ArXiv.org|Feb 1, 2005

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

ひとこと要約

本稿は、ガウスコードと仮想的交差を含む平面図を用いて、古典的絡み目の理論を拡張した仮想絡み目理論を導入する。主な結果として、(1) 3次元位相的証明により、2つの仮想絡み目の連結和が自明であるのは、両者が自明である場合に限ることを示し、(2) ハーケン＝マトヴェエフ正則表面理論に基づくアルゴリズムを用いて仮想絡み目を認識する手法を提供し、仮想絡み目の同値性を決定する手続きを確立する。

ABSTRACT

This paper is an introduction to the subject of virtual knot theory, combined with a discussion of some specific new theorems about virtual knots. The new results are as follows: We prove, using a 3-dimensional topology approach that if a connected sum of two virtual knots $K_{1}$ and $K_{2}$ is trivial, then so are both $K_{1}$ and $K_{2}$. We establish an algorithm, using Haken-Matveev technique, for recognizing virtual knots. This paper may be read as both an introduction and as a research paper.

研究の動機と目的

• 仮想絡み目理論における基礎的結果を確立し、古典的絡み目不変量と概念を仮想的状況に拡張する。
• 2つの仮想絡み目の連結和が自明であるのは、両因子が自明である場合に限るという問いを解決する。
• 3次元位相的技法を用いて仮想絡み目の認識に向けたアルゴリズム的手法を開発する。
• 古典的不変量（たとえば、巻き数や基本群）を仮想絡み目に一般化し、Zに同型な基本群をもつが非自明なジョーンズ多項式をもつといった、古典的理論では不可能な現象を明らかにする。
• 仮想絡み目、溶接された絡み目（welded knots）、4次元空間におけるトーラスの埋め込みとの関係を明確にする。

提案手法

• 3次元位相とハンドル体分解を用いて、仮想絡み目を厚くされた曲面への埋め込みとして分析し、古典的3次元多様体論の技法を応用する。
• ハーケン＝マトヴェエフの正則表面理論を応用し、表面分解を分析することで仮想絡み目の認識に向けたアルゴリズムを構築する。
• 自己自己リンク数 J(K) を、ガウスコードにおける奇数交差の符号の和として定義し、計算可能な不変量を提供する。
• ガウスコードとライデマイスター移動を用いて、絡み目の理論を平面図から組合せ的対象へ抽象化する。
• 4次元空間におけるチューブ付きバターンと溶接されたブレードの間の対応関係を確立し、仮想的交差を非相互作用的チューブ通過として解釈する。
• 鏡像操作とライデマイスター移動による不変性を用いて、自己自己リンク数の不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの仮想絡み目の連結和が自明となる条件は何か？
• RQ2 3次元位相的手法を用いて仮想絡み目をアルゴリズム的に認識できるか？
• RQ3 ジョーンズ多項式や基本群といった古典的不変量は、仮想的状況下でどのように振る舞うか？
• RQ4 仮想絡み目、溶接された絡み目、4次元空間におけるトーラスの埋め込みとの関係は何か？
• RQ5 自己自己リンク数は、仮想絡み目と古典的絡み目を区別でき、アセメトリ（ chirality ）を検出できるか？

主な発見

• 仮想絡み目の連結和が自明であるならば、両因子が個別に自明でなければならない。3次元位相的考察と表面分解を用いた証明により、この事実が裏付けられる。
• ハーケン＝マトヴェエフ正則表面理論に基づくアルゴリズムが構築され、仮想絡み目の認識に用いられ、仮想絡み目の同値性を決定する手続きを提供する。
• 自己自己リンク数 J(K) は、ガウスコードにおける奇数交差の符号の和として定義され、非古典的性質およびアセメトリを検出する不変量である。仮想の三葉結び目では J(K) = 2 であり、別の仮想絡み目 E に対しても同様に J(K) = 2 である。
• 仮想絡み目に対して J(K) は非ゼロであり、これは仮想絡み目がその鏡像と同値でないことを示し、かつ古典的でないことも示す。なぜなら、すべての古典的絡み目に対して J(K) = 0 であるからである。
• 仮想絡み目は、基本群が Z に同型であり、かつ非自明なジョーンズ多項式をもつことがある。これは古典的絡み目理論では不可能な現象である。
• 溶接された絡み目と4次元空間におけるトーラスの埋め込みとの間の対応関係が確立され、4次元空間における補空間の基本群が、仮想絡み目の組合せ的基本群に同型であることが示された。