[論文レビュー] Knuth relations, tableaux and MV-cycles

Stéphane Gaussent, Peter Littelmann+1 more|arXiv (Cornell University)|Oct 4, 2012

Algebraic structures and combinatorial models参考文献 12被引用数 4

ひとこと要約

この論文は、$SL_n(\mathbb{C})$ のアフィングラスマンニアンの文脈において、Knuth同値関係の幾何的実現を確立する。語にギャラリー（コワイトの列）を対応させ、Białynicki-Birulaの細胞を備えた標準的なボット＝サマエル型多様体を構成することで、2つの語がKnuth同値であるための必要十分条件は、それらに対応する細胞がアフィングラスマンニアンへの自然な準同型のもとで同じミルコヴィッチ＝ヴィロネン（MV）サイクルへ写像されることであることを示している。

ABSTRACT

We give a geometric interpretation of the Knuth equivalence relations in terms of the affine Graß mann variety. The Young tableaux are seen as sequences of coweights, called galleries. We show that to any gallery corresponds a Mirković-Vilonen cycle and that two galleries are equivalent if, and only if, their associated MV cycles are equal. Words are naturally identified to some galleries. So, as a corollary, we obtain that two words are Knuth equivalent if, and only if, their associated MV cycles are equal.

研究の動機と目的

• $SL_n(\mathbb{C})$ のアフィングラスマンニアンを用いたKnuth同値関係の幾何的解釈を提供すること。
• ヤング盤とプレアック・モノイドの組み合わせ的枠組みを、MVサイクルを用いた幾何的設定へ拡張すること。
• 語のKnuth同値性とアフィングラスマンニアンにおける関連するMVサイクルの等価性の間の対応を確立すること。
• Lakshmibai-Seshadriのギャラリーに関する先行結果を、標準的ボット＝サマエル型多様体の構成を通じて、任意のギャラリーへ一般化すること。
• ギャラリーに関連する細胞の像の閉包がMVサイクルであること、かつKnuth同値性がそのような閉包の等価性に正確に対応することを証明すること。

提案手法

• $\mathbb{A} = \{1,\ldots,n\}$ のアルファベットにおける語を、$SL_n(\mathbb{C})$ の最大トーラスのアパルメント内における折れ線的経路（ギャラリー）として表現する。
• 各ギャラリーに、アフィンカク＝ムーディ群のパラボリック部分群の列を対応させ、ボット＝サマエル型多様体 $\Sigma = P_0 \times_{Q_0} \cdots \times_{Q_{r-1}} P_r / P_r$ を得る。
• 一般の反ドミナント1パrameter部分群 $\eta$ を用いて、$\Sigma$ 上にBiałynicki-Birulaの細胞分解を定義し、$\gamma$ で固定される細胞を $C_\gamma$ とする。
• アフィングラスマンニアン $\mathcal{G}$ への準同型 $\pi: \Sigma \to \mathcal{G}$ を構成し、その $C_\gamma$ への像をルート群作用を用いて分析する。
• ルート部分群の可換性則を用いて、$\pi(C_\gamma)$ をドミナントコワイト $\nu^\vee$ に作用するルート部分群の積として表現する。
• Knuth同値なギャラリーは、共通の稠密部分集合を持つ像をもたらし、したがって閉包が等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 プレアック・モノイドにおけるKnuth同値関係は、アフィングラスマンニアンにおけるMVサイクルを通じて幾何的に解釈可能か？
• RQ2 ギャラリーに対し、その像がアフィングラスマンニアンへの準同型のもとでMVサイクルとなるような、標準的な幾何的対象（例えば多様体と細胞）が存在するか？
• RQ3 2つの語のKnuth同値性は、それらに対応するMVサイクルの等価性に正確に対応するか？
• RQ4 ボット＝サマエル型多様体を用いて、半標準ヤング盤から任意のギャラリーへこの構成を一般化できるか？
• RQ5 非可換部分群 $U^-(\mathcal{K})$ のルート部分群の可換性則は、幾何的設定においてKnuth関係をどのように反映するか？

主な発見

• 2つのギャラリーがKnuth同値であるための必要十分条件は、それらに対応するMVサイクル—すなわち、$\pi$ によるそれらに対応する細胞の像の閉包—が等しいことである。
• $\gamma$ をギャラリーとするとき、$C_\gamma$ に関連する細胞の像の閉包 $\overline{\pi(C_\gamma)}$ は、あるドミナントコワイト $\nu^\vee$ に対するシューベルティエ・バニエティ $X_{\nu^\vee}$ 内のMVサイクルである。
• 任意のギャラリー $\gamma$ に対して、$\pi(C_\gamma)$ はドミナントコワイトに作用するルート部分群の積の稠密部分集合であり、この記述はKnuth移動に対して不変である。
• 半標準ヤング盤に対応する細胞の像はMVサイクルであり、形状とコワイトが固定されたとき、盤からMVサイクルへの写像は全単射である。
• この構成により、Knuth同値な語に対応する細胞の像は共通の稠密部分集合を持つことが保証され、したがってその閉包が等しいことが証明される。
• 証明はルート部分群の可換性則と非可換部分群 $U^-(\mathcal{K})$ の構造に依拠しており、Knuth移動が像の閉包を保存することを示している。