[论文解读] Weight multiplicities and Young tableaux through affine crystals

Jang Soo Kim, Kyu‐Hwan Lee+1 more|arXiv (Cornell University)|Mar 30, 2017

Algebraic structures and combinatorial models被引用 5

一句话总结

本文引入了 pspinq 刚性杨表作为有限与仿射经典李代数的最高权模中权重重数的组合模型，其数量与权重重数相等。通过结合晶体基理论、插入算法（如 Robinson–Schensted）以及正交群上的积分，作者推导出权重重数的显式闭式公式，揭示了其与 Pascal、Catalan、Motzkin、Riordan 和 Bessel 三角形之间的联系——尤其在类型 B、D 及仿射 A(1)、A(2) 中，当级别 k ≤ 6 及 k → ∞ 时。

ABSTRACT

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.

研究动机与目标

• 推导有限与仿射经典李代数中权重重数的显式闭式公式，尤其针对主最大权的情形。
• 建立一个组合模型——pspinq 刚性杨表——使其与最高权模中的权重重数数量相等。
• 利用晶体基理论与对称函数积分，揭示权重重数集合中隐藏的代数与组合结构。
• 通过生成函数与积分计算，将权重重数与经典组合序列（Pascal、Catalan、Motzkin、Riordan、Bessel 三角形）联系起来。
• 将已知结果从 A(1)n 型中级别 ≤ 2 的情况推广至其他经典类型，包括 B、C、D 及其仿射版本。

提出的方法

• 引入 pspinq 刚性杨表作为仿射 Kac–Moody 代数的可积最高权模中晶体基元素导出的新一类组合对象。
• 应用 Robinson–Schensted 插入算法及新型插入方案，将杨表与权重重数关联。
• 利用正交群 Op(k) 上的积分来计算对称函数的迹，特别是涉及 det(X) 与 Tr(X)m 的情形。
• 借助 Weyl 的积分公式与正交矩阵的特征值概率密度，计算 Haar 测度积分。
• 通过包含二项式系数与类 Catalan 项的矩阵行列式，推导出闭式表达式。
• 通过分析当级别 k → ∞ 时的极限，建立权重重数与经典组合三角形（如 Catalan、Motzkin）之间的联系。

实验结果

研究问题

• RQ1 能否在已知的递推或求和方法之外，为有限与仿射经典李代数中的权重重数推导出显式闭式公式？
• RQ2 在仿射 Kac–Moody 模的主最大权中，哪些组合结构（如杨表、格路）与权重重数数量相等？
• RQ3 权重重数序列如何与经典组合三角形（如 Pascal、Catalan、Motzkin、Riordan）相关联？
• RQ4 当级别 k → ∞ 时，权重重数的渐近行为如何？其与 Bessel 数有何关联？
• RQ5 能否利用正交群上的积分，推导出行数受限的标准杨表数量的精确公式？

主要发现

• 行数最多为 k 的 m 个方格的标准杨表数量由 Selberg 型积分给出：|Spk)ₘ| = ∫_{Op(k+1)} (1 - det(X))(1 + Tr(X))^m dµ(X)。
• 当 k = 2ℓ 为偶数时，|Sp2ℓ)ₘ| = ∑_{t₁+⋯+tℓ=m} (m! / (t₁!⋯tℓ!)) × det( [tᵢ + 2ℓ - i - j]_{i,j=1}^ℓ )²，其显式计算基于正交矩阵特征值积分。
• 当 k = 2ℓ+1 为奇数时，|Sp2ℓ+1)ₘ| = ∑_{t₀+⋯+tℓ=m} (m! / (t₀!⋯tℓ!)) × det( C([tᵢ + 2ℓ - i - j]/2) )²，其中 C(x) = (2x choose x)/(x+1) 若 x ∈ ℕ，否则为 0。
• 在类型 Bₙ 与 Dₙ 中，级别 k = 2 的权重重数对应 Catalan 三角形，而级别 k = 3 时则对应 Motzkin 与 Riordan 三角形。
• 当 k → ∞ 时，权重重数序列收敛于 Bessel 三角形，其显式积分表达式涉及正交群上的迹与行列式。
• 作者通过 3×3 的类 Catalan 系数行列式，推导出 |Sp6)ₘ| 的双重求和公式，将已知结果从 k ≤ 5 的情况推广至更高级别。