Minimal Nilpotent Orbits of type G2, F4 and E8

技术摘要：$G_2, F_4$ 及 $E_8$ 型极小幂零轨道的极小性问题

问题陈述
本文探讨了复简单李代数表示论中的一个结构性问题。具体而言，它研究了极小幂零轨道（记作 $\mathcal{O}_{\min}(\mathfrak{g})$）的 Zariski 闭包 $\overline{\mathcal{O}_{\min}(\mathfrak{g})}$ 是否可以实现为某个光滑拟仿射簇（quasi-affine variety）余切丛的仿射化。形式化地讲，该问题是：对于哪些复简单李代数 $\mathfrak{g}$，存在一个光滑拟仿射簇 $X$，使得 $\overline{\mathcal{O}_{\min}(\mathfrak{g})} \cong (T^*X)^{\text{aff}}$？

先前的研究已在 $A_n$ ($n \ge 3$), $B_n$ ($n \ge 3$), $C_n$ ($n \ge 2$), $D_n$ ($n \ge 4$), $E_6$, 以及 $E_7$ 型中取得了正向结果。本文的研究重点在于剩余的例外型（$G_2, F_4, E_8$）以及低秩经典型（$A_1, A_2$），在这些类型中，此前的答案尚不明确或被怀疑为负向。

方法论
证明策略依赖于比较潜在基簇 $X$ 的维度与由极小轨道几何性质及李代数表示论所施加的约束。证明过程通过以下几个关键步骤进行：

1. 几何设置与仿射化：
   作者利用了拟仿射簇及其仿射化的性质。如果同构 $\overline{\mathcal{O}_{\min}(\mathfrak{g})} \cong (T^*X)^{\text{aff}}$ 存在，那么正则函数环 $\Gamma(T^*X, \mathcal{O})$ 必须是有限生成的。这意味着 $X$ 是其仿射化 $X^{\text{aff}}$ 的一个开子簇，且边界的余维数至少为 2（对于 $n \ge 3$）。

2. 群作用与切表示：
   余切丛 $T^*X$ 通过纤维扩张拥有一个自然的 $\mathbb{G}_m$-作用。该作用诱导了 $(T^*X)^{\text{aff}}$ 上的 $\mathbb{G}_m$-作用，并根据假设的同构，诱导了 $\overline{\mathcal{O}_{\min}(\mathfrak{g})}$ 上的 $\mathbb{G}_m$-作用。轨道闭包的唯一奇异点（顶点）在该作用下是不动点。
   作者分析了顶点处的切表示 $\rho$（即该 $\mathbb{G}_m$-作用的切表示）。关键引理确立了：

   • 轨道闭包顶点的切空间同构于李代数 $\mathfrak{g}$。
   • 由于余切丛的分次性质，表示 $\rho$ 是“单侧的”（所有权重均为非负或非负）。
   • 作用在仿射化上的不动点子方案对应于 $X^{\text{aff}}$。

3. 界定不动子空间：
   一个关键的技术组成部分是命题 3.1 和引理 3.3。作者定义了根集 $F_i$，其中 $\beta$ 是满足其在最高根 $\theta$ 中的简单根 $\alpha_i$ 的系数等于 $\theta$ 中 $\alpha_i$ 的系数的根。
   引理 3.3 证明了：对于保持极小轨道的非平凡单侧表示，不动子空间的维度 $\dim \mathfrak{g}^{\rho(\mathbb{G}_m)}$ 受限于 $\max_i |F_i|$。
   本文明确计算了相关类型的这些最大值：

   • $A_2$: 2
   • $G_2$: 2
   • $F_4$: 7
   • $E_8$: 14

4. 维度矛盾：
   证明通过比较 $X$ 的维度与不动子空间的界限来导出矛盾。

   • 根据同构关系，$\dim X = \frac{1}{2} \dim \mathcal{O}_{\min}(\mathfrak{g})$。
   • 根据仿射化的几何性质和不动点方案，$\dim X = \dim X^{\text{aff}} \le \dim \mathfrak{g}^{\rho(\mathbb{G}_m)}$。
   • 因此，$\frac{1}{2} \dim \mathcal{O}_{\min}(\mathfrak{g}) \le \max_i |F_i|$。

主要结果
本文确立了以下定理：

• 定理 1.1： 对于 $G_2, F_4$ 或 $E_8$ 型李代数，极小轨道的闭包不是任何光滑拟仿射簇 $X$ 的 $(T^*X)^{\text{aff}}$。

  • 验证：
    • $G_2$: $\dim \mathcal{O}_{\min} = 6 \implies \dim X = 3$。界限 $\max |F_i| = 2$。($3 \not\le 2$)
    • $F_4$: $\dim \mathcal{O}_{\min} = 16 \implies \dim X = 8$。界限 $\max |F_i| = 7$。($8 \not\le 7$)
    • $E_8$: $\dim \mathcal{O}_{\min} = 58 \implies \dim X = 29$。界限 $\max |F_i| = 14$。($29 \not\le 14$)

• 定理 5.5： 同样的负向结果也适用于 $A_1$ ($\mathfrak{sl}_2$) 和 $A_2$ ($\mathfrak{sl}_3$) 型。

  • 对于 $A_1$，矛盾源于仿射化将意味着奇异锥是光滑的。
  • 对于 $A_2$，维度计数得出 $2 \le 2$，这最初看起来是一致的。然而，通过涉及边界光滑性和 Hartogs 延拓定理的精细论证，表明奇异点无法映射到基簇的光滑点，从而导致矛盾。

意义与主张
本文声称完成了关于极小幂零轨道是否能实现为仿射化余切丛的分类。虽然在大多数经典型和例外型中存在正向例子，但这项工作明确证明了例外型 $G_2, F_4, E_8$（以及低秩情况 $A_1, A_2$）并不具备这种实现方式。

作者强调，这些结果的证明并未假设等变性（equivariance）或 Poisson 相容性，而是完全依赖于簇的代数结构和李代数的表示论。这项工作填补了先前在其他类型中存在的正向结果留下的空白，为所有复简单李代数关于该结构性问题的研究提供了全面的回答。