[論文レビュー] The Kauffman polynomial and trivalent graphs

Carmen Caprau, James Tipton|arXiv (Cornell University)|Jul 6, 2011

Quantum chaos and dynamical systems参考文献 5被引用数 3

ひとこと要約

本稿は、平面的三価グラフを用いて二変数 Kauffman 多項式の状態モデルを構築し、非向き付きリンクの正則同型のための新しい不変量を提供するとともに、R³ 内のねじれのある非向き付き三価グラフのための新しい三変数多項式不変量を提示する。主な貢献は、三価グラフ状態を介して Kauffman 多項式を一般化する skein 理論的構成であり、Birman-Murakami-Wenzl 代数への関連を確立するものである。

ABSTRACT

We construct a state model for the two-variable Kauffman polynomial using planar trivalent graphs. We also use this model to obtain a polynomial invariant for a certain type of trivalent graphs embedded in three-dimensional space.

研究の動機と目的

• 平面的三価グラフを基盤として用いた二変数 Kauffman 多項式の状態和モデルの構築。
• リンク多項式に依存せずに、R³ 内のねじれのある非向き付き三価グラフのための新しい三変数有理関数不変量の定義。
• 状態モデルと、Birman-Murakami-Wenzl 代数に同型な代数への braid 群 B_n の表現との間の同値性の確立。
• 文献における空白を埋めるために、三価グラフを介した Kauffman 多項式の自己完備的かつ明示的な構成の提供。
• 得られた多項式がリンクに適用された際に標準的な Kauffman 多項式に還元されることの証明。

提案手法

• 局所的移動を頂点および辺で定義した、平面的三価グラフ上の skein 関係を用いた状態和モデルの構築。
• 交差および頂点を解消する skein 関係による再帰的定義により、正則同型不変性を保証。
• 多項式が Dubrovnik 版の Kauffman 多項式と同じ関係を満たすことが示され、D_L(A-B, a) = P_L(A,B,a) が成り立つ。
• 代数 A_n への braid 群 B_n の表現を定義し、そのトレースが不変量 P_L を回復することを示した。
• 代数 A_n が Birman-Murakami-Wenzl 代数に同型であることを証明し、既存の表現理論と関連づけた。
• 内部の頂点および面を除去する再帰的簡略化プロセスを用いて、三価グラフ図を標準的配置にまで簡略化した。

実験結果

リサーチクエスチョン

• RQ1 二変数 Kauffman 多項式は、平面的三価グラフに基づく状態モデルによって再構成可能か？
• RQ2 R³ 内の三価グラフの正則同型不変量を定義するのに必要な十分な skein 関係は何か？
• RQ3 三価グラフの状態モデルは、Birman-Murakami-Wenzl 代数および braid 群表現とどのように関連するか？
• RQ4 リンク多項式に拡張する前に、ねじれのある三価グラフのための新しい不変量を直接定義可能か？
• RQ5 三価グラフの多項式不変量がリンクにおいて標準的な Kauffman 多項式に還元されるための条件は何か？

主な発見

• 三価グラフを用いた Kauffman 多項式の状態モデルは、標準的な Dubrovnik 版と同値であり、D_L(A-B, a) = P_L(A,B,a) が成り立つ。
• 不変量 P_L は二通りの同等な方法で構成された：状態和モデルと、Birman-Murakami-Wenzl 代数に同型な代数への braid 群の表現。
• R³ 内のねじれのある非向き付き三価グラフのための新しい三変数有理関数 [G] が、リンク多項式とは独立して不変量として定義された。
• 任意の平面的三価グラフ図が有限回の移動の列によって標準的配置に還元可能であることが証明され、定義の整合性が保証された。
• 多項式不変量は所定の skein 関係を満たし、頂点数に関する帰納法により正規化を除いて一意であることが示された。
• 本手法により、三価グラフを介した Kauffman 多項式の完全で自己完備的な導出が可能となり、4価グラフモデルとは異なる新たな視点を提供した。