[论文解读] Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials

Satoshi Naito, Daisuke Sagaki|arXiv (Cornell University)|Apr 9, 2014

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

一句话总结

本文利用半无限Lakshmibai-Seshadri路径，刻画了量子仿射代数上零权极端权模中Demazure子模的晶体基，建立了此类路径初始方向与Demazure模之间的精确联系。关键结果是：最长Weyl群元素对应的Demazure子模的分次特征标可表示为对称Macdonald多项式 $ P_{\mu}(x;q,t) $ 在 $ t=0 $ 处的特殊化，从而为 $ q $-Whittaker函数提供了表示论解释。

ABSTRACT

In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of Demazure submodules $V_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$, where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization is given in terms of the initial direction of a semi-infinite Lakshmibai-Seshadri path, and is established under a suitably normalized isomorphism between the crystal basis $\mathcal{B}(λ)$ of the level-zero extremal weight module $V(λ)$ and the crystal $\mathbb{B}^{\frac{\infty}{2}}(λ)$ of semi-infinite Lakshmibai-Seshadri paths of shape $λ$, which is obtained in our previous work. As an application, we obtain a formula expressing the graded character of the Demazure submodule $V_{w_0}^{+}(λ)$ in terms of the specialization at $t=0$ of the symmetric Macdonald polynomial $P_λ(x\,;\,q,\,t)$.

研究动机与目标

• 刻画量子仿射代数上零权极端权模 $ V(\lambda) $ 中Demazure子模 $ V_x^+(\lambda) $ 的晶体基。
• 建立半无限Lakshmibai-Seshadri（SiLS）路径初始方向与这些Demazure子模结构之间的联系。
• 通过Demazure模的分次特征标，为 $ q $-Whittaker函数提供表示论解释。
• 将晶体理论技术扩展至非可积、无限维且具有无限多个连通分支的模。

提出的方法

• 利用一个适当归一化的同构 $ \Psi_\lambda^\vee: \mathcal{B}(\lambda) \xrightarrow{\sim} \mathbb{B}^{\frac{\infty}{2}}(\lambda) $，将极端权模的晶体基与半无限LS路径的晶体联系起来。
• 将集合 $ \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $ 定义为初始方向 $ \iota(\eta) $ 满足在半无限Bruhat序下 $ x \succeq \iota(\eta) $ 的SiLS路径的集合。
• 利用Peterson的陪集代表元 $ (W^J)_{\mathrm{af}} $ 来参数化晶体 $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ 中路径的初始方向。
• 通过晶体同构将子模结构从模侧转移到路径侧，证明 $ \Psi_\lambda^\vee(\mathcal{B}_x^+(\lambda)) = \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $。
• 利用对称Macdonald多项式在 $ P_\lambda(x;q,0) $ 处的特殊化，计算 $ V_{w_0}^+(\lambda) $ 的分次特征标。
• 依赖于先前工作中建立的 $ \mathcal{B}(\lambda) $ 与 $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ 之间的晶体同构，并通过归一化将其推广，以处理无限连通分支和非可积权。

实验结果

研究问题

• RQ1 如何通过半无限LS路径刻画零权极端权模中Demazure子模 $ V_x^+(\lambda) $ 的晶体基？
• RQ2 半无限LS路径的初始方向在决定其是否属于某个Demazure子模中起什么作用？
• RQ3 Demazure子模 $ V_{w_0}^+(\lambda) $ 的分次特征标能否用对称Macdonald多项式特殊化来表示？
• RQ4 晶体同构的归一化如何影响路径模型中Demazure模的识别？
• RQ5 在量子仿射代数的背景下，特殊化 $ P_\lambda(x;q,0) $ 的表示论意义是什么？

主要发现

• 在 $ \Psi_\lambda^\vee $ 下，Demazure子模 $ V_x^+(\lambda) $ 的晶体基 $ \mathcal{B}_x^+(\lambda) $ 同构于初始方向满足 $ x \succeq \iota(\eta) $ 的半无限LS路径集合 $ \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $。
• 分次特征标为 $ \mathop{\rm gch}\nolimits V_{w_0}^+(\lambda) = \left( \prod_{i\in I} \prod_{r=1}^{m_i} (1 - q^r) \right)^{-1} P_\lambda(x;q,0) $，其中 $ \lambda = \sum_{i\in I} m_i \varpi_i $。
• 该公式为 $ q $-Whittaker函数提供了新的表示论解释，即其为零权极端权模中Demazure子模的分次特征标。
• 该证明依赖于一个归一化的晶体同构，该同构消除了晶体 $ \mathcal{B}(\lambda) $ 和 $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ 中因无限多个连通分支而产生的歧义。
• 该结果适用于所有非扭仿射Kac-Moody代数，推广了以往仅限于单连通情形的结果。
• 即使 $ V(\lambda) $ 的 $ \lambda $-权空间为无限维，该刻画依然成立，这是与经典最高权模的关键区别。