On the volume of K-semistable Fano manifolds

技术摘要：关于 K-半稳定 Fano 流形的体积

问题陈述
本文探讨了刻画 $n$ 维 K-半稳定 Fano 流形反典范体积 $\text{vol}(X) = (-K_X)^n$ 的问题。虽然 Fujita ([Fuj18]) 已证明此类流形的最大体积为 $(n+1)^n$，且仅由射影空间 $\mathbb{P}^n$ 唯一实现，但关于第二大体积的精确界限此前仍是一个猜想。具体而言，作者研究了如下猜想：对于任何非同构于 $\mathbb{P}^n$ 的 K-半稳定 Fano 流形 $X$，其体积满足 $(-K_X)^n \leq 2n^n$。此外，本文旨在对实现该等式的流形进行分类，猜想这些流形为 $\mathbb{P}^1 \times \mathbb{P}^{n-1}$ 以及光滑二次超曲面 $Q \subset \mathbb{P}^{n+1}$。

方法论
作者采用了一种新颖的方法，将 K-稳定性理论与 Fano 流形上极小有理曲线的几何性质联系起来。方法论通过以下几个关键阶段展开：

1. 不变量定义：证明依赖于不变量 $l_X = \min \{(-K_X \cdot C) \mid C \subset X \text{ 是极小有理曲线}\}$。分析根据 $l_X$ 的取值进行分层。
2. 高次情形的分类：对于 $l_X = n+1$ 或 $l_X = n$ 的情形，作者利用现有的分类结果（例如 [CMSB02], [Miy04]）直接验证体积界限。
3. 平凡法丛：在 $l_X = 2$ 且极小有理曲线以平凡法丛嵌入的情形下，作者推广了 Fujita 的一个结果。他们证明，如果 K-半稳定 Fano 流形包含一个具有平凡法丛的余维数 $r$ 子流形 $Z$，则 $(-K_X)^n \leq (-K_{\mathbb{P}^r \times Z})^n$。这确立了 $X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$ 情形的界限。
4. 加权爆破与赋值：核心技术创新在于处理剩余情形，即 $3 \leq l_X \leq n-1$ 以及极小有理曲线可能存在奇点的情形。
   • 作者构造了以极小有理曲线为中心的特定除子赋值 $v_1$ 和 $v_2$。
   • 与标准爆破不同，证明利用了适应于 $\mathbb{P}^1$ 上法丛分裂的加权爆破，类型为 $(1^{\oplus (d-2)}, 2^{\oplus (n-d+1)})$。
   • 他们通过适应于曲线分裂类型的局部坐标中的解析展开，定义了拟单项赋值。
   • 利用 K-半稳定性的赋值判据（定理 2.1），他们通过分析关联于这些赋值的体积函数 $\text{vol}(-K_X - xE)$ 来估计体积。
5. 解析与组合估计：证明涉及求解由 $\delta$-不变量和 $S$-不变量计算导出的超越方程。作者运用微积分、概率论（特别是 Cramér 倾斜）以及数值验证，确立了中间次数情形（$3 \leq d \leq n-1$）下体积的严格不等式。

主要贡献与结果

• 主定理（定理 1.1）：作者证明，对于任何非同构于 $\mathbb{P}^n$ 的 $n$ 维 K-半稳定 Fano 流形 $X$，其体积满足 $(-K_X)^n \leq 2n^n$。等式成立当且仅当 $X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$ 或 $X$ 是光滑二次超曲面 $Q \subset \mathbb{P}^{n+1}$。
• 环面情形（定理 1.2）：该结果被推广至 K-半稳定环面 Fano 簇（包括奇异情形），确认了此类情形的“间隙猜想”。
• 凸几何推论（推论 1.3）：通过 Gorenstein 环面 Fano 簇与反射格点多面体之间的对应关系，本文推导出了一个精确的凸几何界限：对于重心在原点且不等价于缩放单纯形的反射格点多面体 $P$，有 $\text{vol}_{\mathbb{R}^n}(P) \leq 2n^n/n!$。
• ODP 猜想验证（定理 4.17）：作者验证了 K-半稳定光滑 Fano 流形上的 Fano 锥的 ODP（普通二重点）猜想，表明锥顶点的局部体积被 $2n^{n+1}$ 所界定，且仅当锥体基于二次曲面时取等号。
• 最小体积（命题 4.23）：本文确定了光滑 Fano 流形可能的最小反典范体积：若 $n$ 为偶数则为 1，若 $n$ 为奇数则为 2。

意义
本文声称解决了一个关于 K-半稳定 Fano 流形第二大体积的长期猜想。其主要意义在于建立了K-稳定性与极小有理曲线之间的新联系。通过引入适应于这些曲线法丛分裂的加权爆破，作者克服了与奇点及中间次数相关的困难，这些问题是以往方法（如标准爆破或仅靠环面分类）无法完全解决的。

这项工作为“神秘”现象提供了令人满意的解释，即恰好有两种不同类型的流形（$\mathbb{P}^1 \times \mathbb{P}^{n-1}$ 和 $Q$）实现了第二大体积，并将这一现象与极小有理曲线的几何性质联系起来。此外，这些结果在 Arakelov 几何（界定算术 Fano 簇的高度）和凸几何（反射多面体的界限）中具有直接的应用。该证明被指出本质上是代数几何的，这与以往处理 Kähler-Einstein 度量的解析方法相区别。