[論文レビュー] Singular components of the Springer fiber in the two-columns case

Lucas Fresse|ArXiv.org|Mar 14, 2008

DNA and Nucleic Acid Chemistry被引用数 4

ひとこと要約

本稿は、$u$ が2列のジョルダン型をもつ2次の冪零自己準同型であるとき、スプリンガー被覆 ${\mathcal{B}}_u$ の既約成分の特異性に関する必要十分条件を確立する。行標準テーブレットと最大トーラスの作用を用いて、成分 ${\mathcal{K}}^T$ が特異的であるための必要十分条件は、対応するフラグ $F_{T'}$ が ${\mathcal{K}}^T$ に含まれる行標準テーブレット $T'$ の数が $r(r-1)/2$ を超えることである。ここで $r$ はヤング図形の最初の列の長さである。

ABSTRACT

We consider the Springer fiber ${\mathcal B}_u$ corresponding to a nilpotent endomorphism $u$ of nilpotent order 2. As a first result, we give a description of the elements of a given component of ${\mathcal B}_u$ which are fixed by the action of the standard torus relative to some Jordan basis of $u$. By using this result, we establish a necessary and sufficient condition of singularity for the components of ${\mathcal B}_u$.

研究の動機と目的

• $u$ が2次冪零自己準同型で2列のジョルダン型をもつとき、スプリンガー被覆 ${\mathcal{B}}_u$ の既約成分のうち、どの成分が特異的であるかを特定すること。
• 被覆内のトーラス固定フラグの幾何学を用いて特異成分を特徴づけること。
• 関連するフラグが特定の成分に含まれる行標準テーブレットの数に基づく組合せ論的基準を提供すること。
• フック型および2行図形に対する既知の非特異性結果を超えて、2列の場合の特異成分の理解を拡張すること。

提案手法

• ${\mathcal{B}}_u$ の成分を2列ヤング図形 $Y(u)$ の標準ヤングテーブレットでパrameterizeすること。
• ${\mathcal{B}}_u$ の $H$-固定点を、行に沿って増加する番号付けである行標準テーブレットに対応させること。
• 最初の列に $1$ から $r$ まで、2列目に $r+1$ から $n$ までを割り当てた標準的な行標準テーブレット $\overline{T}$ を固定すること。
• 集合 ${\mathcal{X}}(Y)$ を、$\overline{T}$ の中で $i < j$ かつ $i \leq r$ を満たす2つの要素 $i,j$ を交換して得られる行標準テーブレットの集合として定義すること。
• $F_{\overline{T}}$ における接空間を用いて、行列成分 $\phi_{i,j}$ を含む特定の部分行列の小行列式の消滅に関する条件を導出し、接空間内の関係式を得ること。
• ${\mathcal{K}}^T$ が特異的であるための必要十分条件として、$F_{T'} \in {\mathcal{K}}^T$ を満たすような上記の $T'$ の数が $r(r-1)/2$ を超えることであることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 2次冪零自己準同型 $u$ で2列のジョルダン型をもつとき、スプリンガー被覆 ${\mathcal{B}}_u$ の成分がいつ特異的になるか。
• RQ2 成分 ${\mathcal{K}}^T$ の特異性を特定する組合せ論的条件として、関連するフラグが成分に含まれる行標準テーブレットの数はどのような役割を果たすか。
• RQ3 標準トーラス $H$ が ${\mathcal{B}}_u$ に作用するとき、その作用は成分の幾何学的性質および特異性とどのように関係するか。
• RQ4 成分に含む $H$-固定フラグの数を用いて、その特異点集合を特定できるか。

主な発見

• ${\mathcal{K}}^T$ が特異的であるための必要十分条件は、対応するフラグ $F_{T'}$ が ${\mathcal{K}}^T$ に含まれる行標準テーブレット $T'$ の数が $r(r-1)/2$ を超えることである。ここで $r$ はヤング図形 $Y(u)$ の最初の列の長さである。
• $\overline{T}$ に対応するフラグ $F_{\overline{T}}$ は、${\mathcal{B}}_u$ のすべての既約成分に含まれるため、中心的な基準点となる。
• $F_{\overline{T}}$ における ${\mathcal{K}}^T$ の接空間は、行列成分 $\phi_{i,j}$ に関する線形関係を課し、これは特定の部分行列の小行列式の消滅から導かれる。
• $F_{T'} \notin {\mathcal{K}}^T$ である場合、接空間の関係式により特定の $\phi_{i,j}$ が消えたり、次数 $\geq 2$ の多項式関係を満たすことが強制され、これが特異性基準の導出に用いられる。
• この基準は必要十分である：このような $T'$ の数が $r(r-1)/2$ を超えるならば ${\mathcal{K}}^T$ は特異的であり、そうでなければ非特異的である。
• この結果は、フック型および2行図形に対する既存の非特異性結果を一般化し、2列の場合の特異成分の完全な分類を提供する。