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

Thomas Lam, Mark Shimozono|arXiv (Cornell University)|Sep 10, 2011

Advanced Combinatorial Mathematics参考文献 22被引用数 18

ひとこと要約

本稿は、量子双Schubert多項式（$QH^T(SL_n/B)$の等置量子コホモロジー環の基底）を、$k$-双シュール関数へ正確な有理的置換によって変換する手法を確立する。$k$-双シュール関数は、アフィングラスマンニアン $\mathrm{Gr}_{SL_n}$ の等置ホモロジーSchubert基底を実現する。主な革新は、KostantのToda格子の解を等置シュール類の言語で明示的に計算し、Peterson同型と対称関数論を通じて、量子的およびアフィン的Schubert計算を結びつけることにある。

ABSTRACT

We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.

研究の動機と目的

• 量子双Schubert多項式と $k$-双シュール関数の間の正確な代数的対応を確立すること。
• フラッグ多様体の等置量子コホモロジーとアフィングラスマンニアンの等置ホモロジーの関係を明確にすること。
• KostantのToda格子の解を用いて、量子Schubert多項式の変数を有理的置換により対称関数に変換する明示的変換を提供すること。
• 拡張されたアフィンnilHecke代数における明示的行列式公式を用いて、Peterson同型を等置設定に拡張すること。
• 拡張された設定におけるSchubert構造定数が、量子コホモロジーに幾何的正則性が欠けるにもかかわらず、新たな正則性性質を示すことを示すこと。

提案手法

• KostantのToda格子の解を用いて、量子コホモロジー環の生成元を中央化子族 $Z$ の小行列式の比として表現する。
• 修正版Peterson同型を用いて、これらの小行列式を $H_T(\mathrm{Gr}_{PGL_n})$ のアフィンSchubert類へ写像する。
• Chaput-Manivel-Perrinの拡張されたアフィンnilHecke代数を用いて、アドジョイント群の $H_T(\mathrm{Gr}_{G_{\mathrm{ad}}})$ をモデル化する。
• Molevのジャコビ＝トゥルーディの公式を用いて、小行列式を対称関数として解釈する。
• 写像 $\Psi$ を通じて、量子パラメータ $q_i$ と対称関数変数の間の明示的有理的置換を構成する。
• $z_{ij}$-行列のコアルゲブラ構造を用いた次元数え上げと単射性・全射性の検証により、同型を検証する。

実験結果

リサーチクエスチョン

• RQ1 量子双Schubert多項式と $k$-双シュール関数の間の有理的置換による関係は何か？
• RQ2 KostantのToda格子の解は、等置シュール類の言語で明示的に計算可能か？
• RQ3 $SL_n/B$ の等置量子コホモロジーと $\mathrm{Gr}_{SL_n}$ の等置ホモロジーの間の正確な代数的変換は何か？
• RQ4 拡張されたアフィン設定におけるSchubert構造定数は、量子コホモロジー環に見えない新たな正則性性質を示すか？
• RQ5 Toda格子から得られる写像 $\Psi$ は、Schubert類の対称関数的実現とどのように関係するか？

主な発見

• 量子双Schubert多項式と $k$-双シュール関数は、$q_i$ が $D_{i-1}D_{i+1}D_i^{-2}$ に、$x_i$ が $D_i'/D_i$ に写される明示的有理的置換によって関連づけられる。
• KostantのToda格子の解は、中央化子族 $Z$ の小行列式の比として実現され、これは $H_T(\mathrm{Gr}_{PGL_n})$ のアフィンSchubert類へ写像される。
• $\tilde{\phi}$ はToda格子の座標環からアフィンSchubert基底への写像であり、同型である。$\tilde{\phi}(D_i) = j_{t_{-\omega_i^\vee}}$ および $\tilde{\phi}(D_i') = j_{s_i t_{-\omega_i^\vee}}$ を満たす。
• $\Psi$、$\tilde{\theta}$、$\theta^{-1}$、$\kappa$ の合成は、量子Schubert多項式と $k$-双シュール関数の間の所望の有理的変換を与える。
• 拡張された設定におけるSchubert基底要素 $\xi_{wt_\lambda}$ は、$\xi_w$ と $\xi_{t_\mu}$ の積として表され、$\mu$ が反ドミナントのとき $\xi_{wt_\mu} = \xi_w \xi_{t_\mu}$ という因子分解が成り立つ。
• 拡張されたアフィン設定は、量子コホモロジー環に幾何的正則性が欠けるにもかかわらず、Schubert構造定数に新たな正則性性質を明らかにする。