[論文レビュー] On Free Knots and Links

Vassily Olegovich Manturov|ArXiv.org|Feb 1, 2009

Geometric and Algebraic Topology参考文献 10被引用数 24

ひとこと要約

本稿は、自由ねじれ結び目および自由リンクに対して、方向性のない原子と最小構成に注目することで、より洗練された「奇数交叉」の概念に基づく新しい不変量を導入する。滑らかさとブラケット不変量を一般化し、非自明性および最小性を検出することで、特にすべての弦が偶数であるが非実現可能な自由ねじれ結び目を含む、新しい最小自由ねじれ結び目およびリンクの例を構成する。

ABSTRACT

Both classical and virtual knots arise as formal Gauss diagrams modulo some abstract moves corresponding to Reidemeister moves. If we forget about both over/under crossings structure and writhe numbers of knots modulo the same Reidemeister moves, we get a dramatic simplification of virtual knots, which kills all classical knots. However, many virtual knots survive after this simplification. We construct invariants of these objects and present their applications to minimality problems of virtual knots as well as some questions related to graph-links. One can easily generalize these results for the orientable case and apply them for solving non-invertibility problems. The main idea behind these invariants is some geometrical construction which reduces the general equivalence to the equivalence only modulo Reidemeister - 2 move.

研究の動機と目的

• 非可定向な原子を超えて、奇数交叉不変量の枠組みを拡張する自由ねじれ結び目およびリンクの新しい不変量の開発。
• 自由ねじれ結び目およびリンクにおける最小性問題に取り組み、最小交叉数を検出できる不変量の構成。
• 方向性のある原子および偶数弦配置を有する自由ねじれ結び目およびリンクの、新しい非自明な例の同定。
• ループ付きグラフおよびガウス図形における非可逆性および非実現可能性問題の解決に、ブラケット不変量とライデマイスター移動の簡約を用いる。
• グラフリンクおよびフラットな仮想結び目への応用を可能にするために、不変量の構成を可定向の場合に一般化する。

提案手法

• ガウス図形における弦の交差パターンに基づく、可定向性に依存しない「奇数交叉」の新しい概念を導入する。
• 頂点における滑らかさを用いた図形値不変量を定義し、同値性をライデマイスターII移動に限定する。
• 自由リンク上のブラケット写像 $\{\cdot\}$ を構成し、2成分リンクを $\mathbb{Z}_2$-線形結合の図形にマッピングする。
• ブラケット不変量 $\{\cdot\}$ を用いて、像内での最小交叉数を持つ図形を特定することで、最小性を検出する。
• 自由ねじれ結び目に対して $\Delta$（トゥラエフのコブラケット）を適用し、2成分リンクの和を生成し、その同値類を分析する。
• 弦図形の交差グラフを用いて、すべての他の弦と接続された弦の唯一性といった構造的性質を検証し、ブラケット内でのキャンセルの不成立を保証する。

実験結果

リサーチクエスチョン

• RQ1 方向性のある原子に適用可能で、最小性を検出できる自由ねじれ結び目の新しい不変量を構成できるか？
• RQ2 自由リンクまたはねじれ結び目が最小であるための条件は何か？ そして、ブラケット不変量によってどのように検出できるか？
• RQ3 すべての弦が偶数（方向性のある原子）である自由ねじれ結び目が、非自明かつ仮想結び目として非実現可能であることは可能か？
• RQ4 ブラケット $\{\cdot\}$ が自由リンクにおいて非同値性または非可逆性をどのように検出するかの条件は何か？
• RQ5 ガウス図形の交差グラフの構造をどのように用いることで、ループ付きグラフの非実現性を証明できるか？

主な発見

• 図12に示す自由2成分リンク $L_1$ は、ソース・シンク条件およびブラケット不変量により、最小で方向性のある原子を有することが確認された。
• 図13の自由ねじれ結び目 $K_1$ は最小であり、$\Delta(K_1)$ は9つの2成分リンクから構成され、そのうち8交叉を持つのは $L_1$ のみである。
• $K_1$ の弦 $x$ を除く任意の滑らかさでは $L_1$ と同値なリンクが得られず、$\{\Delta(K_1)\}$ 内の他のすべての和項は8交叉未満である。
• ブラケット $\{L_1\}$ には $L_1$ のみが含まれており、$\mathbb{Z}_2\mathfrak{G}$ 内での最小性が確認されたため、$K_1$ は少なくとも9交叉を有する必要がある。
• 図15の交差グラフを持つループ付きグラフは、すべての頂点の次数が偶数であり、かつ唯一の弦が他のすべての弦と接続されているにもかかわらず、実現可能な代表元を持たない。
• 唯一の普遍的弦 $x$ における滑らかさによって得られる図 $A$ は、ブラケット内でキャンセルされず、非実現可能であるため、元のループ付きグラフの非実現性が証明された。