[论文解读] Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties

Mark Shimozono|ArXiv.org|Apr 7, 1998

Algebraic structures and combinatorial models参考文献 14被引用 24

一句话总结

本文建立了仿射类型 A 的 Demazure 特征与幂零共轭类闭包坐标环中同型分量的 Poincaré 多项式之间的精确对应关系。利用晶体基理论，证明了在矩形晶体（由 $B^{k,l}$ 标记）的张量积上，能量函数计算这些 Poincaré 多项式，推广了 Kostka-Foulkes 多项式，并证明了 Kirillov 所猜想的单调性性质。

ABSTRACT

Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with the generalized cocyclage on Littlewood-Richardson tableaux is explained.

研究动机与目标

• 解决 Kuniba 等人关于仿射类型 A 中 Demazure 特征与幂零轨道闭包之间关系的问题。
• 将已知的 Kostka-Foulkes 多项式与 Demazure 特征之间的联系推广至任意水平的 Demazure 模块。
• 证明幂零轨道闭包坐标环中同型分量的 Poincaré 多项式等于矩形晶体张量积关于能量与权的生成函数。
• 证明 Poincaré 多项式 $K_{\lambda;R}(q)$ 的广义单调性性质，推广 Han 对 Kostka-Foulkes 多项式的结果。
• 通过广义循环与提升，给出矩形晶体上零阶晶体算子 $\widetilde{e}_0$ 的组合实现。

提出的方法

• 将 Demazure 晶体 $\mathcal{B}_{w_\mu}(l\Lambda_0)$ 构造为经典 $\widehat{sl}_n$-晶体，其结构同构于张量积 $B^{\mu_m,l} \otimes \cdots \otimes B^{\mu_1,l} \otimes u_{l\Lambda_0}$，其中 $B^{k,l}$ 表示形状为 $k \times l$ 的矩形晶体。
• 在 LR 表的序列上引入广义电荷映射，以计算张量积晶体上的能量函数 $E_R(b)$，推广了表上的电荷统计量。
• 将零阶晶体算子 $\widetilde{e}_0$ 识别为 LR 表上的广义循环与列严格表上的提升的复合，并给出其作用的显式公式。
• 利用通过共轭自同态与能量函数定义的组合 $R$-矩阵，描述晶体结构。
• 证明生成函数 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$ 等于 $\sum_{\lambda} \mathrm{ch} V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)} K_{\lambda;R}(q)$，将晶体特征与 Poincaré 多项式联系起来。
• 证明 $K_{\lambda;R}(q)$ 的表格式满足 Weyman 的递推关系，从而确认其为同型分量的 Poincaré 多项式。

实验结果

研究问题

• RQ1 在仿射类型 A 中，任意水平的 Demazure 特征是否与幂零轨道闭包坐标环中同型分量的 Poincaré 多项式一致？
• RQ2 能否以表与广义电荷的形式显式描述矩形晶体张量积上的能量函数？
• RQ3 零阶晶体算子 $\widetilde{e}_0$ 是否可通过 LR 表上的广义循环与提升实现？
• RQ4 Poincaré 多项式 $K_{\lambda;R}(q)$ 是否满足类似于 Kostka-Foulkes 多项式的单调性性质？
• RQ5 关于能量与权的矩形晶体生成函数是否可识别为某个 Demazure 模块的特征？

主要发现

• 对于最低权 $l\Lambda_0 - \mu$ 的水平 $l$ 的 Demazure 特征，等于生成函数 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$，其中 $R$ 是对应于分拆 $\mu$ 的矩形序列。
• 张量积 $B^{k_1,l_1} \otimes \cdots \otimes B^{k_m,l_m}$ 上的能量函数 $E_R(b)$ 等于 [24] 中的广义电荷，且可通过与 Morris 对 Kostka-Foulkes 多项式递推关系相关的递推公式计算。
• 零阶晶体算子 $\widetilde{e}_0$ 通过在 LR 表上应用广义循环、在列严格表上应用提升作用于张量积，且每一个广义共循环关系均源于 $\widetilde{e}_0$。
• 幂零轨道闭包 $X_\mu$ 的坐标环中 $V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)}$ 同型分量的 Poincaré 多项式 $K_{\lambda;R}(q)$ 由晶体 $B^R$ 上的生成函数给出。
• 对于任意主导矩形序列 $R$ 与矩形 $(k^m)$，单调性不等式 $K_{\lambda;R}(q) \leq K_{\lambda \cup (k^m); R \cup (k^m)}(q)$ 成立，推广了 Han 的结果。
• 单调性证明依赖于一个单射映射 $i_R: \mathrm{LRT}(\lambda;R) \to \mathrm{LRT}(\lambda \cup (k^m); R \cup (k^m))$，其保持能量函数，确保 $E_{R^+}(i_R(Q)) = E_R(Q)$。