[论文解读] Combinatorial relations on skew Schur and skew stable Grothendieck polynomials

Melody Chan, Nathan Pflueger|arXiv (Cornell University)|Sep 26, 2019

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

一句话总结

本文通过为偏斜形状上的集合值半标准表上提出一种新颖的行插入算法，建立了偏斜稳定格罗滕迪克多项式 $G_{\tau}$ 关于偏斜施瓦茨函数 $s_{\mu}$ 的组合展开。关键结果将 $G_{\tau}$ 表示为更大形状 $\mu \supseteq \tau$ 上的带符号和，其中系数计数 $\mu/\tau$ 的上部和下部区域上的特定表，统一了此前关于格罗滕迪克和施瓦茨函数展开的结果，并提供了一个对称且具有几何动机的公式。

ABSTRACT

We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set-valued semistandard tableaux of skew shape. This expansion unifies some previous results: it generalizes a combinatorial formula obtained in earlier joint work with López Martín and Teixidor i Bigas concerning Brill-Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner-Tenner-Yong to skew shapes. We also give an expansion in the other direction: expressing skew Schur functions in terms of skew Grothendieck polynomials.

研究动机与目标

• 提供偏斜稳定格罗滕迪克多项式 $G_{\sigma}$ 关于偏斜施瓦茨函数 $s_{\mu}$ 的组合展开，推广此前针对直形的结果。
• 统一并扩展已知展开结果，包括 Lenart（2000）和 Reiner-Tenner-Yong 的工作，推广至偏斜形状情形。
• 建立一个对偶展开，将偏斜施瓦茨函数表示为偏斜格罗滕迪克多项式的线性组合，从而反转关系方向。
• 提供一个具有几何动机的公式，通过集合值表计数解释布里尤-诺伊曼簇的欧拉示性数。

提出的方法

• 为偏斜形状上的集合值半标准表引入一种新型行插入算法，推广 Sagan-Stanley 和 Buch 的早期工作。
• 定义两种辅助表类型：在上部区域 $A(\mu/\sigma)$ 上的行弱有界半标准表，在下部区域 $B(\mu/\sigma)$ 上的行有界反行严格表。
• 利用插入算法推导出 $G_{\sigma}$ 的线性展开式：$\sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$，其中 $a_{\sigma,\mu}$ 为两表计数的乘积。
• 通过在形状划分上构造符号相反的对合，证明逆公式：当 $\lambda \supsetneq \sigma$ 时，逆展开中 $s_{\sigma}$ 的系数为零。
• 应用引理 4.2，证明对允许的偏斜形状划分的带符号和仅在形状最小时非零，从而证明逆展开。
• 利用偏斜形状的偏序结构，通过用 $S$、$R$ 或 $\emptyset$ 标记方格来定义允许的划分，并构造符号相反的对合。

实验结果

研究问题

• RQ1 如何将偏斜稳定格罗滕迪克多项式表示为偏斜施瓦茨函数的线性组合，且组合系数具有组合意义？
• RQ2 此类展开中系数的组合解释是什么，特别是关于偏斜形状上下两部分区域上的表？
• RQ3 该展开是否可逆，以将偏斜施瓦茨函数表示为偏斜格罗滕迪克多项式的线性组合？其结果系数的结构如何？
• RQ4 该展开如何推广 Lenart（2000）和 Reiner-Tenner-Yong 针对直形的结果？
• RQ5 该展开在几何或表示论上具有何种意义，特别是与布里尤-诺伊曼簇和欧拉示性数的关系？

主要发现

• 偏斜稳定格罗滕迪克多项式 $G_{\sigma}$ 允许线性展开 $G_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$，其中 $a_{\sigma,\mu}$ 为 $A(\mu/\sigma)$ 上行弱有界半标准表的数量与 $B(\mu/\sigma)$ 上行有界反行严格表的数量的乘积。
• 该展开推广了 Lenart 在 2000 年针对直形的结果，当 $\sigma$ 为直形时即为该结果的特例。
• 建立了逆公式：$s_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|A(\mu/\sigma)|} b_{\sigma,\mu} \cdot G_{\mu}$，其中 $b_{\sigma,\mu}$ 计数 $A(\mu/\sigma)$ 上行弱有界反行严格表与 $B(\mu/\sigma)$ 上行有界半标准表的数量。
• 证明依赖于形状划分上的符号相反对合，表明仅最小项 $\lambda = \sigma$ 对 $s_{\sigma}$ 的系数有贡献，从而证明了逆恒等式。
• 为偏斜集合值表设计的新行插入算法扩展了 Bandlow-Morse 和 Sagan-Stanley 的早期工作，为推导展开式提供了组合框架。
• 该结果为布里尤-诺伊曼簇的欧拉示性数提供了组合解释，如 [CP17] 所示，通过表计数将代数几何与对称函数理论联系起来。