[論文レビュー] Intersections of components of a Springer fiber of codimension one for the two column case

Anna Melnikov, Ngoc Gioan Jean Pagnon|ArXiv.org|Jan 5, 2007

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

ひとこと要約

本稿は、GLₙにおける2列の冪零軌道の場合のスプリンガー被覆の既約成分の交差構造を調査する。ロビンソン＝シェンステッド対応と、『後継』と呼ばれる特定の置換のクラスに基づく組合せ的枠組みを用いて、軌道的多様体の交差が余次元1である場合に、それが常に既約であることを示し、ヤング盤を用いた完全な組合せ的特徴付けを提供する。

ABSTRACT

This paper is a subsequent paper of math.RT/0607673. Here we consider the irreducible components of Springer fibres (or orbital varieties) for two-column case in GL}_n. We describe the intersection of two irreducible components, and specially give the necessary and sufficient condition for this intersection to be of codimension one. Since an orbital variety in two-column case is a finite union of the Borel orbits, we solve the initial question by determining orbits of codimension one in the closure of a given orbit. We show that they are parameterized by a specific set of involutions called descendants, already introduced by the first author in a previous work. Applying this result we show that the intersections of two components of codimension one are irreducible and provide the combinatorial description in terms of Young tableaux of the pairs of such components.

研究の動機と目的

• 2列の冪零軌道の場合に、スプリンガー被覆の2つの既約成分の交差が余次元1であるための必要十分条件を特定すること。
• このような余次元1の交差が常に既約であることを証明し、カジダン＝ルシュティックおよびホッタの予想的期待を解決すること。
• ヤング盤とロビンソン＝シェンステッド対応を用いて、余次元1の交差を持つ軌道的多様体のペアの組合せ的記述を提供すること。
• 『後継』と呼ばれる新しい種類の置換を導入し、その類を用いてボレル軌道の閉包とその余次元1成分を特徴づけること。

提案手法

• ロビンソン＝シェンステッド対応を用いて、盤と置換を関連づけ、軌道的多様体の交差を組合せ的データを通じて研究可能にする。
• メルニコフによって導入された特定の置換のクラスである『後継』を用い、与えられたボレル軌道の閉包における余次元1成分をパラメトライズする。
• 単純な反転 $ s_m $ が挿入盤に作用する様子を用いて、2つの盤 $ T $ と $ S $ が余次元1の交差 $ \mathcal{V}_T \cap \mathcal{V}_S $ をもたらす条件を特徴づける。
• 明示的な盤 $ P $ と反転 $ s_m $ を構成し、$ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ を満たすことで、余次元1条件を特徴づける。
• $ \mathfrak{B}^{2} $、つまり2次元の冪零錐におけるボレル軌道の多様体を分析し、ランク $ k $ に応じて層化し、分割 $ (n-k,k) $ に対応させる。
• 置換の標準形と最小の初等変換を用いて、軌道の閉包とその交差の組合せ的構造を記述する。

実験結果

リサーチクエスチョン

• RQ1 2列の場合に、スプリンガー被覆の2つの既約成分の交差が余次元1であるための必要十分条件は何か？
• RQ2 2列の場合に、スプリンガー被覆の既約成分間のすべての余次元1交差は、常に既約であるか？
• RQ3 ヤング盤とロビンソン＝シェンステッド対応を用いて、余次元1の交差を持つ軌道的多様体のペアをどのように組合せ的に特徴づけられるか？
• RQ4 盤の『後継』は、ボレル軌道の閉包における余次元1成分をどの程度正確にパラメトライズするか？
• RQ5 高次元の $ k $ 列の場合に $ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ 条件が成立しないことが、交差の非既約性とどのように関係するか？また、なぜ2列の場合にはその条件が成立するのか？

主な発見

• 交差 $ \mathcal{V}_T \cap \mathcal{V}_S $ が $ \mathcal{V}_T $ において余次元1であるための必要十分条件は、ある盤 $ P \in \mathbf{Tab}_{(n-k,k)} $ と単純な反転 $ s_m $ が存在し、$ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ を満たすことである。
• 2列の場合のスプリンガー被覆の既約成分間のすべての余次元1交差は、既約であることが確認され、型Aリーリー代数の文脈における重要な予想が裏付けられた。
• ボレル軌道の閉包における余次元1成分は、メルニコフの先行研究で導入された『後継』と呼ばれる特定の置換の集合によってパラメトライズされる。
• $ k=2 $ の場合、このような交差の組合せ的構造は、$ \mathrm{Change}(T,i,j) $ 操作と挿入盤への $ s_m $ の作用によって完全に記述できる。
• 高次元の $ k $ 列の場合とは異なり、2列の場合には条件 $ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ が余次元1交差の必要十分条件である。
• 本結果により、ロビンソン＝シェンステッド像への単純な反転の作用と相対的位置関係に基づいて、このような盤のペア $ (T,S) $ の完全な分類が得られた。