[论文解读] A generalization of the Kostka-Foulkes polynomials

A. N. Kirillov, Mark Shimozono|ArXiv.org|Mar 14, 1998

Advanced Algebra and Geometry被引用 20

一句话总结

本文通过歧路配置和可截断表（catabolizable tableaux）引入了一类广义的 q-类 Littlewood-Richardson 系数 $ K_{u;R}(q) $，推广了 Kostka-Foulkes 多项式和两列 Macdonald-Kostka 多项式。该文猜想这些多项式与在 $ \mathfrak{gl}(n) $ 中幂零共轭类闭包上支持的分次 $ GL(n) $ 模的同型分量的 Poincaré 多项式一致，并在 LR 表、可截断表和歧路配置上提出了实现这些 q-类别的组合统计量，通过类电荷统计量和保持统计量的双射实现。

ABSTRACT

Combinatorial objects called rigged configurations give rise to q-analogues of certain Littlewood-Richardson coefficients. The Kostka-Foulkes polynomials and two-column Macdonald-Kostka polynomials occur as special cases. Conjecturally these polynomials coincide with the Poincare polynomials of isotypic components of certain graded GL(n)-modules supported in a nilpotent conjugacy class closure in gl(n).

研究动机与目标

• 将 Kostka-Foulkes 多项式和两列 Macdonald-Kostka 多项式统一为一类广义的 q-类 Littlewood-Richardson 系数。
• 猜想这些 q-类系数为在 $ \mathfrak{gl}(n) $ 中幂零共轭类闭包上支持的分次 $ GL(n) $ 模的同型分量的 Poincaré 多项式。
• 在三类对象——LR 表、可截断表和歧路配置上定义组合统计量，通过生成函数实现这些 q-类系数。
• 建立这些对象之间的组合双射与单射，保持统计量，并反映多项式对称性和单调性性质。
• 猜想所提出的 $ K_{\nu;R}(q) $ 多项式与通过边框钩表定义的 Lascoux-Leclerc-Thibon 多项式一致。

提出的方法

• 将多项式 $ K_{\nu;R}(q) $ 定义为在具有类电荷统计量的可截断表上的生成函数，推广 Lascoux-Schützenberger 的公式。
• 引入歧路配置 $ RC(\nu;R) $ 作为带有自然统计量的组合模型，并定义从 LR 表到歧路配置的猜想双射 $ \Psi_R $，保持统计量。
• 构造第二个猜想双射 $ \Psi_{\text{rows}(R)} $，从歧路配置到可截断表，保持统计量，并完成统计量传递链。
• 使用算子 $ J $ 和 $ \pi $ 定义生成函数 $ B_{\eta}(x;q) $、$ H_{\gamma,\eta}(x;q) $，并通过 $ H_{\gamma,\eta}(x;q) $ 的展开提取 $ K_{\lambda,\gamma,\eta}(q) $ 作为系数。
• 定义空位数 $ P_{k,n} $，并用其刻画分区 $ \nu $ 的可接受配置，确保非负性和单调性性质。
• 在 LR 表家族之间建立函子性、保持统计量的嵌入，将 Lascoux 和 Schützenberger 的 cyclage 理论推广至矩形 LR 设置。

实验结果

研究问题

• RQ1 定义为在具有广义电荷统计量的可截断表上生成函数的多项式 $ K_{\nu;R}(q) $，是否与在 $ \mathfrak{gl}(n) $ 中幂零共轭类闭包上支持的 $ GL(n) $ 模的同型分量的 Poincaré 多项式一致？
• RQ2 LR 表上的电荷统计量是否可通过从歧路配置到 LR 表的双射 $ \Psi_R $ 显式重构？其是否推广了经典电荷和 Donin 的统计量？
• RQ3 Kostka-Foulkes 多项式的对称性和单调性性质是否可推广至广义的 $ K_{\nu;R}(q) $，并能否通过保持统计量的映射组合实现？
• RQ4 是否存在从歧路配置到可截断表的组合双射，保持统计量，从而将 q-类系数实现为后者的生成函数？
• RQ5 所提出的 $ K_{\nu;R}(q) $ 多项式是否与通过边框钩表定义的 Lascoux-Leclerc-Thibon 多项式一致？

主要发现

• 猜想多项式 $ K_{\nu;R}(q) $ 等于在 $ \mathfrak{gl}(n) $ 中幂零共轭类闭包上支持的 $ \mathbb{C}[\mathfrak{gl}_n] $-模的同型分量的 Poincaré 多项式，推广了 Kostka-Foulkes 和 Macdonald-Kostka 情形。
• 通过 $ \Psi_R $ 拉回的可截断表上的广义电荷统计量，猜想可实现 $ K_{\nu;R}(q) $ 为生成函数，推广了 Lascoux-Schützenberger 的公式。
• 猜想双射 $ \Psi_R: LRT(\nu;R) \to RC(\nu;R) $ 保持统计量，且 $ \Psi_{\text{rows}(R)}: RC(\nu;R) \to \text{可截断表} $ 也保持统计量，构成完整的统计量传递链。
• 通过函子性、保持统计量的 LR 表家族嵌入，实现了 $ K_{\nu;R}(q) $ 的单调性性质，将 cyclage 理论推广至矩形 LR 系数情形。
• 证明了对于足够大的 $ n $，空位数 $ P_{k,n}(\nu) $ 为非负，且在配置 $ \nu $ 可接受的假设下，$ P_{k,n}(\nu) \geq 0 $ 成立，支持了组合模型的有效性。
• 猜想 $ K_{\nu;R}(q) $ 与 Lascoux-Leclerc-Thibon 多项式一致，得到了支持：两者均为 LR 系数的 q-类，且具有相同的对称性和单调性性质，尽管完全相等尚未证明。