Donaldson-Sun Theory in the Conic Case

技术摘要：圆锥情形下的 Donaldson–Sun 理论

问题陈述
本文研究了非塌缩序列的圆锥 Kähler–Einstein (KE) 对 $(X_i, \Delta_i, \omega_i)$ 的 Gromov–Hausdorff 极限的结构。虽然经典的 Donaldson–Sun 理论已经确立了光滑 KE 流形的极限是正规射影簇，且具有由代数退化产生的唯一度量切锥，但圆锥情形引入了新的困难。具体而言，具有锥角 $2\pi\beta_i$ 的边界除子 $\Delta_i$ 引入了必须在极限中被追踪的余维数为一的奇异性。核心挑战在于证明这些极限的度量切锥是唯一的，并且源于一种“对数”代数退化，该退化能够同时恢复底空间簇和边界除子。此外，本文还研究了在没有 KE 假设的情况下，仅靠统一的 Ricci 下界是否足以保证切锥的刚性。

方法论
作者综合运用了度量几何（特别是针对 Ricci 极限空间的 Cheeger–Colding 理论）与 Donaldson 和 Sun 开发的代数几何技术。该方法通过以下几个关键阶段进行：

1. 逼近与正则性： 圆锥 KE 对被逼近为具有统一 Ricci 下界的平滑极化 Kähler 流形（引理 2.2）。这使得应用标准的 Gromov 紧性以及 Cheeger–Colding 奇异集分层成为可能。
2. 局部结构与俘获： 在余维数为二的奇异层 $S_2 \setminus S_4$ 附近的点处，作者利用了 Liu–Székelyhidi 良坐标图。通过使用“管状俘获”（tubular trapping）论证，证明了逼近除子会集中在模型锥 $C_\gamma \times \mathbb{C}^{n-1}$ 的轴附近。这使得识别极限边界除子 $\Delta_\infty$ 以及证明极限空间 $X_\infty$ 是一个携带弱圆锥 KE 度量的正规射影簇成为可能（定理 3.3）。
3. 度量过滤与赋值： 在局部环 $\mathcal{O}_{X_\infty, p}$ 上构造了一个度量阶赋值 $\nu$。利用 $L^2$ 估计和嫁接引理（引理 4.7），作者证明了切锥的全纯谱与所选的子序列无关（定理 4.8）。这导致了相关阶代数环 $W = \text{Spec}(\text{gr}_\nu \mathcal{O}_{X_\infty, p})$ 的构造。
4. 追踪边界： 一个关键的技术创新是通过代数退化追踪边界除子。由于边界是一个 Weil 除子而非必然是 Cartier 除子，作者通过追踪定义其分量的阶一素理想来追踪它。通过分析适配基的收敛性并使用 Chow 簇，作者在切锥上构造了一个代数边界循环 $\Delta_C$，并证明它与原始边界的度量膨胀一致（定理 5.11）。
5. 通过 GIT 实现唯一性： 通过将对 $(W, \Delta_W)$ 与切锥 $(C(Y), \Delta_C)$ 嵌入到一个共同的 Hilbert–Chow 相交空间中，建立了对数切锥的唯一性。利用 Luna 切片定理和稳定子群的还原性（log Matsushima），作者表明所有可能的对数切锥都位于单个轨道内，从而蕴含了同构关系（定理 5.13）。
6. 反例构造： 为了证明 KE 假设的必要性，作者构造了一个具有统一 Ricci 下界和非塌缩体积的平滑极化 Kähler 曲面序列，其极限具有非唯一的切锥（定理 1.2，附录 A）。

主要贡献与结果

• 对数 Donaldson–Sun 定理 (定理 1.1)： 本文证明了对于系数属于固定有限有理子集的非塌缩圆锥 KE 对的极限：

  • 极限 $X_\infty$ 是一个正规射影簇，带有一个定义良好的有效有理 Weil 除子 $\Delta_\infty$，使得 $K_{X_\infty} + \Delta_\infty$ 是 $\mathbb{Q}$-Cartier。
  • 度量切锥是携带规范边界除子 $\Delta_C$ 的正规仿射簇 $C(Y)$，构成一个 log $\mathbb{Q}$-Gorenstein 对。
  • 从局部 Germ 到切锥的转换通过两步代数退化完成：$(X_\infty, \Delta_\infty) \rightsquigarrow (W, \Delta_W) \rightsquigarrow (C(Y), \Delta_C)$。
  • 唯一性： 对数度量切锥是唯一的，与定义膨胀的子序列无关。

• 无 KE 时唯一性的失效 (定理 1.2)： 本文展示了 Kähler–Einstein 假设是必不可少的。作者构造了一个具有统一 Ricci 下界和体积非塌缩的平滑极化 Kähler 曲面序列，其 Gromov–Hausdorff 极限存在一个具有非唯一度量切锥的点。这表明仅靠极化和 Ricci 下界并不能保证切锥的刚性。

• 与稳定退化的联系 (定理 6.4)： 在关于对数典型类层的轻微相容性条件下（假设 6.2），构造的代数退化被识别为一个“特殊测试构型”（special test configuration）。中间锥 $(W, \Delta_W)$ 的极限锥 $(C(Y), \Delta_C)$ 被证明是 Li–Wang–Xu 意义下的 K-polystable（从而也是 stable）退化。

意义与主张
本文声称将基础的 Donaldson–Sun 理论扩展到了圆锥 Kähler–Einstein 度量的对数情形，这一背景对于证明 Yau–Tian–Donaldson 猜想至关重要。通过通过度量和代数退化严格地恢复边界除子，这项工作架起了度量几何与对数对 K-稳定性之间的桥梁。

作者明确指出，切锥的唯一性并非由度量构造本身预先保证；它依赖于 KE 条件提供的代数结构。定理 1.2 中的反例划定了这种刚性的精确边界，表明在缺乏 Einstein 条件的情况下，仅靠 Ricci 下界不足以保证唯一性。

最后，本文指出对数典型类层与相关阶对象之间的相容性（假设 6.2）是完全将度量过滤与 Li–Xu 及 Li–Wang–Xu 的稳定退化机制等同起来的最后障碍，并建议将其作为未来研究的方向，而非当前工作中的已证明结果。