[论文解读] Rank 2 affine MV polytopes

Pierre Baumann, Thomas Dunlap+2 more|arXiv (Cornell University)|Feb 28, 2012

Advanced Combinatorial Mathematics参考文献 9被引用 3

一句话总结

本文通过装饰性多面体，使用根格中的非相交对角线系统，构建了仿射 Kac-Moody 代数 $\check{\mathrm{sl}}_2$ 的晶体 $B(-\infty)$ 的组合实现，将有限型的 Mirković-Vilonen 多面体推广至仿射情形。研究证明这些 MV 多面体由其左侧或右侧唯一确定，其在晶体算符作用下通过边长变化实现变换，并在 Kashiwara 对合下保持封闭。该构造通过一个晶格缩放映射扩展至 $A_2^{(2)}$，并得到与 $B^{A_2^{(2)}}(-\infty)$ 的晶体同构。

ABSTRACT

We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.

研究动机与目标

• 使用根格中的装饰性多面体，为 $\check{\mathrm{sl}}_2$ 的晶体 $B(-\infty)$ 提供组合实现。
• 将有限型 Mirković-Vilonen 多面体构造推广至仿射情形，同时保持关键结构性质。
• 通过晶格缩放映射和晶体同构，将构造扩展至另一类秩二仿射 Kac-Moody 代数 $A_2^{(2)}$。
• 验证所得多面体满足晶体的定义公理，包括 Kashiwara 对合与晶体算符作用。

提出的方法

• 在 $\check{\mathrm{sl}}_2$ 根格中，通过非相交对角线系统定义装饰性多面体，推广有限型 MV 多面体构造。
• 利用晶体的相似性，通过将 $\alpha_0 \mapsto \tilde{\alpha}_0$，$\alpha_1 \mapsto \tilde{\alpha}_1/2$ 的晶格缩放映射 $\gamma$，将 $\check{\mathrm{sl}}_2$ 的构造提升至 $A_2^{(2)}$。
• 将整数 $A_2^{(2)}$ MV 多面体表征为整数 $\check{\mathrm{sl}}_2$ MV 多面体在 $\gamma$ 下的像，其中 Lusztig 数据与边标签满足整数条件。
• 证明晶体算符 $e_0$、$e_1$、$f_0$、$f_1$ 通过改变左侧或右侧的边长来作用，同时保持多面体结构。
• 通过严格同态验证多面体上的晶体结构与 $B(-\infty)$ 一致，利用 $B^{A_2^{(2)}}(-\infty)$ 由其最低权元素在 $e_0$ 与 $e_1$ 作用下生成的事实。
• 确认 Kashiwara 对合对应于根格中多面体的取负操作，且 $\varphi_i$ 与 $\varphi_i^*$ 分别由顶部与底部边长给出。

实验结果

研究问题

• RQ1 能否通过装饰性格点多面体将 Mirković-Vilonen 多面体推广至仿射 Kac-Moody 代数 $\check{\mathrm{sl}}_2$？
• RQ2 所得多面体是否满足与有限型 MV 多面体相同的组合公理，如边侧决定性与非相交对角线系统？
• RQ3 如何通过 $\check{\mathrm{sl}}_2$ MV 多面体的变换，组合实现 $A_2^{(2)}$ 的 $B(-\infty)$ 晶体结构？
• RQ4 是否存在从 $\check{\mathrm{sl}}_2$ MV 多面体在缩放映射 $\gamma$ 下的像到 $B^{A_2^{(2)}}(-\infty)$ 的晶体同构？
• RQ5 晶体 $*$-对合是否对应于多面体上的取负操作，且 $\varphi_i$ 与 $\varphi_i^*$ 是否由边长给出？

主要发现

• 所有 $\check{\mathrm{sl}}_2$ MV 多面体构成的集合，与 $B^{\check{\mathrm{sl}}_2}(-\infty)$ 晶体同构，其中晶体算符 $e_1$ 与 $e_0$ 分别使左侧与右侧顶部边长增加 1。
• 每个 MV 多面体由其左侧或右侧唯一确定，任意有效的侧边数据均对应唯一一个 MV 多面体。
• Kashiwara 的 $*$-对合在 $B(-\infty)$ 上对应于根格中多面体的取负操作。
• 晶体算符 $e_1$ 与 $e_0$ 分别使左侧与右侧顶部边长增加 1，且 $\varphi_1$、$\varphi_1^*$ 分别由顶部与底部边长给出。
• 对于 $A_2^{(2)}$，$\check{\mathrm{sl}}_2$ MV 多面体在缩放映射 $\gamma$ 下的像构成一组整数 $A_2^{(2)}$ MV 多面体，且与 $B^{A_2^{(2)}}(-\infty)$ 晶体同构。
• 该构造证实多面体满足晶体的定义公理，包括 $e_i$、$f_i$ 与权映射的相容性，通过从多面体集合到 $B(-\infty)$ 的严格同态实现。