[论文解读] Path Model for a Level Zero Extremal Weight Module over a Quantum Affine Algebra

Satoshi Naito, Daisuke Sagaki|ArXiv.org|Oct 30, 2002

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

一句话总结

本文为量子仿射代数上的零权极端权模建立了路径模型，证明了此类模的晶体基与基本基本权的Lakshmibai–Seshadri路径的连通分支之间存在同构。此外，本文还证明了关于李代数子代数的分支规则，以及当极端权为最小权时，张量积的Littelmann型分解规则。

ABSTRACT

We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.

研究动机与目标

• 为量子仿射代数上的零权极端权模构造路径模型。
• 建立极端权模的晶体基与基本基本权的Lakshmibai–Seshadri路径的连通分支之间的同构。
• 为极端权模相对于李代数子代数的限制推导分支规则。
• 在极端权为最小权时，证明可积最高权模与零权极端权模的路径模型连接的张量积的分解规则。

提出的方法

• 将形状为 $δ_i$ 的Lakshmibai–Seshadri路径定义为满足链条件的分段线性映射。
• 证明包含 $\pi_{\varpi_i}(t) = t\varpi_i$ 的路径连通分支 $\mathbb{B}_0(\varpi_i)$ 作为晶体与晶体基 $\mathcal{B}(\varpi_i)$ 同构。
• 利用Beck与Nakajima关于晶体嵌入的结果，将同构关系扩展至一般极端权 $\lambda = \sum m_i \varpi_i$。
• 通过路径模型的连接实现晶体的张量积规则，推导出分解规则。
• 通过将晶体结构限制到李代数子代数 $\mathfrak{g}_S$ 并分析支配性条件，建立分支规则。
• 利用 $\varpi_i$ 的最小权性质，证明 $\mathbb{B}(\varpi_i)$ 是连通的，且不存在 $a$-链，从而简化路径结构。

实验结果

研究问题

• RQ1 能否为量子仿射代数上的零权极端权模构造路径模型？
• RQ2 基本基本权 $\varpi_i$ 的Lakshmibai–Seshadri路径的连通分支是否与对应极端权模的晶体基同构？
• RQ3 极端权模在限制到李代数子代数时如何分解？
• RQ4 当极端权为最小权时，可积最高权模与零权极端权模的路径模型连接的结构是怎样的？
• RQ5 在最小权情况下，路径模型的晶体结构是否反映了张量积的分解？

主要发现

• 存在唯一的晶体同构 $\Phi_{\varpi_i}: \mathcal{B}(\varpi_i) \to \mathbb{B}_0(\varpi_i)$，将极端权元素 $u_{\varpi_i}$ 映射到路径 $\pi_{\varpi_i}$。
• 对于 $\lambda = \sum_{i \in I_0} m_i \varpi_i$，连通分支 $\mathcal{B}_0(\lambda)$ 同构于路径模型连接 $\mathop{\rm Cat}_{i \in I_0} \mathbb{B}_0(\varpi_i)^{\ast m_i}$ 的连通分支 $\mathbb{B}_0(\underline{\lambda})$，且 $u_\lambda$ 映射到 $\pi_{\underline{\lambda}}$。
• 路径模型 $\mathbb{B}(\varpi_i)$ 及其连通分支 $\mathbb{B}_0(\varpi_i)$ 在限制到李代数子代数 $\mathfrak{g}_S$ 时，分解为 $\mathfrak{g}_S$-支配路径模型的不相交并集。
• 当 $\varpi_i$ 为最小权时，连接 $\mathbb{B}(\lambda) \ast \mathbb{B}(\varpi_i)$ 分解为所有 $\lambda$-支配路径 $\pi \in \mathbb{B}(\varpi_i)$ 的不相交并集，且每个分量同构于 $\mathbb{B}(\lambda + \pi(1))$。
• $\mathbb{B}(\varpi_i)$ 的连通性在 $\varpi_i$ 为最小权时得以保证，原因是不存在 $a$-链。
• 分解规则不一定会提升为模级别的张量积分解，如注记4.3.3所述。