[論文レビュー] Writhe polynomial for virtual links

Mengjian Xu|arXiv (Cornell University)|Dec 13, 2018

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

ひとこと要約

本稿では、自己交叉とリンク交叉の間の相互依存関係を捉える弱いコード指数 $\mathrm{Ind}'(c)$ を定義することで、虚拟リンクのための新しい writhe 多項式 $W_L(t)$ を導入する。これは古典的 writhe 多項式の一般化であり、キシノの結び目およびそのフラット版を含む、非自明な虚拟リンクの検出に役立つ計算可能な道具を提供する。

ABSTRACT

A weak chord index $Ind'$ is constructed for self crossing points of virtual links. Then a new writhe polynomial $W$ of virtual links is defined by using $Ind'$. $W$ is a generalization of writhe polynomial defined in [6]. Based on $W$, three invariants of virtual links are constructed. These invariants can be used to detect the non-trivialities of Kishino knot and flat Kishino knot.

研究の動機と目的

• 虚拟リンクにおける自己交叉とリンク交叉の間の構造的関係を捉える、結び目レベルの writhe 多項式の一般化を構築すること。
• 既存の writhe 多項式の変種には、虚拟結び目に対しては不変量であるが、虚拟リンクに対してはそうではないという限界を解消すること。
• 古典的結び目（例：キシノの結び目）の虚拟性を検出できる計算可能な不変量を構築すること。
• 古典的結び目にとどまらないインデックスに基づく不変量の適用範囲を、成分間の交叉相互作用を組み込むことで拡張すること。

提案手法

• 自己交叉点に対して、すべてのコード指数公理を満たさないが第一の公理を除き、リンク交叉との相互依存性を許容する弱いコード指数 $\mathrm{Ind}'(c)$ を定義する。
• 自己交叉点の集合 $S(L)$ と交叉 $c$ の writhe $\omega(c)$ を用いて、$W_L(t) = \sum_{\substack{c \in S(L) \\ \mathrm{Ind}'(c) \neq 0}} \omega(c) t^{\mathrm{Ind}'(c)}$ として writhe 多項式を構成する。
• [7] に現れる不変量 $\mathcal{L}(L)$ と $W_L(t)$ を組み合わせることで、虚拟リンクのための3つの新しい不変量を構成する。
• ガウス図を用いた手法により、弱いコード指数公理を検証することで、一般化されたライデマイスター移動に関して不変であることを証明する。
• 新しい不変量を用いて、古典的不変量では検出できないキシノの結び目およびフラットキシノの結び目の非自明性を検出する。
• 虚拟リンクのトポロジー的解釈（厚さ付き多様体上の結び目としての解釈）を用いて、構成の整合性を正当化する。

実験結果

リサーチクエスチョン

• RQ1 自己交叉とリンク交叉の間の構造的関係を符号化する、虚拟リンクのための writhe 多項式を構築できるか？
• RQ2 この新しい多項式は、古典的不変量では検出できないが、キシノの結び目のような古典的結び目の虚拟性を検出できるか？
• RQ3 新しい不変量 $W_L(t)$ は、一般化されたライデマイスター移動に関して不変であるか、すなわちトポロジカル不変量として有効であるか？
• RQ4 リンク多項式 $L(t)$ や矢印多項式といった既存の変種と比較して、この新しい不変量は虚拟性の検出においてどの程度優れているか？
• RQ5 $W_L(t)$ と $\mathcal{L}(L)$ の組み合わせにより、個々の不変量よりも強力な不変量が得られるか？

主な発見

• writhe 多項式 $W_L(t)$ は、自己交叉とリンク交叉の両方の情報を組み込む弱いコード指数 $\mathrm{Ind}'(c)$ を用いて定義され、従来の不変量とは異なっている。
• 不変量 $W_L(t)$ は、アレクサンダー多項式や個々の成分の writhe 多項式では検出できないキシノの結び目の非自明性を正しく検出する。
• フラットキシノの結び目に対しても、新しい不変量は非自明性を検出でき、フラット虚拟設定下での有効性を示している。
• ガウス図解析と弱いコード指数公理の検証により、$W_L(t)$ の構成がすべての一般化されたライデマイスター移動に関して不変であることが証明された。
• スラヴィクの結び目の例から、$W_K(t) = \mathcal{L}(K) = 0$ であっても非自明な虚拟性を持つ場合があるため、$W_L(t)$ は矢印多項式によって決定されないことが示された。
• $W_L(t)$ と $\mathcal{L}(L)$ から構成された3つの不変量は、個々の不変量よりも強力であり、個々の不変量が失敗する状況においても、虚拟リンクの区別に成功している。