[論文レビュー] An Extended Bracket Polynomial for Virtual Knots and Links

Louis H. Kauffman|ArXiv.org|Dec 15, 2007

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

ひとこと要約

本稿では、多項式係数をもつ仮想グラフを組み込んだことで、古典的ブラケット多項式を一般化する新しい不変量である拡張ブラケット多項式を導入する。この不変量は、非古典的性質の検出、仮想交叉数および genus の推定、状態和および矢印多項式表現に基づく計算可能な枠組みを提供し、長仮想リンクや平坦仮想図形への応用を含む。

ABSTRACT

This paper defines a new invariant of virtual knots and links that we call the extended bracket polynomial, and denote by <> for a virtual knot or link K. This invariant is a state summation over bracket states of the oriented diagram for K. Each state is reduced to a virtual 4-regular graph in the plane and the polynomial takes values in the module generated by these reduced graphs over the ring Q[A,A^{-1}]. The paper is relatively self-contained, with background information about virtual knots and long virtual knots. We give numerous examples applying the extended bracket, including a new proof of the non-triviality of the Kishino diagram and the flat Kishino diagram and non-classicality of single crossing virtualizations. The paper has a section on the estimation of virtual crossing number using the extended bracket state sum. Examples are given of virtual knots with arbitrary minimal embedding genus and arbitrarily high positive difference between the virtual crossing number and the minimal embedding genus. A simplification of <> is introduced and denoted by A[K]. This simplified extended bracket, the arrow polynomial, is a polynomial in an infinite set of variables. It is quite strong (detecting the flat Kishino diagram for example) and easily computable. The paper contains a description of a computer algorithm for A[K] and uses the arrow polynomial, in conjunction with the extended bracket polynomial to determine the minimum genus surfaces on which some virtual knots can be represented.

研究の動機と目的

• 仮想リンクのための新しい不変量を構築し、古典的ブラケット多項式を非古典的特徴を捉えるように拡張すること。
• 特にユニットジョーンズ多項式をもつ仮想リンクに対して、非古典的性質を検出する手法を提供すること。
• 拡張ブラケットから導かれる状態に基づくグラフ不変量を用いて、仮想リンクの仮想交叉数および genus を推定すること。
• パラメータの特殊化を用いて、平坦仮想リンクの不変量の枠組みを確立すること。
• 長仮想リンクから閉じた仮想リンクへの閉包写像の核を、拡張ブラケット不変量を用いて同定すること。

提案手法

• 拡張ブラケット不変量 $<<K>>$ を、$\mathbb{Q}[A, A^{-1}]$ に係数をもつ仮想4正則グラフの状態の和として定義する。
• 拡張ブラケットから導かれる有限変数多項式不変量としての矢印多項式を導入し、計算を容易にする。
• 状態の仮想グラフ表現を用いて、オイラー特性を用いて genus を計算する：$g(G) = 1 + \frac{v(G) - f(G)}{2}$。
• $A = 1$, $\delta = -2$ と特殊化することで、拡張ブラケットを平坦仮想図形に適用し、平坦仮想リンクの不変量を得る。
• 上昇写像 $A$ を用いて、平坦長仮想リンクを長仮想リンクに埋め込むことで、不変量の移行を可能にする。
• 具体的な図形（例：キシノ、$L_n$ 系列）にこの手法を適用し、genus を計算し、非自明性および非古典的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 拡張ブラケット多項式は、ユニットジョーンズ多項式をもつ仮想リンクを含め、非古典的仮想リンクを検出できるか？
• RQ2 拡張ブラケット状態和を用いて、仮想リンクの仮想交叉数および genus をどのように推定できるか？
• RQ3 閉包が自明である長仮想リンクの非自明性を、拡張ブラケット不変量はどの程度検出できるか？
• RQ4 矢印多項式は、拡張ブラケット不変量の簡略化および計算をどのように支援するか？
• RQ5 拡張ブラケット不変量は、長仮想リンクから閉じた仮想リンクへの閉包写像の核を同定するのに役立つだろうか？

主な発見

• 拡張ブラケット不変量は、最も単純な仮想化例およびキシノ図形の非古典的性質を検出し、それらの非古典的性質を確認した。
• 平坦仮想リンク族 $L_n$ の genus は $g(L_n) = n$ であり、状態グラフ $G_n$ に genus 公式 $g(G) = 1 + \frac{v(G) - f(G)}{2}$ を適用することで計算された。
• 平坦仮想リンク $K$ に対して、グラフ $G$ をもつ簡約状態 $S$ が得られ、$g(G) = 2$ となる。$K$ が genus 2 に埋め込めるので、$g(K) = 2$ である。
• 拡張ブラケットは、閉包が自明である長仮想リンクの非自明性を検出でき、これはジョーンズ多項式の能力を超えている。
• 仮想リンクの仮想交叉数は、拡張ブラケット状態和に現れるグラフの仮想交叉数を分析することで推定可能であり、特に適切または準適切なリンクに対して有効である。
• 矢印多項式 $\mathcal{A}[K]$ は、拡張ブラケットの簡略化・計算可能な形を与え、アルゴリズム的実装（例：Mathematica による）に適している。