[论文解读] Testing log K-stability by blowing up formalism

Yuji Odaka, Song Sun|arXiv (Cornell University)|Dec 6, 2011

Geometry and complex manifolds参考文献 17被引用 13

一句话总结

该论文通过将锥角 $2\pi\beta$ 趋近于 0 的情形下，将 K-稳定性理论推广至对数设置，推广了对偶对 $(X,D)$ 的 Donaldson-Futaki 不变量公式。它证明了对数 K-稳定性蕴含 $(X,(1-\beta)D)$ 的对数对偶奇点性，并在对数 Calabi-Yau 和对数典范对上证明了对数 K-稳定性与对数对偶奇点性的等价性，为具有锥奇点的 Kähler-Einstein 度量结果提供了代数对应。

ABSTRACT

We study logarithmic K-stability for pairs by extending the formula for Donaldson-Futaki invariants to log setting. We also provide algebro-geometric counterparts of recent results of existence of Kahler-Einstein metrics with cone singularities.

研究动机与目标

• 将 K-稳定性理论推广至具有锥角 $2\pi\beta$ 的对数对 $(X,D)$。
• 将 Donaldson-Futaki 不变量公式推广至具有边界除子 $D$ 的对数设置。
• 为近期关于具有锥奇点的 Kähler-Einstein 度量的结果建立代数对应。
• 证明对数 K-半稳定性蕴含 $(X,(1-\beta)D)$ 的对数对偶奇点性，并以奇点形式刻画对数 K-稳定性。
• 通过爆破形式语言和测试配置，将极小模型程序（MMP）框架与对数 K-稳定性统一。

提出的方法

• 通过引入涉及分歧和理想赋值的修正公式，将 Donaldson-Futaki 不变量适应于对数对。
• 使用对数解析解和负性引理，分析理想爆破下典范除子的行为。
• 应用 $S_2$ 条件和理想整闭包，确保与 K-稳定性定义的一致性。
• 在乘积 $X \times \mathbb{A}^1$ 上构造旗理想 $\mathcal{J}$ 以建模测试配置，并计算对数 DF 不变量。
• 使用半对数典范模型 $\pi: B \to (X, (1-\beta)D)$ 分析奇点，并在对对数对偶非半对数典范时推导出不稳定情形。
• 通过在 $r$ 中对数 DF 不变量的首项系数检测不稳定，特别是当 $\mathcal{L}^{n-1} \cdot E^2 < 0$ 时。

实验结果

研究问题

• RQ1 如何将 Donaldson-Futaki 不变量推广至具有锥角 $2\pi\beta$ 的对数对 $(X,D)$ 的对数设置？
• RQ2 对数 K-稳定性与对对偶 $(X,(1-\beta)D)$ 的奇点之间存在何种精确关系？
• RQ3 能否通过对数 K-稳定性建立关于具有锥奇点的 Kähler-Einstein 度量结果的代数对应？
• RQ4 在何种条件下，对数 K-半稳定性蕴含 $(X,(1-\beta)D)$ 的对数对偶奇点性？
• RQ5 极小模型程序（MMP）框架如何通过爆破形式语言与对数 K-稳定性相互作用？

主要发现

• 通过对数分歧和理想赋值的公式，将对数 Donaldson-Futaki 不变量扩展至对 $(X,D)$，使对数设置下的稳定性测试成为可能。
• 在锥角 $2\pi\beta$ 下，对数 K-半稳定性蕴含 $(X,(1-\beta)D)$ 为半对数典范，推广了绝对情形下的结果。
• 对于对数 $\mathbb{Q}$-Fano 代数簇，当 $\beta > 0$ 时，对数 K-半稳定性蕴含 $(X,(1-\beta)D)$ 为 Kawamata 对数典范（klt）。
• 在对数 Calabi-Yau 情形下，$((X,D),L)$ 对数 K-半稳定当且仅当 $(X,(1-\beta)D)$ 为半对数典范。
• 对于对数典范对，对数 K-稳定性、对数 K-半稳定性与 $(X,(1-\beta)D)$ 的半对数典范性三者等价。
• 本文为此前通过分析方法获得的结果（如 [Ber10]、[Bre11] 和 [JMR11] 中的结果）提供了代数证明，强化了对数设置下 Yau-Tian-Donaldson 猜想。