[论文解读] Openness of uniform K-stability in families of $\mathbb{Q}$-Fano varieties

Harold Blum, Yuchen Liu|arXiv (Cornell University)|Aug 28, 2018

Geometry and complex manifolds参考文献 58被引用 31

一句话总结

本文通过分析稳定性阈值（或 $\text{delta-invariant}$）的下半连续性，证明了在 $\mathbb{Q}$-Fano 族中，一致 K-稳定性是一个 Zariski 开条件。作者基于赋值判别法和对数极小阈值的代数技巧，证明了在 $\mathbb{Q}$-Gorenstein 族中，一致 K-稳定纤维的集合构成基空间中的 Zariski 开子集，将先前的分析结果推广至纯代数设定，并涵盖奇异及不可光滑化的代数簇。

ABSTRACT

We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-semistability and uniform K-stability of a Q-Fano variety. We show that the stability threshold is lower semicontinuous in families and provide an interpretation of the invariant in terms of the K-stability of log pairs.

研究动机与目标

• 在 $\mathbb{Q}$-Fano 族中建立一致 K-稳定性的 Zariski 开性，这是构造模空间的关键一步。
• 提供一致 K-稳定性的纯代数证明，避免先前关于光滑或可光滑化 Fano 代数簇研究中使用的分析工具。
• 将结果推广至奇异 $\mathbb{Q}$-Fano 代数簇及对数 Fano 对，包括不可光滑化的情形。
• 通过稳定性阈值 ($\mathbb{R}\text{delta-invariant}$) 刻画 K-稳定性和一致 K-稳定性，将其与对数极小阈值和赋值判别法联系起来。
• 证明稳定性阈值在族中的下确界连续性，从而支持开性结果。

提出的方法

• 将稳定性阈值 $\mathbb{R}\text{delta}(X;L)$ 定义为在 $m$-基类型除子上对数极小阈值下确界的极限。
• 利用 Fujita 和 Li 提出的 K-稳定性赋值判别法，将 $\mathbb{R}\text{delta}(X) > 1$ 与一致 K-稳定性，以及 $\mathbb{R}\text{delta}(X) \to 1$ 与 K-半稳定性联系起来。
• 通过基线性系的结构和对数极小阈值的极限行为，证明稳定性阈值在族中是下确界连续的。
• 通过计算重心和对数分歧度，分析环面对数 Fano 对中的 $\mathbb{R}\text{delta}$，使用多面体 $P_{-K_X - \mathbb{R}\text{Delta}}$。
• 利用 $\mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta} + (1-\beta)D)$ 关于 $\mathbb{R}\beta$ 递减的性质，其中 $D$ 为非常一般除子，其导数下界为 $-(m-1)/m \cdot \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta})/\mathbb{R}\beta^2$。
• 应用 $\mathbb{R}\text{delta}$ 的下确界连续性与可数交集论证，证明 K-半稳定子集是基空间中可数个开集的交集。

实验结果

研究问题

• RQ1 在 $\mathbb{Q}$-Fano 族中，一致 K-稳定性是否为开条件？
• RQ2 能否仅使用代数方法证明一致 K-稳定性的开性，而无需依赖分析工具？
• RQ3 在 $\mathbb{Q}$-Fano 族中，稳定性阈值 ($\mathbb{R}\text{delta-invariant}$) 如何表现？
• RQ4 稳定性阈值能否用于刻画族中 K-半稳定性和一致 K-稳定性？
• RQ5 在退化和基点自由线性系统背景下，稳定性阈值与对数极小阈值之间存在何种关系？

主要发现

• 在 $\mathbb{Q}$-Gorenstein 族中，一致 K-稳定性是 $\mathbb{Q}$-Fano 代数簇中的 Zariski 开条件。
• 稳定性阈值 $\mathbb{R}\text{delta}(X;L)$ 在 $\mathbb{Q}$-Fano 代数簇族中是下确界连续的。
• 对于满足 $\mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta}) < 1$ 的环面对数 Fano 对 $(X,\mathbb{R}\text{Delta})$，存在一个 $T$-不变的 $\mathbb{Q}$-除子 $D^*$，使得 $(X,\mathbb{R}\text{Delta} + (1-\mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta}))D^*)$ 是 K-半稳定的，且其 $\mathbb{R}\text{delta} = 1$。
• 对于足够可除的 $m$ 及非常一般除子 $H \to |-m(K_X + \mathbb{R}\text{Delta})|$，对所有 $\mathbb{R}\beta \to (0, \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta}))$，对 $(X,\mathbb{R}\text{Delta} + (1-\beta)m^{-1}H)$ 均为一致 K-稳定。
• $\mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta} + (1-\beta)D)$ 是关于 $\mathbb{R}\beta$ 的可微递减函数，其导数下界为 $-(m-1)/m \cdot \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta})/\mathbb{R}\beta^2$。
• K-半稳定子集是族基空间中可数个 Zariski 开子集的交集，确认了模空间构造中的关键一步。