[論文レビュー] Gröbner geometry of Schubert polynomials

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

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

ひとこと要約

本稿は、グレブナー基底と多重次数を介して、一般行列の行列式イデアルと行列シューベルト多項式の間の幾何的基礎を確立する。この研究では、シューベルト多項式の自然性と正値性の統一的幾何的解釈を提供する。さらに、部分語複体による初期イデアルがコhen–マカウルおよびシェーリング可能であることを証明し、行列シューベルト多様体の初期イデアルがコhen–マカウルかつシェーリング可能であることを示している。

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.

研究の動機と目的

• 代数的幾何学と可換環論を用いて、シューベルト多項式の幾何的解釈とその正値性を提供すること。
• フラッグ多様体のコホロジーと一般行列における行列式イデアルの間の関係を確立すること。
• 行列シューベルト多様体の初期イデアルが部分語複体によるコhen–マカウルかつシェーリング可能であることを証明すること。
• ブルアット順序に沿った帰納法を用いて、パイプドリーム、削減分解、およびグレブナー基底の組合せ論を統一すること。
• 幾何的退化と初期イデアルから、多重次数および $K$-多項式の正値性と多項式性を導出すること。

提案手法

• トーラス作用付きコホロジーおよび $K$-理論類の代わりに、多重次数と $K$-多項式を用いる。
• $n\times n$ 一般行列における小行列式によって生成される行列式イデアル $I_w$ にグレブナー基底理論を適用する。
• 除法および等重み除法差分に基づく「ブルアット帰納法」の概念を導入し、弱ブルアット順序に沿って帰納的に扱う。
• 初期イデアルのスターリング–ライスナー単体複体を $S_n$ 上の部分語複体として構成し、任意のコクセター群へ一般化する。
• mitosis アルゴリズムを用いて、部分語複体の facet を計算し、それらを削減パイプドリームに関連付ける。
• 特に反対角順序を用いた退化と項順序の議論により、$\mathsf{in}(I_w) = J_w$ であることを示し、初期イデアルが行列シューベルト多様体の定義イデアルに一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 シューベルト多項式は、フラッグ多様体におけるコホロジー類の代表元としてどのように幾何的に解釈できるか？
• RQ2 行列シューベルト多様体の初期イデアルの代数的および組合せ論的構造は何か？
• RQ3 なぜシューベルト多項式の係数が正であるのか、そしてこれは幾何的にどのように説明できるか？
• RQ4 削減パイプドリームと部分語複体は、初期イデアルのスターリング–ライスナー複体の facet とどのように関係しているか？
• RQ5 フラッグ多様体のコホロロジー的および $K$-理論的類は、グレブナー退化を介して行列式イデアルから回復可能か？

主な発見

• 行列シューベルト多様体 $X_w$ の初期イデアル $\mathsf{in}(I_w)$ は行列式イデアル $J_w$ に等しく、素イデアルである。これは $I_w$ が素イデアルであることを示している。
• 初期イデアル $\mathsf{in}(I_w)$ のスターリング–ライスナー複体は $S_n$ 上の部分語複体であり、シェーリング可能であるため、コhen–マカウルである。
• 多様体 $X_w$ の多重次数は二重シューベルト多項式で与えられ、$\Bbbk[\mathbf{z}]/I_w$ のヒルベルト級数は二重グロテンディーク多項式で与えられる。
• $w$ の削減パイプドリームは、部分語複体 $\mathcal{L}_w$ の facet と双対である。対応は $D_L = [n]^2 \setminus L$ で与えられる。
• mitosis アルゴリズムは、弱ブルアット順序に沿って $\mathcal{L}_w$ の facet を帰納的に計算し、除法差分の再帰的性質を実現する。
• 多重次数および $K$-多項式の正値性は、初期イデアルがコhen–マカウルであり、退化が多重次数を保存することから、幾何的に導かれる。