[論文レビュー] An Introduction to Virtual Spatial Graph Theory

Thomas R. Fleming, Blake Mellor|arXiv (Cornell University)|Aug 29, 2006

Geometric and Algebraic Topology参考文献 16被引用数 5

ひとこと要約

本稿では、空間的グラフ理論と仮想的絡み合い理論を統合する仮想的空間的グラフ理論を提唱し、古典的および仮想的交差を持つグラフの研究を可能にする。すべてのガウス符号が仮想的空間的グラフで実現可能であることが確立され、内部的に仮想的に絡んだグラフのフィルトレーションが導入され、すべての古典的内部的に絡んだグラフが1-内部的に仮想的に絡んだことも示された。

ABSTRACT

Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.

研究の動機と目的

• 空間的グラフ理論と仮想的絡み合い理論を一つの枠組み、すなわち仮想的空間的グラフ理論に統合する。
• 膜に結合した生物学的系のように非相互作用するストランドをモデル化するため、仮想的交差を許容することで、古典的空間的グラフ理論の限界を克服する。
• ガウス符号とライデマイスター移動を用いて、仮想的空間的グラフの組み合わせ的基盤を提供する。
• 内部的に仮想的に絡んだ（IVL）グラフの概念と、仮想的交差の閾値に基づくフィルトレーションを導入する。
• 古典的内部的絡み合いと仮想的内部的絡み合いの関係を調査し、特に $IVL_0 = IVL_1$ の等価性を検討する。

提案手法

• 仮想的空間的グラフを、平面へのグラフの埋め込みとして定義し、交差が「上」「下」「仮想的」であるものとし、拡張されたライデマイスター移動の下で制約を受ける。
• 古典的絡み合い理論からガウス符号を空間的グラフに適応し、エッジに沿った交差の順序を記録する。
• 古典的空間的埋め込みでは実現不可能なガウス符号も、仮想的交差を用いて実現可能である。
• 仮想的同値の概念を導入：二つの図が同じガウス符号を持つとき、それらは仮想的同値である。
• $n$-内部的に仮想的に絡んだ（$n$-IVL）グラフを、高々 $n$ 個の仮想的交差を持つすべての図に非自明な仮想的リンクが含まれるようなグラフとして定義する。
• 理論を用いてペテルセン族のグラフを分類し、その仮想的絡み合いのフィルトレーションレベルを同定する。

実験結果

リサーチクエスチョン

• RQ1 空間的グラフのすべてのガウス符号が仮想的空間的グラフ図で実現可能か？
• RQ2 すべての古典的内部的に絡んだグラフは、1次内部的に仮想的に絡んだか？
• RQ3 内部的に仮想的に絡んだグラフのフィルトレーション $IVL_n$ の構造は？
• RQ4 2-IVL だが 3-IVL でないグラフは存在するか？ その最小マイナー構造は？
• RQ5 仮想的 unknotting 数は古典的 unknotting 数と関係があるか？ 特定の絡み合いに対して計算可能か？

主な発見

• 空間的グラフのすべてのガウス符号が仮想的空間的グラフ図として実現可能であることが証明され、仮想的グラフが実現不可能な古典的符号の普遍的実現枠組みを提供することが示された。
• 古典的空間的グラフが仮想的同値であるならば、それらは古典的に同値である（すなわち、埋め込みの同値性が保存される）という、古典的空間的グラフの仮想的埋め込みへの埋め込みが単射であるという主張（予想1）が成り立つ。
• すべての内部的に絡んだグラフは1-内部的に仮想的に絡んだため、$IVL_0 = IVL_1$ が成り立つ。これは仮想的絡み合いにおける半整数の絡み合い数の不変性のおかげで、驚くべき結果である。
• $K_6$、$K_{3,3,1}$、$K_{4,4}\setminus e$、および $G_7$ は2-IVLだが3-IVLでないため、2次内部的仮想的絡み合いのマイナー最小構造である。
• ペテルセン族のグラフはすべて1-IVLであるが、$G_8$、$G_9$、およびペテルセングラフは2-IVLでない。これらは2つの仮想的交差を持つ仮想的図をもち、非自明な仮想的リンクを含まないからである。
• 任意のねじれ絡み結びの仮想的 unknotting 数は2である。これは、絡みをとくために最小で2つの古典的交差を仮想化する必要がある非自明な最小数を示している。