[論文レビュー] B-orbits of nilpotent order 2 and link patterns

Anna Melnikov|ArXiv.org|Mar 13, 2007

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

ひとこと要約

本稿は、2次ノルム行列の厳密上三角行列の多様体におけるB軌道の組合せ的記述を、リンクパターンを用いて行い、対称群の対合と双対性を確立する。この枠組みを用いて、軌道的多様体の閉包とスプリンガー被覆の成分の交わりを計算し、幾何学的・組合せ的双対性を通じてミーランドとテンパール・リーブ代数に結果を結びつける。

ABSTRACT

In this paper we describe geometry of orbits of upper triangular matrices of nilpotent order 2 under conjugation by the group of upper triangular invertible matrices in terms of link patterns. Further we apply this description to the computations of the closures of orbital varieties of nilpotent order 2 and intersections of components of a Springer fiber of nilpotent order 2. In particular we connect our results to the combinatorics of meanders and Temperley-Lieb algebras.

研究の動機と目的

• 厳密上三角行列の2次ノルム行列の多様体におけるB軌道の完全な組合せ的記述を提供すること。
• これらの軌道の幾何学をリンクパターンと関連づけ、ジョルダン＝ゲルステンハーバー理論を非単純的設定に拡張すること。
• リンクパターンの枠組みを用いて、2次ノルム行列の軌道的多様体の閉包を計算すること。
• 2次ノルム行列のスプリンガー被覆の成分の交わりを分析すること。
• B軌道の幾何学とミーランドの組合せ論およびテンパール・リーブ代数の表現論との間の関係を確立すること。

提案手法

• Lie代数 $\mathfrak{n}_n$ である厳密上三角行列の空間 $\mathcal{X}_n = \{u \in \mathfrak{n}_n \mid u^2 = 0\}$ におけるB軌道をリンクパターンでパrametrizeする。
• B軌道と対称群 $\mathbf{S}_n$ の対合との間の双対性を確立し、リンクパターンが軌道構造を符号化する。
• 対応する軌道の組合せ的データを符号化する行列 $R_\sigma$ を用いて、対合 $\sigma$ のリンクパターンを $\{(i,j) \mid (R_\sigma)_{i,j} = 1\}$ の集合によって定義する。
• 分割の支配順序とヤング図形を用いて軌道の閉包を記述し、リンクパターンが軌道閉包関係の精密な組合せ的モデルを提供する。
• リンクパターン形式を用いて、スプリンガー被覆 $\mathcal{F}_S \cap \mathcal{F}_T$ の成分の交わりの余次元を計算する。行列 $M_{S,T}$ 及びその1-セグメントを用いる。
• 軌道閉包の成分の対合に基づき、$M_{S,T}$ の重複する1-セグメントに基づく、$\mathcal{F}_S \cap \mathcal{F}_T$ の可約性の十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次ノルム行列の厳密上三角行列の多様体におけるB軌道の幾何学を、組合せ的不変量を用いて完全に記述する方法は何か？
• RQ2 2次ノルム行列のB軌道と対称群 $\mathbf{S}_n$ の対合との間の明確な関係は何か？
• RQ3 リンクパターンは、$\mathcal{X}_n$ 内のB軌道の閉包関係をどのように符号化するか？
• RQ4 2次ノルム行列のスプリンガー被覆の成分の交わりの構造は何か？ そして、その構造をどのように組合せ的に計算できるか？
• RQ5 得られた結果は、ミーランドの組合せ論およびテンパール・リーブ代数の表現論とどのような形で関連するか？

主な発見

• $\mathcal{X}_n$ 内のB軌道の数は、$\mathbf{S}_n$ 内の対合の数に等しく、各軌道は一意にリンクパターンに対応する。
• B軌道 $\mathcal{B}_\sigma$ の閉包は、分割の支配順序によって記述され、リンクパターンが軌道閉包関係の精密な組合せ的モデルを提供する。
• B軌道 $\mathcal{B}_\sigma$ の次元は $\dim \mathcal{B}_\sigma = n^2 - \sum_{i=1}^l (\lambda_i^*)^2$ で与えられ、ここで $\lambda^*$ は軌道に付随する分割の共役分割である。
• $\mathcal{F}_S \cap \mathcal{F}_T$ は、$M_{S,T}$ の1-セグメントが $i_{s+1} = j_s$ または $i_{s+1} < j_s$ かつ $(R_{S,T})_{i_s,j_{s+1}} = 1$ を満たすような重複条件を満たす場合、可約である。
• $\mathcal{F}_S \cap \mathcal{F}_T$ の $\mathcal{F}_S$ における余次元は、中間の軌道の次元のジャンプによって計算可能であり、ジャンプは次元が等しくない成分から生じる。
• この枠組みにより、2次ノルム行列のB軌道の幾何学とミーランドの組合せ論およびテンパール・リーブ代数の表現論との間の直接的な関係がリンクパターン形式を通じて確立される。