[論文レビュー] Equivariant Schubert calculus and jeu de taquin

Hugh Thomas, Alexander Yong|arXiv (Cornell University)|Jul 13, 2012

Advanced Combinatorial Mathematics参考文献 8被引用数 10

ひとこと要約

本稿では、グラスマン多様体における等変シューベルト構造係数の新しい組合せ的規則を提供するため、辺ラベル付きヤング盤と等変 jeu de taquin 理論を導入する。古典的 jeu de taquin を因子的シュール多項式へ拡張し、等変K理論の構造係数について正の公式を予想する。この公式は、$ z_i = \frac{t_i}{t_{i+1}} - 1 $ の変数における明示的に正の多項式として、既知の正性を実現する。

ABSTRACT

We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others. Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].

研究の動機と目的

• 辺ラベル付きヤング盤を用いた、グラスマン多様体における等変シューベルト計算の新しい組合せ的枠組みを構築すること。
• 古典的 jeu de taquin 理論を、リー型にわたる一様性と柔軟性を保ちつつ、等変設定に拡張すること。
• コホモロジーにおける等変シューベルト構造係数のための新しい組合せ的規則を提供すること。これは、Knutson-Tao や Molev が得た既存の規則を補完するものである。
• 因子的シュール多項式と一般化された盤モデルを一致させることで、等変コホモロジーにおける構造係数を計算すること。
• Anderson-Griffeth-Miller の正性結果を明示的に正の多項式として実現する、等変K理論の構造係数に関する正の公式を予想すること。

提案手法

• ボックスと水平辺上の部分集合にラベルを付した辺ラベル付きヤング盤を定義し、辺をまたぐ厳密不等式を含む半標準条件を満たすようにする。
• 特殊ラベル（$\star$ でマークされたもの）と辺ラベルを尊重する修正された jeu de taquin スライディング規則を用いた、これらの盤の正規化プロセスを導入する。
• 正規化の過程で特殊ラベルに重みを割り当てる。重みは $ 1 - \prod \hat{\beta}(\text{ボックス}) \cdot \prod \hat{\beta}(\text{右のボックス}) $ で与えられ、ここで $ \hat{\beta}(x) = \frac{t_i}{t_j} $ である。
• 特殊ラベル全体の積として $ \text{wt}_K(T) $ を定義し、$\star$ の数と辺ラベルに基づいて $ \text{sgn}(T) $ を定義する。
• 固定された正規化形状を持つ盤の集合に対する、等変K理論の構造係数の推測的規則を構成する。
• 符号付き重みを $ z_i = \frac{t_i}{t_{i+1}} - 1 $ の変数で再表現し、$ K_{\lambda,\mu}^\nu \cdot (-1)^{| u|-| u|-| u|} $ が $ \{z_i\} $ における明示的に正の多項式であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的 jeu de taquin 理論は、グラスマン多様体の等変設定においてどのように拡張可能か？
• RQ2 辺ラベル付き盤を用いたどの組合せ的モデルが、コホモロジーにおける等変シューベルト構造係数の新しい規則を提供するか？
• RQ3 Molev-Sagan の因子的シュール多項式の係数は、一般化された jeu de taquin 規則によってどのように解釈可能か？
• RQ4 Anderson-Griffeth-Miller の正性結果を明示的に正の多項式として実現する、等変K理論の構造係数に関する正の公式を構築可能か？
• RQ5 提案された辺ラベル付き盤の重みと符号の公式は、$ z_i $-変数における $ K_{\lambda,\mu}^\nu $ の明示的に正の表現をもたらすか？

主な発見

• 本稿では、古典的盤スライディングを等変設定に一般化する辺ラベル付きヤング盤と、それに伴う jeu de taquin 正規化プロセスを導入する。
• コホモロジーにおける等変シューベルト構造係数のための新しい組合せ的規則が確立され、Knutson-Tao や Molev が得た既存の規則とは別個のものである。
• 重み関数 $ \text{wt}_K(T) $ は、特殊ラベルの正規化経路に基づき定義され、各因子はスライディング過程で遭遇する $ t_i $-比に依存する。
• 予想 4.7 では、等変K理論の構造係数 $ K_{\lambda,\mu}^\nu $ が、正規化形状が $ \mu $ である盤の集合における $ \text{wt}_K(T) $ の符号付き和に等しいと述べている。ここで $ \text{sgn}(T) $ はラベルの数を考慮する。
• コンピュータによる検証により、$ n \leq 5 $ のすべての $ Gr(k, \mathbb{C}^n) $ および一部のより大きなケースで予想が確認され、公式の正性を支持する。
• 符号付き重み $ \text{sgn}(T) \cdot \text{wt}_K(T) $ が $ z_i = \frac{t_i}{t_{i+1}} - 1 $ の変数における明示的に正の多項式であることが示され、等変K理論における Anderson-Griffeth-Miller の正性が実現されている。