On the existence of minimizer on a log Fano cone singularity

技术摘要：关于对数 Fano 锥奇异性上极小值存在性的研究

问题陈述
本文探讨了在对数 Fano 锥奇异性背景下，局部 $\delta$-不变量 $\delta(X, \Delta; \nu_0)$ 的极小值的存在性。该不变量定义于一个在特征为 0 的不可数代数封闭域上的对数 Fano 锥奇异性 $x \in (X, \Delta, T)$，其中 $\nu_0$ 是一个以 $x$ 为中心的 $T$-不变赋值（valuation），且具有有限的对数判别式 $A_{X,\Delta}(\nu_0) < \infty$。其值为：
$$\delta(X, \Delta; \nu_0) := \inf_{\nu \in \text{Val}^*_{T, X, \ni x}} \frac{A_{X,\Delta}(\nu)}{S(\nu_0; \nu)}$$
其中 $S(\nu_0; \nu)$ 是局部 $S$-不变量。虽然先前的工作（如 [JM12], [Blu18], [BJ20]）已经建立了相关不变量（如对数典型阈值、归一化局部体积以及全局 $\alpha$- 和 $\delta$-不变量）的极小值存在性，但在特定的对数 Fano 锥情形下——特别是当 $\nu_0$ 是任意 $T$-不变赋值（而不一定是 Reeb 向量权重）时——局部 $\delta$-不变量极小值的存在性仍是一个悬而未决的问题。文中指出，如果丢弃对数 Fano 锥结构，即使在 2 维情形下，极小值也可能不存在。

方法论
证明采用了泛型极限论证（generic limit argument），这是一种此前在 [dFM09], [dFEM10], [Blu18] 和 [BJ20] 中被使用的技术。作者改编了 [BJ20] 的方法，但面临一个特定的技术障碍：在局部锥情形下，缺乏 [BJ20, Proposition 6.3] 的直接对应物。为了克服这一点，本文引入了一种下降策略：

1. 下降至可数子域： 与 $(X, \Delta, T)$ 及 $\nu_0$ 相关的所有数据都下降到一个可数的代数封闭子域 $k_0 \subseteq k$。
2. 构造泛型极限： 通过对角线子序列论证和 Grassmann 流形上向量丛的性质（引理 3.4–3.6），作者构造了一个“泛型极限”过滤（generic limit filtration）。这涉及分析当序列 $\nu_i$ 趋向于下确界时，模去 $a_N(\nu_0)$ 的赋值理想 $a_p(\nu_i)$ 的行为。
3. 一致 Fujita 近似： 本文将 $S$-不变量的一致近似（定理 3.2）扩展到局部情形，建立了连续 $S$-不变量与其离散近似 $S_m$ 之间差异的界限。
4. 拟单值性（Quasi-Monomiality）： 关键步骤是证明所构造的极限过滤是由一个 $T$-不变拟单值赋值计算的。这依赖于引理 2.7，该引理断言，对于任何 $T$-不变的理想分次序列，都存在一个计算对数典型阈值的 $T$-不变拟单值赋值。

主要贡献与结果
主要结果为定理 1.1，其表述如下：

令 $x \in (X, \Delta; T)$ 为不可数代数封闭域 $k$ 上的 $n$ 维对数 Fano 锥奇异性。令 $\nu_0 \in \text{Val}^*_{T, X, x}$ 为一个具有 $A_{X,\Delta}(\nu_0) < \infty$ 的 $T$-不变赋值。则存在一个 $T$-不变拟单值赋值 $\nu' \in \text{Val}_{T, X, \ni x}$ 最小化 $\delta(X, \Delta; \nu_0)$。

关键技术贡献包括：

• 定义扩展： 本文使用 $\text{Val}^*_{T, X, \ni x}$（中心特化为 $x$ 的赋值集合）而非严格的 $\text{Val}^*_{T, X, x}$（中心恰好为 $x$ 的赋值集合）来定义 $\delta(X, \Delta; \nu_0)$。推论 2.8 表明，这些定义产生的下确界相同，但极小值可能仅存在于前者集合中（备注 2.9）。
• 泛型极限适配： 本文通过证明引理 3.5（即 [BJ20, Proposition 6.7] 的一个类似命题），成功地将泛型极限论证适配到局部锥情形，从而绕过了缺失的 Proposition 6.3。
• 反例构造： 在第 4 节中，本文提供了示例 4.2，作为一个反例，展示了如果移除对数 Fano 锥结构，即使是在正则曲面上定义的 klt 对（klt pair）上，极小值的存在性也会失效。这突显了锥结构对于使泛型极限论证能将形式过滤下降到环 $R$ 的必要性。

意义与主张
本文声称，极小值的存在性是 K-稳定性理论中**稳定退化定理（stable degeneration theorem）**的一个核心组成部分。通过在对数 Fano 锥情形下建立局部 $\delta$-不变量极小值的存在性，这项工作将局部 K-稳定性（参见 [Li17], [LX18], [Zhu24a]）的框架扩展到了参考赋值 $\nu_0$ 为任意 $T$-不变赋值（而非仅仅是 Reeb 向量权重）的情况。

作者明确指出，该结果推广了 $\nu_0 = \text{wt}_\xi$（其中 $\xi$ 为 Reeb 向量）的情形，该情形此前已在 [Hua22, Theorem 5.0.4] 中得到证明。本文并不声称解决了没有锥结构的普通局部奇异性的极小值问题；事实上，它提出了问题 4.1，询问一般 klt 对是否存在极小值，并通过提供的反例给出了否定回答。此外，本文提出了问题 4.4，即关于极小赋值的 Rees 代数是否是有限生成的，并指出这在 Reeb 向量和归一化体积极小值的情况下是已知的，但在一般 $\delta$-极小值的情况下仍是一个开放问题。

本研究基于基域为不可数且代数封闭的假设，且证明过程是在特征 0 的框架内进行的。作者承认使用了 AI 工具进行文献检索和论证优化，但声明对主要定理的数学正确性和独立验证的反例负全部责任。