[論文レビュー] On Alexander-Conway Polynomials for Virtual Knots and Links

Jörg Sawollek|ArXiv.org|Dec 21, 1999

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

ひとこと要約

本稿では、厚みのある曲面内のリンクの不変量から導かれる、2変数のコンウェイ型多項式不変量を、仮想リンクに対して導入する。古典的アレクサンダー多項式とは異なり、この不変量はコンウェイの skein 関係を満たし、アーティファクト的性質としての鏡像性や非可逆性を検出できる。これにより、古典的不変量を超えた仮想リンク分類のための明確で強力なツールが得られる。

ABSTRACT

A polynomial invariant of virtual links, arising from an invariant of links in thickened surfaces introduced by Jaeger, Kauffman, and Saleur, is defined and its properties are investigated. Examples are given that the invariant can detect chirality and even non-invertibility of virtual knots and links. Furthermore, it is shown that the polynomial satisfies a Conway-type skein relation - in contrast to the Alexander polynomial derived from the virtual link group.

研究の動機と目的

• ジャガー、カウフマン、サレールの厚みのある曲面内のリンクの不変量から導かれる行列の行列式による定式化を用いて、仮想リンクの新しい多項式不変量を定義すること。
• この不変量の性質を調査し、特に向きの反転における挙動と、非古典的仮想リンク構造への感受性を明らかにすること。
• この新しいコンウェイ型多項式と、仮想リンク群から導かれる古典的アレクサンダー多項式を比較し、skein 関係における根本的な相違点を強調すること。
• 古典的アレクサンダーの skein 関係が仮想リンクへ拡張できないことを示し、理論的差異を明確にすること。

提案手法

• 不変量は、仮想リンクの図から得られる行列に行列式の公式を適用することで構成され、厚みのある曲面内のリンクの構成を一般化する。
• 状態和の手法をアレクサンダーのブラケット多項式に類似させ、整数係数をもつ2変数のローレンツ多項式として多項式を定義する。
• 正規化後に1変数におけるコンウェイ型の skein 関係を満たすことが確認され、この不変量の skein 理論的性質が裏付けられる。
• 不変性と非自明性を示すために、非自明な仮想リンクにおける明示的な計算を含む。
• 仮想同相の下での不変性を検証するために、リーデマイスター移動の I, II, III, I', II', III', III'' を使用する。
• 仮想リンク群から導かれる古典的アレクサンダー多項式とは対照的に、後者はいかなる線形 skein 関係も満たさないことが示される。

実験結果

リサーチクエスチョン

• RQ1 コンウェイ型の skein 関係は仮想リンクへ拡張可能か？ もし可能であれば、どのような条件下で成立するか？
• RQ2 この新しい2変数多項式不変量は、仮想リンク群から導かれる古典的アレクサンダー多項式とどのように異なるか？
• RQ3 この新しい不変量は、鏡像性や非可逆性といった非古典的仮想結び目の性質を検出できるか？
• RQ4 古典的アレクサンダーの skein 関係が仮想リンクへ拡張できない理由は何か？ その構造的要因は何か？

主な発見

• 新しいコンウェイ型多項式は1変数におけるコンウェイの skein 関係を満たし、skein 理論的性質を確認し、古典的アレクサンダー多項式とは明確に区別される。
• 明示的な例により、多項式が向きの反転によって変化することを示し、仮想結び目の鏡像性と非可逆性が検出されることを裏付けた。
• 非古典的仮想結び目、たとえばジョーンズ多項式が自明で、結び目群が自明な仮想結び目に対しても多項式は自明でないことが示され、これが古典的でないことを証明した。
• 仮想リンク群から導かれる古典的アレクサンダー多項式は、特定の仮想リンク図を用いた背理法により、いかなる線形 skein 関係も満たさないことが証明された。
• 図11の仮想結び目の正規化されたコンウェイ多項式は (x-1)(x²-y²)(1+y⁻¹) であり、これは非自明で、非古典的性質を確認する。
• 本稿では、古典的リンクに対しては、定数倍を除き、唯一の可能な線形 skein 関係が古典的アレクサンダーの関係であることを確立し、これが仮想リンクへは拡張できないことを示した。