[论文解读] A vector partition function for the multiplicities of sl_k(C)

Sara Billey, Victor Guillemin+1 more|ArXiv.org|Jul 16, 2003

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

一句话总结

本文通过 Gelfand-Tsetlin 图，将李代数 $ \mathfrak{sl}_k\mathbb{C} $ 的权重重数函数表示为单一的分拆函数，使得可以应用凸几何与整数几何来分析其结构。关键结果是，权重重数函数与 Duistermaat-Heckman 测度在单纯形上的多项式性区域划分完全一致，且与 Kostant 公式及边界权重多项式中的因式分解模式存在明确联系。

ABSTRACT

We use Gelfand-Tsetlin diagrams to write down the weight multiplicity function for the Lie algebra sl_k(C) (type A_{k-1}) as a single partition function. This allows us to apply known results about partition functions to derive interesting properties of the weight diagrams. We relate this description to that of the Duistermaat-Heckman measure from symplectic geometry, which gives a large-scale limit way to look at multiplicity diagrams. We also provide an explanation for why the weight polynomials in the boundary regions of the weight diagrams exhibit a number of linear factors. Using symplectic geometry, we prove that the partition of the permutahedron into domains of polynomiality of the Duistermaat-Heckman function is the same as that for the weight multiplicity function, and give an elementary proof of this for sl_4(C) (A_3).

研究动机与目标

• 通过 Gelfand-Tsetlin 图将 $ \mathfrak{sl}_k\mathbb{C} $ 的权重重数表示为单一的分拆函数。
• 通过 Duistermaat-Heckman 函数将权重重数图的结构与辛几何联系起来。
• 解释权重多项式在单纯形边界区域中出现线性因式的原因。
• 证明权重重数函数在单纯形上的多项式性区域划分与 Duistermaat-Heckman 函数的区域划分完全一致。
• 为 $ \mathfrak{sl}_4\mathbb{C} $ 提供一个初等证明，说明两种区域划分的等价性。

提出的方法

• 通过单一的分拆函数 $ \phi_{E_k}(B_k(\lambda, \beta)) $ 表示权重重数，将计数问题转化为多面体中的整数点问题。
• 利用 Gelfand-Tsetlin 图建模权空间分解，并推导出分拆函数的矩阵表达式。
• 应用整数规划与房间复形的理论，分析重数函数的多项式性区域。
• 通过 'Quantization Commutes with Reduction' 定理，将重数函数与 Duistermaat-Heckman 测度联系起来。
• 利用 Kostant 排列研究多项式因式分解及房间复形中相邻区域之间的跳跃现象。
• 通过 $ \mathfrak{sl}_4\mathbb{C} $ 的显式计算验证因式分解模式，并分析中心区域与边界区域的结构。

实验结果

研究问题

• RQ1 如何通过 Gelfand-Tsetlin 图将 $ \mathfrak{sl}_k\mathbb{C} $ 的权重重数函数表示为单一的分拆函数？
• RQ2 权重重数函数的房间复形与 Duistermaat-Heckman 函数在单纯形上的关系为何？
• RQ3 为何权重图边界区域中的权重多项式表现出多个线性因式？
• RQ4 相邻多项式性区域之间的跳跃如何与权重多项式中的因式分解模式相关联？
• RQ5 对于一般 $ \lambda $，单纯形中心区域的结构是怎样的，它如何影响重数函数？

主要发现

• $ \mathfrak{sl}_k\mathbb{C} $ 的权重重数函数可表示为单一的分拆函数 $ \phi_{E_k}(B_k(\lambda, \beta)) $，从而实现对所有权重的统一分析。
• 权重重数函数在单纯形上的多项式性区域划分与 Duistermaat-Heckman 函数的区域划分完全一致，其分隔墙由 $ \mathrm{conv}(W\cdot\sigma(\lambda)) $ 的凸包定义。
• 对于一个其面位于单纯形边界且法向为 $ \theta(\omega_j) $ 的区域 $ R $，其权重多项式 $ p_R $ 可被 $ j(k-j)-1 $ 个形如 $ \gamma + i $ 或 $ \gamma - i $ 的线性因式整除，其中 $ \gamma $ 为超平面方程。
• 尽管 Gelfand-Tsetlin 多面体通常非整数多面体，但其 Ehrhart 伪多项式始终为多项式，这是由于重数函数的多项式性所保证。
• 对于 $ \mathfrak{sl}_4\mathbb{C} $，中心区域为四面体或截角立方体，具体取决于 $ \lambda $；当 $ \lambda_1 < -\lambda_4 $ 时，重数函数在中心区域为常数，对应于空缺区域。
• 当 $ \lambda_1 = \lambda_2 $ 或 $ \lambda_3 = \lambda_4 $ 时，权重多项式为二次式，在相邻区域跳跃时表现出两组平行的线性因式，且无超出预期数量的额外因式。