[论文解读] A Gröbner basis for Kazhdan-Lusztig ideals

Alexander Woo, Alexander Yong|arXiv (Cornell University)|Sep 3, 2009

Advanced Combinatorial Mathematics参考文献 18被引用 8

一句话总结

本文为A型中的Kazhdan–Lusztig理想构造了一个首项为平方自由的Gröbner基，实现了Schubert簇到坐标子空间并集的几何退化。该构造解释了在Rothe图上出现管道梦想的自然性，并通过单一的代数几何框架统一了Schubert多项式与Grothendieck多项式、等变K-理论特化公式以及重数公式的组合公式。

ABSTRACT

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.

研究动机与目标

• 通过为Kazhdan–Lusztig理想提供Gröbner基，解决问题1.1，该理想编码了在torus-固定点处Schubert簇的局部方程。
• 为Schubert微分几何中管道梦想在Rothe图上出现的现象提供几何解释。
• 统一并为涉及Schubert多项式与Grothendieck多项式、等变K-理论特化公式以及Schubert簇重数的组合公式提供新的证明。
• 将Knutson–Miller对Schubert行列式理想Gröbner基定理推广至更广泛的Kazhdan–Lusztig理想类。
• 通过特定坐标系与项序，建立Kazhdan–Lusztig簇的非迭代显式退化，使其成为仿射空间的约化并集。

提出的方法

• 作者利用从排列的Rothe图导出的特定单项序与坐标系，构造了Kazhdan–Lusztig理想的Gröbner基。
• 他们采用与子词复形相关的单纯复形的顶点分解，分析理想$I_{v,w}$的首项理想。
• 证明依赖于对$π(w_0v)$的归纳，通过单纯复形上的邻域与删除操作将问题约化为更小的情形。
• 关键技术工具包括Kostant–Kumar递推公式，以及对矩阵构造中关键方块与子式进行的组合论证。
• 该方法表明Gröbner基的首项为平方自由单项式，对应于Rothe图上的管道梦想。
• 该构造显式实现了Knutson的一个Kazhdan–Lusztig簇退化，提供了先前工作中未出现的方程与坐标。

实验结果

研究问题

• RQ1 如何为Kazhdan–Lusztig理想显式构造Gröbner基，这些理想推广了Schubert行列式理想？
• RQ2 为何管道梦想自然地出现在Rothe图上，而非整个$n \times n$网格上？
• RQ3 通过Gröbner基实现的Schubert簇几何退化，能否解释Schubert多项式与Grothendieck多项式的正性与组合性质？
• RQ4 Gröbner基如何统一Buch–Rimányi与Fomin–Kirillov的等变K-理论公式？
• RQ5 在Schubert簇的重数公式中，齐次性与分次结构起何作用，特别是在Grassmannian情形下？

主要发现

• 本文构造了Kazhdan–Lusztig理想的Gröbner基，其首项为平方自由单项式，实现了向坐标子空间约化并集的单一几何退化。
• 该退化几何地解释了管道梦想在Rothe图上出现的原因，解决了长期存在的组合学问题。
• Gröbner基为Schubert多项式的单项式正性提供了新且直接的证明，推广了Knutson–Miller的结果。
• 该构造统一并为Buch–Rimányi等变K-理论特化公式及Fomin–Kirillov的早期公式提供了几何解释。
• 在Grassmannian情形下，该方法导出了显式的重数公式，且证明了相关理想在标准分次下为齐次理想。
• 证明技术基于顶点分解与对$w_0v$长度的归纳，通过组合交换代数方法建立Gröbner基，无需依赖Frobenius分裂或迭代退化。