[论文解读] 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.

研究动机与目标

• 为从 $U_q(\mathfrak{sl}_n)$ 及其基本表示导出的量子链 invariant——MOY多项式——的范畴化提供起点，该多项式目前尚未被范畴化。
• 通过使用 $\mathbb{Z}$-分次矩阵分解和Koszul复形，为带有着色信息的着色平面图的基本图构造矩阵分解。
• 通过其分解部分的矩阵分解的张量积，为一般平面图构造矩阵分解。
• 证明矩阵分解张量积之间的同伦等价，这些等价关系对应于MOY关系，特别是针对着色为 $(1,2)$ 和 $(2,1)$ 的交叉。
• 通过建立类似于Khovanov-Rozansky对HOMFLY多项式范畴化的结构性等价，为MOY多项式的完整范畴化奠定基础。

提出的方法

• 使用 $\mathbb{Z}$-分次模和微分结构，为基本平面图定义矩阵分解，以Koszul复形作为构建模块。
• 通过其分解部分的矩阵分解的张量积构造一般平面图的矩阵分解，保持分次和同调结构。
• 通过比较其Poincaré级数并利用由表示论恒等式导出的代数同构，建立矩阵分解之间的同伦等价。
• 证明依赖于Poincaré级数的显式计算和分次维数的比较，特别是针对着色为 $j_1, j_2$ 和 $j_1 - j_2$ 的图，使用量子二项式系数。
• 使用关键代数恒等式如 $[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 该构造是否为MOY多项式的完整范畴化提供了可行路径，类似于Khovanov-Rozansky对HOMFLY多项式的范畴化？

主要发现

• 平面图的矩阵分解被构造为其基本组成部分的矩阵分解的张量积，保持了分次和同调结构。
• 在矩阵分解张量积与其它分解之间建立了同伦等价，其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}$ 中的同伦等价实现，从而完整构建了范畴化的框架。