[論文レビュー] Parity and Relative Parity in Knot Theory

D. Yu . Krylov, Vassily Olegovich Manturov|arXiv (Cornell University)|Dec 30, 2010

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

ひとこと要約

本稿では、偶性理論を用いた新規な証明を提示し、可定向な原子を持つ仮想リンクの集合がリーデマイスター移動に関して閉じていることを示している—つまり、ある仮想リンクを別のものに変換する任意の移動列において、中間の図形がすべて可定向な原子を保つように実現可能である。この証明は、ガウスの偶性およびコhomological不変量を用いて、変換全体にわたり位相的一致性を保証する。

ABSTRACT

In the present paper we give a simple proof of the fact that the set of virtual links with orientable atoms is closed. More precisely, the theorem states that if two virtual diagrams $K$ and $K'$ have orientable atoms and they are equivalent by Reidemeister moves, then there is a sequence of diagrams $K = K_1 o... o K_n=K'$ all having orientable atoms where $K_i$ is obtained from $K_{i-1}$ by a Reidemeister move. The initial proof heavily relies on the topology of virtual links and was published in \cite{IM}. Our proof is based on the notion of parity which was introduced by the second named author in 2009. We split the set of crossings of a virtual link diagram into sets of {\it odd} and {\it even} in accordance with a fixed rule. The rule must only satisfy several conditions of Reidemeister's type. Then one can construct functorial mappings of link diagrams by using parity. The concept of parity allows one to introduce new invariants and strengthen well-known ones \cite{Ma1}.

研究の動機と目的

• 仮想リンクの可定向な原子に関するリーデマイスター移動における閉包性を示す、新しい簡素化された証明を提供すること。
• 同値な仮想リンク図形間の任意の位相的変形列において、原子の可定向性が保たれることを示すこと。
• 仮想 knot 理論における位相的不変量を制御するための偶性の有用性を確立すること。
• ガウスの偶性およびコhomological構成が、リーデマイスター移動列の過程で可定向性を保証するために用いられることを示すこと。
• 仮想リンク同値関係における原子の可定向性が、位相的不変量としての理解を強化すること。

提案手法

• リーデマイスター型の公理を満たす、頂点に値をとる Z₂-値関数として、フレーム化された4価グラフにおける偶性を定義する：1番目の移動では0、2番目の移動のペアでは等しい偶性、3番目の移動の三つ組では和が mod 2 で0となる。
• 自由 knot におけるガウスの偶性を導入する：弦が他の弦と偶数個リンクしている場合に偶数、そうでない場合に奇数と定義する。
• グラフの1次サイクル上にコhomology類 h を構成し、各頂点 v に対して h(Γ₁,v) = h(Γ₂,v) = P(v) を割り当てる。
• 原子のフレームにおけるソース・シンク構造を用いて可定向性を特徴づけ、定理2.1（可定向な原子 ⇔ ソース・シンク構造が存在する）に依拠する。
• 図形の列に写像 f を適用し、反復的に図形を変更することで、すべての中間段階が可定向な原子を保つようにする。
• リーデマイスター移動の下で、一巡成分間の総交差偶性が不変であることを活用し、列全体での一貫性を維持する。

実験結果

リサーチクエスチョン

• RQ1 重い位相的道具を用いずに、可定向な原子を持つ仮想リンクがリーデマイスター移動に関して閉じていることを証明できるか？
• RQ2 偶性理論は、位相的変形列の過程で原子の可定向性をどのように制御できるか？
• RQ3 ガウスの偶性は、リーデマイスター移動の過程で可定向性を保つために果たす役割は何か？
• RQ4 仮想図形の列を、その原子の可定向性を保つような関手的な方法で写像する手段は存在するか？
• RQ5 偶性から導かれるコhomological不変量は、移動列の中間図形が可定向のままであることを保証できるか？

主な発見

• 可定向な原子を持つ仮想リンクの集合は、リーデマイスター移動に関して閉じている：任意の2つのこのようなリンクの同値関係は、すべての中間図形が可定向な原子を持つ移動列によって実現可能である。
• 証明はガウスの偶性およびコhomological不変量に依拠しており、従来の証明で用いられる複雑な位相的議論を回避している。
• 原子の可定向性は、定理2.1によって示されるように、そのフレーム上にソース・シンク構造が存在することと同値である。
• 一巡成分間の総交差偶性はリーデマイスター移動の下で不変であり、列の整合性を保つための重要な道具である。
• 移動列に写像 f を反復的に適用することで、位相的変形のすべての中間図形が可定向な原子を保つことが保証される。
• この結果により、可定向性は個々の図形の性質にとどまらず、仮想リンクの同値類全体にわたって保存されること confirmed された。