[论文解读] Simplicity of tensor products of Kirillov--Reshetikhin modules: nonexceptional affine and G types

Se‐jin Oh, Travis Scrimshaw|arXiv (Cornell University)|Oct 23, 2019

Algebraic structures and combinatorial models参考文献 29被引用 6

一句话总结

本文通过广义Dorey法则同态，建立了非例外仿射类型、$D_4^{(3)}$ 和 $G_2^{(1)}$ 中任意基洛维奇–雷舍蒂欣（KR）模之间归一化R-矩阵的分母公式。证明了KR模张量积的简洁性，并完全确定了极点次数，证实了Hernandez–Leclerc簇构成强交换的实简单模族。

ABSTRACT

We show the denominator formulas for the normalized $R$-matrix involving two arbitrary Kirillov--Reshetikhin (KR) modules $W^{(k)}_{m,a}$ and $W^{(l)}_{p,b}$ in all nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. To achieve our goal, we prove the existence of homomorphisms, which can be understood as generalization of Dorey rule to KR modules. We also conjecture a uniform denominator formulas for all simply-laced types; in particular, type $E_n^{(1)}$. With the denominator formulas, we determine the simplicity of tensor product of KR modules and degrees of poles of normalized $R$-matrices between two KR modules completely in nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. As an application, we prove that the certain sets of KR modules for the untwisted affine types, suggested by Hernandez and Leclerc as clusters, form strongly commuting families, which implies that all cluster monomials in the clusters are real simple modules.

研究动机与目标

• 在非例外仿射类型、$D_4^{(3)}$ 和 $G_2^{(1)}$ 中，为任意基洛维奇–雷舍蒂欣（KR）模之间的归一化R-矩阵推导统一的分母公式。
• 通过证明这些模之间特定同态的存在性，将经典Dorey法则推广至基洛维奇–雷舍蒂欣模。
• 确定指定类型下KR模张量积的简洁性以及归一化R-矩阵中极点的次数。
• 验证Hernandez–Leclerc在未扭仿射类型中提出的KR模簇是否构成强交换族。
• 确立这些簇中所有簇单项式均为实且简洁的模。

提出的方法

• 利用量子仿射代数中的表示论技术，推导归一化R-矩阵的分母公式。
• 引入并证明KR模 $W^{(k)}_{m,a}$ 与 $W^{(l)}_{p,b}$ 之间同态的存在性，推广经典Dorey法则。
• 应用分母公式分析KR模张量积的结构及R-矩阵的极点。
• 利用分母公式确定张量积的简洁性以及归一化R-矩阵中极点的阶数。
• 通过分母公式与同态结构，验证Hernandez–Leclerc簇构成强交换族。
• 利用R-矩阵的导出性质与张量积分解，证明所有簇单项式均为实且简洁的模。

实验结果

研究问题

• RQ1 在非例外仿射类型及 $D_4^{(3)}$、$G_2^{(1)}$ 中，任意基洛维奇–雷舍蒂欣模之间归一化R-矩阵的统一分母公式是什么？
• RQ2 Dorey法则如何推广至基洛维奇–雷舍蒂欣模？其背后的同态结构是什么？
• RQ3 在何种条件下，两个基洛维奇–雷舍蒂欣模的张量积是简洁的？
• RQ4 Hernandez–Leclerc在未扭仿射类型中提出的KR模簇是否构成强交换族？
• RQ5 Hernandez–Leclerc簇中所有簇单项式是否均为实且简洁的模？

主要发现

• 在所有非例外仿射类型、$D_4^{(3)}$ 和 $G_2^{(1)}$ 中，建立了任意KR模之间归一化R-矩阵的分母公式。
• KR模之间同态的存在性推广了Dorey法则，为R-矩阵分析提供了结构基础。
• 根据分母公式，指定类型下任意两个KR模的张量积均为简洁模。
• 通过推导公式，完全分类了KR模之间归一化R-矩阵的极点次数。
• Hernandez–Leclerc在未扭仿射类型中提出的KR模簇构成强交换族。
• 证明了这些簇中所有簇单项式均为实且简洁的模，确认其在簇代数结构中的基础作用。