[論文レビュー] Cocycle Knot Invariants from Quandle Modules and Generalized Quandle Cohomology

J. Scott Carter, Mohamed Elhamdadi+2 more|ArXiv.org|Jun 3, 2003

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

ひとこと要約

本稿では、係数に群作用を施した一般化されたquandleコホロロジーを用いて、3つの新しい絡み目不変量を導入する。quandleモジュールを用いてBurau表現を一般化し、非アーベル2次コサイクルを用いて量子型不変量を構成し、群作用に基づくコサイクルを用いて古典的絡み目およびねじれた表面の非可逆性を検出する。特に、2k-ねじれスピニング表面の大きな族に対して非可逆性を証明し、9交差までの3彩色可能な絡み目におけるねじれ対称性（chirality）を検出する。

ABSTRACT

Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle cocycle invariants for both classical knots and knotted surfaces. Concrete computational methods are provided and used to prove non-invertibility for a large family of knotted surfaces. In the classical case, the invariant can detect the chirality of 3-colorable knots in a number of cases.

研究の動機と目的

• 係数に非自明な群作用を組み込んだquandleコホロロジー不変量を一般化し、自明な作用のケースを超えて強力な不変量を得ること。
• quandleモジュールを用いて、古典的絡み目およびねじれた表面の新しい不変量を定義し、BurauおよびAlexanderモジュールを一般化すること。
• 非アーベル2次コサイクルに基づく不変量を構成し、ホップ代数の不変量に類似した量子型絡み目不変量を得ること。
• 任意の genus のねじれた表面の非可逆性を検出するための計算手法を提供すること、特に2k-ねじれスピニング絡み目に対して有効であること。
• 3彩色可能な古典的絡み目（9交差まで）におけるねじれ対称性の検出能力を示すこと。

提案手法

• 係数群に群作用を施した一般化されたquandleホモロジーを構成し、元々のquandleコホロロジー理論を拡張する。
• quandleモジュールを用いて、Alexanderモジュールに類似した不変量を定義し、Burau表現を一般化する。
• 非アーベル2次コサイクルを、ホップ代数の不変量に類似した状態和構成に適用し、量子型不変量を導出する。
• quandle彩色による絡み目図の状態に、コサイクルによってボルツマン重みを割り当て、不変量を定義する。
• 群作用およびワイヤード積の例を用いて、特定の絡み目に不変量を評価するための計算技術を実装する。
• ねじれた表面に対して不変量を適用する際には、ねじれスピニング絡み目およびその1-ハンドル付加のコサイクル不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 係数に非自明な群作用を組み込んだquandleコホロロジー不変量は、より強力な不変量をもたらすか？
• RQ2 quandleモジュールを用いて、古典的絡み目のBurau表現を一般化する不変量を定義できるか？
• RQ3 非アーベル2次コサイクルは、ねじれ対称性および非可逆性を検出できる量子型不変量を生成するか？
• RQ4 これらの一般化された不変量は、任意の genus のねじれた表面（特に2k-ねじれスピニング絡み目）の非可逆性を検出できるか？
• RQ5 3彩色可能な古典的絡み目（9交差まで）において、これらの不変量はねじれ対称性をどの程度まで検出できるか？

主な発見

• 不変量は、9交差までの3彩色可能な古典的絡み目においてねじれ対称性を検出でき、ねじれ対称な絡み目とアーミーチャルな絡み目を区別する新しい手法を提供する。
• 9交差までの3彩色可能な古典的絡み目の2k-ねじれスピニング絡み目に対して、不変量は非可逆性を証明しており、特に自明な1-ハンドルの付加によって得られる表面に対しても同様に成立する。
• この手法は、任意の genus のねじれた表面の非可逆性を効果的に検出でき、他の多くの既知の手法とは異なり、その能力を有する。
• ねじれた表面のコサイクル不変量は、群作用に基づく係数を用いた状態和によって計算され、元の方向と反転方向を区別する。
• $9_{17}$および$9_{34}$の不変量は自明である（$\sqcup_9(0,0,0)$）が、他の絡み目は非自明な分布を示しており、絡み目の構造に敏感であることが示唆される。
• 不変量は、$9_1$、$9_2$、$9_6$などの絡み目の方向反転版を区別でき、非対称なコサイクル分布を通じて非可逆性を示している。