Cotangent Models of Nilpotent Orbit Closures

技术摘要：幂零轨道闭包的余切模型

问题陈述
本文研究了复简单李代数 $\mathfrak{g}$ 中具有“余切模型”的非零幂零轨道闭包 $\mathcal{O}$ 的分类问题。具体而言，作者研究了哪些轨道闭包同构于一个光滑拟仿射簇 $X$ 的余切丛的仿射化，记作 $(T^*X)^{\text{aff}}$。这里，$X^{\text{aff}} = \text{Spec } \Gamma(X, \mathcal{O}_X)$。核心问题在于确定是否存在这样一个光滑拟仿射簇 $X$，使得对于给定的对 $(\mathfrak{g}, \mathcal{O})$，该等式成立。

方法论
证明策略依赖于分析由假设的同构 $\mathcal{O} \cong (T^*X)^{\text{aff}}$ 所施加的几何与表示论约束。

1. 纤维扩张与切表示： 该同构的存在意味着存在一个由 $T^*X$ 上的纤维扩张诱导的 $\mathbb{G}_m$-作用。该作用固定顶点 $0 \in \mathcal{O}$，并诱导一个切表示 $\rho: \mathbb{G}_m \to \text{GL}(\mathfrak{g})$。
2. 不动点子空间： 作者利用了该作用的固定点子方案。引理 3.2 确立了 $X^{\text{aff}}$ 在顶点处的切锥与交集 $\mathcal{O} \cap \mathfrak{g}^{\rho(\mathbb{G}_m)}$ 之间的同构关系。这导出了维数公式 $\dim(\mathcal{O} \cap \mathfrak{g}^{\rho(\mathbb{G}_m)}) = \frac{1}{2} \dim \mathcal{O}$。
3. 稳定子分析： 一个关键步骤是确定保持轨道闭包之射影化 $\mathbb{P}\mathcal{O}$ 的群。命题 2.4 证明了，除了 $C_n$ 型（辛型）中的极小轨道外，$\text{PGL}(\mathfrak{g})$ 中保持 $\mathbb{P}\mathcal{O}$ 的恒等成分即为伴随群 $G$。这限制了 $\rho$ 的像必须位于 $G$ 之内。
4. 根系约束： 利用简单李代数中共特征标的分类（引理 3.3），不动点子空间 $\mathfrak{g}^{\rho(\mathbb{G}_m)}$ 被识别为一个由简单根子集 $I$ 确定的特定子空间 $\mathfrak{g}_I$。
5. 维数不等式： 引理 3.4 确立了一个严格不等式 $\dim \mathfrak{g}^{\rho(\mathbb{G}_m)} \ge \frac{1}{2} \dim \mathcal{O} + 1$。证明过程通过计算经典型和例外型的这些不动点子空间的维数，并将其与幂零轨道的维数进行比较来展开。

主要贡献与结果

• 经典型的分类： 本文对经典型李代数（$A_n, B_n, C_n, D_n$）给出了完整的分类。定理 1.1 指出，一个非零幂零轨道闭包 $\mathcal{O}_\lambda$ 拥有余切模型，当且仅当其 Jordan 分区 $\lambda$ 出现在特定的表格中：

  • $A_{n-1}$ 型： $\lambda = (2^r, 1^{n-2r})$，其中 $1 \le r \le \lfloor (n-2)/2 \rfloor$。
  • $B_n$ 型： 仅有极小轨道 $\lambda = (2^2, 1^{2n-3})$，对于 $n \ge 3$。
  • $C_n$ 型： $\lambda = (2^r, 1^{2n-2r})$，其中 $1 \le r \le n-1$。
  • $D_n$ 型： $\lambda = (2^{2r}, 1^{2n-4r})$，其中 $1 \le r \le \lfloor (n-2)/2 \rfloor$。
  • 论文明确构造了相应的簇 $X$（通常与行列式簇或各向同性锥相关）及其仿射化，并引用了 Fu 和 Liu 先前的构造。

• 例外型（$G_2, F_4, E_8$）中的不存在性： 定理 5.1 证明了对于 $G_2, F_4, E_8$ 型李代数，不存在任何非零幂零轨道闭包拥有余切模型。证明基于以下事实：在这些类型中，不动点子空间 $\mathfrak{g}^{\rho(\mathbb{G}_m)}$ 的最大维数过小，无法满足任何非零轨道都需满足的不等式 $\dim \mathfrak{g}^{\rho(\mathbb{G}_m)} \ge \frac{1}{2} \dim \mathcal{O} + 1$。

• $E_6$ 与 $E_7$ 的部分分类： 对于 $E_6$ 和 $E_7$ 型，本文显著缩小了候选范围。定理 5.2 表明，如果余切模型存在，则该轨道必须是极小轨道闭包（$\mathcal{O}_{\min}$），或者在 $E_7$ 型中是轨道 $\mathcal{O}(2A_1)$ 的闭包。这些类型中的极小轨道已知拥有此类模型（分别通过穿孔旋量锥和 Cayley 锥实现）。

意义与范围
本文的意义在于提供了一个明确的结构特征，说明哪些幂零轨道闭包可以被实现为光滑簇的余切丛的仿射化。它完整地解决了经典型以及例外型 $G_2, F_4, E_8$ 的问题。对于 $E_6$ 和 $E_7$，它利用关于极小轨道的已知结果，将问题简化为有限个候选列表。

这项工作建立并扩展了 Fu 和 Liu 关于显式构造的研究成果，以及作者在 [Jia26] 中关于切表示的研究。本文并未提出新的应用或实验方向，而是侧重于在李理论和代数几何框架内的严谨分类。作者承认在起草和修订过程中使用了 AI 工具，但将数学论证和证明视为主要贡献。