[論文レビュー] A combinatorial rule for (co)minuscule Schubert calculus

Hugh Thomas, Alexander Yong|arXiv (Cornell University)|Aug 11, 2006

Advanced Combinatorial Mathematics参考文献 13被引用数 7

ひとこと要約

本稿では、poset組合せ論と jeu de taquin 技法を用いて、(co)minuscule フラッグ多様体におけるシューベルト構造定数を計算する、根系に依存しない一様な組合せ論的規則を提示する。主な貢献は、cominuscule 再帰とシューベルト類の形状に基づくインデキシングを用いて、古典的および例外的リー型を統一するリトルウッド＝リチャードソン規則の一般化である。

ABSTRACT

We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.

研究の動機と目的

• すべてのリー型、特に例外的群を含めて、(co)minuscule フラッグ多様体におけるシューベルト計算の、一様で組合せ論的な規則を開発すること。
• グラスマンニアンでのみ既知であった古典的リトルウッド＝リチャードソン規則を、jeu de taquin および poset 的手法を用いて一般化すること。
• 幾何的サタケ対応とアフィングラスマンニアンのコホモロジーを通じて、シューベルト計算とリー群の表現論との間の接続を確立すること。
• シューベルト数を異なるリー型間で関連付けるために、新しい技法として 'cominuscule 再帰' を導入し、それを用いること。
• cominuscule 情報設定における等化的、K理論的、および量子シューベルト計算への拡張のための枠組みを提供すること。

提案手法

• cominuscule 根を含む正根の poset $\Lambda_{G/P}$ を用いる。これは (co)minuscule 情形では自己双対的かつ平面的である。
• Schubert 型を $\Lambda_{G/P}$ 内の下位イデアル（形状）によってインデキシングし、群の剰余類によるインデキシングを組合せ論的形状に置き換える。
• jeu de taquin 技法、特に逆転およびインフレーション対合（infusion involution）を用いて形状を操作し、構造定数を計算する。
• より小さいフラッグ多様体をより大きなものに埋め込むことで、異なるリー型間のシューベルト数を関連付ける 'cominuscule 再帰' を導入する。
• 幾何的埋め込みを通じて、cominuscule フラッグ多様体内のシューベルト多様体と、より小さいフラッグ多様体内のそれらとの間の同型を証明する。
• 幾何的サタケ対応およびリー代数のコホモロジーを用いて、結果を表現論的言語で解釈する。

実験結果

リサーチクエスチョン

• RQ1 リトルウッド＝リチャードソン規則は、すべての (co)minuscule フラッグ多様体において、すべてのリー型に跨る一様な方法で一般化可能か？
• RQ2 jeu de taquin および poset 組合せ論は、(co)minuscule 環境におけるシューベルト構造定数の計算にどのように適合可能か？
• RQ3 cominuscule 再帰は、異なるリー群間のシューベルト計算をどのように関連付けるか？
• RQ4 シューベルト交差数 $c_{\lambda,\mu}^{\nu}(G/P)$ は、表現論におけるテンソル積の重複度とどのような関係にあるか？
• RQ5 幾何的サタケ対応は、主な規則をアフィングラスマンニアンのシューベルト多様体の交差ホモロジーへの作用として解釈するために利用可能か？

主な発見

• すべての (co)minuscule フラッグ多様体において、すべての古典的および例外的リー型に跨る、シューベルト構造定数 $c_{\lambda,\mu}^{\nu}(G/P)$ に対する一様な組合せ論的規則が確立された。
• 規則は、(co)minuscule 情形では自己双対的かつ平面的である poset $\Lambda_{G/P}$ 内の下位イデアルによる形状インデキシングに基づく。
• jeu de taquin の逆転およびインフレーション対合は、構造定数を組合せ論的に計算するための構成的技法を提供する。
• cominuscule 再帰は、フラッグ多様体の幾何的埋め込みを通じて、異なるリー型間のシューベルト数を関連付けるための新しい技法として導入された。
• 主定理は根系の帰納法に基づいて証明され、特に例外的ケース $\mathbb{O}\mathbb{P}^2$ および $G_\omega(\mathbb{O}^3,\mathbb{O}^6)$、および二次曲面フラッグ多様体に対して特別な取り扱いがなされた。
• 規則は、シューベルト計算とアフィングラスマンニアンのコホモロジーおよび minuscule 表現との間の接続を示す、幾何的サタケ対応の特別なケースとして解釈された。