[论文解读] Gröbner geometry of Schubert polynomials

Allen Knutson, Ezra Miller|arXiv (Cornell University)|Oct 5, 2001

Advanced Combinatorial Mathematics参考文献 53被引用 21

一句话总结

本文通过格罗布纳基、多总度和子词复形，建立了矩阵施伯特簇与通用矩阵中行列式理想之间的联系，为施伯特多项式奠定了几何基础。证明了这些簇的首项理想是科恩-麦克aul伊和可壳化的，从而统一解释了施伯特多项式及其相关组合学的自然性与非负性。

ABSTRACT

Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w: - variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials; - a Gröbner basis consisting of minors in the generic n x n matrix; - the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and - a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams. We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n'', which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.

研究动机与目标

• 通过代数几何与交换代数，为施伯特多项式及其非负性提供几何解释。
• 建立旗流形上同调与通用矩阵中行列式理想之间的联系。
• 通过子词复形证明矩阵施伯特簇的首项理想是科恩-麦克aul伊和可壳化的。
• 通过布吕特归纳法统一管道梦境、约化分解与格罗布纳基的组合学。
• 从几何退化与首项理想出发，推导出多总度与 $K$-多项式的非负性与多项式性质。

提出的方法

• 使用多总度与 $K$-多项式作为环挠等变上同调与 $K$-理论类的代数替代。
• 应用格罗布纳基理论于由 $n\times n$ 通用矩阵中子式生成的行列式理想 $I_w$。
• 基于差分与等重差分引入‘布吕特归纳’概念，沿弱布吕特序进行归纳。
• 将首项理想的斯坦利-雷伊纳复形构造为 $S_n$ 中的子词复形，推广至任意考辛纳群。
• 使用米托西斯算法计算子词复形的面，并将其与约化管道梦境关联。
• 通过退化与项序论证（特别是反对角序）证明 $\mathsf{in}(I_w) = J_w$，即首项理想等于矩阵施伯特簇的定义理想。

实验结果

研究问题

• RQ1 施伯特多项式如何作为旗流形上同调类的代表被几何解释？
• RQ2 矩阵施伯特簇的首项理想的代数与组合结构是什么？
• RQ3 为何施伯特多项式具有非负系数？能否从几何角度解释？
• RQ4 约化管道梦境与子词复形如何与首项理想的斯坦利-雷伊纳复形的面相关联？
• RQ5 能否通过格罗布纳退化，从行列式理想中恢复旗流形的上同调与 $K$-理论类？

主要发现

• 矩阵施伯特簇 $X_w$ 的首项理想 $\mathsf{in}(I_w)$ 等于行列式理想 $J_w$，且为素理想，从而证明 $I_w$ 是素理想。
• 首项理想 $\mathsf{in}(I_w)$ 的斯坦利-雷伊纳复形是 $S_n$ 中的子词复形，该复形可壳化，因此是科恩-麦克aul伊的。
• 矩阵施伯特簇 $X_w$ 的多总度由双施伯特多项式给出，而 $\Bbbk[\mathbf{z}]/I_w$ 的希尔伯特级数由双格罗滕迪克多项式给出。
• 关于 $w$ 的约化管道梦境与子词复形 $\mathcal{L}_w$ 的面之间存在双射，对应关系为 $D_L = [n]^2 \setminus L$。
• 米托西斯算法沿弱布吕特序递归计算 $\mathcal{L}_w$ 的面，并实现差分递推关系。
• 多总度与 $K$-多项式的非负性几何上源于首项理想为科恩-麦克aul伊，且退化过程保持多总度不变。