[论文解读] Demazure crystals and tensor products of perfect Kirillov-Reshetikhin crystals with various levels

Katsuyuki Naoi|arXiv (Cornell University)|Aug 16, 2011

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

一句话总结

该论文将 Kirillov-Reshetikhin (KR) 晶体张量积与 Demazure 晶体之间的同构关系推广到 KR 晶体具有不同级别的情形。证明了在与最高权元张量后，此类张量积作为全子图同构于一个最高权晶体重的 Demazure 晶体的不相交并集，且通过能量函数和度算子保持 $η$-分次结构。

ABSTRACT

In this paper, we study a tensor product of perfect Kirillov-Reshetikhin crystals (KR crystals for short) whose levels are not necessarily equal. We show that, by tensoring with a certain highest weight element, such a crystal becomes isomorphic as a full subgraph to a certain disjoint union of Demazure crystals contained in a tensor product of highest weight crystals. Moreover, we show that this isomorphism preserves their gradings, where the grading on the tensor product of KR crystals is given by the energy function, and that on the other side is given by the minus of the action of the degree operator.

研究动机与目标

• 将已知的同构关系从相同级别的完美 KR 晶体张量积与 Demazure 晶体推广至不同级别的情形。
• 建立当 KR 晶体具有不同级别时，其张量积在与最高权元张量后，同构于 Demazure 晶体的不相交并集。
• 证明该同构关系保持 $η$-分次结构，其中 KR 侧的分次由能量函数给出，Demazure 侧的分次由度算子的负作用给出。
• 将 Schilling 与 Tingley (2012) 的结果推广至非异常仿射 Kac-Moody 代数中的非均匀级别 KR 晶体。
• 利用 Dynkin 自同构与平移算子构建组合框架，以描述所得 Demazure 晶体的结构。

提出的方法

• 利用 Demazure 晶体 $B_w(\Lambda)$ 作为最高权晶体 $B(\Lambda)$ 的子集，通过 Kashiwara 算子的作用来定义。
• 应用完美 KR 晶体 $B^{r, c_r\ell}$ 的概念，其级别 $\ell_j$ 可变，确保其为有限维并具有晶基。
• 引入 Dynkin 自同构 $\tau$ 及其在晶体上的诱导作用，以调整权与算子，从而构造新的晶体结构。
• 使用平移算子 $t_{\mu}$ 来移动权，并在最高权晶体的张量积中定义 Demazure 类型的子图。
• 通过算子 $\mathcal{F}_{w\tau}(S)$ 构建嵌套过滤，该算子通过迭代应用 Kashiwara 算子生成 Demazure 晶体。
• 依赖组合优秀过滤定理，证明目标对象为 Demazure 晶体的不相交并集，并通过 KR 晶体数量的归纳法证明同构关系。

实验结果

研究问题

• RQ1 能否将完美 KR 晶体张量积与 Demazure 晶体之间的同构关系推广至 KR 晶体具有不同级别的情形？
• RQ2 如何将 KR 晶体张量积上的 $η$-分次（通过能量函数）与 Demazure 晶体上的分次（通过度算子）联系起来？
• RQ3 当将具有不同级别 KR 晶体的张量积与最高权元张量后，会涌现出何种结构？
• RQ4 Dynkin 自同构和平移算子在最高权晶体框架中构造同构像时起到何种作用？
• RQ5 当级别不相等时，该同构关系是否仍与 $η$-分次兼容？

主要发现

• 张量积 $u_{\ell_p\Lambda_0} \otimes B^{r_p,c_{r_p}\ell_p} \otimes \cdots \otimes B^{r_1,c_{r_1}\ell_1}$ 作为全子图同构于嵌套的 Demazure 晶体构造 $\mathcal{F}_{t_{\mu_p}}( \cdots \mathcal{F}_{t_{\mu_1}}(u_{\ell_1\Lambda_0}) \cdots )$。
• 该同构保持 $\mathbb{Z}$-分次结构：KR 侧的能量函数对应于 Demazure 侧度算子的负作用。
• 目标对象为 Demazure 晶体的不相交并集，由组合优秀过滤定理保证。
• 分次不变量被保持：$\overline{D}(b) = D(b) + \langle \mathrm{wt}(\Psi_B(u_{\ell_p\Lambda_0} \otimes b)), d \rangle$ 在同构下为常数，确保分次兼容性。
• 证明依赖于 KR 晶体数量的归纳法，并通过 $\tau$-作用与平移算子 $t_{\mu_j}$ 实现权的移动，以对齐结构。
• 该结果将 Schilling 与 Tingley 的工作推广至非均匀级别，表明即使级别不同，Demazure 晶体结构依然能够出现。