[论文解读] Kähler-Einstein metrics along the smooth continuity method

Ved Datar, Gábor Székelyhidi|arXiv (Cornell University)|Jun 24, 2015

Geometry and complex manifolds参考文献 48被引用 16

一句话总结

本文通过证明在 $G$-等变特殊退化下 K-稳定性蕴含 Kähler-Einstein 度量的存在性，建立了 Fano 流形上 Yau-Tian-Donaldson 猜想的等变版本。利用光滑连续法，作者证明：若在 $t=1$ 时无解，则必存在一个 destabilizing $G$-等变退化，从而可构造新的 Kähler-Einstein 流形，特别是在 toric 和复杂性一 $T$-流形情形下。

ABSTRACT

We show that if a Fano manifold $M$ is K-stable with respect to special degenerations equivariant under a compact group of automorphisms, then $M$ admits a Kähler-Einstein metric. This is a strengthening of the solution of the Yau-Tian-Donaldson conjecture for Fano manifolds by Chen-Donaldson-Sun, and can be used to obtain new examples of Kähler-Einstein manifolds. We also give analogous results for twisted Kähler-Einstein metrics and Kahler-Ricci solitons.

研究动机与目标

• 通过紧致群 $G$ 下的等变 K-稳定性，建立 Fano 流形上 Kähler-Einstein 度量存在的充分条件。
• 通过采用光滑连续路径，提供 Chen-Donaldson-Sun 结果的新证明，且不依赖锥状奇点。
• 将该方法推广至扭曲 Kähler-Einstein 度量和 Kähler-Ricci 孤子，特别是在对称情形下。
• 通过仅检查有限个 $G$-等变特殊退化，构造新的 Kähler-Einstein 三复叠流形。
• 证明极限流形的自守群的约化性在孤子情形下连续路径收敛中至关重要。

提出的方法

• 利用光滑连续路径 $\mathrm{Ric}(\omega_t) = t\omega_t + (1-t)\alpha$，$t \in [0,1]$，将给定度量变形至 Kähler-Einstein 度量。
• 在特殊退化上施加 $G$-等变性，将无限维的 K-稳定性检验简化为有限个对称退化。
• 应用 Luna 切片定理，通过除子类电流逼近奇异电流，使代数几何工具可在光滑情形下使用。
• 使用扭曲 Ding 泛函及其凸性，证明沿单参数子群作用下扭曲 Futaki 不变量为零。
• 利用 Berndtsson 结果建立的极限流形自守群的约化性，控制连续路径的行为。
• 改编 [42] 和 [36] 的技术，沿连续路径获得孤子的偏 $C^0$-估计，确保收敛性。

实验结果

研究问题

• RQ1 在何种条件下，$G$-等变 K-稳定性可推出 Fano 流形上 Kähler-Einstein 度量的存在性？
• RQ2 光滑连续法是否可被用于证明 Kähler-Einstein 度量的存在性，而无需依赖锥状度量或奇点？
• RQ3 在对称 Fano 流形中，验证 K-稳定性所需的退化数量如何减少？
• RQ4 扭曲 Futaki 不变量在 Kähler-Ricci 孤子的连续法中起何作用？
• RQ5 极限流形自守群的约化性是否可用于确保连续路径的收敛性？

主要发现

• 若 Fano 流形 $M$ 关于 $G$-等变特殊退化是 K-稳定的，则 $M$ 拥有 Kähler-Einstein 度量。
• 该方法提供了 Chen-Donaldson-Sun 定理的新证明，且不使用具有锥状奇点的度量。
• 对于 toric Fano 流形，仅需检查形如 $X = M \times \mathbb{C}$ 的退化，即可确认 Kähler-Ricci 孤子的存在性。
• 作者通过此方法重新获得了 Wang-Zhu 的结果：所有 toric Fano 流形均具有 Kähler-Ricci 孤子。
• 正在进行的工作表明，该方法可构造出五个新的 Kähler-Einstein 三复叠流形，这是首次通过 K-稳定性构造出的此类例子。
• 极限流形自守群的约化性在孤子情形下连续路径收敛中至关重要。