[论文解读] Extremal weight modules of quantum affine algebras

Hiraku Nakajima|ArXiv.org|Apr 14, 2002

Algebraic structures and combinatorial models参考文献 3被引用 10

一句话总结

本文证明了关于类型 ADE 的量子仿射代数的极小权模结构的 Kashiwara 猜想，表明此类模同构于基本模的张量积，并具有满足近乎正交性质的全局晶体基。关键结果建立了极小权模与通过 quiver 变体构造的通用标准模之间的典范同构，以精确形式确认了 Varagnolo-Vasserot 与 Chari-Pressley 的一个猜想。

ABSTRACT

Let $\ag$ be an affine Lie algebra, and let $\Ua$ be the quantum affine algebra introduced by Drinfeld and Jimbo. In [Kas94] Kashiwara introduced a $\Ua$-module $V(λ)$, having a global crystal base for an integrable weight $λ$ of level 0. We call it an {\it extremal weight module}. In [\S13]{Kas00} Kashiwara gave a conjecture on the structure of extremal weight modules. We prove his conjecture when $\ag$ is an untwisted affine Lie algebra of a simple Lie algebra $\g$ of type $ADE$, using a result of Beck-Chari-Pressley [BCP].

研究动机与目标

• 证明关于未扭仿射李代数类型 ADE 的极小权模结构的 Kashiwara 猜想。
• 建立通过 quiver 变体构造的极小权模与通用标准模之间的同构。
• 利用类似于最高权模的近乎正交性，刻画极小权模的全局晶体基。
• 以精确形式确认 Varagnolo-Vasserot 与 Chari-Pressley 关于极小权模与标准模之间同构的猜想。

提出的方法

• 将模 $\widetilde{V}(\lambda)$ 构造为基本极小权模 $V(\varpi_i)^{\otimes m_i}$ 的张量积，其中固定了指标集 $I$ 的排序。
• 为极小权模 $V(\lambda)$ 定义全局晶体基 $({\mathscr{L}}(\lambda), \mathcal{B}(\lambda), V^\mathbb{Z}(\lambda))$。
• 引入 ${\mathbf{U}}_q(\widehat{{\mathfrak{g}}})$-线性同态 $\Phi_\lambda: V(\lambda) \to \widetilde{V}(\lambda)$，将最高权向量 $u_\lambda$ 映射至 $\widetilde{u}_\lambda = \bigotimes_i u_{\varpi_i}^{\otimes m_i}$。
• 利用 Beck-Chari-Pressley 关于基本模张量积结构的结果，分析 $\Phi_\lambda$ 的像，证明其单射性与基的保持性。
• 将晶体基 $\widetilde{\mathcal{B}}(\lambda)$ 定义为 $\widetilde{\mathcal{B}}_0(\lambda)$ 在 Schur 多项式 $s(z)$ 作用下的轨道，并证明 $\Phi_\lambda^0$ 在 $\mathcal{B}(\lambda)$ 与 $\widetilde{\mathcal{B}}(\lambda)$ 之间诱导出双射。
• 证明全局晶体基 $\{G(b)\}_{b \in \mathcal{B}(\lambda)}$ 关于几何双线性型近乎正交，满足 $(G(b), G(b')) \equiv \delta_{bb'} \mod q\mathbb{Z}[q]$。

实验结果

研究问题

• RQ1 极小权模 $V(\lambda)$ 是否同构于基本极小权模 $V(\varpi_i)^{\otimes m_i}$ 的张量积？
• RQ2 $V(\lambda)$ 的全局晶体基是否关于几何双线性型满足近乎正交性？
• RQ3 极小权模能否与通过 quiver 变体构造的通用标准模相等同？
• RQ4 ${\mathbf{U}}_q(\widehat{{\mathfrak{g}}})$-线性映射 $\Phi_\lambda$ 是否在晶体基上诱导双射并保持全局晶体基结构？
• RQ5 极小权模与通用标准模之间的同构是否与几何双线性型及共轭对合相容？

主要发现

• 同态 $\Phi_\lambda: V(\lambda) \to \widetilde{V}(\lambda)$ 是单射，且 $\Phi_\lambda({\mathscr{L}}(\lambda)) \subset \widetilde{\mathscr{L}}(\lambda)$。
• $\Phi_\lambda^0$ 在晶体基上诱导出 $\mathcal{B}(\lambda)$ 与 $\widetilde{\mathcal{B}}(\lambda)$ 之间的双射。
• $V(\lambda)$ 的全局晶体基 $\{G(b)\}_{b \in \mathcal{B}(\lambda)}$ 被映射为 $\{s(z)G(b)\}_{b \in \widetilde{\mathcal{B}}_0(\lambda)}$，保持了全局基结构。
• $V(\lambda)$ 的全局晶体基近乎正交：$(G(b), G(b')) \equiv \delta_{bb'} \mod q\mathbb{Z}[q]$。
• 集合 $\{\pm G(b) \mid b \in \mathcal{B}(\lambda)\}$ 与满足 $\overline{u} = u$ 且 $(u,u) \equiv 1 \mod q\mathbb{Z}[q]$ 的元素 $u \in V^\mathbb{Z}(\lambda)$ 的集合完全一致。
• 极小权模 $V(\lambda)$ 同构于通过 quiver 变体定义的通用标准模，确认了 Varagnolo-Vasserot 与 Chari-Pressley 的一个猜想。