[論文レビュー] Schubert Classes in the Equivariant K-Theory and Equivariant Cohomology of the Grassmannian

Victor Kreiman|ArXiv.org|Dec 12, 2005

Advanced Combinatorial Mathematics参考文献 22被引用数 30

ひとこと要約

本稿は、シューベルト多様体を座標部分空間へと等変形する等変形グレブナー極限を用いて、グラスマンニアンの等変K理論およびコホロジーにおけるT固定点へのシューベルト類の制限について、明示的で正の公式を提供する。主な貢献は、半標準的セット値表を用いた組合せ論的公式であり、これはグリフェス・ラムとグレアムの構造定数 $ d_{\alpha,\beta}^{\beta} $ および $ c_{\alpha,\beta}^{\beta} $ に対する正の性質の予想を実現する。

ABSTRACT

We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Grassmannian. Our formulas rely on a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Grassmannian.

研究の動機と目的

• グラスマンニアンの等変K理論およびコホロジーにおけるT固定点へのシューベルト類の制限について、明示的で正の公式を提供すること。
• グリフェス・ラムおよびグレアムの構造定数 $ d_{\alpha,\beta}^{\beta} $ および $ c_{\alpha,\beta}^{\beta} $ に対する正の性質の予想を、グラスマンニアンの文脈で実現すること。
• 等変シューベルト計算と組合せ論の間の関係を、セット値表および極限された座標部分空間における包含除算法を通じて確立すること。
• グレブナー極限の枠組みを拡張し、極限から生じる座標部分空間の交差における包含除算法を用いて、等変制限を計算すること。

提案手法

• コディヤラム・ラガヴァンおよびクライマン・ラクシュミバイの結果に基づき、T固定点 $ e_\beta $ を中心とするシューベルト多様体 $ X_\alpha $ の近傍の等変グレブナー極限を、座標部分空間の和 $ W_{\alpha,\beta} $ にすること。
• 包含除算法を適用し、等変K理論類 $ [X_\alpha]_K|_{e_\beta} $ を、これらの座標部分空間の交差に関する符号付き和として表現する。係数 $ N_S $ は重複表現を補正する。
• 各交差 $ W_S $ に対して、$ [W_S]_K $ を計算する。これは座標部分空間であるため、等変K理論において容易に計算可能である。
• 得られた代数的表現を、符号が包含除算法の構造によって決定される半標準的セット値表を含む組合せ論的公式に翻訳する。
• 表に作用する符号反転の対合を用いて、和の項を打ち消し合い、特定の順序条件を満たす表の部分集合に限定された和に簡略化する。
• 特定の要素 $ g = S_{x,y,1} $ を含むか含まない表の間の双対写像を用いて、符号が反対の項を打ち消し合い、残りの和をさらに分解して、打ち消されない項を特定する。

実験結果

リサーチクエスチョン

• RQ1 グラスマンニアンの等変K理論におけるシューベルト類のT固定点への制限を、正の組合せ論的形でどのように表現できるか？
• RQ2 グリフェスとラムによる、等変K理論における構造定数 $ d_{\alpha,\beta}^{\beta} $ に対する正の性質の予想を、グラスマンニアンにおいて明示的に実現できるか？
• RQ3 シューベルト多様体のグレブナー極限に包含除算法を適用すると、等変制限の公式がどのように得られるか？
• RQ4 どの組合せ論的対象（特にどの表）が、等変類の包含除算法の和における打ち消されない項を符号化するか？
• RQ5 等変コホロジーにおける構造定数 $ c_{\alpha,\beta}^{\beta} $ は、同様の極限および表に基づく公式によって実現可能か？

主な発見

• 制限 $ [X_\alpha]_K|_{e_\beta} $ は、特定の順序および包含条件を満たす半標準的セット値表の正の和として与えられ、係数は極限された座標部分空間における包含除算法によって決定される。
• この公式により、グリフェスとラムの $ d_{\alpha,\beta}^{\beta} $ に対する正の性質の予想が実現され、$ t_b/t_a - 1 $ の形の項の和として表現され、K理論環において正である。
• 等変コホロジーにおける構造定数 $ c_{\alpha,\beta}^{\beta} $ は、正の根の単項式の和として表現され、グレアムの正の性質結果と整合的である。
• 表の集合における符号反転の対合により、すべての項が打ち消され、特定の部分集合 $ \mathcal{Y}'(S) $ に属する項を除いてすべてがキャンセルされ、和が簡略化される。
• 最終的な $ [X_\alpha]_K|_{e_\beta} $ の公式は、$ (-1)^{|S| + \|S\|} $ を乗じた表の部分集合に関する和として表現され、符号は表のサイズおよび内容に依存する。
• この方法により、問題が符号付きの組合せ論的対象の和に還元され、対合によるキャンセルにより正の性質と正しさが保証される。