[论文解读] Monoidal categorification and quantum affine algebras II

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|Mar 18, 2021

Algebraic structures and combinatorial models被引用 6

一句话总结

本文引入了量子仿射代数上的仿射行列式模，推广了基利洛夫-雷斯捷希金模和单群量子子式。通过可接受的 i-方块链与方块移动，建立了统一量子仿射代数关系与典型化代数结构的 T-系统，证明了各种模类提供典型化代数的张量范畴化，包括任意量子仿射代数的 Hernandez-Leclerc 类。

ABSTRACT

We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.

研究动机与目标

• 构造一类新的实单模家族——仿射行列式模，推广基利洛夫-雷斯待希金模与单群量子子式。
• 在这些模之间建立 T-系统，统一量子仿射代数与量子单群坐标环的关系。
• 开发组合工具——可接受的 i-方块链与方块移动，以描述可交换模族与 T-系统。
• 证明量子仿射代数上的模类，包括 Hernandez-Leclerc 类，提供典型化代数的张量范畴化。

提出的方法

• 引入与 i-方块相关的仿射行列式模，推广基利洛夫-雷斯待希金模。
• 定义可接受的 i-方块链，以生成仿射行列式模的可交换族。
• 引入方块移动作为组合工具，描述仿射行列式模之间的 T-系统。
• 利用量子仿射 Schur-Weyl 对偶性与 PBW-对，将模类与典型化代数联系起来。
• 从可接受的链构造张量种子，并证明其完全 Λ-可接受性。
• 通过截断链与满射性论证，建立典型化代数与模类的 Grothendieck 环之间的同构。

实验结果

研究问题

• RQ1 如何在量子仿射代数中构造一个统一的实单模家族，使其同时包含基利洛夫-雷斯待希金模与单群量子子式？
• RQ2 控制这些新模之间 T-系统的组合结构是什么？它们如何推广已知关系？
• RQ3 有限维可积模类在量子仿射代数上是否能提供典型化代数的张量范畴化？
• RQ4 可接受的 i-方块链与方块移动如何编码 T-系统与可交换族的结构？
• RQ5 与可接受的 i-方块链相关的张量种子的精确交换矩阵结构是什么？

主要发现

• 引入了仿射行列式模作为一类新的实单模家族，其中基利洛夫-雷斯待希金模为其子族。
• 仿射行列式模之间的 T-系统同时推广了量子仿射代数关系与单群量子子式关系。
• 可接受的 i-方块链生成了仿射行列式模的可交换族。
• 方块移动提供了以模变异形式描述 T-系统的组合描述。
• 模类 $\mathscr{C}_{\mathfrak{g}}^{[a,b],\mathcal{D},\widehat{\underline{w}}_0}$ 的 Grothendieck 环通过一个完全 Λ-可接受的张量种子同构于一个典型化代数。
• 主要定理表明，Hernandez-Leclerc 类 $\mathscr{C}_{\mathfrak{g}}^0$ 与 $\mathscr{C}_{\mathfrak{g}}^-$ 对任意量子仿射代数均提供典型化代数的张量范畴化。