[论文解读] Tensor decomposition of Demazure crystals for symmetrizable Kac-Moody Lie algebras

Divya Setia|arXiv (Cornell University)|Jan 26, 2026

Algebraic structures and combinatorial models被引用 0

一句话总结

论文给出对称化Kac-Moody代数下 Demazure 晶体张量积在彼此不相交的 Demazure 晶体并集分解的充要条件，并推导出 Demazure 表示正性的新结果。

ABSTRACT

We study the tensor product of Demazure crystals for symmetrizable Kac-Moody Lie algebras. It is not necessary that the tensor product of Demazure crystals is isomorphic to a disjoint union of Demazure crystals. In this paper, we provide necessary and sufficient conditions for the decomposition of the tensor product of Demazure crystals as a disjoint union of Demazure crystals. Our results are the generalization of the results proved by Anthony Joseph and Takafumi Kouno. As an application, we obtain a sufficient condition when the product of Demazure characters is a linear combination of Demazure characters with nonnegative integer coefficients. In particular, we obtain a partial solution for the key positivity problem.

研究动机与目标

• 理解 Demazure 晶体在张量积下的行为超越有限维情形的动机。
• 旨在刻画何时 B_v(λ) ⊗ B_w(μ) 能分解为 Demazure 晶体的不相交并集。
• 提供将已知的有限维结果推广到对称化 Kac-Moody 李代数的标准。
• 推导 Demazure 表示正性及相关关键多项式的结果。

提出的方法

• 利用晶体基理论和极端子集研究张量积。
• 利用原始元及集合 B_w(μ)^λ 描述分解分量。
• 证明分解、极端子集性质与 v_min^λ 的条件之间的等价关系。
• 通过 T_v,λ,w,μ 算符与 Demazure 算子 Δ_i 构造显式分解。
• 利用 Δ_w 推导表示，并将其与 Demazure 表示的非负系数之和联系起来。
• 将 Joseph 与 Kouno 的有限维结果扩展到对称化 Kac-Moody 设置。

实验结果

研究问题

• RQ1 何时 B_v(λ) ⊗ B_w(μ) 能分解为 Demazure 晶体的不相交并集？
• RQ2 在 v_min^λ 上的精确条件是什么，以保证这样的分解？
• RQ3 原始元与极端子集如何描述张量积中的 Demazure 片段？
• RQ4 对 Demazure 表示及其展开系数的正性有何影响？
• RQ5 这些结果如何把已知的有限维情形推广到对称化 Kac-Moody 代数？

主要发现

• 定理 4.1.1 给出分解等价条件：(1) 张量积是 Demazure 晶体的互不相交并集，(2) v_min^λ 位于由对简单反射及对 wμ 的非正配对生成的子群中，(3) 乘积是 B(λ) ⊗ B(μ) 的极端子集。
• 定理 4.3.1 在 v_min^λ 条件成立时给出显式分解，将 B_v(λ) ⊗ B_w(μ) 写成不相交并集 B_{u(b,v)}(λ+wt(b))。
• 推论表明 ch(B_e(λ) ⊗ B_w(μ)) 等于 e^λ Δ_w(e^μ)，且该表示为 Demazure 表示的非负整数系数之和。
• 推论 4.5.1 与 4.5.2 扩展了表示正性结果：ch(B_v(λ) ⊗ B_w(μ)) = Δ_v(e^λ(Δ_w e^μ))，且在给定条件下 Δ_v(...) 是 Demazure 表示的非负整数系数之和。
• 本工作将 Joseph 与 Kouno 的有限维结果推广至对称化 Kac-Moody 代数，并为 A 型的关键正性问题提供部分解。