[論文レビュー] Virtual Spatial Graphs

Thomas R. Fleming, Blake Mellor|arXiv (Cornell University)|Oct 7, 2005

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

ひとこと要約

本稿では、古典的空間グラフおよび仮想リンクの組み合わせ的拡張としての仮想空間グラフを導入し、非古典的埋め込みを扱うためにガウスコードとライデマイスター移動を統合する。基本群、仮想グラフファンクトル、ヤマダ多項式といった不変量を確立し、仮想的および古典的ライデマイスター移動の下でも不変であることを示し、空間グラフ理論における非実現可能ガウスコードの研究を可能にする。

ABSTRACT

Two natural generalizations of knot theory are the study of spatially embedded graphs, and Kauffman's theory of virtual knots. In this paper we combine these approaches to begin the study of virtual spatial graphs.

研究の動機と目的

• カウフマンの仮想リンクフレームワークを統合することで、古典的空間グラフ理論を一般化し、非実現可能ガウスコードをモデル化すること。
• 仮想交差を用いて組み合わせ的に仮想空間グラフを定義し、仮想的および混合交差を含むライデマイスター移動を拡張すること。
• 仮想的および古典的同相の下で不変である基本群、仮想グラフファンクトル、ヤマダ多項式といった不変量を構築すること。
• 古典的不変量が失敗する場合でも、不変量を用いて非自明な仮想空間グラフ図式と自明な図式を区別すること。
• 将来の仮想空間グラフにおける内在的リンクや位相的性質の研究のための基盤的ツールを構築すること。

提案手法

• 仮想交差を過点・低点の情報を持たない円で囲んだ交差として表す、R³に埋め込まれた有向で連結なグラフとして仮想空間グラフを定義する。
• 古典的ライデマイスター移動（I–VI）を、仮想的同相を制御する仮想移動（I*–V*）に拡張し、環境同相の同値性を保つ。
• 各交差に過点・低点の状態と有向辺の符号をラベル付けすることで、エッジ列をガウスコードで符号化する。
• ライデマイスター移動の下で不変である代数的関係を用いて仮想グラフファンクトルを構成し、頂点の次数に依存する頂点関係を含む。
• ヤマダの系関係を変形して、仮想交差を系還元において無視できるものとして扱い、仮想空間グラフの多項式不変量 R(G) を計算する。
• 剛体的頂点同相の下での不変性を達成するため、正規化不変量 R̄(G) = (−A)⁻ᵐR(G) を定義するが、柔軟な頂点移動の下では不変ではない。

実験結果

リサーチクエスチョン

• RQ1 仮想交差をどのように体系的に空間グラフ理論に組み込み、非実現可能ガウスコードをモデル化できるか？
• RQ2 仮想空間グラフに対して有効なライデマイスター移動は何か？また、位相的不整合のために禁止される移動は何か？
• RQ3 基本群やヤマダ多項式といった古典的不変量を仮想空間グラフに拡張できるか？その不変性は保たれるか？
• RQ4 仮想グラフファンクトルとヤマダ多項式は、非自明な仮想空間グラフ図式と自明な図式をどの程度区別できるか？
• RQ5 ヤマダ多項式は仮想的および古典的ライデマイスター移動の下でどのように振る舞い、平面グラフにおける非自明性を検出できるか？

主な発見

• 仮想グラフファンクトルは、すべての古典的および仮想ライデマイスター移動の下で不変であり、頂点次数と向きのルールに基づく関係から導かれる。
• 仮想交差を無視した場合、ヤマダ多項式 R(G) は仮想的および古典的ライデマイスター移動の下で不変であり、R(Bₙ) = −(−σ)ⁿ が仮想バッジに対して成り立つ。
• 正規化不変量 R̄(G) は剛体的頂点同相の下で不変であるが、柔軟な頂点移動の下では不変ではないため、完全な同相不変性には制限がある。
• 自明な図式と同一の基本群を持つがヤマダ多項式が異なる非自明な仮想空間グラフ図式（θグラフ）が存在する。
• ヤマダ多項式が自明な非自明な仮想図式が存在し、多項式が非自明性を検出できない場合があることを示している。
• 仮想グラフファンクトルは、少なくとも2つの同相でない仮想空間グラフを区別できる：1つは位数4の生成子の自由ファンクトルであり、もう1つは f(a) = a を満たすもので、構造的差異が示される。