[論文レビュー] Invariants of links of Conway type

Józef H. Przytycki, Paweł Traczyk|arXiv (Cornell University)|Oct 21, 2016

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

ひとこと要約

この論文は、スケイン関係を用いた有向リンクの不変量を構成するための普遍的な代数的枠組みであるコンウェイ代数を導入する。任意のコンウェイ代数が、正の交差、負の交差、ゼロ交差を含む特定の再帰的関係を満たすリンクのアービット同相不変量を一意に定めることを証明しており、コンウェイ多項式およびジョーンズ多項式を一般化するとともに、共通の代数的構造の下でさまざまなリンク不変量を統一する。

ABSTRACT

The purpose of this paper is to present a certain combinatorial method of constructing invariants of isotopy classes of oriented tame links. This arises as a generalization of the known polynomial invariants of Conway and Jones. These invariants have one striking common feature. If L+, L- and L0 are diagrams of oriented links which are identical, except near one crossing point (as in Conway or Jones polynomials), then an invariant w(L) has the property: w(L+) is uniquely determined by w(L-) and w(L0), and also w(L-) is uniquely determined by w(L+) and w(L0). To formalize this property we introduce a concept of a Conway algebra and quasi Conway algebra. The paper is now almost 32 years old and it contains the PT contribution to HOMFLYPT polynomial. We believe it should be available in arXiv.

研究の動機と目的

• 有向トロイダルリンクの不変量を組合せ的スケイン関係を用いて構成するための一般的な代数的枠組みを開発すること。
• コンウェイ多項式およびジョーンズ多項式の構成の背後にある普遍的な代数的構造を同定することで、それらを一般化すること。
• 特定の公理を満たす任意のコンウェイ代数から導かれるリンク不変量の存在および一意性を証明すること。
• リーデイマイスター移動およびアービット同相性に関して不変性を保証する代数的条件を明確にすること。
• 既知の不変量（例：リンク数、成分数、多項式不変量など）が、この枠組みの特別な場合としてどのように現れるかを示すこと。

提案手法

• コンウェイ代数を、可算個の定数 $a_n$ と二項演算 $|$ および $*$ を持つ集合として定義し、7つの公理を満たすものとする。
• スケイン関係を確立する：$w_{L_+} = w_{L_-} | w_{L_0}$ および $w_{L_-} = w_{L_+} * w_{L_0}$ であり、交差の変更をモデル化する。
• リーデイマイスター移動および位相的不変性を保証するため、公理 1.1 から 1.7 を課す。
• 交差数に関する帰納法を用い、内側の f-多角形（0-、1-、または 2-多角形）を分析することで、リーデイマイスター移動における不変性を証明する。
• タイプ III のリーデイマイスター移動を支える 3-多角形の概念を導入し、2-多角形内の交差に関する帰納的削減を実施する。
• 任意のリンク図がリーデイマイスター移動によって自明なリンクに削減可能であることを証明し、不変量が適切に定義されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 コンウェイ多項式やジョーンズ多項式といったリンク不変量の構成の背後にある代数的構造は何か？
• RQ2 スケイン関係を用いて定義されたリンク不変量が、図の表現に依存せず定義可能であるために、演算 $|$ および $*$ に必要な公理は何か？
• RQ3 コンウェイ代数の枠組みは、成分数、リンク数、多項式不変量といった多様なリンク不変量をどのように統一するか？
• RQ4 不変量がリンクとその鏡像を区別できるのはどのような条件下か？
• RQ5 不変量は、連結和および直和のリンクに拡張可能で、その振る舞いは予測可能か？

主な発見

• 任意のコンウェイ代数は、有向リンクのアービット同相性に関して不変であるリンク不変量 $w_L$ を一意に定める。
• この不変量は、スケイン関係 $w_{L_+} = w_{L_-} | w_{L_0}$ および $w_{L_-} = w_{L+} * w_{L_0}$ を満たし、コンウェイ多項式およびジョーンズ多項式を一般化する。
• この枠組みは、$\mathcal{A} = \mathbb{N}$ で $a_n = n$ かつ $i|j = i*j = i$ とすると、成分数を特別な場合として含む。
• リンク数は、$\mathcal{A} = \mathbb{N} \times \mathbb{Z}$ でペア $(a,b)$ に対する特定の演算を用いることで捉えられる。
• 例 1.11(a) の多項式不変量 $P_L(x,y,z)$ は、パrameterの代入によりコンウェイ多項式およびジョーンズ多項式を一般化する。
• 不変量は、直和および連結和において乗法的に振る舞う：$P_{L_1 \sqcup L_2} = (x+y)P_{L_1}P_{L_2}$ および $P_{L_1 \sharp L_2} = (x+y)P_{L_1}P_{L_2}$。