[論文レビュー] A generalization of the Kostka-Foulkes polynomials

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

Advanced Algebra and Geometry被引用数 20

ひとこと要約

本稿は、rigged configurations と catabolizable tableaux を用いて、$ K_{u;R}(q) $ と表記される一般化された Littlewood-Richardson 系数の q-類似体の族を導入する。これは Kostka-Foulkes 多項式と二行目の Macdonald-Kostka 多項式を拡張するものである。著者らは、これらの多項式が $ \mathfrak{gl}(n) $ における冪零共轭類の閉包に台を持つ $ GL(n) $-加群の同型成分の Poincaré 多項式に一致すると予想し、LR tableaux、catabolizable tableaux、rigged configurations の三つの組み合わせ的対象に対して、charge に類似した統計量を定義し、それらを用いて q-類似体を実現する。また、統計量を保存する双対写像を用いて、多項式の対称性と単調性の性質を反映する組み合わせ的同型写像を提案する。最後に、提案された q-類似体が rim hook tableaux を用いて定義される Lascoux-Leclerc-Thibon 多項式と一致すると予想する。

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 多項式を統一的な Littlewood-Richardson 系数の q-類似体の族に一般化すること。
• これらの q-類似体が $ \mathfrak{gl}(n) $ における冪零共轭類の閉包に台を持つ $ GL(n) $-加群の同型成分の Poincaré 多項式として現れることを予想すること。
• LR tableaux、catabolizable tableaux、rigged configurations の三つのオブジェクトに対して、q-類似体を生成関数として実現する組み合わせ的統計量を定義すること。
• これらのオブジェクト間の統計量を保存する組み合わせ的双対写像および単射を確立し、多項式の対称性と単調性の性質を反映すること。
• 提案された q-類似体が rim hook tableaux を用いて定義される Lascoux-Leclerc-Thibon 多項式と一致するという予想を提示すること。

提案手法

• catabolizable tableaux における一般化された charge 統計量を用いた生成関数として多項式 $ K_{\nu;R}(q) $ を定義し、Lascoux-Schützenberger の公式を一般化する。
• rigged configurations $ RC(\nu;R) $ を自然な統計量を備えた組み合わせ的モデルとして導入し、LR tableaux から rigged configurations への統計量を保存する予想される双対写像 $ \Psi_R $ を定義する。
• rigged configurations から catabolizable tableaux への第二の予想される双対写像 $ \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 tableaux の族同士の関手的かつ統計量を保存する埋め込みを確立し、Lascoux と Schützenberger の cyclage 理論を長方形 LR の設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 catabolizable tableaux における一般化された charge 統計量を用いた生成関数として定義される多項式 $ K_{\nu;R}(q) $ は、$ \mathfrak{gl}(n) $ における冪零共轭類の閉包に台を持つ $ \mathbb{C}[\mathfrak{gl}_n] $-加群の同型成分の Poincaré 多項式と一致するか？
• RQ2 rigged configurations からの双対写像 $ \Psi_R $ を用いて、LR tableaux 上の charge 統計量を明示的に再構成可能であり、古典的 charge や Donin の統計量を一般化するか？
• RQ3 Kostka-Foulkes 多項式に見られる対称性と単調性の性質が一般化された $ K_{\nu;R}(q) $ に拡張可能であり、統計量を保存する写像によって組み合わせ的に実現可能か？
• RQ4 rigged configurations と catabolizable tableaux の間に統計量を保存する組み合わせ的双対写像が存在するか。これにより、q-類似体が後者集合上の生成関数として実現可能か？
• RQ5 提案された $ K_{\nu;R}(q) $ 多項式は、rim hook tableaux を用いて定義される Lascoux-Leclerc-Thibon 多項式と一致するか？

主な発見

• 多項式 $ K_{\nu;R}(q) $ は、$ \mathfrak{gl}(n) $ における冪零共轭類の閉包に台を持つ $ \mathbb{C}[\mathfrak{gl}_n] $-加群の同型成分の Poincaré 多項式と一致すると予想され、Kostka-Foulkes および Macdonald-Kostka の場合を一般化する。
• catabolizable tableaux における一般化された charge 統計量は、$ \Psi_R $ を通じて引き戻され、Lascoux-Schützenberger の公式を拡張して $ K_{\nu;R}(q) $ を生成関数として実現すると予想される。
• LR tableaux から rigged configurations への双対写像 $ \Psi_R: LRT(\nu;R) \to RC(\nu;R) $ は統計量を保存すると予想され、$ \Psi_{\text{rows}(R)}: RC(\nu;R) \to \text{catabolizable tableaux} $ も統計量を保存すると予想され、統計量伝達の完全なチェーンが構成される。
• $ K_{\nu;R}(q) $ の単調性は、LR tableaux の族への関手的かつ統計量を保存する埋め込みにより実現され、cyclage 理論が長方形 LR 係数に一般化される。
• 空隙数 $ P_{k,n}(\nu) $ は十分大きな $ n $ に対して非負であることが示され、配置 $ \nu $ の許容性の仮定のもとで $ P_{k,n}(\nu) \geq 0 $ が証明され、組み合わせ的モデルの妥当性が支持される。
• $ K_{\nu;R}(q) $ が Lascoux-Leclerc-Thibon 多項式と一致するという予想は、両者とも LR 系数の q-類似体であり、同じ対称性と単調性の性質を持つことから支持されるが、完全な一致は未解決のままである。