[論文レビュー] The combinatorics of orbital varieties closures of nilpotent order 2 in sl(n)

Anna Melnikov|ArXiv.org|Dec 17, 2003

Advanced Algebra and Geometry参考文献 7被引用数 5

ひとこと要約

本稿は、2行または2列の標準ヤング盤に制限された、Dufloの右弱順序とチェーン順序という2つの異なる部分順序の間の深いつながりを確立する。ロビンソン＝シェンステッド対応および jeu de taquin 技法を用いて、これらの順序がこのような盤において一致することを証明し、$ \mathfrak{sl}_n$ の極小階数2の軌道的多様体の閉包に対して幾何的帰結をもたらす。

ABSTRACT

We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).

研究の動機と目的

• 標準ヤング盤上の2つの組合せ的順序の関係を調査すること：Duflo順序（ロビンソン＝シェンステッドを介して対称群上の右弱順序から誘導される）とチェーン順序（切断を介してヤング図形上の優位順序から誘導される）。
• 特に2行または2列のヤング盤のクラスにおいて、これらの2つの順序が一致するかどうかを特定すること。
• この組合せ的一致が、$ \mathfrak{sl}_n$ の極小階数2の軌道的多様体に与える幾何的帰結を調査すること。
• ヤング盤とそれに関連する置換を用いて、軌道的多様体の閉包の包含関係を組合せ的に特徴付けること。

提案手法

• ロビンソン＝シェンステッド対応を用いて、$S_n$ の置換を同じ形状の標準ヤング盤のペアに関連付ける。
• ヤング細胞を通じて上昇させた弱右順序を介して、置換上の右弱順序に基づき、盤上のDuflo順序 $\buildrel\scriptscriptstyle D\over{\leq}$ を定義する。
• 切断された盤 $\pi_{i,j}(T)$ とその形状を優位順序で比較することにより、チェーン順序 $\buildrel\scriptscriptstyle C\over{\leq}$ を導入する。
• jeu de taquin 動作を用いて盤の切断を分析し、順序関係の条件を導出する。
• 写像 $T \mapsto T^\dagger$ を用いた双対性を応用し、2行の盤と2列の盤との間の関係を結ぶ。
• 盤の鎖に関する構造的結果と $\tau(T)$-関数を用いて、Duflo順序における直ちに続く要素を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Duflo順序とチェーン順序は、2行の標準ヤング盤の集合上で一致するか？
• RQ2 Duflo順序とチェーン順序は、2列の標準ヤング盤の集合上で一致するか？
• RQ3 この順序の一致が、$ \mathfrak{sl}_n$ の極小階数2の軌道的多様体に与える幾何的意義は何か？
• RQ4 ヤング盤とそれに関連する置換の組合せ論的性質は、軌道的多様体の閉包の包含関係をどのように反映するか？
• RQ5 軌道的多様体の閉包の包含関係は、2行または2列の盤におけるDuflo順序またはチェーン順序によって完全に特徴付けられるか？

主な発見

• Duflo順序 $\buildrel\scriptscriptstyle D\over{\leq}$ とチェーン順序 $\buildrel\scriptscriptstyle C\over{\leq}$ は、2行の標準ヤング盤の集合 $({\bf T}_n^2)^\dagger$ において一致する。
• 任意の $T, S \in ({\bf T}_n^2)^\dagger$ に対して、$T \buildrel\scriptscriptstyle D\over{<} S$ が成り立つのは、$w_T \buildrel\scriptscriptstyle D\over{<} w_S$ が成り立つときであり、ここで $w_T$ はロビンソン＝シェンステッド対応により $T$ に関連する置換である。
• 軌道的多様体の包含関係 $\mathcal{V}_S \subset \overline{\mathcal{V}}_T$ が成り立つのは、$\mathfrak{n} \cap^{w_S} \mathfrak{n} \subset \mathfrak{n} \cap^{w_T} \mathfrak{n}$ が成り立つときであり、幾何的包含関係がDuflo順序に結びつく。
• Duflo順序における盤 $T$ の直ちに続く要素の集合は、ちょうど $\{T\langle a_j + k_j \rangle \mid 1 \leq j \leq s\}$ に一致する。ここでパラメータは盤の構造から導かれる。
• この結果は、2行または2列の盤に限定して成り立ち、一般の盤には拡張されない。
• 証明は2行と2列の盤の間の双対性に依拠し、$\tau(T)$-関数と jeu de taquin を用いて切断と順序関係を分析する。