[論文レビュー] Survey on recent invariants on classical knot theory

Józef H. Przytycki|ArXiv.org|Oct 23, 2008

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

ひとこと要約

本調査では、コンウェイ代数とスキン関係を用いて、古典的リンクの不変量を構成する統一的な組合せ的枠組みを紹介する。これはアレクサンダー多項式およびジョーンズ多項式を一般化するものである。カウフマンの方法では、正則同相型とΔ-移動を用いて、新しい多項式不変量を定義し、既存の結果を統一し、スキン同値と代数的再帰を用いた、リンク不変量の体系的な代数的構造を確立する。

ABSTRACT

The survey we are presenting is over 22 years old but it has still some ideas which where never published (except in Polish). This survey is the base of the third Chapter of my book: KNOTS: From combinatorics of knot diagrams to combinatorial topology based on knots, which is still in preparation (but compare http://arxiv.org/pdf/math.GT/0512630). The purpose of this survey is to present a new combinatorial method of constructing invariants of isotopy classes of tame links. The period of time between the spring of 1984 and the summer of 1985 was full of discoveries which revolutionized the knot theory and will have a deep impact on some other branches of mathematics. It started by the discovery of Jones of the new polynomial invariant of links (in May 1984), and the last big step (which will be described in this survey) has been made by Kauffman in August 1985 when Kauffman applied his method which allowed him to unify almost all previous work. This survey is far from being complete, even if we limit ourselves to the purely combinatorial methods and to the period May, 1984 -- September, 1985.

研究の動機と目的

• スキン関係を用いて、たたくリンクの同相型クラスの不変量を体系的かつ組合せ的に構成する方法を提示すること。
• アレクサンダー多項式やジョーンズ多項式のような不変量の背後にある共通の代数的構造を、コンウェイ代数の概念によって形式化すること。
• 特に、正則同相型とΔ-移動を用いたカウフマンの方法を通じて、既存のリンク不変量の結果を統一的かつ一般化すること。
• リンク図、ライデマイスター移動、およびスキン同値のレビューを通じて、専門外の読者にも自立した基盤を提供すること。
• 部分コンウェイ代数および新しい不変量への枠組みの拡張を図ること。これには無限個の変数を含む多項式や、スーパーシグネチャが含まれる。

提案手法

• 本稿では、コンウェイ代数を、局所的な交差の変更におけるリンク不変量の再帰的性質を形式化する抽象的な代数的構造として定義する。
• スキン関係 $ xP_{L_+} + yP_{L_-} = P_{L_\circ} $ を用いて、向き付けられたリンクの不変量を定義し、$ L_+ $、$ L_- $、$ L_\circ $ が単一の交差を除いて同一であることを前提とする。
• ライデマイスター移動 $ \Omega^\pm 1_1, \Omega^\pm 1_2, \Omega^\pm 1_3 $ を用いてリンク図の同値関係を定め、同相型不変性を保証する。
• カウフマンのアプローチでは、$ L_\infty $ 図を導入し、アバント同相型ではなく正則同相型を用いて新しい不変量を定義し、カウフマン代数の構成に至る。
• この枠組みは、部分コンウェイ代数へと一般化可能であり、無限個の変数を含む不変量や、スーパーシグネチャのような新しい不変量の構成を可能にする。
• 本稿では、バーゲン群の表現と $ \sigma_i $ における語表現を用いて、特定のリンク（例：$ \sigma_1^2 \sigma_2^{-3} \sigma_1^2 \sigma_2^{-1} \sigma_1 \sigma_2^{-1} $）の不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 再帰的スキン関係を満たすリンクの不変量を記述する統一的な代数的枠組みをどのように構築できるか？
• RQ2 コンウェイ代数は、アレクサンダー多項式およびジョーンズ多項式を一般化するために果たす役割は何か？
• RQ3 カウフマンの方法（Δ-移動と正則同相型の使用）は、既存のリンク不変量をどのように拡張または統一するか？
• RQ4 スキン関係の枠組みを、無限個の変数を含む不変量や、スーパーシグネチャのような新しい位相的不変量を含むように一般化できるか？
• RQ5 連結和、ミューテーション、反射といったリンクの操作において、不変量はどのように振る舞うか？

主な発見

• コンウェイ多項式 $ \nabla_L(z) $ は、$ \nabla_{T_1}(z) = 1 $ およびスキン関係 $ \nabla_{L_+} - \nabla_{L_-} = z \nabla_{L_\circ} $ によって一意に定まる。
• ジョーンズ多項式 $ V_L(t) $ は、$ -tV_{L_+} + \frac{1}{t}V_{L_-} = \left(\sqrt{t} - \frac{1}{\sqrt{t}}\right)V_{L_\circ} $ を満たし、$ V_{T_1}(t) = 1 $ である。
• 両方の多項式を一般化する、普遍的な2変数不変量 $ P_L(x,y) $ が存在し、$ xP_{L_+} + yP_{L_-} = P_{L_\circ} $ および $ P_{T_1}(x,y) = 1 $ を満たす。
• カウフマンの方法により、正則同相型を用いて新しい不変量が得られ、カウフマン代数の構成に至り、Δ-移動から導かれる不変量の統一的記述が可能になる。
• 本調査では、$ 10_{48} $、$ 10_{104} $、および $ \overline{11}_{394} $ といった特定のリンクについて、$ a $、$ t $、$ z $ を用いた明示的な不変量を計算し、完全な多項式表現とシグネチャ値を提示する。
• 本稿では、スーパーシグネチャおよび無限個の変数を含む多項式不変量が、部分コンウェイ代数から自然に生じることを確立している。