[论文解读] 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.

研究动机与目标

• 将 Hall-Littlewood 与 Kostka-Foulkes 多项式的经典理论推广至所有可对称化 Kac-Moody 代数，包括仿射型与不定型。
• 确立广义 Hall-Littlewood 多项式 $P_{\nu}(t)$ 作为形式幂级数但实际为多项式的良好定义性。
• 证明广义 Kostka-Foulkes 多项式 $K_{\lambda\mu}(t)$ 在此更广泛设定下与 Lusztig 的权重重数 $m^{\lambda}_{\mu}(t)$ 的 $t$-类比一致。
• 利用 Cherednik 的常数项恒等式，为仿射 Kac-Moody 代数的 $t$-串函数推导出显式乘积表达式。
• 在可对称化 Kac-Moody 代数的背景下，建立 $P_{\nu}(t)$ 与 $K_{\lambda\mu}(t)$ 的部分正性结果与结构性质。

提出的方法

• 通过 Weyl 群作用于包含 $e^{\lambda+\rho}$、$t$-变形的正根乘积以及 Kostant 分拆函数的生成函数，定义广义 Hall-Littlewood 多项式 $P_{\lambda}(t)$。
• 通过证明 $e^{\mu}$ 的系数在 $P_{\lambda}(t)$ 中为 $t$ 的多项式而非形式幂级数，确立良好定义性，利用收敛性论证与权格的结构。
• 采用 Macdonald 的方法证明 $K_{\lambda\mu}(t) = m^{\lambda}_{\mu}(t)$，表明 $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 的权重重数 $m^{\lambda}_{\mu}(t)$ 的 $t$-类比。
• 证明了系数 $K_{\lambda\mu}(t)$ 为具有整数系数的 $t$-多项式，而非仅形式幂级数。
• 对于仿射 Kac-Moody 代数，$t$-串函数 $a^{\lambda}_{\mu}(t)$ 的显式乘积公式可通过 Cherednik 的 Macdonald 与 Macdonald-Mehta 型常数项恒等式导出。
• 当 $t = -1$ 时，$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$，则 $\mu = \lambda - |B|$ 对某个正根多重集 $B$ 成立，这推广了经典界 $\mu \geq \lambda - 2\rho$。
• 通过涉及满足 $ (\lambda, \alpha) > 0 $ 的多重集 $A$ 的显式公式，证明了系数 $c_{\lambda\mu}(t)$ 为 $t$ 的多项式，将 Stembridge 的结果推广至可对称化 Kac-Moody 情形。