[論文レビュー] Introduction to Graph-Link Theory

Denis Petrovich Ilyutko, Vassily Olegovich Manturov|ArXiv.org|Oct 30, 2008

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

ひとこと要約

本稿は、弦図の交差グラフを用いて定義される、古典的・仮想的絡み目の組み合わせ的一般化としてのグラフ・リンクを導入する。グラフ・リンクに対してジョーンズ多項式不変量を確立し、クラスカル＝ムラスギ＝シスルワイトー定理に類似した最小性定理を証明し、孤立頂点を含まない交番グラフ・リンクが頂点数において最小であることを示している。

ABSTRACT

The present paper is an introduction to a combinatorial theory arising as a natural generalisation of classical and virtual knot theory. There is a way to encode links by a class of `realisable' graphs. When passing to generic graphs with the same equivalence relations we get `graph-links'. On one hand graph-links generalise the notion of virtual link, on the other hand they do not feel link mutations. We define the Jones polynomial for graph-links and prove its invariance. We also prove some a generalisation of the Kauffman-Murasugi-Thistlethwaite theorem on `minmal diagrams' for graph-links

研究の動機と目的

• 弦図の交差グラフを用いた組み合わせ的枠組みを構築し、古典的および仮想的絡みめ理論を一般化すること。
• 一般化されたライデマイスター移動の下での抽象的グラフの同値類としてのグラフ・リンクを定義し、仮想的絡みめ理論を拡張すること。
• 実現不可能な性質を持つにもかかわらず、グラフ・リンクに対してカウフマンブラケットとジョーンズ多項式を構成すること。
• クラスカル＝ムラスギ＝シスルワイトーの最小性定理をグラフ・リンクに一般化し、頂点数において最小となる条件を同定すること。
• グラフ・リンクが変異不変量を検出できない限界を検討し、ケーファン・ホモロジーと対比すること。

提案手法

• 頂点が弦を、辺が交差を表すように、弦図の交差グラフによってグラフ・リンクを定義する。
• 状態和モデルを用い、カウフマン状態における存在しない円周の数を数えることで、グラフ・リンクのカウフマンブラケットを定義する。
• カウフマンブラケットの正規化を通じて、グラフ・リンクのジョーンズ多項式を定義し、一般化されたライデマイスター移動の下での不変性を証明する。
• 関連するアーモン（トゥラエフ・ジェネル）の genus を用いてブラケットのスパンを表現する： span⟨G⟩ = 4n − 4g(G)。
• 適切性および交番ラベル付けの概念を用いて最小性を特徴づける：孤立頂点を含まない交番ラベル付きグラフは最小である。
• 状態遷移および円周数の組み合わせ的議論を用いて、ブラケットの最高次の項と最低次の項が相殺されないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ジョーンズ多項式は、必ずしも古典的または仮想的絡み目として実現可能でないグラフ・リンクへ一般化可能か？
• RQ2 グラフ・リンクは、最小交差数などの古典的絡みめ不変量をどの程度検出できるか？
• RQ3 グラフ・リンクの最小性は、特に交番グラフの場合にその構造とどのように関係するか？
• RQ4 ジョーンズ多項式が古典的および仮想的絡み目において変異不変量を検出できるのにもかかわらず、なぜグラフ・リンクはそれらを検出できないのか？
• RQ5 グラフ・リンクのカウフマンブラケットは、ケーファン型ホモロジー理論を導くようにカテゴライズ化可能か？

主な発見

• ジョーンズ多項式は、グラフ・リンクに対して適切に定義され、不変である。これは、古典的不変量をより広い組み合わせ的対象のクラスへ拡張するものである。
• ラベル付きグラフ・リンクのジョーンズ多項式のスパンは、span⟨G⟩ = 4n − 4g(G) で与えられる。ここで n は頂点数、g(G) は関連するアーモンの genus である。
• 孤立頂点を含まない交番ラベル付きグラフ・リンクは最小である：同じグラフ・リンクを表すには、より少ない頂点数のグラフ・リンクは存在しない。
• グラフ・リンクは変異を検出できない。カウフマンブラケット（したがってジョーンズ多項式）は、このような変換に対して感度を欠いている。
• G₇ と呼ばれる 7 頂点の交番グラフ（特定の接続関係と交番ラベルを有する）は、最小であることが証明され、かついかなる弦図の交差グラフとしても実現不可能である。
• 本稿は、ある反例（G₇）を提示し、一部のグラフ・リンクは 7 交差以下の古典的または仮想的絡み目図形の代表をもたないことを示している。