[論文レビュー] From quantum Schubert polynomials to k-Schur functions via the Toda lattice

Thomas Lam, Mark Shimozono|arXiv (Cornell University)|Oct 19, 2010

Advanced Combinatorial Mathematics参考文献 13被引用数 3

ひとこと要約

本稿では、コスタントがToda格子の解から導いた有理的置換とペトロフの同型写像を用いて、量子シューベルト多項式と$k$-シューベルト関数の間の直接的な代数的対応を確立する。主な結果は、量子シューベルト多項式が、長方形分割に関連する対称関数の比を含む置換を通じて$k$-シューベルト関数に写像されることであり、分母は置換の降下集合に対応する。

ABSTRACT

We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.

研究の動機と目的

• 量子シューベルト多項式と$k$-シューベルト関数の間の明確な代数的対応を確立すること。
• この二つの多項式基底の間の移行が、Toda格子の解から自然に生じることを示すこと。
• 量子シューベルト多項式を$k$-シューベルト関数に写像する明示的な有理的置換写像$\Phi$を提供すること。
• Toda格子構造を通じて、フラッグ多様体の量子コホモロジーとアフィングラスマンイアンのホモロジーを統一すること。
• 量子シューベルト多項式と対称関数の比を用いた$k$-シューベルト関数の組合せ的実現を提供すること。

提案手法

• ノンアーベルToda格子のコスタントの解を用い、Toda格子の座標環をフラッグ多様体の量子コホモロジーと関連付ける。
• PGL(n)における正則冪零元の中心化子とアフィングラスマンイアンのホモロジーの間のペトロフの同型写像を適用する。
• 量子シューベルト多項式から$\Lambda_{(n)}[s_{R_i}^{-1}]$内の対称関数への置換写像$\Phi$を、$x_1+\cdots+x_i$に対して$s_{R'_i}/s_{R_i}$、$q_i$に対して$s_{R_{i-1}}s_{R_{i+1}}/s_{R_i}^2$の比を用いて定義する。
• フォーマン・ゲルファンド・ポストニコフの量子シューベルト多項式を、$QH^*(\mathrm{Fl}_n)$における量子シューベルト類の代表元として用いる。
• ラムによる$k$-シューベルト関数のアフィンシューベルト類としての実現を用い、両者の構造を結びつける。
• 例として$w = s_1s_2s_1$を用いた明示的計算により対応を検証し、$s_1^{(2)} = h_1$と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 代数的構造を通じて、量子シューベルト多項式と$k$-シューベルト関数はどのように関係しているか？
• RQ2 Toda格子は、量子シューベルト計算とアフィンシューベルト計算を統一するフレームワークを提供できるか？
• RQ3 どの有理的置換が量子シューベルト多項式を$k$-シューベルト関数に写像するか？
• RQ4 置換の降下集合が、写像$\Phi$による$k$-シューベルト関数の像の分母にどのように現れるか？
• RQ5 Toda格子と量子的およびアフィン的両設定におけるシューベルト計算の間には、概念的リンクがあるか？

主な発見

• 写像$\Phi$は、量子シューベルト多項式$\mathfrak{S}_w^q$を$\frac{s_{\lambda(w)}^{(k)}}{\prod_{i \in \mathrm{Des}(w)} s_{R_i}}$に写像し、直接的な対応を確立する。
• $S_3$における$w = s_1s_2s_1$に対して、$\Phi(\mathfrak{S}_w^q) = \frac{h_1}{e_2 h_2} = s_1^{(2)}$となり、$\lambda(w) = (1)$および$\mathrm{Des}(w) = \{1,2\}$と一致し、公式の妥当性を確認する。
• 置換写像$\Phi$は、コスタントのToda格子の解とペトロフの同型写像から導かれており、量子コホモロジーとアフィングラスマンイアンのホモロジーを結びつける。
• 結果の分母は置換$w$の降下集合に対応し、各$s_{R_i}$はToda格子構造に由来する。
• この構成は、ラポインティエ＝モールズの結果に基づく$k$-シューベルト関数の因数分解に依存しており、$\Phi$の像から$s_\lambda^{(k)}$を完全に再構成可能である。
• 写像$\Phi$は、シューベルト多項式展開における$e_i(m)$を$\frac{h_i^\perp \cdot S_{R_m}}{S_{R_m}}$に置換することと同等であり、同じ$k$-シューベルト関数の像をもたらす。