[论文解读] Newton polytopes and symmetric Grothendieck polynomials

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

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

一句话总结

本文证明了对称格罗滕迪克多项式及其各齐次分量具有饱和牛顿多面体（SNP），且每个齐次分量的牛顿多面体均为对称群多面体。关键结果表明，每个次数为 $k$ 的分量的牛顿多面体是特定分拆 $\mu^{(k)}$ 的对称群多面体，从而在对称情形下解决了 Monical-Tokcan-Yong 与 Fink-Mészáros-St. Dizier 的猜想。

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.

研究动机与目标

• 解决 Monical-Tokcan-Yong 的猜想 5.5，即关于格拉斯曼排列下对称格罗滕迪克多项式的牛顿多面体问题。
• 验证 Fink-Mészáros-St. Dizier 的猜想 5.1，即在主排列情形下对称格罗滕迪克多项式的牛顿多面体问题。
• 确立对称格罗滕迪克多项式每个齐次分量的牛顿多面体为对称群多面体。
• 证明对称格罗滕迪克多项式具有饱和牛顿多面体（SNP），即牛顿多面体中的所有格点均对应非零单项式。

提出的方法

• 通过迭代地在满足约束 $\mu^{(k)}_r - \lambda_r < r-1$ 的前提下，向最高可能的行添加方块，定义一系列分拆 $\mu^{(k)}$。
• 证明 $\mu^{(k)}$ 是在格罗滕迪克多项式 $G_\lambda$ 关于 Schur 多项式展开中结构系数 $a_{\lambda,\mu}$ 非零时，具有最大优势序的形状。
• 应用 Rado 定理，将优势序与对称群多面体的包含关系等价：$\mathcal{P}_\theta \subseteq \mathcal{P}_\delta$ 当且仅当 $\theta \leq_D \delta$。
• 利用指数向量的凸组合与极大化关系，证明牛顿多面体中任意格点均位于对应次数 $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 Monical-Tokcan-Yong 与 Fink-Mészáros-St. Dizier 的猜想在对称格罗滕迪克多项式的格拉斯曼与主排列情形下是否成立？

主要发现

• 对称格罗滕迪克多项式 $G_\lambda(x_1,\ldots,x_n)$ 的牛顿多面体是饱和的，即其指数向量凸包中的每个格点均对应一个非零单项式。
• 每个次数为 $k$ 的齐次分量 $G_\lambda[k]$ 的牛顿多面体等于对称群多面体 $\mathcal{P}_{\mu^{(k)}}$，其中 $\mu^{(k)}$ 是在给定约束下逐次添加方块后得到的分拆。
• $\mu^{(k)}$ 的构造方法给出了在 $G_\lambda$ 的 Schur 多项式展开中系数 $a_{\lambda,\mu}$ 非零时，具有最大优势序的形状。
• $G_\lambda$ 的牛顿多面体是 $k = 0$ 到 $N$ 的对称群多面体 $\mathcal{P}_{\mu^{(k)}}$ 的并集，且该并集是饱和的。
• 证明依赖于 Rado 定理，将优势序与对称群多面体的包含关系联系起来，并通过极大化论证表明，指数向量的任意凸组合均位于牛顿多面体内。
• 该结果证实了 Monical-Tokcan-Yong 的猜想 5.5 与 Fink-Mészáros-St. Dizier 的猜想 5.1 在对称情形下的正确性，将先前结果推广至格拉斯曼与主排列的设定。