[论文解读] Openness of K-semistability for Fano varieties

Harold Blum, Yuchen Liu+1 more|arXiv (Cornell University)|Jul 4, 2019

Geometry and complex manifolds被引用 8

一句话总结

本文通过证明稳定性阈值（δ-不变量）在Q-戈伦斯坦族的基上是构造性且下半连续的，从而证明了对数法诺对族的K-半稳定性的开性。关键结果表明，K-半稳定纤维的集合是扎里斯基开集，完成了构建K-多项式稳定的Q-法诺簇的分离良好模空间的关键一步。

ABSTRACT

In this paper, we prove the openness of K-semistability in families of log Fano pairs by showing that the stability threshold is a constructible function on the fibers. We also prove that any special test configuration arises from a log canonical place of a bounded complement and establish properties of any minimizer of the stability threshold.

研究动机与目标

• 建立对数法诺对族中K-半稳定性的开性，这是构建K-多项式稳定的法诺簇模空间的关键步骤。
• 证明稳定性阈值δ(X,Δ)和田的α-不变量在Q-戈伦斯坦族的基上是构造性且下半连续的函数。
• 表明稳定性阈值的任意极小化子均可实现为有界补的对数典范位置，从而将整体几何与稳定性不变量联系起来。
• 确立K-稳定性为开条件，且K-多项式稳定性在族中为构造性，完成模理论的基础性质。
• 通过结合特殊退化理论与双有理几何中补的有界性，统一K-稳定性的局部与全局技术。

提出的方法

• 利用对数法诺对的有界全局补的毕尔卡定理（Birkar定理），通过有界补的对数典范位置近似稳定性阈值δ(X_b, Δ_b)。
• 利用对数多重Canonical的不变性（HMX13，定理1.8），推导出基B上δ-不变量函数的构造性。
• 应用特殊退化理论（LX14，Fuj19），将δ的计算简化为仅测试由退化产生的特殊赋值。
• 通过构造弱典范模型并应用毕尔卡的有界性结果，证明此类特殊赋值为有界补的对数典范位置。
• 利用锥构造和归一化体积的局部不变性，将局部结果推广至整体族。
• 采用对数解析和除子赋值收敛性，证明N-补的对数典范位置在极限下稳定，从而确保一致有界性。

实验结果

研究问题

• RQ1 在Q-戈伦斯坦族的对数法诺对中，K-半稳定纤维的集合是否为扎里斯基开集？
• RQ2 稳定性阈值δ(X,Δ)能否通过有界补的对数典范位置的值来近似？
• RQ3 函数b ↦ min{δ(X_b, Δ_b), 1}在正常基B上是否保持构造性且下半连续？
• RQ4 所有稳定性阈值的极小化子是否均可实现为有界补族的对数典范位置？
• RQ5 能否完全通过代数几何方法建立K-稳定性的开性与K-多项式稳定性的构造性，而无需依赖凯勒-爱因斯坦度量？

主要发现

• 在Q-戈伦斯坦族的对数法诺对中，K-半稳定纤维的集合是扎里斯基开集，证实了K-半稳定性的开性。
• 函数b ↦ min{α(X_b, Δ_b), 1}与b ↦ min{δ(X_b, Δ_b), 1}在基B上是构造性且下半连续的。
• 稳定性阈值δ(X,Δ)的每个极小化子均可实现为有界补的对数典范位置，且统一有界性仅依赖于维数与系数集。
• K-半稳定Q-法诺簇（体积V，维数n）的模函子𝔛^Kss_{V,n}是k上有限型的阿廷堆栈。
• 模堆栈𝔛^Kss_{V,n} admits a separated good moduli space 𝔛^Kps_{V,n}，其k-点参数化K-多项式稳定的Q-法诺簇。
• K-稳定性是开条件，且K-多项式稳定性在Q-戈伦斯坦族的对数法诺对中是构造性的，这是主结果的直接推论。