[論文レビュー] The Connectivity Order of Links

Stéphane Dugowson|ArXiv.org|Apr 28, 2008

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

ひとこと要約

本稿では、有限連結性空間を介したリンクの分離可能性性質から導かれる新しい数値的不変量であるリンクの連結性順序を導入する。各リンクに対して、その非分離部分リンクに基づく連結性空間を関連付けることで、帰納的に非可約連結部分集合を用いて順序を定義する。すべての有限連結性構造がR³内のリンクによって実現可能である（Brunn-Debrunner-Kanenobuの定理）ことを証明し、連結性順序が有限型不変量を超える構造的複雑性を捉えていることを示している。

ABSTRACT

We associate at each link a connectivity space which describes its splittability properties. Then, the notion of order for finite connectivity spaces results in the definition of a new numerical invariant for links, their connectivity order. A section of this short paper presents a theorem which asserts that every finite connectivity structure can be realized by a link : the Brunn-Debrunner-Kanenobu Theorem.

研究の動機と目的

• リンクの分離可能性性質に基づく新しい数値的不変量を定義すること。
• リンクの位相と有限連結性空間との間の関係を形式化すること。
• すべての有限連結性構造がR³内のリンクの分離可能性構造として実現可能であることを証明すること。
• 連結性順序がリンク内の構造的複雑性を反映する位相的不変量であることを確立すること。
• この不変量が古典的不変量とは異なり、有限型でないことを示すこと。

提案手法

• 各リンクLに対して、その成分を点とする連結性空間X_Lを関連付け、その連結部分集合をLの非分離部分リンクとする。
• 集合Xと空でない部分集合族Kの組(X, K)を、部分集合族の共通部分が空でないときその和集合もKに属するという交差閉包性質を満たすものとして連結性空間と定義する。
• 2つの適切な交わる連結部分集合の和集合として表せない部分集合を非可約連結部分集合と定義する。
• 非可約部分集合に順序を帰納的に割り当てる：単集合は順序0とし、より大きな非可約集合の順序は、その適切な非可約部分集合の最大順序に1を加えたものとする。
• リンクLの連結性順序ω(L)を、関連する連結性空間におけるすべての非可約連結部分集合の順序の最大値として定義する。
• Brunn-Debrunner-Kanenobuの定理を用いて、任意の有限連結性構造がR³内のあるリンクから生じることを示し、所望の連結性順序を持つリンクの構成が可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限連結性構造がR³内のリンクの分離可能性構造として実現可能か？
• RQ2 リンクの連結性順序が捉える構造的複雑性とは何か？
• RQ3 連結性順序は他のリンク不変量、特にVassilievの有限型不変量とどのように関係するか？
• RQ4 与えられた成分数に対して、連結性順序の最大値は何か？
• RQ5 連結性順序は、古典的有限型不変量では区別できないリンクを区別できるか？

主な発見

• リンクLの連結性順序ω(L)は、Lの分離可能性構造に関連する連結性空間における非可約連結部分集合の順序の最大値として定義される。
• n個の成分を持つリンクに対してω(L) ≤ n − 1が成り立ち、すべての連結部分集合が非可約で鎖状に順序付けられている場合に等号が成立する。
• ボロメアン・リングのリンクは連結性順序2を有しており、見た目は単純なリンクが非自明な連結性構造を持つ可能性を示している。
• 9個の成分を持つリンクは、構造A₉によって連結性順序8に達することが可能であり、これはその成分数に対して最大である。
• 連結性順序はVassilievの有限型不変量ではない。2つの成分と2n個の二重点を持つ特異リンクにおいて、連結性順序が2ⁿを超える例によって示されている。
• Brunn-Debrunner-Kanenobuの定理により、すべての有限連結性構造がR³内のあるリンクの分離可能性構造として実現可能であることが保証され、連結性順序は有限連結性空間に対する普遍的不変量となる。