[論文レビュー] Weyl's Formula as the Brion Theorem for Gelfand-Tsetlin Polytopes

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

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

ひとこと要約

本稿は、Gelfand-Tsetlin多面体を通じて、可約な $χ_{\mathfrak{gl}_n}$-加群のWeylの特徴式とBrionの定理の直接的な関係を確立する。正則なドミナント重みに対しては、GT-多面体の $n!$ 個の単体的頂点のみが特徴式の和に寄与し、それらの寄与はBrionの定理のもとでWeylの公式における交項和を正確に再現する。したがって、Weylの公式はBrionの定理の特別な場合として解釈される。

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の特徴式の幾何的解釈を多面体的組合せ論を用いて確立すること。
• Brionの定理をGelfand-Tsetlin多面体に適用することで、可約な $χ_{\mathfrak{gl}_n}$-加群の特徴式が計算されることを示すこと。
• 正則なドミナント重みに対して、GT-多面体の単体的頂点のみがBrionの定理のもとで特徴式の和に寄与することを証明すること。
• これらの $n!$ 個の単体的頂点からの寄与の和が、古典的な交項Weyl特徴式を正確に得ることを示すこと。

提案手法

• 可約な $χ_{\mathfrak{gl}_n}$-加群の特徴式を、Gelfand-Tsetlin多面体 $GT_{\lambda}$ の整数点上の指数関数の和として表現する。
• Brionの定理を適用して、生成関数 $S(GT_{\lambda})$ を頂点における接錐の和として表す：$\sigma(GT_{\lambda}) = \sum_{v \text{ 頂点}} \sigma(C_v)$。
• モノミアル $t_{i,j}$ 変数から $x_1,\dots,x_n$ 変数への専用写像 $F$ を用い、GTパターンの重みに対応させる。
• 非単体的頂点からの寄与が $F(\sigma(C_v))$ で消えることを示し、単体的頂点の寄与がWeylの公式の項と一致することを示す。
• 正則なドミナント重み $\lambda$ に対して、$GT_{\lambda}$ の単体的頂点の数が正確に $n!$ 個であることを証明する。
• 正規ファンの細分と価値論を用いて、正則な $\lambda'$ に対する $GT_{\lambda'}$ の頂点と $GT_{\lambda}$ の頂点を関連づけ、補題3.1の錐の恒等式に価値 $\mathcal{F}$ を適用する。

実験結果

リサーチクエスチョン

• RQ1 Weylの特徴式がGelfand-Tsetlin多面体にBrionの定理を適用することで導かれるか。
• RQ2 正則なドミナント重みに対して、Brionの定理のもとでGT多面体のどの頂点が特徴式の和に非自明に寄与するか。
• RQ3 なぜ正則な重みに対してGT多面体の寄与する頂点の数が $n!$ に等しいのか。
• RQ4 専用写像 $F$ はGT多面体の生成関数とシュール多項式の関係をどのように定義するか。
• RQ5 正規ファンと価値論は、異なる多面体間の錐の寄与をどのように関連付けるか。

主な発見

• 正則なドミナント重み $\lambda$ に対して、Gelfand-Tsetlin多面体 $GT_{\lambda}$ は正確に $n!$ 個の単体的頂点を持つ。
• 非単体的頂点のすべての寄与は、Brionの定理のもとで特徴式の和において消える。
• Brionの定理のもとで、$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$ はGT多面体の生成関数をシュール多項式 $s_\lambda(x_1,\dots,x_n)$ に変換する。
• 証明は、$P$ がアフィン直線を含む関数 $[P]$ に対して消える価値 $\mathcal{F}$ と、$GT_{\lambda'}$ から $GT_{\lambda}$ への正規ファンの細分による錐の包含関係に依存している。