[论文解读] On the K-stability of Fano varieties and anticanonical divisors

Kento Fujita, Yuji Odaka|arXiv (Cornell University)|Feb 3, 2016

Geometry and complex manifolds被引用 19

一句话总结

本文提出了一种基于 k-基类型反 canonical Q-除子的对数极小阈值的极限上确界定义的不变量 δ(X) 的新代数准则，用于 Fano 代数簇的 K-稳定性。证明了当 δ(X) > 1 时，蕴含一致 K-稳定性；当 δ(X) ≥ 1 时，蕴含 K-半稳定。该研究为 Tian 的 α-不变量准则提供了新的代数证明，并将其与 Berman-Gibbs 稳定性联系起来。

ABSTRACT

We apply a recent theorem of Li and the first author to give some criteria for the K-stability of Fano varieties in terms of anticanonical Q-divisors. First, we propose a condition in terms of certain anticanonical Q-divisors of given Fano variety, which we conjecture to be equivalent to the K-stability. We prove that it is at least sufficient condition and also relate to the Berman-Gibbs stability. We also give another algebraic proof of the K-stability of Fano varieties which satisfy Tian's alpha invariants condition.

研究动机与目标

• 基于 k-基类型的反 canonical Q-除子，发展 Fano 代数簇 K-稳定性的代数准则。
• 建立 δ-不变量 δ(X) 与一致 K-稳定性的联系，推测其与 K-稳定性等价。
• 提供一种独立于解析方法的、对 Tian 的 α-不变量准则的全新代数证明。
• 通过 δ-不变量将 Berman-Gibbs 稳定性条件与 K-稳定性联系起来。
• 利用赋值理论与 Okounkov 体技术，推广并重新诠释现有 K-稳定性结果。

提出的方法

• 将 δ_k(X) 定义为所有 k-基类型反 canonical Q-除子的对数极小阈值的下确界。
• 将 δ(X) 定义为当 k → ∞ 时 δ_k(X) 的上极限，以捕捉渐近稳定性行为。
• 利用 Okounkov 体构造，将体积函数 vol(-K_X - xF) 与射影模型 X' 上的 ample 除子的几何性质通过子簇旗联系起来。
• 应用 Okounkov 体的质心估计，以有界体积函数的积分为基础，导出涉及 τ(F) 与 A_X(F) 的关键不等式。
• 利用 [Fjt16b] 中关于 graded 代数有限生成的结果，构造一个 birational 模型 X'，使得体积计算变得可处理。
• 利用不等式 ∫₀^{τ(F)} vol(-K_X - xF)dx ≤ (n/(n+1)) τ(F) vol(-K_X) 推导出对 α-不变量的主要有界估计。

实验结果

研究问题

• RQ1 δ(X) > 1 是否是 Q-Fano 代数簇一致 K-稳定性的充分条件？
• RQ2 δ(X) ≥ 1 是否是 K-半稳定性的充分条件？
• RQ3 δ-不变量 δ(X) 是否可如猜想所示，等价刻画 K-稳定性？
• RQ4 Berman-Gibbs 稳定性条件与 δ-不变量及 K-稳定性之间有何关系？
• RQ5 能否利用 δ-不变量与体积积分，代数地重新证明 Tian 的 α-不变量准则？

主要发现

• 本文证明：若 δ(X) > 1，则 Q-Fano 代数簇 X 一致 K-稳定。
• 若 δ(X) ≥ 1，则 X 为 K-半稳定，由此通过 δ-不变量确立了 K-稳定性的充分条件。
• 提出猜想：X 的 K-稳定性（相应地，K-半稳定性）当且仅当 δ(X) > 1（相应地，δ(X) ≥ 1）。
• 本文为 Tian 的准则提供了新的代数证明：若 α(X) > n/(n+1)，则 X 一致 K-稳定。
• 证明了 Berman-Gibbs 稳定性蕴含一致 K-稳定性，且证明过程较以往方法更为简洁。
• 对 n 维 K-半稳定的 Q-Fano 代数簇，建立了下界 α(X) ≥ 1/(n+1)。