[論文レビュー] Newton polytopes and symmetric Grothendieck polynomials

Laura Escobar, Alexander Yong|arXiv (Cornell University)|May 22, 2017

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

ひとこと要約

この論文は、対称グロテンディーク多項式およびその同次成分が飽和ニュートンポリトープ（SNP）であることを証明している。各同次成分のニュートンポリトープはパーシュメントラ・ポリトープである。主な結果として、各次数$k$の成分のニュートンポリトープが特定の分割$μ^{(k)}$のパーシュメントラ・ポリトープであることが示され、モノニカル＝トカン＝ヨンおよびフィンク＝メシュアロス＝セント・ジエールの予想が対称の場合に解決された。

ABSTRACT

Symmetric Grothendieck polynomials are inhomogeneous versions of Schur polynomials that arise in combinatorial $K$-theory. A polynomial has saturated Newton polytope (SNP) if every lattice point in the polytope is an exponent vector. We show Newton polytopes of these Grothendieck polynomials and their homogeneous components have SNP. Moreover, the Newton polytope of each homogeneous component is a permutahedron. This addresses recent conjectures of C. Monical-N. Tokcan-A. Yong and of A. Fink-K. Mészáros-A. St. Dizier in this special case.

研究の動機と目的

• グラスマンニアン置換における対称グロテンディーク多項式のニュートンポリトープに関するモノニカル＝トカン＝ヨンの予想5.5を解決すること。
• 支配的置換の場合における対称グロテンディーク多項式のニュートンポリトープに関するフィンク＝メシュアロス＝セント・ジエールの予想5.1を検証すること。
• 対称グロテンディーク多項式の各同次成分のニュートンポリトープがパーシュメントラ・ポリトープであることを確立すること。
• 対称グロテンディーク多項式が飽和ニュートンポリトープ（SNP）であることを証明すること、すなわちニュートンポリトープ内のすべての格子点が非ゼロの単項式に対応すること。

提案手法

• 制約$\mu^{(k)}_r - \lambda_r < r-1$の下で、可能な限り上位の行にボックスを追加することで、分割$\mu^{(k)}$の列を定義する。
• $\mu^{(k)}$が、$G_\lambda$をシュール多項式に展開する際の構造係数$a_{\lambda,\mu}$が非ゼロとなるような支配的最大の形状であることを示す。
• ラドの定理を適用して、支配的順序とパーシュメントラ・ポリトープの包含関係を結びつける：$\mathcal{P}_\theta \subseteq \mathcal{P}_\delta$ ならば $\theta \leq_D \delta$ が成り立つ。
• 指数ベクトルの凸結合と主要化を用いて、$G_\lambda$のニュートンポリトープ内の任意の格子点が、対応する次数$k$のパーシュメントラ・ポリトープ$\mathcal{P}_{\mu^{(k)}}$に含まれることを示す。
• $G_\lambda$のニュートンポリトープが、$k = 0$ から $N$ までのパーシュメントラ・ポリトープ$\mathcal{P}_{\mu^{(k)}}$の和集合であり、この和集合内のすべての格子点が非ゼロの単項式に対応することを証明する。
• $\overline{\mu} = \sum c_k \mu^{(k)}$ が $\mu^{(K)}$ により主要化されることを活用し、指数ベクトルの任意の凸結合が、次数$K$の成分のニュートンポリトープ内に存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 対称グロテンディーク多項式は、ニュートンポリトープが飽和（SNP）であるか、すなわちニュートンポリトープ内のすべての格子点が非ゼロの単項式に対応するか？
• RQ2 対称グロテンディーク多項式の各同次成分のニュートンポリトープはパーシュメントラ・ポリトープか？
• RQ3 グロテンディーク多項式の文脈において、分割の支配的順序は、それに対応するパーシュメントラ・ポリトープの包含関係に対応するか？
• RQ4 構造係数$a_{\lambda,\mu}$は、$\mu^{(k)}$の支配的順序における最大性によって、組合せ論的に特徴付けられるか？
• RQ5 モノニカル＝トカン＝ヨンおよびフィンク＝メシュアロス＝セント・ジエールの予想は、グラスマンニアンおよび支配的置換の場合の対称グロテンディーク多項式において成立するか？

主な発見

• 対称グロテンディーク多項式$G_\lambda(x_1,\ldots,x_n)$のニュートンポリトープは飽和である。つまり、その指数ベクトルの凸包内のすべての格子点が非ゼロの単項式に対応する。
• 次数$k$の各同次成分$G_\lambda[k]$のニュートンポリトープは、与えられた制約の下で逐次的にボックスを追加して得られる分割$\mu^{(k)}$のパーシュメントラ・ポリトープ$\mathcal{P}_{\mu^{(k)}}$に等しい。
• $\mu^{(k)}$の構成は、$G_\lambda$のシュール多項式展開における係数$a_{\lambda,\mu}$が非ゼロとなるような支配的最大の形状をもたらす。
• G_\lambda$のニュートンポリトープは、$k = 0$ から $N$ までのパーシュメントラ・ポリトープ$\mathcal{P}_{\mu^{(k)}}$の和集合であり、この和集合は飽和である。
• 証明は、ラドの定理を用いて支配的順序とパーシュメントラ・ポリトープの包含関係を結びつけ、主要化の議論を用いて指数ベクトルの凸結合がニュートンポリトープ内に留まることを示している。
• この結果により、モノニカル＝トカン＝ヨンの予想5.5およびフィンク＝メシュアロス＝セント・ジエールの予想5.1が対称の場合に確認され、以前の結果がグラスマンニアンおよび支配的置換の設定に拡張された。