[論文レビュー] Link invariants from finite racks

Sam Nelson|arXiv (Cornell University)|Jul 31, 2008

Geometric and Algebraic Topology参考文献 26被引用数 30

ひとこと要約

この論文は、有限ラックを用いた、方向付きの絡み目およびリンクのアンビエント同相不変量を導入し、群の数え上げ不変量を一般化する。新たな退化条件の下でラックコhomologyからの2次コサイクルを用いてこれらの不変量を強化し、標準的な不変量が失敗する場合、例えば仮想絡み目やトーラス絡み目においても区別可能なより強い不変量をもたらす。

ABSTRACT

We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.

研究の動機と目的

• 群に基づく絡み目不変量を、より一般の代数的構造である有限ラックへと拡張すること。
• 方向付きの絡み目およびリンクのアンビエント同相不変量を、有限ラックへの色分けを用いて定義すること。
• 第二ラックコhomologyからの2次コサイクルを用いて、ラック数え上げ不変量を、新しい退化条件の下で強化すること。
• 強化された不変量が、標準的な不変量が失敗する場合の絡み目の違いを検出できることを示すこと。
• 仮想絡み目や曲面絡み目の場合を含め、群の2次コサイクル不変量をラックの設定に一般化すること。

提案手法

• フレームドリンクの基本ラックから有限ラックへのホモーモルフィズムを用いて、有限ラックに基づく数え上げ不変量を定義する。
• $N$-還元条件をラック2次コサイクルに導入する（$N$ はラックのランク）。これは、群の場合の条件 $\phi(x,x)=0$ を一般化する。
• 色分けされた図における交差点ごとに符号付きコサイクル値を合算し、ボルツマン重み $BW(f)$ を構成する。
• ねじれを組み込んだラックコサイクル不変量 $\Phi^{\phi,W}_{T}(L) = \sum_{\mathbf{w}} \left( \sum_{f \in \mathrm{Hom}} z^{BW(f)} \right) q^{\mathbf{w}} $ を定義する。
• ラック行列を用いて有限ラックの演算を表現し、色分けとコサイクル重みをアルゴリズム的に計算する。
• 例として $(4,2)$-トーラス絡み目や仮想絡み目を適用し、区別力の有効性を示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてラック数え上げ不変量を2次コサイクルで強化し、アンビエント同相不変量を得ることができるか？
• RQ2 群でないラックに対して、群の2次コサイクルの退化条件を適切に一般化できるか？
• RQ3 強化されたラックコサイクル不変量は、ねじれを考慮した数え上げ不変量では区別できない絡み目を区別できるか？
• RQ4 フレーミングやねじれがより複雑になる仮想絡み目において、これらの不変量はどのように振る舞うか？
• RQ5 ラックコhomologyと曲面絡み目や高次元埋め込みの不変量との関係は何か？

主な発見

• $N$-還元条件は、リーディマイスターI移動における不変性を保証し、群の場合の条件 $\phi(x,x)=0$ を一般化する。
• 強化された不変量 $\Phi^{\phi,W}_{T}(L)$ は、$(4,2)$-トーラス絡み目と2成分のアンリンクを区別でき、それぞれ $\Phi_{\phi} = 8 + 8z^{12}$ および $\Phi_{\phi} = 16$ という値を示す。
• ねじれを考慮した数え上げ不変量 $\Phi^{W}_{T}(L) = 8 + 8q_1$ が同一の仮想絡み目において、コサイクル強化不変量は区別できる：$\Phi^{\phi,W}_{T} = 4 + 4z + 8q_1$ と $4z + 4z^2 + 8q_1$ である。
• $z=1$ に特殊化するとねじれを考慮したラック数え上げ不変量が回復され、整数版は標準的な数え上げ不変量よりも厳密に強い。
• この構成は、CJKLSの群2次コサイクル不変量をラックへ一般化したものであり、$N=1$ かつ $\phi(x,x)=0$ のとき群の場合に回復される。
• ラック行列を用いた計算が可能であり、実装のためのPythonコードが公開されている。