[论文解读] Categories over quantum affine algebras and monoidal categorification

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|May 22, 2020

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文建立了来自未扭量子仿射代数 $ADE$ 型的有限维表示子范畴的丛代数的幺半范畴化。通过构造一个以 $[a,b]$ 中可接受区间链为指标的基灵-雷斯捷伊金模的实简单交换族，证明了这些子范畴的格罗滕迪克环 $$\mathscr{C}_{\mathfrak{g}}^{[a,b]}$$ 具有丛代数结构，其初始种子由这些模给出，从而证实了 $\mathscr{C}_{\mathfrak{g}}^{-}$ 和 $$\mathscr{C}_{\mathfrak{g}}^{0}$$ 的幺半范畴化猜想。

ABSTRACT

Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C})$ in $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$, which consists of Kirillov-Reshetikhin modules. The category $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ provides a monoidal categorification of the cluster algebra $K(\mathcal{C}_{\mathfrak{g}}^{[a,b]})$, whose set of initial cluster variables is $[M(\mathfrak{C})]$. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on $\mathcal{C}_{\mathfrak{g}}^-$ by Hernandez-Leclerc since it is $\mathcal{C}_{\mathfrak{g}}^{[-\infty,0]}$, and is also applicable to $\mathcal{C}_{\mathfrak{g}}^0$ since it is $\mathcal{C}_{\mathfrak{g}}^{[-\infty,\infty]}$.

研究动机与目标

• 为有限维 $U_q'({\mathfrak{g}})$-模的子范畴 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ 提供幺半范畴化。
• 建立这些格罗滕迪克环具有丛代数结构，其初始丛变量由基灵-雷斯捷伊金模的交换族给出。
• 证明 Hernandez-Leclerc 的幺半范畴化猜想对子范畴 $\mathscr{C}_{\mathfrak{g}}^{-} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,0]}$ 成立，并将其推广至 $\mathscr{C}_{\mathfrak{g}}^{0} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,\infty]}$。
• 通过可接受的 $i$-方块链，统一所有区间 $[a,b]$ 上初始幺半种子的构造。

提出的方法

• 利用无限序列的简单反射 $\widehat{w}_0$，在 Hernandez-Leclerc 范畴 $\mathscr{C}_{\mathfrak{g}}^{0}$ 中引入子范畴 $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$。
• 定义区间 $[a,b]$ 中 $i$-方块的可接受链 $\mathfrak{C}$，以参数化基灵-雷斯捷伊金模的交换族 $M(\mathfrak{C})$。
• 利用 $R$-矩阵不变量和 KKOP (2019) 的准则，在 $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ 中构造一个 $\Lambda$-可接受的幺半种子 $\mathscr{S} = (M(\mathfrak{C}), \widetilde{B})$。
• 证明与变异相关的正合序列对应于 $T$-系统，从而确保所有 $M(\mathfrak{C})$ 的变异等价性。
• 证明 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ 同构于一个初始种子为 $[\mathscr{S}]$ 的丛代数 $\mathscr{A}([\mathscr{S}])$，从而实现幺半范畴化。
• 将该框架应用于 $\mathscr{C}_{\mathfrak{g}}^{-}$ 和 $\mathscr{C}_{\mathfrak{g}}^{0}$，恢复已知结果并实现统一推广。

实验结果

研究问题

• RQ1 子范畴 $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ 的有限维 $U_q'({\mathfrak{g}})$-模是否在其格罗滕迪克环中具有丛代数结构？
• RQ2 能否将 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ 的初始丛变量实现为实简单模的同构类，特别是基灵-雷斯捷伊金模？
• RQ3 是否可以通过使用可接受链的统一构造，使 Hernandez-Leclerc 的幺半范畴化猜想在 $\mathscr{C}_{\mathfrak{g}}^{-}$ 和 $\mathscr{C}_{\mathfrak{g}}^{0}$ 上成立？
• RQ4 在 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ 中的丛变异如何在范畴上实现？它们是否对应于 $T$-系统关系？
• RQ5 能否将 $\Lambda$-可接受性准则应用于所有区间 $[a,b]$ 的一致方式，以构造初始幺半种子？

主要发现

• 子范畴 $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ 为丛代数 $\mathscr{A}([\mathscr{S}])$ 提供了幺半范畴化，其中 $[\mathscr{S}]$ 是以可接受链 $\mathfrak{C}$ 的 $M(\mathfrak{C})$ 为丛变量的初始种子。
• 格罗滕迪克环 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ 同构于一个初始种子为 $[\mathscr{S}]$ 的丛代数，从而确认了丛代数结构。
• $\mathscr{C}_{\mathfrak{g}}^{-} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,0]}$ 的幺半种子 $\mathscr{S}^{-} = (M(\mathfrak{C}^{-}), \widetilde{B}^{-})$ 是 $\Lambda$-可接受的，从而证实了 $\mathscr{C}_{\mathfrak{g}}^{-}$ 的幺半范畴化猜想。
• $K(\mathscr{C}_{\mathfrak{g}}^{0})$ 的初始丛变量由族 $M(\mathfrak{C})$ 对于 $\mathfrak{C} = (0, \mathcal{L}, \mathcal{L}, \ldots)$ 实现，且 $\mathscr{C}_{\mathfrak{g}}^{0}$ 为 $K(\mathscr{C}_{\mathfrak{g}}^{0})$ 提供了幺半范畴化。
• 种子 $\mathscr{S}$ 的变异对应于 $T$-系统，且正合序列 (4.1) 通过 $R$-矩阵同态实现了 $T$-系统关系。
• 所有 $M(\mathfrak{C})$ 互相变异等价，且该构造可统一推广至所有 $[a,b] \subseteq \mathbb{Z} \sqcup \{\pm\infty\}$。