[论文解读] Positivity and the canonical basis of tensor products of finite-dimensional irreducible representations of quantum sl(k)

Joshua Sussan|ArXiv.org|Apr 12, 2008

Algebraic structures and combinatorial models参考文献 25被引用 5

一句话总结

该论文通过利用 $\mathfrak{gl}_n$ 的抛物型范畴 $\mathcal{O}$ 中的倾斜模的范畴化，证明了量子 $\mathfrak{sl}_k$ 的有限维不可约表示之张量积的典范基的结构常数属于 $\mathbb{N}[q, q^{-1}]$。投影函子保持倾斜模，从而确保了切瓦利生成元作用在典范基上的正性。

ABSTRACT

In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to tilting modules, the coefficients of the canonical basis of tensor products of finite dimensional, irreducible representations under the action of the Chevalley generators are positive.

研究动机与目标

• 建立 $\mathcal{U}_q(\mathfrak{sl}_k)$ 的有限维不可约表示之张量积的典范基中结构常数的正性。
• 将吕斯蒂格的单个不可约表示的正性结果推广至一般有限维不可约表示的张量积。
• 通过 $\mathfrak{gl}_n$-范畴 $\mathcal{O}$ 的抛物型子范畴中的倾斜模实现范畴化，以构造典范基。
• 证明切瓦利生成元 $E_i, F_i$ 在典范基上的作用系数属于 $\mathbb{N}[q, q^{-1}]$。

提出的方法

• 通过最高权范畴和 $\mathfrak{gl}_n$-范畴 $\mathcal{O}$ 的抛物型子范畴，对基本表示的张量积进行范畴化。
• 将这些范畴中的不可约倾斜模识别为典范基元素的分次提升。
• 利用投影函子来建模切瓦利生成元 $E_i, F_i$ 在典范基上的作用。
• 利用投影函子保持倾斜模的事实，其作用对应于倾斜滤子中的重数计数。
• 应用导出的祖克曼函子，将广义 Verma 模与抛物型子范畴中的倾斜模联系起来。
• 使用投影映射 $\pi_{i_1,\ldots,i_r}$ 和包含映射 $\iota_{i_1,\ldots,i_r}$，将基本表示的张量积与楔积 $\Lambda^{i_j}V_{k-1}$ 联系起来。

实验结果

研究问题

• RQ1 量子 $\mathfrak{sl}_k$ 的有限维不可约 $\mathcal{U}_q(\mathfrak{sl}_k)$-模之张量积的典范基的结构常数是否属于 $\mathbb{N}[q, q^{-1}]$？
• RQ2 此类张量积的典范基能否通过 $\mathfrak{gl}_n$ 的抛物型范畴 $\mathcal{O}$ 中的倾斜模实现范畴化？
• RQ3 切瓦利生成元 $E_i$ 和 $F_i$ 在典范基上的作用是否产生 $\mathbb{N}[q, q^{-1}]$ 中的系数？
• RQ4 通过投影函子在倾斜模上的范畴化如何反映典范基系数的正性？

主要发现

• 在表达式 $E_i b_j = \sum_n c_{i,j,n} b_n$ 和 $F_i b_j = \sum_n d_{i,j,n} b_n$ 中，所有 $i,j,n$ 的系数 $c_{i,j,n}$ 和 $d_{i,j,n}$ 属于 $\mathbb{N}[q, q^{-1}]$。
• 在 $\oplus_{\mathbf{d}} \mathcal{O}_{\mathbf{d}}(\mathfrak{gl}_n)$ 的抛物型子范畴中的不可约倾斜模，在格罗滕迪克群中下降为典范基。
• 投影函子将倾斜模映射到倾斜模，因此 $E_i$ 和 $F_i$ 在典范基上的作用对应于倾斜滤子中的重数，从而保证了正性。
• 该结果将吕斯蒂格对单个不可约表示的正性结果推广至一般有限维不可约表示的张量积。
• 通过 $\mathfrak{gl}_n$ 的抛物型范畴 $\mathcal{O}$ 中的倾斜模实现的范畴化，为典范基系数的正性提供了几何与表示论机制。