[论文解读] Crystal bases and two-sided cells of quantum affine algebras

Jonathan Beck, Hiraku Nakajima|ArXiv.org|Dec 18, 2002

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

一句话总结

本文为量子仿射代数的正部分 $ \mathbf{U}^+ $ 构造了一个新的积分基 $ B $，证明其相对于全局晶体基为上三角矩阵，且元素属于 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $，从而建立了典范基的新初等代数定义。此外，本文证明了关于极小权模晶体结构的若干猜想，并给出了修正量子群 $ \widetilde{\mathbf{U}} $ 的全局晶体基的彼得-外尔型分解，包括对双边细胞和 $ q=0 $ 极限代数的显式描述。

ABSTRACT

Let $\g$ be an affine Kac-Moody Lie algebra. Let $\U^+$ be the positive part of the Drinfeld-Jimbo quantum enveloping algebra associated to $\g$. We construct a basis of $\U^+$ which is related to the Kashiwara-Lusztig global crystal basis (or canonical basis) by an upper triangular matrix (with respect to an explicitly defined ordering) with 1's on the diagonal and with above diagonal entries in $q_s^{-1} \Z[q_s^{-1}]$. Using this construction we study the global crystal basis $\B(\Um)$ of the modified quantum enveloping algebra defined by Lusztig. We obtain a Peter-Weyl like decomposition of the crystal $\B(\Um)$ (Theorem 4.18), as well as an explicit description of two-sided cells of $\B(\Um)$ and the limit algebra of $\Um$ at $q=0$ (Theorem 6.45).

研究动机与目标

• 为量子仿射代数的 $ \mathbf{U}^+ $ 构造一个新的积分基 $ B $，使其推广 PBW 基并兼容全局晶体基。
• 证明 $ B $ 与全局晶体基之间的过渡矩阵为上三角矩阵，主对角线上元素为 1，且矩阵元素属于 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $，从而建立典范基的新代数刻画。
• 验证 Kashiwara、Nakashima 和 Lusztig 长期以来关于极小权模 $ V(\lambda) $ 晶体结构的猜想，特别是分解式 $ \mathcal{B}(\lambda) \cong \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $。
• 建立修正量子群 $ \widetilde{\mathbf{U}} $ 的全局晶体基 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 的彼得-外尔型分解，并显式描述双边细胞及 $ q=0 $ 时的极限代数。
• 消除早期构造基 $ B $ 时存在的符号歧义，通过使用零权极小权模和对合映射实现积分性与精确的过渡矩阵。

提出的方法

• 将基 $ B $ 构造为实根向量的单项式乘积与虚根向量上的施瓦茨函数的乘积，采用特定的根序。
• 利用 $ \lambda \in P $ 的极小权模 $ V(\lambda) $，特别是那些位于蒂茨锥外部的模，分析全局晶体基在 $ q=\infty $ 时的特殊化行为，确保符号的一致性。
• 通过分析对合映射的作用并利用典范基结构，证明 $ B $ 与全局晶体基之间的过渡矩阵为上三角矩阵，主对角线元素为 1。
• 应用修正量子群 $ \widetilde{\mathbf{U}} $ 的理论及分解式 $ \mathcal{B}(\widetilde{\mathbf{U}}) \cong \coprod_{\lambda} \mathcal{B}(\lambda) \times \mathrm{Irr}G_\lambda $，研究 $ \widetilde{\mathbf{U}} $ 的晶体结构。
• 利用 $ \widetilde{\mathbf{U}}[\lambda]_0 $ 上的 $ J_\lambda $-模结构及同构 $ \Phi: \widetilde{\mathbf{U}} \to \widetilde{\mathbf{U}}[\lambda]_0 $，将 $ V(\lambda) $ 与其积分形式关联，并证明同构 $ \Psi: V(\lambda) \to V(\lambda)_0 \otimes_{\mathbf{Z}} \mathbf{Q}(q_s) $ 为 $ \widetilde{\mathbf{U}} $-模同构。
• 采用 Frenkel-Mukhin 算法及其计算机实现，计算基本表示 $ W(\varpi_i) $ 的维数，从而实现对 $ A_n^{(1)} $ 情形下 $ \#\mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $ 的显式计算。

实验结果

研究问题

• RQ1 量子仿射代数的 $ \mathbf{U}^+ $ 的新积分基 $ B $ 的结构是什么？该基应推广 PBW 基并兼容全局晶体基。
• RQ2 如何证明 $ B $ 与全局晶体基之间的过渡矩阵为上三角矩阵，主对角线元素为 1，且矩阵元素属于 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $，从而提供典范基的初等代数定义？
• RQ3 对于 $ \lambda \in P $ 的极小权模 $ V(\lambda) $，其晶体结构是什么，特别是当 $ \lambda $ 位于蒂茨锥外部时？它是否如 Kashiwara 所猜想的那样分解为 $ \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $？
• RQ4 如何对修正量子群的全局晶体基 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 进行彼得-外尔型分解？其双边细胞的显式描述是什么？$ q=0 $ 时的极限代数又是什么？
• RQ5 集合 $ \mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $ 的基数是多少？它与 $ A_n^{(1)} $ 情形下基本表示 $ W(\varpi_i) $ 的维数有何关系？

主要发现

• 基 $ B $ 为 $ \mathbf{U}^+ $ 构造为实根向量的单项式乘积与虚根向量上施瓦茨函数的乘积，且在 $ \mathbf{Z}[q_s, q_s^{-1}] $ 上构成积分基。
• 基 $ B $ 与全局晶体基 $ G(\mathcal{B}(-\infty)) $ 之间的过渡矩阵为上三角矩阵，主对角线元素为 1，且矩阵元素属于 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $，从而提供了典范基的新初等代数定义。
• 极小权模 $ V(\lambda) $ 的晶体 $ \mathcal{B}(\lambda) $ 可分解为 $ \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $，证实了 Kashiwara 的一个猜想。
• 修正量子群 $ \widetilde{\mathbf{U}} $ 的全局晶体基 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 允许彼得-外尔型分解 $ \coprod_{\lambda} \mathcal{B}(\lambda) \times \mathrm{Irr}G_\lambda $，且通过此分解可显式描述 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 的双边细胞。
• 修正量子群 $ \widetilde{\mathbf{U}} $ 在 $ q=0 $ 时的极限代数同构于修正量子群 $ \widetilde{\mathbf{U}}[\lambda]_0 $，且同构 $ \Psi: V(\lambda) \to V(\lambda)_0 \otimes_{\mathbf{Z}} \mathbf{Q}(q_s) $ 作为 $ \widetilde{\mathbf{U}} $-模同构被确立。
• 对于 $ \widetilde{\mathbf{U}}(A_n^{(1)}) $，集合 $ \mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $ 的元素个数为 $ \prod_{i=1}^n \binom{n+1}{i}^{\lambda_i} $，该结果通过基本表示 $ W(\varpi_i) $ 的维数（其维数为 $ \binom{n+1}{i} $）计算得出。