[論文レビュー] Matrix factorizations and intertwiners of the fundamental representations of quantum group U_q (sl_n)

Y. Yonezawa|ArXiv.org|Jun 30, 2008

Algebraic structures and combinatorial models参考文献 8被引用数 11

ひとこと要約

この論文は、量子群 $U_q(\mathfrak{sl}_n)$ の基本表現に関連する色付き平面図形の行列因子化を構成し、MOY関係式に対応するホモトピー同値を確立する。MOY多項式のカテゴライゼーションへの基盤的段階として、必要不可欠な図形の行列因子化のテンソル積を定義し、MOY関係式のもとで同値であることを証明することで、Khovanov-RozanskyによるHOMFLY多項式のカテゴライゼーションを一般化する。

ABSTRACT

We want to construct a homological link invariant whose Euler characteristic is MOY polynomial as Khovanov and Rozansky constructed a categorification of HOMFLY polynomial. The present paper gives the first step to construct a categorification of MOY polynomial. For the essential colored planar diagrams with additional data which is a sequence naturally induced by coloring, we define matrix factorizations, and then we define a matrix factorization for planar diagram obtained by gluing the essential colored planar diagrams as tensor product of the matrix factorizations for the essential planar diagrams. Moreover, we show that some matrix factorizations deribed from tensor product of the essential matrix factorizations have homotopy equivalences corresponding to MOY relations.

研究の動機と目的

• MOY多項式のカテゴライゼーションを開始する。MOY多項式は、$U_q(\mathfrak{sl}_n)$ 及びその基本表現から導かれる量子リンク不変量であり、未だカテゴライゼーションがなされていない。
• 色付けによって誘導される追加のデータを伴う、基本的な色付き平面図形の行列因子化を定義する。$\mathbb{Z}$-次数付き行列因子化とコシュール複体を用いる。
• 図形の分解された部品の行列因子化のテンソル積として、一般の平面図形の行列因子化を構成する。
• 特に、色付けが $(1,2)$ および $(2,1)$ の交差に対応する、行列因子化のテンソル積間のホモトピー同値を示す。
• Khovanov-RozanskyによるHOMFLYカテゴライゼーションと類似する構造的同値を確立することで、MOY多項式の完全なカテゴライゼーションの基盤を築く。

提案手法

• $\mathbb{Z}$-次数付き加群と微分構造を用いて、基本的な平面図形の行列因子化を定義し、コシュール複体を構築の基本として用いる。
• 一般の平面図形の行列因子化は、その分解された部分の行列因子化のテンソル積として構成され、次数およびホモロジー構造が保存される。
• 表現論的恒等式から導かれる代数的同型を用いて、Poincaré級数の比較により、行列因子化間のホモトピー同値を確立する。
• 証明は、特に色付けが $j_1, j_2$ および $j_1 - j_2$ の図形に対して、Poincaré級数の明示的計算と次数次元の比較に依存し、量子二項係数が用いられる。
• $[j_1 - 1]\binom{j_1 - 1}{j_2 - 1} - [j_2 - 1]\binom{j_1}{j_2} = \binom{j_1 - 1}{j_2}$ のような重要な代数的恒等式が、次数シフトの一致と同値性の確認に用いられる。
• この枠組みは、色付けが $(1,2)$ および $(2,1)$ の交差に拡張され、$\mathrm{HMF}^{gr}$ 圏における同値性がMOY関係式と一致すると予想される。

実験結果

リサーチクエスチョン

• RQ1 基本的表現の $U_q(\mathfrak{sl}_n)$ に対して、そのテンソル積がMOY多項式関係式の構造を反映する行列因子化を構成できるか。
• RQ2 分解された平面図形の行列因子化が、MOY多項式計算におけるMOY関係式に対応するホモトピー同値を生じるか。
• RQ3 テンソル積の行列因子化における一貫性のある次数シフトおよび多重度構造が、MOY関係式における量子二項係数と一致するか。
• RQ4 この枠組みは、色付けが $(1,2)$ および $(2,1)$ の交差に拡張可能か。また、それらの結果として得られる行列因子化が、必要なホモトピー同値を満たすか。
• RQ5 この構成は、Khovanov-RozanskyによるHOMFLY多項式のカテゴライゼーションに類似した、MOY多項式の完全なカテゴライゼーションへの実行可能な道筋を提供するか。

主な発見

• 平面図形の行列因子化は、その基本的部品の行列因子化のテンソル積として構成され、次数およびホモロジー構造が保存される。
• テンソル積の行列因子化と他の分解形との間でホモトピー同値が確立され、Poincaré級数と次数シフトが一致する。
• 色付けが $j_1, j_2$ の図形に対して、行列因子化 (76) が (77) と同型であることが示され、次数シフトが $[j_1 - 1]\binom{j_1 - 1}{j_2 - 1} - [j_2 - 1]\binom{j_1}{j_2} = \binom{j_1 - 1}{j_2}$ の差に一致する。
• 構成により、行列因子化における次数シフトと多重度が、MOY関係式における量子二項係数と一致することが確認された。
• 論文は、色付けが $(1,2)$ の交差である行列因子化が、シフトされた行列因子化の直和と同値であることを証明し、多重度は $p(i, j_1 - 1; j_2 - 1)$ で決定される。
• 著者は、残りのすべてのMOY関係式が、$\mathrm{HMF}^{gr}$ 圏におけるホモトピー同値として実現されると予想し、カテゴライゼーションの枠組みを完成させる。