[论文解读] Grothendieck polynomials via permutation patterns and chains in the Bruhat order

Cristian Lenart, Shawn Robinson+1 more|arXiv (Cornell University)|May 28, 2004

Advanced Combinatorial Mathematics参考文献 16被引用 4

一句话总结

本文通过布罗瓦特序中的链和排列模式，提出了格罗滕迪克多项式的新组合公式，证明了这些多项式中的系数即为施伯特结构常数。文章推导出K-理论中的Pieri型公式，并推广了特殊化公式，表明格罗滕迪克多项式中每个单项式的系数均可通过格罗滕迪克环中的几何拉回自然地表示为施伯特结构常数。

ABSTRACT

We give new formulas for Grothendieck polynomials of two types. One type expresses any specialization of a Grothendieck polynomial in at least two sets of variables as a linear combination of products Grothendieck polynomials in each set of variables, with coefficients Schubert structure constants for Grothendieck polynomials. The other type is in terms of chains in the Bruhat order. We compare this second type to other constructions of Grothendieck polynomials within the more general context of double Grothendieck polynomials and the closely related H-polynomials. Our methods are based upon the geometry of permutation patterns.

研究动机与目标

• 通过布罗瓦特序和排列模式，发展格罗滕迪克多项式的链理论构造方法。
• 推广格罗滕迪克多项式在多组变量集上的特殊化公式。
• 通过K-理论中的几何拉回，将格罗滕迪克多项式中单项式的系数识别为施伯特结构常数。
• 将新构造方法与现有方法（包括双格罗滕迪克多项式和H-多项式）进行比较。
• 建立支撑主要结果的K-理论中Pieri型公式。

提出的方法

• 作者利用旗流形嵌入在K-理论中的几何拉回，推导出格罗滕迪克多项式的公式。
• 他们通过布罗瓦特序中的链，将格罗滕迪克多项式构造为多项式乘积的线性组合。
• 关键技巧在于排列上的模式映射，该映射在格罗滕迪克环中诱导出一个拉回。
• 该方法依赖于K-理论中的Monk型公式，以及对特殊格罗滕迪克多项式乘法的对偶Pieri型公式。
• 作者通过从多组变量中代入，推广了特殊化公式，将结果表示为格罗滕迪克多项式乘积的ℤ-线性组合。
• 他们在排列具有受限下降模式的特殊情况下，应用Bergeron与Billey的插入算法来计算结构常数。

实验结果

研究问题

• RQ1 如何利用布罗瓦特序中的链，通过组合方法构造格罗滕迪克多项式？
• RQ2 当变量被特殊化时，格罗滕迪克多项式中系数的几何来源是什么？
• RQ3 施伯特结构常数如何自然地成为格罗滕迪克多项式中单项式的系数？
• RQ4 能否推导出格罗滕迪克多项式在多组变量集上特殊化的通用公式？
• RQ5 在何种情况下，Bergeron-Billey插入算法能计算新公式中的施伯特结构常数？

主要发现

• 格罗滕迪克多项式中任意单项式的系数均为施伯特结构常数，其来源于通过模式映射对结构层的拉回。
• 本文通过布罗瓦特序和排列模式，提出了格罗滕迪克多项式的新型链理论构造方法。
• 一个通用公式将格罗滕迪克多项式在多组变量集上的任意特殊化，表达为每组集合中格罗滕迪克多项式乘积的ℤ-线性组合。
• 该线性组合中的系数通过格罗滕迪克环中的拉回被识别为施伯特结构常数。
• 当排列满足特定下降条件时，Bergeron与Billey的插入算法可计算定理9.7中的结构常数。
• 根据推论9.10，单项式在施伯特多项式中的系数等于其形状对应的施伯特簇的交点数。