[论文解读] Weyl Modules for Classical and Quantum Affine algebras

Vyjayanthi Chari, Andrew Pressley|ArXiv.org|Apr 27, 2000

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

一句话总结

本文将经典与量子仿射代数的 Weyl 模定义为可积零权模的普遍最高权商模，确立了其作为不可约量子仿射表示经典极限的角色。作者证明当 $\sigma = \sigma_{\pi}$ 时，Weyl 模 $W(\pi)$ 是不可约 $U_q(\hat{\mathfrak{g}})$-模的经典极限，并在 $\mathfrak{g} = \mathfrak{sl}_2$ 的情况下证实了该猜想，其分解性质与不可约性条件与 Drinfeld 对 Yangian 的工作类似。

ABSTRACT

We define a family of universal finite-dimensional highest weight modules for affine Lie algebras, we call these Weyl modules. We conjecture that these are the classical limits of the irreducible finite--dimensional representations of the quantum affine algebras. We prove this conjecture in the case of affine sl_2. We establish a criterion for these modules to be irreducible and prove a factorization theorem for them in the general case.

研究动机与目标

• 为仿射李代数的可积零权模定义并研究 Weyl 模 $W(\boldsymbol{\pi})$ 作为其普遍最高权商模。
• 建立 $U_q(\hat{\mathfrak{g}})$ 的有限维不可约表示与它们在 $q \to 1$ 时的经典极限之间的对应关系，将 $W(\boldsymbol{\pi})$ 识别为 $V_q(\boldsymbol{\pi}_q)$ 的经典极限。
• 证明每个 $W(\boldsymbol{\pi})$ 都是某个不可约 $U_q(\hat{\mathfrak{g}})$-模的经典极限，从而在 $\mathfrak{g} = \mathfrak{sl}_2$ 的情况下证实了该猜想。
• 提供 Weyl 模不可约性的充要条件，表明其与 Drinfeld 在 Yangian 上的工作中的条件一致。
• 显式确定 $\mathfrak{sl}_2$ 情形下的 $W(\lambda)$，并将其与 Kashiwara 对 $V^{\text{max}}(\lambda)$ 的晶体基猜想联系起来。

提出的方法

• 将 Weyl 模 $W(\boldsymbol{\pi})$ 定义为 $\hat{\mathfrak{g}}$ 的唯一有限维最高权模，使得它能映满任意具有最高权 $\boldsymbol{\pi}$ 的有限维最高权模。
• 通过取不可约 $U_q(\hat{\mathfrak{g}})$-模 $V_q(\boldsymbol{\pi}_q)$ 在 $q \to 1$ 时的极限来构造 $W(\boldsymbol{\pi})$，其中 $\boldsymbol{\pi}$ 由在 $\boldsymbol{\pi}_q$ 中令 $q=1$ 得到。
• 利用在环 $R_m/J_m$ 中的归纳法与二项式展开，证明 Weyl 模具有类似于不可约模的分解性质。
• 通过分析商模的结构并利用专门化的量子模是 $W(\boldsymbol{\pi})$ 的商模这一事实，建立 $W(\boldsymbol{\pi})$ 不可约性的充要条件，从而与 Drinfeld 在 Yangian 上的条件建立联系。
• 通过在 $R_m/J_m$ 中的基构造，显式确定 $\mathfrak{g} = \mathfrak{sl}_2$ 情形下的 $W(\lambda)$，依赖于关于二项式系数和模张量的引理。
• 利用归纳法和同态 $R_{m-1}/J_{m-1} \to R_m/J_m$，证明在模 $J_m$ 下，$z_i$ 的单项式张成 $W(\lambda)$，从而证明其基结构。

实验结果

研究问题

• RQ1 是否每个 $\hat{\mathfrak{g}}$ 的 Weyl 模 $W(\boldsymbol{\pi})$ 都是 $U_q(\hat{\mathfrak{g}})$-模在 $q \to 1$ 时的不可约表示的经典极限？
• RQ2 Weyl 模 $W(\boldsymbol{\pi})$ 作为零权可积模的商模具有怎样的结构？它与 $V^{\text{max}}(\lambda)$ 的关系如何？
• RQ3 $\boldsymbol{\pi}$ 需满足何种条件才能使 $W(\boldsymbol{\pi})$ 不可约？该条件与 Drinfeld 在 Yangian 上的条件有何关联？
• RQ4 能否显式描述 $\mathfrak{sl}_2$ 情形下的 Weyl 模 $W(\lambda)$？这是否解决了 Kashiwara 关于 $V^{\text{max}}(\lambda)$ 晶体基的猜想？
• RQ5 Weyl 模 $W(\boldsymbol{\pi})$ 的分解性质与不可约模的性质相比如何？证明这些性质所需的代数工具是什么？

主要发现

• Weyl 模 $W(\boldsymbol{\pi})$ 是 $\hat{\mathfrak{g}}$ 的唯一有限维最高权模，它能映满任意具有最高权 $\boldsymbol{\pi}$ 的有限维最高权模，从而确立了其普遍性。
• 当 $\mathfrak{g} = \mathfrak{sl}_2$ 时，证明了每个 $W(\boldsymbol{\pi})$ 都是不可约 $U_q(\hat{\mathfrak{g}})$-模在 $q \to 1$ 时的经典极限的猜想成立。
• $W(\boldsymbol{\pi})$ 不可约性的条件与 Drinfeld 在 Yangian 背景下首次提出的条件完全一致，建立了深刻的结构联系。
• Weyl 模 $W(\boldsymbol{\pi})$ 满足类似于不可约模的分解性质，该性质通过在环 $R_m/J_m$ 中的归纳法与二项式展开得以证明。
• 当 $\mathfrak{g} = \mathfrak{sl}_2$ 时，Weyl 模 $W(\lambda)$ 显式地被识别为模 $J_m$ 下所有单项式 $z_{i_1} z_{i_2} \cdots z_{i_r}$（其中 $i_k \geq 1$）的张成空间，从而确认了其基结构。
• 对 $\mathfrak{sl}_2$ 情形下 $W(\lambda)$ 的构造解决了 Kashiwara 关于 $V^{\text{max}}(\lambda)$ 晶体基的一个猜想，尽管完整细节留待未来工作。