[論文レビュー] Kostka-Foulkes polynomials for symmetrizable Kac-Moody algebras

Sankaran Viswanath|arXiv (Cornell University)|Oct 7, 2006

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

ひとこと要約

この論文は、Hall-LittlewoodおよびKostka-Foulkes多項式を、可対称Kac-Moody代数へ一般化し、それらがLusztigの重み多重度の$t$-類似と一致することを証明する。アフィンKac-Moody代数の場合、$t$-ストリング関数を導入し、Cherednikの定数項恒等式を用いて、明示的な積公式を導出することで、古典的結果を無限次元リー代数へと拡張する。組合せ論的および表現論的厳密性を備えている。

ABSTRACT

We introduce a generalization of the classical Hall-Littlewood and Kostka-Foulkes polynomials to all symmetrizable Kac-Moody algebras. We prove that these Kostka-Foulkes polynomials coincide with the natural generalization of Lusztig's $t$-analog of weight multiplicities, thereby extending a theorem of Kato. For $g$ an affine Kac-Moody algebra, we define $t$-analogs of string functions and use Cherednik's constant term identities to derive explicit product expressions for them.

研究の動機と目的

• すべての可対称Kac-Moody代数、特にアフィン型および不定型を含む、Hall-LittlewoodおよびKostka-Foulkes多項式の古典的理論を拡張すること。
• 一般化されたHall-Littlewood多項式$P_{\nu}(t)$が形式的べき級数としてではなく実際に多項式としてwell-definedであることを確立すること。
• 一般化されたKostka-Foulkes多項式$K_{\lambda\mu}(t)$が、この広い設定においてLusztigの重み多重度の$t$-類似$m^{\lambda}_{\mu}(t)$と一致することを証明すること。
• Cherednikの定数項恒等式を用いて、アフィンKac-Moody代数の$t$-ストリング関数の明示的積表現を導出すること。
• 可対称Kac-Moody代数の文脈において、$P_{\nu}(t)$および$K_{\lambda\mu}(t)$の部分的正則性および構造的性質を確立すること。

提案手法

• 一般化されたHall-Littlewood多項式$P_{\lambda}(t)$は、$e^{\lambda+\rho}$、正根に関する$t$-変形積、およびKostantの分割関数を含む生成関数に対するWeyl群作用によって定義される。
• 重み格子の構造と収束議論を用いて、$P_{\lambda}(t)$における$e^{\mu}$の係数が形式的べき級数ではなく$t$に関する多項式であることを示すことにより、well-definednessを確立する。
• $K_{\lambda\mu}(t) = m^{\lambda}_{\mu}(t)$の証明はMacdonaldの方法を適応し、$P_{\mu}(t)$と$\chi_{\lambda}$の間の変換行列がLusztigの重み多重度の$t$-類似と一致することを示す。
• アフィンKac-Moody代数の場合、$t$-ストリング関数$a^{\lambda}_{\mu}(t)$はレベル$k$に関する生成関数として定義され、Cherednikの定数項恒等式を用いてその構造が分析される。
• MacdonaldおよびMacdonald-Mehta型の定数項恒等式を生成関数に適用することで、$t$-ストリング関数の明示的積公式が導出される。
• 移行行列の構造を分析し、PRV予想およびWeyl群不変性を適用することで、正則性および整数性の結果が得られる。

実験結果

リサーチクエスチョン

• RQ1 古典的等式$K_{\lambda\mu}(t) = m^{\lambda}_{\mu}(t)$は、アフィン型および不定型を含む可対称Kac-Moody代数へも拡張可能か？
• RQ2 無限大のWeyl群および根系を有するにもかかわらず、一般化されたHall-Littlewood多項式$P_{\lambda}(t)$は$t$に関する多項式として厳密に定義可能か？
• RQ3 アフィンKac-Moody代数の$t$-ストリング関数の構造は何か？ また、既知の恒等式を用いて閉形式で表現可能か？
• RQ4 一般化されたKostka-Foulkes多項式は、アフィン設定におけるテンソル積多重度および特性式とどのように関係するか？
• RQ5 可対称Kac-Moody設定において、$K_{\lambda\mu}(t)$の係数にどのような部分的正則性の性質が成立するか？

主な発見

• 一般化されたKostka-Foulkes多項式$K_{\lambda\mu}(t)$が、すべての可対称Kac-Moody代数においてLusztigの重み多重度の$t$-類似$m^{\lambda}_{\mu}(t)$と一致することが示された。
• $K_{\lambda\mu}(t)$の係数が形式的べき級数ではなく、整数係数の$t$に関する多項式であることが証明された。
• アフィンKac-Moody代数の場合、$t$-ストリング関数$a^{\lambda}_{\mu}(t)$は、Cherednikの定数項恒等式（MacdonaldおよびMacdonald-Mehta型）から導かれる明示的積公式を有する。
• $P_{\lambda}(-1)$の特殊化は、テンソル積を含む特性式を与える：$P_{\lambda}(-1) = \chi_{\lambda - \rho} \chi_{\rho}$、かつ$c_{\lambda\mu}(-1)$は$L(\lambda - \rho) \otimes L(\rho)$における多重度を数える。
• $c_{\lambda\mu}(t) \neq 0$であるための必要条件は、ある正根の多重集合$B$に対して$\mu = \lambda - |B|$となることである。これは古典的境界$\mu \geq \lambda - 2\rho$を一般化する。
• $c_{\lambda\mu}(t)$が$t$に関する多項式であることが、$(\lambda, \alpha) > 0$を満たす多重集合$A$に関する和を含む明示的公式を用いて示され、Stembridgeの結果が可対称Kac-Moodyの場合に拡張された。