[論文レビュー] Grothendieck polynomials via permutation patterns and chains in the Bruhat order

Cristian Lenart, Shawn Robinson+1 more|arXiv (Cornell University)|May 28, 2004

Advanced Combinatorial Mathematics参考文献 16被引用数 4

ひとこと要約

本稿では、Bruhat順序における鎖と置換パターンを用いた新しい組合せ論的公式を通じて、Grothendieck多項式の係数がシューベルト構造定数であることを確立する。K理論におけるピエリ型の公式を導出し、特殊化公式を一般化し、Grothendieck多項式における任意の単項式係数が、Grothendieck環における幾何的プルバックを通じて自然にシューベルト構造定数として現れることを示している。

ABSTRACT

We give new formulas for Grothendieck polynomials of two types. One type expresses any specialization of a Grothendieck polynomial in at least two sets of variables as a linear combination of products Grothendieck polynomials in each set of variables, with coefficients Schubert structure constants for Grothendieck polynomials. The other type is in terms of chains in the Bruhat order. We compare this second type to other constructions of Grothendieck polynomials within the more general context of double Grothendieck polynomials and the closely related H-polynomials. Our methods are based upon the geometry of permutation patterns.

研究の動機と目的

• Bruhat順序と置換パターンを用いた鎖理論的構成法によりGrothendieck多項式を構築すること。
• 複数の変数集合におけるGrothendieck多項式の特殊化公式を一般化すること。
• Grothendieck多項式における単項式の係数が、K理論における幾何的プルバックを通じてシューベルト構造定数として自然に現れることを特定すること。
• 本手法を、二重Grothendieck多項式およびH多項式を含む既存の手法と比較すること。
• 主な結果の背後にあるK理論におけるピエリ型の公式を確立すること。

提案手法

• 著者らは、フラッグ多様体の埋め込みに沿ったK理論における幾何的プルバックを用いて、Grothendieck多項式の公式を導出する。
• 彼らは、Bruhat順序における鎖を介して、多項式の積の線形結合としてGrothendieck多項式を構成する。
• 主な技術的手段として、置換上のパターン写像がGrothendieck環におけるプルバックを誘導することを用いる。
• この手法は、K理論におけるモノン型の公式と、特別なGrothendieck多項式による乗法の双対ピエリ型公式に依存する。
• 著者らは、複数の変数集合からの変数の代入を用いて特殊化公式を一般化し、結果を各集合におけるGrothendieck多項式の積のZ線形結合として表現する。
• 彼らは、BergeronとBilleyが提案した挿入アルゴリズムを、置換の降下パターンに制限がある特別な場合に構造定数を計算するために適用する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、Bruhat順序における鎖を用いた組合せ論的構成法によってGrothendieck多項式を構築できるか？
• RQ2 変数が特殊化された際、Grothendieck多項式の係数の幾何的起源は何か？
• RQ3 シューベルト構造定数はどのように自然にGrothendieck多項式の係数として現れるか？
• RQ4 複数の変数集合におけるGrothendieck多項式の特殊化に関する一般公式を導出できるか？
• RQ5 Bergeron-Billeyの挿入アルゴリズムは、どのような場合に、本稿の新公式における構造定数を計算するか？

主な発見

• Grothendieck多項式における任意の単項式係数は、パターン写像に沿った構造層のプルバックから生じるシューベルト構造定数である。
• 本稿では、Bruhat順序と置換パターンを用いた新しい鎖理論的構成法によりGrothendieck多項式が与えられる。
• 任意の複数の変数集合におけるGrothendieck多項式の特殊化を、各集合におけるGrothendieck多項式の積のZ線形結合として表す一般公式が得られる。
• この線形結合における係数は、Grothendieck環におけるプルバックを通じてシューベルト構造定数として特定される。
• 置換が特定の降下条件を満たす場合、BergeronとBilleyの挿入アルゴリズムは、定理9.7における構造定数を計算する。
• シューベルト多項式における単項式の係数は、その単項式の形状に対応するシューベルト多様体との交点数に等しく、これは系9.10で示されている。