[論文レビュー] Affine insertion and Pieri rules for the affine Grassmannian

Thomas Lam, Luc Lapointe+2 more|ArXiv.org|Sep 4, 2006

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

ひとこと要約

この論文は、$SL(n,\mathbb{C})$ のアフィン・グラスマンニアンのコホロジーおよびホモロジーにおけるピエリ規則を確立するために、ロビンソン＝シュナイダー＝クヌース対応の一般化であるアフィン挿入を導入する。強さと弱さのテーブュルを用いた組合せ的枠組みを提供し、この挿入を介して$k$-シュール関数を定義し、新たな双対性写像を通じて弱い順序と強い順序の双対性を証明することで、この設定におけるシューベルト計算の完全な組合せ的解釈を提供する。

ABSTRACT

We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.

研究の動機と目的

• アフィン・グラスマンニアン $\mathrm{Gr}$ に関連するシューベルト計算の組合せ的枠組みを構築すること。
• コホロジー $H^*(\mathrm{Gr})$ およびホモロジー $H_*(\mathrm{Gr})$ におけるピエリ規則を確立し、特別なシューベルト類と任意のシューベルト類の積をシューベルト類の和として表現すること。
• 強さテーブュルの生成関数として、$k$-シュール関数の新しい組合せ的定義を提供すること。
• アフィン挿入を用いて、$H^*(\mathrm{Gr}) \times H_*(\mathrm{Gr}) \to \mathbb{Z}$ のカップ積ペアリングを組合せ的に解釈すること。
• アフィンフラッグ多様体における予想的なピエリ規則への理論の拡張を行い、より広範な幾何的意味を示唆すること。

提案手法

• アフィン挿入は、同じ形状を持つ強さテーブュルと弱さテーブュルのペアへのバイワードの双対性として定義され、古典的なRSK対応を一般化する。
• この構成は、アフィン対称群 $\widetilde{S}_n$ の強さと弱さの順序に基づくもので、周期的置換とコア分割を用いてテーブュルが定義される。
• 弱い順序における被覆における挿入プロセスをモデル化するため、局所的挿入規則 $\phi_{u,v}$ が導入され、交換可能および非交換可能な場合のケース解析が行われる。
• 双対性を確立するために逆挿入プロセスが定義され、挿入タイプと位置に基づくケース分解による構造的証明が採用される。
• 理論はコアと有界分割の観点から解釈され、$k$-シュール関数が$t$-依存する対称関数との関係を示す。
• カップ積ペアリングは、同じ形状の強さテーブュルと弱さテーブュルの内積として組合せ的に解釈される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、アフィン・グラスマンニアンのシューベルト基底を強さと弱さのテーブュルを用いて組合せ的に解釈できるか？
• RQ2 コホロジー $H^*(\mathrm{Gr})$ およびホモロジー $H_*(\mathrm{Gr})$ におけるピエリ規則の背後にある組合せ的構造は何か？
• RQ3 アフィン挿入はRSK対応をどのように一般化し、弱い順序と強い順序の間の双対性を明らかにするか？
• RQ4 $k$-シュール関数は強さテーブュルの生成関数として組合せ的に定義可能か？
• RQ5 テーブュルの観点から、$H^*(\mathrm{Gr}) \times H_*(\mathrm{Gr}) \to \mathbb{Z}$ のペアリングの幾何学的・代数的意味は何か？

主な発見

• この論文は、アフィン・グラスマンニアンのコホロジーおよびホモロジーにおける明示的なピエリ規則を確立し、特別なシューベルト類と任意のシューベルト類の積をシューベルト類の和として表現する。
• 強さテーブュルの生成関数として、$k$-シュール関数の新しい組合せ的定義が提供され、$t$-依存する対称関数における単項式展開が得られる。
• アフィン挿入がバイワードとテーブュルのペア（一つは強さ、もう一つは弱さ）との間の双対的対応であることが示され、従来観察されていなかった弱い順序と強い順序の双対性が明らかになる。
• カップ積ペアリングは、同じ形状の強さテーブュルと弱さテーブュルの内積として組合せ的に解釈され、コホロジーとホモロジーの双対性の組合せ的実現が得られる。
• 理論はコアと有界分割へと拡張され、$k$-コアと有界分割の間の双対性写像が確立され、$k$-シュール関数の統一的枠組みが可能になる。
• アフィン挿入プロセスは、$n \to \infty$ の極限で古典的なRSK対応と一致し、既知の組合せ論と整合性が保証される。