[论文解读] Generalized Weyl modules and Demazure submodules of level-zero extremal weight modules

Fumihiko Nomoto|arXiv (Cornell University)|Jan 29, 2017

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

一句话总结

本文建立了仿射李代数正部分上广义 Weyl 模块 $W_{w\tilde{\nu}}$ 的分次特征与量子仿射代数上极小权模的 Demazure 子模商模 $V_{w}^{-}(\lambda)/X_{w}^{-}(\lambda)$ 的分次特征之间的精确对应关系。通过推广量子仿射路径与 QLS 路径之间的双射，证明了在 Weyl 群作用与 $q \mapsto q^{-1}$ 变换下，$W_{w\tilde{\nu}}$ 的分次特征等于商模 $V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ 的分次特征，从而推广了关于 Macdonald 多项式特殊化的早期结果。

ABSTRACT

We study a relationship between the graded characters of generalized Weyl modules $W_{w λ}$, $w \in W$, over the positive part of the affine Lie algebra and those of specific quotients $V_{w}^- (λ) / X_{w}^- (λ)$, $w \in W$, of the Demazure submodules $V_{w}^- (λ)$ of the extremal weight modules $V(λ)$ over the quantum affine algebra, where $W$ is the finite Weyl group and $λ$ is a dominant weight. More precisely, we prove that a specific quotient of the Demazure submodule is a quantum analog of a generalized Weyl module.

研究动机与目标

• 建立仿射李代数正部分上广义 Weyl 模块与极小权模中 Demazure 子模商模之间的特征理论对应关系。
• 将此前仅对单位元成立的量子仿射路径与 QLS 路径之间的双射关系推广至任意 Weyl 群元素 $w \in W$。
• 证明在 $q \mapsto q^{-1}$ 变换与 Weyl 群作用 $w_{\circ}$ 下，$W_{w\tilde{\nu}}$ 的分次特征等于 $V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ 的分次特征。
• 利用路径模型，将关于 Macdonald 多项式在 $t=0$ 与 $t=\infty$ 处的特殊化结果统一到一个框架中。

提出的方法

• 构造从量子仿射路径集 $\mathcal{QB}(w; t(w_{\circ}\lambda))$ 到 QLS 路径集 $\mathrm{QLS}(\lambda)$ 的广义双射 $\Xi_w$，保持权重与度数不变。
• 定义量子仿射路径的分次特征 $C_w^{t(w_{\circ}\lambda)}$ 与以 $ww_{\circ}$-扭曲度函数为基准的 QLS 路径的分次特征 $\mathrm{gch}^{ww_{\circ}}\mathrm{QLS}(\lambda)$。
• 使用 $\mathbb{Q}(q)[P]$ 上的对合 $\overline{\cdot}$，其满足 $q \mapsto q^{-1}$ 且固定 $e^\mu$，并结合 Weyl 群作用 $w \cdot e^\mu = e^{w\mu}$。
• 证明广义 Weyl 模块 $W_{w\tilde{\nu}}$ 的分次特征在 $w_{\circ}(\overline{C_w^{t(w_{\circ}\lambda})}})$ 变换下，与商模的扭曲分次特征相等。
• 利用归纳论证与量子 Bruhat 图的性质，验证双射 $\Xi_w$ 保持权重与度数，从而确保特征相等。
• 应用关于 Macdonald 多项式特殊化的已知结果，特别是 $E_{w\lambda}(q,0)$ 与 $E_{w\lambda}(q,\infty)$，以阐明该特征恒等式的背景。

实验结果

研究问题

• RQ1 仿射李代数 $\mathfrak{n}_{\mathrm{aff}}$ 上广义 Weyl 模块 $W_{w\tilde{\nu}}$ 的分次特征与极小权模中商模 $V_w^{-}(\lambda)/X_w^{-}(\lambda)$ 的分次特征之间有何关系？
• RQ2 此前仅对 $w = e$ 成立的量子仿射路径与 QLS 路径之间的双射关系，能否推广至任意 $w \in W$？
• RQ3 在 $q \mapsto q^{-1}$ 与 Weyl 群作用 $w_{\circ}$ 下，$W_{w\tilde{\nu}}$ 的分次特征是否等于 $V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ 的分次特征？
• RQ4 量子仿射路径上的度数与权重函数如何与 QLS 路径上的扭曲度数与权重函数相关联？

主要发现

• 广义 Weyl 模块 $W_{w\tilde{\nu}}$ 的分次特征满足 $w_{\circ}(\overline{C_w^{t(w_{\circ}\lambda})}}) = \mathrm{gch}^{w_{\circ}ww_{\circ}}\mathrm{QLS}(\lambda)$，从而建立了精确的特征恒等式。
• 构造了双射对应 $\Xi_w: \mathcal{QB}(w; t(w_{\circ}\lambda)) \to \mathrm{QLS}(\lambda)$，保持权重与度数，推广了此前 $w = e$ 的情形。
• 量子仿射路径中量子权重 $\mathrm{qwt}(p_J)$ 的度数与 QLS 路径中扭曲度数 $\mathrm{Deg}^{ww_{\circ}}(\Xi_w(p_J))$ 一致，确保了特征的相容性。
• 终点权重 $\mathrm{wt}(\mathrm{end}(p_J))$ 等于像路径的权重 $\mathrm{wt}(\Xi_w(p_J))$，证实了权重保持性。
• $\mathcal{QB}(w; t(\lambda_-))$ 的基数与 $w \in W$ 无关，这是双射存在性的直接推论。
• 该结果推广了先前的特征恒等式：当 $w = e$ 时，特征 $\mathrm{gch}^{w_{\circ}}\mathrm{QLS}(\lambda)$ 等于 $E_{w_{\circ}\lambda}(q,0)$；当 $w = w_{\circ}$ 时，等于 $E_{w_{\circ}\lambda}(q,\infty)$。