[論文レビュー] A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold

Shawn Robinson|ArXiv.org|Sep 21, 2000

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

本稿は、G = SL_n(\mathbb{C}) に対して、旗多様体 G/B の T-可換コホモロジーに対するピエリ型公式を確立し、ξ^c ξ^w = \sum p_{c,w}^u ξ^u の積における構造定数を計算するための組合せ論的規則を提供する。ここで c = c[k,m] は連続する単純反射の積である。主な結果は、これらの係数が、特別な k-上位性条件を満たす置換 u の集合上で、ある多項式 ξ^{c[k-p,m-p]}(v_{[u,w,k]}) の評価として表現されることを示しており、古典的ピエリ規則を、明示的な正値性を伴う、等化された設定に一般化する。

ABSTRACT

We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.

研究の動機と目的

• G = SL_n(\mathbb{C}) に対して、旗多様体 G/B の T-可換コホモロジーへの古典的ピエリ公式の一般化を達成すること。
• ξ^w が等化シューベルトクラスであるとき、積 ξ^c ξ^w = \sum p_{c,w}^u ξ^u における構造定数 p_{c,w}^u の組合せ論的公式の提供。
• S(\mathfrak{h}^*) における多項式としてのこれらの構造定数が、特定の多項式の評価によって明示的に正値であることを示すこと。

提案手法

• Kostant と Kumar によって構成された関数 ξ^w: W \to S(\mathfrak{h}^*) を用いて、等化シューベルト基底 {\xi^w}_{w \in W} を定義する。
• 置換 u が w に対して次数 p で特別な k-上位であるという概念を導入し、値、位置、長さの増加に関する条件で特徴づける。
• 主な結果を定式化する：ξ^c ξ^w = \sum_{0 \leq p \leq m, \, u \in S_{k,p}(w)} ξ^{c[k-p,m-p]}(v_{[u,w,k]}) ξ^u、ここで c = c[k,m] は m 個の連続する単純反射の積である。
• k に関する帰納法と、ξ^{c[k,m]} を ξ^{c[k-1,m]} + ξ^{c[k-1,m-1]}(ξ^{s_k} - ξ^{s_{k-1}} + L_{k-m+1} - L_k) に再帰的に分解する手法を用いる。
• S_{k,p}(w) の構造、多項式評価 ξ^w(v)、および ξ^w が ξ^{s_k} による乗算の下での振る舞いに関する補題を活用する。
• 構造定数と多項式恒等式の再帰的適用、特に遷移写像 v_{[u,w,k]} の使用を通じて、正値性と正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、旗多様体 SL_n(\mathbb{C})/B の等化コホモロジーに対する古典的ピエリ公式を拡張できるか？
• RQ2 積 ξ^c ξ^w における非ゼロの構造定数 p_{c,w}^u を保証する置換 u の組合せ論的条件は何か？
• RQ3 構造定数 p_{c,w}^u は、S(\mathfrak{h}^*) 内の多項式の評価として明示的に表現できるか？
• RQ4 この公式は、既知の等化構造定数の正値性を示しているか。もしそうなら、その正値性はどのように顕在化されているか？
• RQ5 特殊な場合において、この公式は、シューベルト多項式のピエリ規則など、既知の結果にどのように還元されるか？

主な発見

• 本稿は、c = c[k,m] が m 個の連続する単純反射の積であるとき、H_T^*(SL_n(\mathbb{C})/B) 内の ξ^c ξ^w に対して完全なピエリ型公式を提供する。
• 構造定数は、S_{k,p}(w) に属する u に対して p_{c,w}^u = ξ^{c[k-p,m-p]}(v_{[u,w,k]}) として与えられる。ここで S_{k,p}(w) は k-上位性条件によって定義される。
• p = m のとき、公式はシューベルト多項式の古典的ピエリ規則に還元され、Lascoux と Schützenberger の結果が回復される。
• 構造定数の正値性は、多項式 ξ^{c[k-p,m-p]}(v_{[u,w,k]}) の評価によって明示的に示され、与えられた条件下で非負であることが示されている。
• 公式は、k に関する帰納法を用い、ξ^{c[k,m]} の再帰的分解と、ξ^{c[k-1,m]}、ξ^{c[k-1,m-1]}、および置換 t_{kq} と t_{qk} を含む遷移項からの係数寄与の詳細な分析により証明される。
• 証明は、u \notin S_{k,p}(w) であっても u が S_{k-1,p}(w) に属する場合でも、ut_{kq} と ut_{q'k} を含む項の間でキャンセルが生じることを示し、係数が消えることを確立する。