[论文解读] Keys and Demazure crystals for Kac-Moody algebras

Nicolas Jacon, Cédric Lecouvey|arXiv (Cornell University)|Sep 20, 2019

Algebraic structures and combinatorial models参考文献 20被引用 9

一句话总结

本文将有限型 A 的 Lascoux-Sch"utzenberger 关键映射推广至任意 Kac-Moody 代数，提出一种递归算法，利用基本权、组合 R-矩阵和强 Bruhat 序来计算关键映射。该研究进一步推广至仿射型 A，引入了高阶核心分拆，将其与 Ariki-Koike 代数联系起来，并提供了一种直接算法，通过多重区段和符号矩阵确定是否属于 Demazure 晶体。

ABSTRACT

The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{ü}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.

研究动机与目标

• 将 Lascoux-Sch"utzenberger 关键映射从有限型 A 推广至任意 Kac-Moody 代数，采用统一的递归框架。
• 通过关键映射、组合 R-矩阵和商群上的强 Bruhat 序，刻画 Kac-Moody 代数中的 Demazure 晶体。
• 在仿射型 A 中将核心分拆推广至高阶，将其与 Ariki-Koike 代数的表示理论联系起来。
• 提供一种算法判据，通过符号构造直接判断一个多重区段在仿射情形下是否属于 Demazure 晶体。

提出的方法

• 通过利用 Weyl 群作用和权格的结构，将关键映射递归地约化至基本权，从而计算关键映射。
• 在有限型中，通过 jeu de taquin 过程实现组合 R-矩阵，从而实现晶体张量积之间的同构。
• 利用 Weyl 群商群上的强 Bruhat 序，刻画关键映射在晶体图中的像。
• 在仿射型 A 中，算法通过构造区段序列并检查其与符号矩阵的一致性，验证是否属于关键映射的像。
• 该方法使用 $B(\infty)$ 的 Uglov 实现以及嵌入 $\Pi_{\Lambda_{\mathbf{s}}}$，将多重区段与 $e$-核心及符号联系起来。
• 通过将具有相同右端点的区段分组，并递归构建满足区段加法与排序约束的序列，直接处理多重区段。

实验结果

研究问题

• RQ1 Lascoux-Sch"utzenberger 关键映射的构造能否从有限型 A 推广至任意 Kac-Moody 代数？
• RQ2 在 Kac-Moody 设置下，如何利用基本权和 Weyl 群作用递归计算关键映射？
• RQ3 在仿射型 A 中，高阶核心分拆在 Ariki-Koike 代数表示理论中起什么作用？
• RQ4 在仿射情形下，多重区段属于 Demazure 晶体的条件是什么，如何算法化地确定？
• RQ5 与多重区段相关的符号矩阵如何编码 $B(\infty)$ 关键映射像中的成员资格？

主要发现

• 本文建立了一种通用的递归程序，用于计算任意 Kac-Moody 代数的关键映射，将问题约化为基本权和组合 R-矩阵。
• 在有限型中，该方法通过表格和 jeu de taquin 过程恢复了原始的 Lascoux-Sch"utzenberger 构造。
• 在仿射型 A 中，作者引入了 $e$-核心分拆的高阶推广，预计将在 Ariki-Koike 代数的表示理论中发挥核心作用。
• 提供了一种算法，通过构造并验证符号矩阵，判断给定多重区段在仿射情形下是否属于关键映射的像。
• 该算法成功验证了一个包含 12 个区段、三重分拆 $(7.2, 5.4.2.2, 3.2.2.1.1.1)$ 的复杂例子，确认其属于 $\Pi_{\Lambda_{\mathbf{s}}}(O(\mathbf{s},\infty))$。
• 与该多重区段相关的符号矩阵满足对所有 $i,j$ 有 $s_i - s_j = p_i - p_j$，确认了算法输出的正确性。