[论文解读] Finite generation for valuations computing stability thresholds and applications to K-stability

Yuchen Liu, Chenyang Xu+1 more|arXiv (Cornell University)|Feb 18, 2021

Geometry and complex manifolds被引用 12

一句话总结

本文证明了对于稳定性阈值低于 $\frac{n+1}{n}$ 的对数 Fano 对，任何计算该阈值的赋值，其对应的渐近环均为有限生成。该结果解决了高阶有限生成猜想，建立了统一 K-稳定性的等价性，确保了 K-模空间的正规性与射影性，并通过代数方法完成了对奇异对数 Fano 对的 Yau-Tian-Donaldson 猜想。

ABSTRACT

We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $\frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this implies: (a) a log Fano pair is uniformly K-stable (resp. reduced uniformly K-stable) if and only if it is K-stable (resp. K-polystable); (b) the K-moduli spaces are proper and projective; and combining with the previously known equivalence between the existence of Kähler-Einstein metric and reduced uniform K-stability proved by the variational approach, (c) the Yau-Tian-Donaldson conjecture holds for general (possibly singular) log Fano pairs.

研究动机与目标

• 建立计算对数 Fano 对中稳定性阈值的拟单项赋值的关联渐近环的有限生成性。
• 解决最小化稳定性阈值的赋值的高阶有限生成猜想。
• 证明对数 Fano 对中 K-稳定性与统一 K-稳定性（以及 K-双极稳定性与约化统一 K-稳定性）之间的等价性。
• 通过代数方法建立对数 Fano 对的 K-模空间的正规性与射影性。
• 使用代数技术完成对一般（可能奇异）对数 Fano 对的 Yau-Tian-Donaldson 猜想。

提出的方法

• 利用相容除子理论与极小模型程序，证明当 $\delta(X,\Delta) < \frac{n+1}{n}$ 时，计算 $\delta(X,\Delta)$ 的赋值 $v$ 所对应的渐近环 $\mathrm{gr}_v R$ 的有限生成性。
• 应用 [AHLH-S&theta] 中的 $\Theta$-分层框架，从最优不稳定化结果推导出 K-模空间的正规性。
• 结合 $\Theta$-分层与 [XZ-CM-positive] 中的 $\mathrm{CM}$ 线丛正性结果，建立 K-模空间的射影性。
• 运用 $\delta$-不变量与 $S$-不变量理论分析赋值及其关联渐近环的行为。
• 应用特殊测试配置与退化理论，证明 $\delta(X,\Delta) \in \mathbb{Q}$ 且由除子赋值实现。
• 使用加权爆破与解消上的交点理论，计算 $A_{X,\Delta}(E)$、$S_{X,\Delta}(E)$ 与 $T_X(\mathrm{ord}_E)$ 等不变量，并验证渐近环的 $\mathrm{Proj}$ 是 $\mathbb{Q}$-Fano 代数簇。

实验结果

研究问题

• RQ1 对于满足 $\delta(X,\Delta) < \frac{n+1}{n}$ 的对数 Fano 对，任何计算稳定性阈值 $\delta(X,\Delta)$ 的赋值是否都具有有限生成的关联渐近环？
• RQ2 能否对满足 $\delta(X,\Delta) < \frac{n+1}{n}$ 的对数 Fano 对，以代数方法证明最优不稳定化猜想？
• RQ3 此类赋值诱导的 $\Theta$-分层是否意味着对数 Fano 对的 K-模空间的正规性？
• RQ4 K-双极稳定对数 Fano 对的 K-模空间上的 $\mathrm{CM}$ 线丛是否为非常 ample，且其性质是否可由有限生成性代数推出？
• RQ5 有限生成性结果是否意味着奇异对数 Fano 对的 Yau-Tian-Donaldson 猜想的完全成立？

主要发现

• 当 $\delta(X,\Delta) < \frac{n+1}{n}$ 时，任何计算 $\delta(X,\Delta)$ 的赋值 $v$ 所对应的渐近环 $\mathrm{gr}_v R$ 均为有限生成，从而证明了高阶有限生成猜想。
• 稳定性阈值 $\delta(X,\Delta)$ 为有理数且由除子赋值实现，从而确立了最优不稳定化猜想。
• K-模空间 $M^{\rm Kps}_{n,V,C}$ 是正规且射影的，且 $\mathrm{CM}$ 线丛为非常 ample。
• Yau-Tian-Donaldson 猜想对所有对数 Fano 对（包括奇异情形）均成立，通过 K-稳定性与存在凯勒-爱因斯坦度量的代数等价性实现。
• 对于 $t \in [t_n, t_{n+1}]$，有 $\mathrm{Proj}\, \mathrm{gr}_{v_t} R$ 是 $\mathbb{Q}$-Fano 代数簇，且当 $t \in (t_n, t_{n+1})$ 时，有 $\mathrm{Proj}\, \mathrm{gr}_{v_t} R \cong \mathbb{P}(1, d_n^2, d_{n+1}^2)$，表明 $\mathbb{P}^2$ 存在无穷多个特殊退化。