[論文レビュー] The "Grothendieck to Lascoux" conjecture

Victor Reiner, Alexander Yong|arXiv (Cornell University)|Feb 24, 2021

Advanced Combinatorial Mathematics参考文献 15被引用数 5

ひとこと要約

この論文は、$K$-的 jeu de taquin と増加表を用いて、Grothendieck多項式をLascoux多項式に展開する推測的な組合せ的規則を提示する。この規則は、既知のSchubert多項式および安定Grothendieck多項式の展開を一般化し、$\beta$-変形Schubert計算の文脈において、これらの対称および非対称多項式の族間の遷移を正の組合せ的公式として与える。

ABSTRACT

This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials.

研究の動機と目的

• バージョン$\beta$のGrothendieck多項式を$\beta$-Lascoux多項式に展開する組合せ的規則を定式化すること。
• Schubert多項式からキーポリノミアルへの既存の正の展開および、安定Grothendieck多項式からキーポリノミアルへの展開を一般化すること。
• $K$-的Schubert計算における安定極限展開の非対称な一般化を提供すること。
• K-的 jeu de taquin と増加表を通じて、$\beta$-Lascoux多項式の構造を理解するための枠組みを確立すること。
• 非対称版の安定極限展開における正の性質の失敗を探索し、対称的・非対称的設定の違いを強調すること。

提案手法

• 著者たちは、最長の置換$w_0$に$\pi_i$作用素を再帰的に適用することで、$\beta$-Grothendieck多項式$\mathfrak{G}_w^{(\beta)}$を定義する。
• 彼らは弱な組成$\alpha$に$\widetilde{\pi}_i$作用素を再帰的に適用することで、$\beta$-Lascoux多項式$\Omega_\alpha^{(\beta)}$を定義する。
• この推測は、$K$-的 jeu de taquin と$K$-インフュージョンを用いて、増加表と展開係数を関連付ける。
• この手法は、$K$-的 jeu de taquinスライドにおいて最長減少部分列（LDS）の不変性に依拠し、形状の保存を保証する。
• この構成では、増加表における逆$K$-リクラケーションの系列から得られる$K_{-}(P)$が、LDS不変性によって形状を保存する。
• $K_{-}(P)$がキーポリノミアルであることを示す証明は、逆$K$-リクラケーションにおける左端の外角選択と、列包含の議論に依拠する。

実験結果

リサーチクエスチョン

• RQ1 バージョン$\beta$のGrothendieck多項式を$\beta$-Lascoux多項式に展開する正の組合せ的規則を定式化できるか？
• RQ2 $K$-的 jeu de taquinの構造は、Schubert計算の非対称一般化とどのように関係するか？
• RQ3 安定極限から$\Omega_\alpha^{(\beta)}$に移行する際、非対称の場合に正の性質が失われる理由は何か？
• RQ4 増加表と$K$-インフュージョンは、展開係数の構成において果たす役割は何か？
• RQ5 逆$K$-リクラケーションのパスの選択が、$K_{-}(P)$がキーポリノミアルのまま保たれるかどうかに影響を与えるか？

主な発見

• この推測は、増加表と$K$-的 jeu de taquinの組合せ的データを用いて、$\mathfrak{G}_w^{(\beta)}$を$\Omega_\alpha^{(\beta)}$に正の展開する。
• $K_{-}(P)$の形状は$P$と同一であり、$K$-的スライドにおける最長減少部分列（LDS）の不変性によって証明される。
• 左端の外角選択と列包含の議論により、$K_{-}(P)$がキーポリノミアルであることが保証される。
• 非対称の場合、展開は正でない：$\Omega^{(\beta)}_{1,0,2,1}$は$\kappa_{2,1,2}$に対して負の係数を含むが、これは対応する対称的安定極限とは異なる。
• この手法は既存の結果を一般化する：安定Grothendieck多項式からキーポリノミアルへの展開を精緻化し、Schubertからキーポリノミアルへの規則を$\beta$-変形設定に拡張する。
• 著者たちは、以前に誤って記述された推測の修正版を提供し、それまでに報告された結果や大学院生の研究と整合させる。