[论文解读] Weyl's Formula as the Brion Theorem for Gelfand-Tsetlin Polytopes

Makhlin Igor|arXiv (Cornell University)|Sep 29, 2014

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

一句话总结

本文通过盖尔范德-采特林多面体，建立了 Weyl 特征公式对不可约 $χ_{\mathfrak{gl}_n}$-模与布里翁定理之间的直接联系。证明表明，对于正则极大权，盖尔范德-采特林多面体的 $n!$ 个单形顶点对特征和有贡献，且其在布里翁定理下的贡献恰好重现了 Weyl 公式中的交错和，从而将 Weyl 公式解释为布里翁定理的一个特例。

ABSTRACT

We exploit the idea that the character of an irreducible finite dimensional $\mathfrak{gl}_n$-module is the sum of certain exponents of integer points in a Gelfand-Tsetlin polytope and can thus be calculated via Brion's theorem. In order to show how the result of such a calculation matches Weyl's character formula we prove some interesting combinatorial traits of Gelfand-Tsetlin polytopes. Namely, we show that under the relevant substitution the integer point transforms of all but $n!$ vertices vanish, the remaining ones being the summands in Weyl's formula.

研究动机与目标

• 通过多面体组合学建立 Weyl 特征公式的几何解释。
• 证明布里翁定理可通过盖尔范德-采特林多面体计算不可约 $χ_{\mathfrak{gl}_n}$-模的特征。
• 证明对于正则极大权，布里翁定理下盖尔范德-采特林多面体的单形顶点对特征和有贡献。
• 证明这 $n!$ 个单形顶点的贡献之和恰好给出经典的交错 Weyl 特征公式。

提出的方法

• 将不可约 $χ_{\mathfrak{gl}_n}$-模的特征表示为盖尔范德-采特林多面体 $GT_{\lambda}$ 中整数点上的指数和。
• 应用布里翁定理，将生成函数 $S(GT_{\lambda})$ 表示为顶点处切锥之和：$\sigma(GT_{\lambda}) = \sum_{v \text{ 顶点}} \sigma(C_v)$。
• 使用一个特殊化映射 $F$，将 $t_{i,j}$ 变量的单项式映射为 $x_1,\dots,x_n$ 变量的单项式，对应于一个 GT-图式的权。
• 证明只有单形顶点对 $F(\sigma(C_v))$ 有贡献，且其贡献与 Weyl 公式中的项一致。
• 证明对于正则极大权 $\lambda$，盖尔范德-采特林多面体 $GT_{\lambda}$ 的单形顶点数恰好为 $n!$。
• 利用法线扇覆叠与赋值理论，将 $GT_{\lambda}$ 的顶点与正则 $\lambda'$ 的 $GT_{\lambda'}$ 顶点关联，并对引理 3.1 中的锥恒等式应用赋值 $\mathcal{F}$。

实验结果

研究问题

• RQ1 Weyl 的 $χ_{\mathfrak{gl}_n}$-模特征公式能否通过在盖尔范德-采特林多面体上应用布里翁定理推导得出？
• RQ2 在正则极大权下，布里翁定理作用于盖尔范德-采特林多面体时，哪些顶点对特征和有非平凡贡献？
• RQ3 为何在正则权下，盖尔范德-采特林多面体中贡献顶点的数量恰好为 $n!$？
• RQ4 特殊化映射 $F$ 如何将盖尔范德-采特林多面体的生成函数与舒尔多项式关联？
• RQ5 法线扇与赋值理论在关联不同多面体之间锥贡献方面起什么作用？

主要发现

• 对于正则极大权 $\lambda$，盖尔范德-采特林多面体 $GT_{\lambda}$ 恰好有 $n!$ 个单形顶点。
• 所有非单形顶点对布里翁定理下特征和的贡献均为零。
• 在布里翁定理下，$GT_{\lambda}$ 的 $n!$ 个单形顶点的贡献之和恰好重现了 Weyl 特征公式中的交错和。
• 每个单形顶点对应一个置换 $w \in S_n$，其贡献 $F(\sigma(C_v))$ 与 Weyl 公式中的项 $w(e^{\lambda}/\prod_{i<j}(1 - x_j/x_i))$ 一致。
• 特殊化映射 $F$ 将盖尔范德-采特林多面体的生成函数转化为舒尔多项式 $s_\lambda(x_1,\dots,x_n)$。
• 证明依赖于一个赋值 $\mathcal{F}$，该赋值对包含仿射直线的集合 $P$ 的函数 $[P]$ 为零，以及通过从 $GT_{\lambda'}$ 到 $GT_{\lambda}$ 的法线扇覆叠实现的锥包含论证。