[論文レビュー] Littlewood-Richardson polynomials

Alexander Molev|ArXiv.org|Apr 2, 2007

Advanced Combinatorial Mathematics参考文献 12被引用数 8

ひとこと要約

本稿は、無限個の変数の無限列によってパラメータ化された対称関数環の族における構造係数としてのリトルウッド・リチャードソン多項式を導入し、バー付き逆スーパー表に用いることで、明示的に正の組合せ的ルールを提供する。このルールにより、差 $ a_i - a_j $ における明示的で正の整数係数の展開が得られ、等変ホモロジーのシューベルト構造係数および $ \mathfrak{gl}_n $ における量子インマニエント乗法の安定性に関する性質が確立され、長年の等変シューベルト計算および表現論における正性と安定性の問題が解決される。

ABSTRACT

We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are polynomials in the parameters which we call the Littlewood-Richardson polynomials. We give a combinatorial rule for their calculation by modifying an earlier result of B. Sagan and the author. The new rule provides a formula for these polynomials which is manifestly positive in the sense of W. Graham. We apply this formula for the calculation of the product of equivariant Schubert classes on Grassmannians which implies a stability property of the structure coefficients. The first manifestly positive formula for such an expansion was given by A. Knutson and T. Tao by using combinatorics of puzzles while the stability property was not apparent from that formula. We also use the Littlewood-Richardson polynomials to describe the multiplication rule in the algebra of the Casimir elements for the general linear Lie algebra in the basis of the quantum immanants constructed by A. Okounkov and G. Olshanski.

研究の動機と目的

• パrameter列 $ a $ を持つ対称関数環の一般化された環において、リトルウッド・リチャードソン多項式 $ c_{\lambda\mu}^\nu(a) $ を構造係数として定義し、それらを研究すること。
• グレーハムの意味で明示的に正である、つまり $ a_i - a_j $ における単項式の和として表される、これらの多項式を計算する組合せ的ルールを提供すること。
• グラスマンニアンの等変コホロジーにおける構造係数の安定性性質を確立すること。これは、従来の定式化では明確でなかった。
• このルールを用いて、$ \mathrm{U}(\mathfrak{gl}_n) $ の中心における量子インマニエントの乗法を記述し、量子インマニエントの基底における正の展開をもたらすこと。

提案手法

• 係数環 $ \mathbb{Z}[a] $ を持つ $ x_1,\dots,x_n $ における対称多項式のフィルター付き環 $ \Lambda_n $ の逆極限として環 $ \Lambda $ を定義する。評価写像 $ P(x_1,\dots,x_n) \mapsto P(x_1,\dots,x_{n-1},a_n) $ を用いる。
• 二重シュール関数 $ s_\lambda(x\,||\,a) $ を $ \Lambda $ の基底として導入し、$ a = 0 $ のとき古典的シュール関数に一般化する。
• 積展開 $ s_\lambda(x\,||\,a) s_\mu(x\,||\,a) = \sum_\nu c_{\lambda\mu}^\nu(a) s_\nu(x\,||\,a) $ を用いて、リトルウッド・リチャードソン多項式 $ c_{\lambda\mu}^\nu(a) $ を定義する。
• バー付き逆 $ \lambda $-スーパー表に依存する新しい組合せ的ルールを構築する。非プライムの要素は添え字でラベル付けされ、シーケンス $ R $ に対応する位置でバーが付く。プライムの要素は $ a $-添え字でラベル付けされる。
• このような表の和として $ c_{\lambda\mu}^\nu(a) $ の公式を導出し、非プライム要素に対しては $ a_{T(\alpha) - \rho(\alpha)_{T(\alpha)}} $、プライム要素に対しては $ -b_{T(\alpha)} $ の単項式を含め、正性を保証する。
• このルールを適用して、$ a_i = -t_{N-i+1} $ の特殊化において、グラスマンニアンの等変コホロジーにおける構造係数 $ d_{\lambda\mu}^\nu $ が安定的かつ明示的に正であることを示す。

実験結果

リサーチクエスチョン

• RQ1 パrameter列 $ a $ を持つ対称関数環における構造係数 $ c_{\lambda\mu}^\nu(a) $ に対して、明示的に正の公式を構成できるか。
• RQ2 リトルウッド・リチャードソン多項式 $ c_{\lambda\mu}^\nu(a) $ の組合せ的ルールは、グラスマンニアンの等変シューベルト計算における安定性性質を明らかにするか。
• RQ3 $ \mathrm{Z}(\mathfrak{gl}_n) $ における量子インマニエントの乗法ルールを、この枠組みを用いて正の整数係数で表現できるか。
• RQ4 リトルウッド・リチャードソン多項式 $ c_{\lambda\mu}^\nu(a) $ のスーパー表に依存する表現は、正性と安定性を明確に示すか。
• RQ5 ミョール・サーガンやクヌートソン・タオのものと比較して、この新しいルールは正性と安定性の観点でどのように異なるか。

主な発見

• 本稿は、リトルウッド・リチャードソン多項式 $ c_{\lambda\mu}^\nu(a) $ に対して、正の整数係数を伴う $ a_i - a_j $ における単項式の和として表される、初めての明示的に正の公式を提供する。
• 新しいルールは、グラスマンニアンの等変コホロジーにおける構造係数 $ d_{\lambda\mu}^\nu $ の安定性性質を示し、クヌプソンとタオのパズルルールでは明確でなかった。
• 特殊化 $ a_i = -i $ の場合、量子インマニエント $ \mathbb{S}_{\lambda|n} \mathbb{S}_{\mu|n} $ の積における係数 $ f_{\lambda\mu}^\nu $ は $ c_{\lambda\mu}^\nu(a) $ に等しく、展開は正である。
• 公式 $ c_{\lambda\mu}^\nu(a) $ はバー付き逆スーパー表を用いて導出され、非プライム要素は $ a_{T(\alpha) - \rho(\alpha)_{T(\alpha)}} $、プライム要素は $ -b_{T(\alpha)} $ を寄与とし、正性が保証される。
• 例 4.5 では $ c_{(2,1)(2)}^{(2,1)}(a) = a_{-1}^2 - a_{-1}a_0 - a_{-1}a_2 + a_0a_2 $ を計算し、公式と正性を確認する。
• スーパー表に基づく $ s_\lambda(x\,||\,a) $ の表現は $ \sum_T \prod_{\text{非プライム } T(\alpha)} x_{T(\alpha)} \prod_{\text{プライム } T(\alpha)} (-a_{T(\alpha)}) $ であり、構造係数の正性を裏付ける。