[论文解读] Vexillary Grothendieck Polynomials via Bumpless Pipe Dreams

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

Advanced Combinatorial Mathematics被引用 6

一句话总结

本文通过使用下垂移动和K-理论下垂移动，对楔形格罗滕迪克多项式中贡献最高次项的无凸管梦想（bumpless pipe dreams）给出了新的刻画，证明了关于首项的精细公式。它建立了佩琛尼克-斯佩尔-魏冈德特与拉赫戈特-罗比查克斯-魏冈德特度数公式之间的直接联系，并证明了楔形格罗滕迪克多项式中间次项的首项公式。

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.

研究动机与目标

• 通过无凸管梦想重新证明楔形排列的佩琛尼克-斯佩尔-魏冈德特度数公式。
• 刻画在楔形格罗滕迪克多项式中产生最高次项的无凸管梦想。
• 通过无凸管梦想的组合学，建立佩琛尼克-斯佩尔-魏冈德特与拉赫戈特-罗比查克斯-魏冈德特度数公式之间的直接联系。
• 证明关于楔形格罗滕迪克多项式支撑集的新结果，解决梅萨罗斯、塞蒂亚布拉塔和圣迪齐耶的猜想。

提出的方法

• 本文使用带标记的无凸管梦想（BPDs）作为格罗滕迪克多项式的组合模型，其中每个带标记的BPD对应于多项式展开中的一个单项式。
• 引入下垂移动和K-理论下垂移动，将罗思BPD转换为其他BPD，以保持或改变单项式的次数。
• 通过拉赫戈特码 $r_i$ 分析格罗滕迪克多项式的次数，该码表示为形成递增序列而需从后缀中移除的最少元素数。
• 通过在左端最大化左上肘部（up-elbows）并受 $r_i - c_i$ 边界约束，确定度数为 $k$ 的分量 $\mathfrak{G}_\omega^{(k)}$ 的首项。
• 该方法证明了 $\mathfrak{G}_\omega^{(k)}$ 的首单项式是 $x_1^{e_1} \cdots x_n^{e_n}$ 的标量倍，其中 $e_i$ 基于满足和条件的最小索引 $j$ 定义。
• 证明依赖于表明任何非最大配置均可通过下垂移动或肘部重定位得到改进，从而与最大性矛盾。

实验结果

研究问题

• RQ1 哪些无凸管梦想在楔形排列的格罗滕迪克多项式中贡献最高次项？
• RQ2 通过无凸管梦想的组合学，佩琛尼克-斯佩尔-魏冈德特与拉赫戈特-罗比查克斯-魏冈德特度数公式之间有何组合关系？
• RQ3 楔形格罗滕迪克多项式度数-$k$ 分量的首项结构是什么？
• RQ4 是否能通过无凸管梦想移动完全刻画楔形格罗滕迪克多项式的支撑集？
• RQ5 何种条件可确保一个带标记的BPD对应于给定度数分量的首单项式？

主要发现

• 楔形排列的格罗滕迪克多项式中，最高次项来自一个带标记的BPD $(P, U(P))$，其中 $P$ 是约化的且恰好有一个上肘部，位于最低可能位置。
• 度数-$k$ 分量 $\mathfrak{G}_\omega^{(k)}$ 的首项是 $x_1^{e_1} \cdots x_n^{e_n}$ 的标量倍，其中 $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$，其中 $j$ 是满足和条件的最小索引。
• 通过依次对 $r_i > c_i$ 的最低管道进行下垂操作，将它们的上肘部尽可能向左推移，直到达到所需数量的上肘部为止，即可实现首项。
• 一个无凸管梦想 $P$ 贡献最高次项，当且仅当 $P$ 是约化的且恰好有一个上肘部，且该上肘部位于最低可能位置。
• 本文证明了楔形排列的佩琛尼克-斯佩尔-魏冈德特度数公式与拉赫戈特-罗比查克斯-魏冈德特公式等价，其依据是标记杨图 $\lambda(\omega)$ 中反对角路径的结构。
• 楔形格罗滕迪克多项式的支撑集通过受 $r_i - c_i$ 边界约束的上肘部的带标记BPD所对应的单项式集合被完全刻画，证实了梅萨罗斯、塞蒂亚布拉塔和圣迪齐耶猜想的特例。