[论文解读] Generic singularities of nilpotent orbit closures

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

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

一句话总结

本文通过分析其与Slodowy截面的交点，对例外李代数中幂零轨道闭包的通用奇点进行了分类，扩展了Kraft和Procesi的经典结果。结果表明，大多数奇点为简单表面奇点或极小奇点，但发现了六种新类型——三种单分支非正规奇点和三种孤立的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.

研究动机与目标

• 完成对例外李代数中幂零轨道闭包通用奇点的分类，扩展经典类型中的先前工作。
• 确定例外李代数中轨道极小退化情形下幂零Slodowy截面 ${\mathcal{S}}_{{\mathcal{O}},e}$ 的同构类型。
• 识别并表征在经典类型中不存在的奇点，特别是单分支非正规奇点与孤立的高维奇点。
• 将Slodowy对奇点的对称作用扩展至例外型幂零轨道闭包的通用奇点。
• 提供所有例外李代数中奇点及其相互关系的全面图示总结。

提出的方法

• 利用Slodowy截面 ${\mathcal{S}}_{{\mathcal{O}},e} = \overline{\mathcal{O}} \cap (e + \mathfrak{g}^f)$ 研究 $\overline{\mathcal{O}}$ 边界上极小退化点 $\mathcal{O}'$ 处的局部几何结构。
• 采用正规化技术分析当代数同构未完全确定时的奇点，尤其在非正规或解析奇点情形下。
• 应用辛几何结果，包括Namikawa对辛流形和有理Gorenstein奇点的刻画，以约束奇点的结构。
• 利用中心化子 $A(e)$ 的内在对称作用，关联并分类不同轨道类型间的奇点。
• 依赖于例外李代数中幂零轨道及其闭包序关系的已知分类，系统分析所有极小退化情形。
• 构建并解释奇点类型及其关系的图示表示，使用标准符号表示简单奇点与轨道闭包。

实验结果

研究问题

• RQ1 在例外李代数中幂零轨道闭包的通用奇点有哪些？它们与经典类型中的奇点有何不同？
• RQ2 是否存在新类型的奇点——特别是仅在例外系列中出现的非正规或高维孤立奇点？
• RQ3 来自 $A(e)$ 的内在对称作用如何扩展至例外李代数中幂零轨道闭包的通用奇点？
• RQ4 奇点在何种程度上可按代数同构分类？在哪些情形下仅能确定正规化或解析同构？
• RQ5 Slodowy截面在多大程度上编码了例外型中轨道闭包在奇点处的局部几何结构？

主要发现

• 例外李代数中幂零轨道闭包的通用奇点主要为简单表面奇点或极小奇点，与经典类型一致。
• 出现六种在经典李代数中未出现的新奇点类型：三种单分支非正规奇点，包括一个 $\mathrm{SL}_2(\mathbb{C})$-空间（其正规化为 $\mathbb{A}^2$）和一个 $\mathrm{Sp}_4(\mathbb{C})$-空间（其正规化为 $\mathbb{A}^4$）。
• 三种孤立的4维奇点出现，每种仅出现一次，且不能表示为低维奇点的乘积或并集。
• 幂零Slodowy截面 $\mathcal{S}_{{\mathcal{O}},e}$ 的正规化始终为有理Gorenstein奇点，证实了 $\overline{\mathcal{O}}$ 的正规化的辛性质。
• 来自 $A(e)$ 的内在对称作用可扩展至通用奇点，为理解其分类与相互关系提供了框架。
• 论文中的图示总结系统地映射了 $G_2$、$F_4$、$E_6$、$E_7$ 和 $E_8$ 中所有通用奇点，使用标准符号表示奇点类型与轨道退化关系。