[论文解读] Birational geometry of symplectic resolutions of nilpotent orbits II

Yoshinori Namikawa|ArXiv.org|Aug 20, 2004

Advanced Algebra and Geometry参考文献 16被引用 11

一句话总结

本文通过基于 Dynkin 图的等价关系对抛物子群进行分类，对复数单李代数中幂零轨道闭包的所有辛解析解耦进行了分类，包括例外类型。证明了所有此类解析解可通过 Mukai 翻转序列相互连接——推广了经典结果——并识别出 $E_6$ 型轨道中的新型翻转类型（如 $E_{6,I}$、$E_{6,II}$），通过移动锥与 ample 锥统一了辛解析解的双有理几何。

ABSTRACT

In this paper we shall study symplectic resolutions of a nilpotent orbit closure of a complex simple Lie algebra \g. We shall introduce an equivalence relation in the set of parabolic subgroups of $G$ in terms of marked Dynkin diagrams. We start with a nilpotent orbit closure which admits a Springer resolution with a parabolic subgroup $P_0$ of $G$. Then we prove that all symplectic resolution of the nilpotent closure are Springer resolutions with $P$ which are equivalent to $P_0$. Here all symplectic resolutions are connected by Mukai flops. We need three types of Mukai flops (types A, D and E_6) in connecting symplectic resolutions. In particular, Mukai flops of type E_6 are new. All arguments of Part I : math.AG/0404072 which use flags, are replaced by those which use only Dynkin diagrams.

研究动机与目标

• 将幂零轨道闭包的辛解析解分类工作从经典李代数推广至例外类型。
• 用纯粹基于 Dynkin 图的抛物子群等价关系取代先前工作中依赖旗结构的论证方法。
• 证明对于给定的幂零轨道闭包，所有辛解析解均可通过与某一固定抛物子群等价的抛物子群（以带标记的 Dynkin 图表示）构造得到。
• 证明这些解析解可通过 Mukai 翻转序列相互连接，推广经典 $A$-型与 $D$-型翻转结果。
• 在 $E_6$ 情况下识别出新的 Mukai 翻转类型（$E_{6,I}$、$E_{6,II}$），扩展了辛解析解双有理几何的已知分类。

提出的方法

• 通过带标记的 Dynkin 图引入抛物子群的等价关系，其中标记对应根系基的子集。
• 定义 $Y_P := T^*(G/P)$ 为与抛物子群 $P$ 关联的 Springer 解析解，并将其几何性质与轨道闭包 $\bar{\mathcal{O}}$ 关联。
• 利用 $\bar{\mathcal{O}}$ 上的移动锥 $\overline{\mathrm{Mov}}(Y_{P_0}/\bar{\mathcal{O}})$ 作为所有满足 $P \sim P_0$ 的 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$ 的并集，建立双有理连通性。
• 应用极小化收缩与翻转的理论：对 $\bar{\mathcal{O}}$-移动除子 $D$，$K_{Y_{P_0}} + D$-极小化收缩诱导出一个允许翻转的小型双有理映射。
• 通过分歧度不等式证明翻转序列的终止性：若某一变体重复出现，则分歧度序列将严格递减，导致矛盾。
• 利用 $E_6$ 中 $A_3$ 轨道满足 $\pi_1(\mathcal{O}) = 1$ 的事实，确保为一次 Springer 映射，从而简化解析解结构。

实验结果

研究问题

• RQ1 如何仅通过根系数据将幂零轨道闭包的辛解析解分类推广至例外李代数？
• RQ2 带标记的 Dynkin 图在参数化产生相同轨道闭包辛解析解的抛物子群中起什么作用？
• RQ3 所有固定幂零轨道闭包的辛解析解是否可通过 Mukai 翻转序列相互连接？在例外情形下会涌现出何种新型翻转？
• RQ4 一个解析解的移动锥能否分解为其他解析解的 ample 锥的并集？这与双有理几何有何关联？
• RQ5 在 $E_6$ 情况下出现了哪些新型 Mukai 翻转类型？它们与 $A_3$ 轨道的几何结构有何关系？

主要发现

• 所有幂零轨道闭包 $\bar{\mathcal{O}}$ 的辛解析解均来自在带标记 Dynkin 图等价关系下与某一固定 $P_0$ 等价的抛物子群 $P$。
• 移动锥 $\overline{\mathrm{Mov}}(Y_{P_0}/\bar{\mathcal{O}})$ 是所有满足 $P \sim P_0$ 的 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$ 的并集，证明了双有理连通性。
• $P \sim P_0$ 的解析解 $Y_P$ 可通过 Mukai 翻转序列相互连接，翻转类型由根系结构决定。
• 在 $E_6$ 情况下，出现了新型 Mukai 翻转类型 $E_{6,I}$ 与 $E_{6,II}$，其不属于 $A$ 或 $D$ 型，扩展了已知分类。
• 对于 $E_6$ 中的 $A_3$ 轨道，移动锥 $\overline{\mathrm{Mov}}(Y_1/\bar{\mathcal{O}})$ 为二维，被划分为四个区域，分别对应四个解析解 $Y_1, Y_2, Y_3, Y_4$，且存在显式翻转连接。
• 由于若出现循环则分歧度序列将产生矛盾，因此翻转移动除子的过程在有限步内终止，证明了每个移动除子必属于某个 ample 锥 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$。