[论文解读] Birational geometry for the covering of a nilpotent orbit closure

Yoshinori Namikawa|arXiv (Cornell University)|Jul 17, 2019

Advanced Algebra and Geometry参考文献 20被引用 4

一句话总结

本文通过使用广义 Springer 映射和抛物诱导，为经典李代数中幂零轨道闭包的万有覆叠构造了显式的 Q-因子终端化。它提供了一种系统方法，通过 Levi 子代数和有限覆叠来构建此类解析，推广了关于轨道闭包正规化的早期结果，并在非奇异情况下显式实现了 Crepant 解析的几何实现。

ABSTRACT

A nilpotent orbit $O$ of a complex semisimple Lie algebra $\mathfrak{g}$ has finite fundamental group. Associated with an etale cover of $O$, we have a finite cover of the closure $\bar{O}$ of $O$. In this article we consider the finite cover X associated with the universal cover of a nilpotent orbit $O$ of a classical simple Lie algebra $\mathfrak{g}$. We construct explicitly a Q-factorial terminalization of X in a group theoretic way.

研究动机与目标

• 为经典复单李代数 $\mathfrak{g}$ 中幂零轨道 $O$ 的万有覆叠 $X$ 构造显式的 Q-因子终端化。
• 将关于轨道闭包正规化的终端化已知结果扩展到万有覆叠 $O$ 的非平凡有限覆叠情形。
• 通过抛物子群和诱导幂零轨道，提供此类终端化的群论与几何构造。
• 建立结果解析为非奇异的条件，从而得到 Crepant 投影解析。
• 推广 [Lo] 和 [Ma] 的框架，通过广义 Springer 映射构造显式实现有限覆叠 $\pi: X \to \bar{O}$。

提出的方法

• 使用抛物诱导：对抛物子群 $Q \subset G$，其 Levi 分解为 $Q = U \cdot L$，以及 $\mathfrak{l}$ 中的幂零轨道 $O'$，定义诱导 $O = \mathrm{Ind}^\mathfrak{g}_\mathfrak{l}(O')$。
• 构造广义 Springer 映射 $\mu: G \times^Q (\mathfrak{n} + \bar{O}') \to \bar{O}$，其为一般有限且 $G$-等变。
• 将 $Q$ 在 $\mathfrak{n} + \bar{O}'$ 上的作用提升至 $\mathfrak{n} + X'$ 上，其中 $X'$ 是与 $O'$ 的 étale 覆叠相关的 $\bar{O}'$ 的有限覆叠。
• 构造空间 $Y = G \times^Q (\mathfrak{n} + X')$，并令 $Z$ 为 $\mu \circ \pi'$ 的 Stein 分解，使得 $Z \to \bar{O}$ 同构于原始覆叠 $\pi: X \to \bar{O}$。
• 通过验证 $K_Y = \pi^* K_X$ 且 $Y$ 具有 Q-因子终端奇点，证明映射 $Y \to X$ 为 Q-因子终端化。
• 使用对分拆的双重归纳（类型 I 和 II）将问题约化为已知情形，特别是 $\mathfrak{so}(m)$ 情形，并通过核子群如 $H = \ker[\sum: (\mathbb{Z}/2\mathbb{Z})^{\oplus 3} \to \mathbb{Z}/2\mathbb{Z}]$ 显式构造覆叠。

实验结果

研究问题

• RQ1 能否为经典李代数 $\mathfrak{g}$ 中幂零轨道 $O$ 的万有覆叠 $X$ 显式构造 Q-因子终端化？
• RQ2 广义 Springer 映射构造在何种条件下可给出 $X$ 的终端化？
• RQ3 如何将 $X$ 上的 $\mathbf{C}^*$-作用提升，以确保辛形式 $\omega$ 的权为 2？
• RQ4 何时所构造的终端化为非奇异，从而给出 Crepant 投影解析？
• RQ5 覆叠 $\pi: X \to \bar{O}$ 的次数与广义 Springer 构造中各映射的次数之间的确切关系为何？

主要发现

• 通过抛物诱导和广义 Springer 映射，显式构造了幂零轨道闭包 $\bar{O}$ 的万有覆叠 $X$ 的 Q-因子终端化。
• 该构造适用于所有经典李代数，并适用于所有幂零轨道，包括基本群非平凡的轨道。
• 终端化 $Y \to X$ 由 $Y = G \times^Q (\mathfrak{n} + X')$ 给出，其中 $X'$ 是带 $Q$-作用的 Levi 轨道闭包的有限覆叠，且该作用可提升至 $\mathfrak{n} + X'$。
• 当 $Y$ 为非奇异时，映射 $Y \to X$ 为 Crepant 投影解析，推广了关于正规化 $\tilde{O}$ 的早期结果。
• 对于 $\mathfrak{so}(m)$，该方法使用类型 I 和 II 的双重归纳将问题约化为基例，并且覆叠 $\pi$ 的次数与中间映射次数的乘积一致。
• 提供了显式例子：对于 $\bar{O}_{[15,8^2,3]} \subset \mathfrak{so}(34)$，终端化为 $\mathrm{Spin}(34) \times^Q (\mathfrak{n} + X_{[2]} \times X_{[2^3]} \times X_{[7,4^2,3]}/H)$，其中 $H = \ker[\sum: (\mathbb{Z}/2\mathbb{Z})^3 \to \mathbb{Z}/2\mathbb{Z}]$。