[論文レビュー] One-skeleton galleries, the path model and a generalization of Macdonald's formula for Hall-Littlewood polynomials

Stéphane Gaussent, Peter Littelmann|arXiv (Cornell University)|Apr 1, 2010

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

ひとこと要約

本稿は、単純代数群のブリュア＝ティツ建築における1スケルトンギャラリーを用いてパスモデルの幾何的解釈を提供し、モノミアル基底におけるホール＝リトルウッド多項式の係数を直接計算可能にする。主な貢献はシュヴァーの公式の幾何的圧縮であり、型Aₙにおいてマクドナルドの公式と同値であり、LSギャラリーを半標準テーブルックスによって特徴づける。

ABSTRACT

We give a direct geometric interpretation of the path model using galleries in the $1-$skeleton of the Bruhat-Tits building associated to a semi-simple algebraic group. This interpretation allows us to compute the coefficients of the expansion of the Hall-Littlewood polynomials in the monomial basis. The formula we obtain is a "geometric compression" of the one proved by Schwer, its specialization to the case ${\ t A}_n$ turns out to be equivalent to Macdonald's formula.

研究の動機と目的

• 単純代数群に関連するアフィン建築の1スケルトンを用いて、パスモデルの直接的な幾何的実現を提供すること。
• ギャラリーの幾何的組合せ論を用いて、モノミアル基底におけるホール＝リトルウッド多項式の係数を計算すること。
• シュヴァーの公式の幾何的圧縮を用いて、型Aₙにおけるマクドナルドのホール＝リトルウッド多項式の公式を一般化すること。
• LSギャラリーと半標準テーブルックスの間の対応を、特に型Aₙ、Bₙ、Cₙにおいて確立すること。
• 最小の1スケルトンギャラリーがアフィングラスマンニアンの開G(\mathcal{O})-軌道の点にちょうど一致することを示し、幾何学と表現論を結びつけること。

提案手法

• アフィン建築における1スケルトンギャラリーを用いて、アパルトメント内の折れ線的パスをモデル化し、1スケルトン内の組合せ的ギャラリーと同定する。
• LSパスの幾何的類似物として、最小および正に折りたたまれた1スケルトンギャラリーを導入する。
• ボット＝サマエル型の多様体にビアリンイッチ＝ビルール分解を適用して、$Z_{\lambda,\mu}$ の層化を行い、正に折りたたまれたギャラリーによってインデックスが付与された層を生成する。
• パラホリック部分群を用いてギャラリーのファイバー多様体$\Sigma$ を構成し、各ギャラリーが建築内の面の列に対応することを示す。
• 定義的チェーンを用いてLSギャラリーと半標準テーブルックスの間の双対写像を確立し、型BₙおよびCₙにおける列のペアに関する条件を課す。
• ギャラリーのターゲットを用いて特性式における重みを定義し、幾何的データと表現論的特性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 表現のパスモデルは、単純代数群に関連するアフィン建築の1スケルトンを用いてどのように幾何的に実現可能か？
• RQ2 最小および正に折りたたまれた1スケルトンギャラリーの幾何的意味は、アフィングラスマンニアンとどのように関係するか？
• RQ3 モノミアル基底におけるホール＝リトルウッド多項式の係数は、建築内の幾何的データからどのように生じるか？
• RQ4 ギャラリーの局所的最小性と大域的最小性が一致する場合とは何か、そしてその幾何的意義は何か？
• RQ5 古典的型Aₙ、Bₙ、CₙにおいてLSギャラリーと半標準テーブルックスの正確な対応関係は何か？

主な発見

• モノミアル基底におけるホール＝リトルウッド多項式の係数$L_{\lambda,\mu}(q)$は、ターゲットが$\mu$ である正に折りたたまれた1スケルトンギャラリーの数として、シュヴァーの公式の幾何的圧縮により計算可能である。
• 型Aₙでは、この公式はマクドナルドの元の公式に簡約され、幾何的ギャラリー・モデルを通じて同値性が確立される。
• 最小の1スケルトンギャラリーは、シューベルト多様体$X_\lambda$ 内の開$G(\mathcal{O})$-軌道の点にちょうど一致し、幾何的特徴づけが得られる。
• 可約表現$V(\lambda)$ の特性は、$\sum_{\delta} e^{\text{target}(\delta)}$ で与えられ、$\delta$ は型$\gamma_\lambda$ のすべてのLSギャラリーを走る。これはパス特性式の幾何的証明を提供する。
• 型Aₙでは、すべての半標準テーブルックスがLSテーブルックスである。型BₙおよびCₙでは、テーブルックスがLSテーブルックスであるための必要十分条件は、非最小小の重みに関連する列のペアが特定の許容性条件を満たすことである。
• LSギャラリーは、その折りたたみがLS折りたたみであるという性質によって特徴づけられ、この条件は関連するパスがLSパスであることと同値である。これにより、幾何的定義と代数的定義が結びつけられる。