[論文レビュー] Vexillary Grothendieck Polynomials via Bumpless Pipe Dreams

Elena S. Hafner|arXiv (Cornell University)|Jan 28, 2022

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

本稿は、垂れ下がり移動とK理論的垂れ下がり移動を用いて、びっしりと埋められたパイプドリーム（bumpless pipe dreams, BPD）の新しい特徴付けを提供し、バクシラリー・グロテンディーク多項式における最大次数項のための精密化された公式を証明する。この研究は、Pechenik-Speyer-WeigandtとRajchgot-Robichaux-Weigandtの次数公式の直接的な関係を確立し、バクシラリー・グロテンディーク多項式の中間次数成分の新しい最大次数項の公式を示す。

ABSTRACT

Recent work of Pechenik, Speyer, and Weigandt proved a formula for the degree of any Grothendieck polynomial. A distinct formula for the degree of vexillary Grothendieck polynomials was proven by Rajchgot, Robichaux, and Weigandt. We give a new proof of Pechenik, Speyer, and Weigandt's formula in the special case of vexillary permutations and characterize the set of bumpless pipe dreams which contribute maximal degree terms to the Grothendieck polynomial in this case. Furthermore, we use this characterization to draw connections between the Pechenik-Speyer-Weigandt and Rajchgot-Robichaux-Weigandt formulas. We also use bumpless pipe dreams to prove new results about the support of vexillary Grothendieck polynomials, addressing special cases of conjectures of Mészáros, Setiabrata, and St. Dizier.

研究の動機と目的

• バクシラリー置換のPechenik-Speyer-Weigandt次数公式を、びっしりと埋められたパイプドリームを用いて再証明すること。
• バクシラリー・グロテンディーク多項式において最大次数の項を寄与するびっしりと埋められたパイプドリームを特徴付けること。
• びっしりと埋められたパイプドリームの組合せ論を通じて、Pechenik-Speyer-WeigandtとRajchgot-Robichaux-Weigandtの次数公式の直接的な関連を確立すること。
• Mészáros, Setiabrata, および St. Dizierの予想を扱い、バクシラリー・グロテンディーク多項式のサポートに関する新しい結果を証明すること。

提案手法

• 本稿は、各マーク付きびっしりと埋められたパイプドリーム（BPD）が多項式展開における単項式に対応する、グロテンディーク多項式の組合せ的モデルとしてマーク付きびっしりと埋められたパイプドリーム（BPD）を用いる。
• ロス・BPDから他のBPDに変換するための垂れ下がり移動とK理論的垂れ下がり移動を導入し、単項式の次数を保存または変更する。
• グロテンディーク多項式の次数は、各suffixから増加列を形成するために最小で何個の要素を削除する必要があるかを数えるRajchgotコード $r_i$ を通じて分析される。
• 次数$k$の成分 $\mathfrak{G}_\omega^{(k)}$ の先頭項は、左端の位置に最大の数の上向きエルボーを持つBPDを構築することで特定され、$r_i - c_i$ の制約に従う。
• この方法により、$\mathfrak{G}_\omega^{(k)}$ の先頭単項式が、$e_i$ が和の条件を満たす最小のインデックス$j$ に基づいて定義される $x_1^{e_1} \cdots x_n^{e_n}$ のスカラー倍であることが証明される。
• 証明は、非最大配置が垂れ下がり移動またはエルボーの再配置によって改善可能であることを示すことにより、最大性の矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 どのびっしりと埋められたパイプドリームがバクシラリー置換のグロテンディーク多項式における最大次数の項を寄与するか？
• RQ2 Pechenik-Speyer-WeigandtとRajchgot-Robichaux-Weigandtの次数公式は、びっしりと埋められたパイプドリームを通じてどのように組合せ論的に関連しているか？
• RQ3 バクシラリー・グロテンディーク多項式の次数$k$成分における先頭項の構造は何か？
• RQ4 びっしりと埋められたパイプドリームの移動を用いて、バクシラリー・グロテンディーク多項式のサポートを完全に特徴付けることができるか？
• RQ5 どの条件下でマーク付きBPDが特定の次数成分における先頭単項式に対応するか？

主な発見

• バクシラリー置換のグロテンディーク多項式における最大次数の項は、$P$ が簡約的で、ちょうど1つの上向きエルボーを持ち、それが最も下にある位置にあるマーク付きBPD $(P, U(P))$ から生じる。
• 次数$k$の成分 $\mathfrak{G}_\omega^{(k)}$ の先頭項は、$e_i = r_i$（$i \geq j$）、$e_{j-1} = c_{j-1} + k - \ell(\omega) - \sum_{i=j}^n (r_i - c_i)$、$e_i = c_i$（$i < j-1$）である $x_1^{e_1} \cdots x_n^{e_n}$ のスカラー倍である。ここで$j$ は和の条件を満たす最小のインデックスである。
• 先頭項は、$r_i > c_i$ を満たす最低のパイプを順次垂れ下がらせ、その上向きエルボーを可能な限り左に押し進め、必要な数の上向きエルボーが得られたら停止することで達成される。
• びっしりと埋められたパイプドリーム $P$ が最大次数の項を寄与するのは、$P$ が簡約的で、ちょうど1つの上向きエルボーを持ち、そのエルボーが最も下にある位置にある場合に限る。
• 本稿は、バクシラリー置換のPechenik-Speyer-Weigandt次数公式が、$\lambda(\omega)$ のラベル付きヤング図形における反対角パスの構造を通じて、Rajchgot-Robichaux-Weigandtの公式と同値であることを証明する。
• バクシラリー・グロテンディーク多項式のサポートは、$r_i - c_i$ の制約に従う上向きエルボーを持つマーク付きBPDに相当する単項式の集合によって完全に特徴付けられ、Mészáros, Setiabrata, および St. Dizierの予想の特殊ケースが確認される。