[论文解读] The "Grothendieck to Lascoux" conjecture

Victor Reiner, Alexander Yong|arXiv (Cornell University)|Feb 24, 2021

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

一句话总结

本文提出了一个猜想性的组合规则，通过 $K$-理论 jeu de taquin 和递增表，将 Grothendieck 多项式展开为 Lascoux 多项式。该规则推广了 Schubert 多项式和稳定 Grothendieck 多项式已知的展开式，并在 $\beta$-变形 Schubert 计算的背景下，为这两类对称与非对称多项式之间的转换提供了正的组合公式。

ABSTRACT

This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials.

研究动机与目标

• 提出一个将 $\beta$-Grothendieck 多项式 $\mathfrak{G}_w^{(\beta)}$ 展开为 $\beta$-Lascoux 多项式 $\Omega_\alpha^{(\beta)}$ 的组合规则。
• 推广已知的 Schubert 多项式到 key 多项式的正展开式，以及稳定 Grothendieck 多项式到 key 的展开式。
• 为 $K$-理论 Schubert 计算中稳定极限展开的非对称化提供一个精细结构。
• 通过 $K$-理论 jeu de taquin 和递增表，建立理解 $\beta$-Lascoux 多项式结构的框架。
• 探讨在非对称版本的稳定极限展开中，为何正性会失效，凸显对称与非对称情形之间的区别。

提出的方法

• 作者通过在最长置换 $w_0$ 上递归应用 $\pi_i$ 算子，定义 $\beta$-Grothendieck 多项式 $\mathfrak{G}_w^{(\beta)}$。
• 他们通过在弱组合 $\alpha$ 上递归使用 $\widetilde{\pi}_i$ 算子，定义 $\beta$-Lascoux 多项式 $\Omega_\alpha^{(\beta)}$。
• 该猜想利用 $K$-理论 jeu de taquin 和 $K$-infusion，将递增表与展开系数联系起来。
• 该方法依赖于最长递减子序列（LDS）在 $K$-理论 jeu de taquin 滑动下的不变性，从而保证形状保持不变。
• 该构造涉及 $K_{-}(P)$，即从递增表上一系列反向 $K$-矩形化得到的关键，其形状通过 LDS 不变性得以保持。
• 证明 $K_{-}(P)$ 为 key 的关键在于反向 $K$-矩形化中左上外角的选择，以及列包含性论证。

实验结果

研究问题

• RQ1 能否为 $\beta$-Grothendieck 多项式到 $\beta$-Lascoux 多项式的展开式，提出一个正的组合规则？
• RQ2 $K$-理论 jeu de taquin 结构如何与 Schubert 计算的非对称化推广相关联？
• RQ3 为何在从稳定极限过渡到 $\Omega_\alpha^{(\beta)}$ 时，非对称情形下的正性会失效？
• RQ4 递增表和 $K$-infusion 在构造展开系数中起到什么作用？
• RQ5 反向 $K$-矩形化路径的选择是否会影响 $K_{-}(P)$ 是否保持为 key？

主要发现

• 该猜想通过递增表和 $K$-理论 jeu de taquin 的组合数据，为 $\mathfrak{G}_w^{(\beta)}$ 提供了到 $\Omega_\alpha^{(\beta)}$ 的正展开。
• $K_{-}(P)$ 的形状被保持，且与 $P$ 的形状相同，该结论通过 $K$-理论滑动下最长递减子序列（LDS）的不变性得以证明。
• 该构造确保 $K_{-}(P)$ 为 key，因为反向 $K$-矩形化中左上外角的选择保持了列的包含性。
• 在非对称情形下，展开不具有正性：$\Omega^{(\beta)}_{1,0,2,1}$ 对 $\kappa_{2,1,2}$ 的系数为负，而其对称稳定极限则为正。
• 该方法推广了已知结果：它细化了稳定 Grothendieck 多项式到 key 的展开，并将 Schubert 到 key 的规则扩展到了 $\beta$-变形情形。
• 作者提供了此前错误陈述的猜想的修正版本，使其与早期报告及学生项目保持一致。