[論文レビュー] Generic singularities of nilpotent orbit closures

Baohua Fu, Daniel Juteau+2 more|arXiv (Cornell University)|Feb 20, 2015

Advanced Algebra and Geometry参考文献 54被引用数 6

ひとこと要約

この論文は、例外的リー代数における放物型軌道閉包の一般化された特異点を、スロドウスキー断片との交わりを分析することで分類し、クラフトとプロセッチの古典的結果を拡張する。大部分の特異点は単純な表面特異点または最小特異点であるが、古典的型では観測されなかった6種類の新しい特異点——3つの一枝非正規特異点と3つの孤立した4次元特異点——を同定した。

ABSTRACT

According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie algebras, Kraft and Procesi showed that these two types of singularities suffice to describe all generic singularities of nilpotent orbit closures: specifically, any such singularity is either a simple surface singularity, a minimal singularity, or a union of two simple surface singularities of type $A_{2k-1}$. In the present paper, we complete the picture by determining the generic singularities of all nilpotent orbit closures in exceptional Lie algebras (up to normalization in a few cases). We summarize the results in some graphs at the end of the paper. In most cases, we also obtain simple surface singularities or minimal singularities, though often with more complicated branching than occurs in the classical types. There are, however, six singularities which do not occur in the classical types. Three of these are unibranch non-normal singularities: an $SL_2(\mathbb C)$-variety whose normalization is ${\mathbb A}^2$, an $Sp_4(\mathbb C)$-variety whose normalization is ${\mathbb A}^4$, and a two-dimensional variety whose normalization is the simple surface singularity $A_3$. In addition, there are three 4-dimensional isolated singularities each appearing once. We also study an intrinsic symmetry action on the singularities, in analogy with Slodowy's work for the regular nilpotent orbit.

研究の動機と目的

• 例外的リー代数における放物型軌道閉包の一般化された特異点の分類を完成させ、古典的型における先行研究を拡張すること。
• 例外的リー代数における軌道の最小退化における放物型スロドウスキー断片 ${\mathcal{S}}_{{\mathcal{O}},e}$ の同型型を特定すること。
• 古典的型に現れない特異点、特に一枝非正規および孤立した4次元特異点を同定・特徴づけること。
• スロドウスキーの特異点における対称性作用を、例外的型における放物型軌道閉包の一般化された特異点へ拡張すること。
• すべての例外的リー代数における特異点とその関係を包括的に図示する。

提案手法

• スロドウスキー断片 ${\mathcal{S}}_{{\mathcal{O}},e} = \overline{\mathcal{O}} \cap (e + \mathfrak{g}^f)$ を用いて、$\overline{\mathcal{O}}$ の境界における最小退化 $\mathcal{O}'$ の点における局所的幾何を研究する。
• 代数的同型が完全に決定されない場合、特に非正規または解析的に特異な場合に、正規化技術を用いて特異点を分析する。
• ナミカワによるシンプレクティック多様体および有理的ゴレンシュタイン特異点の特徴づけの結果を応用し、特異点の構造を制約する。
• 中心化子 $A(e)$ からの内在的対称性作用を用いて、異なる軌道型間の特異点を関連づけ、分類する。
• 例外的リー代数における放物型軌道およびその閉包順序の既知の分類を用い、すべての最小退化を体系的に分析する。
• 単純特異点および軌道閉包の標準的表記を用いて、特異点タイプとその関係を図式化する。

実験結果

リサーチクエスチョン

• RQ1 例外的リー代数における放物型軌道の閉包に現れる一般化された特異点は何か？ そして古典的型とはどのように異なるか？
• RQ2 非正規または高次元の孤立特異点のような、新しい種類の特異点が、例外的系列に特有に現れるのか？
• RQ3 $A(e)$ からの内在的対称性作用は、例外的リー代数における放物型軌道閉包の一般化された特異点へどのように拡張されるか？
• RQ4 特異点はどの程度代数的同型に関して分類可能か？ また、いつ正規化または解析的同型のみが決定されるのか？
• RQ5 スロドウスキー断片は、例外的型における軌道閉包の特異点における局所的幾何をどのように符号化するか？

主な発見

• 例外的リー代数における放物型軌道閉包の一般化された特異点は、ほとんどが単純な表面特異点または最小特異点であり、古典的型と整合的である。
• 古典的リー代数に現れない6種類の新しい特異点タイプが出現する：3つの一枝非正規特異点（$\mathrm{SL}_2(\mathbb{C})$-多様体で $\mathbb{A}^2$ 正規化を持つものと、$\mathrm{Sp}_4(\mathbb{C})$-多様体で $\mathbb{A}^4$ 正規化を持つものも含む）。
• 3つの孤立した4次元特異点が現れ、それぞれが正確に1回だけ出現し、低次元特異点の積や直和として実現されない。
• 放物型スロドウスキー断片 $\mathcal{S}_{{\mathcal{O}},e}$ の正規化は常に有理的ゴレンシュタイン特異点である。これは $\overline{\mathcal{O}}$ の正規化がシンプレクティックであることを確認する。
• $A(e)$ からの内在的対称性作用は一般化された特異点へ拡張され、それらの分類と関係性を理解するための枠組みを提供する。
• 本論文の図式的要約は、$G_2$、$F_4$、$E_6$、$E_7$、$E_8$ におけるすべての一般化された特異点を体系的にマッピングし、特異点タイプおよび軌道退化の標準的表記を用いている。