[论文解读] K-stability and Kähler-Einstein metrics

Gang Tian|arXiv (Cornell University)|Nov 20, 2012

Geometry and complex manifolds参考文献 27被引用 94

一句话总结

本文證明了法諾流形的Yau-Tian-Donaldson猜想的充分條件：若一個法諾流形是K-穩定的，則它具有凱勒-愛因斯坦度量。作者建立了一個錐型的Cheeger-Colding-Tian緊緻性理論，並利用它證明了一個部分$C^0$-估計，進而使連續法得以封閉解集，並透過收縮錐角的錐型凱勒-愛因斯坦度量構造出所需的凱勒-愛因斯坦度量。

ABSTRACT

In this new version, we correct some typos. For the readers' convenience, we also added some footnotes and more details for certain lemmas and theorems.

研究动机与目标

• 證明法諾流形的Yau-Tian-Donaldson猜想的充分方向：K-穩定性推出凱勒-愛因斯坦度量的存在性。
• 建立Kähler-Einstein度量在除子上具有錐型奇異性的Cheeger-Colding-Tian緊緻性理論的錐型版本。
• 將Kähler-Einstein度量的部分$C^0$-估計推廣至錐型設定，這對封閉連續法至關重要。
• 透過允許$\lambda > 1$來解決Donaldson連續法中的技術障礙，從而確保對非空開集的錐角存在錐型凱勒-愛因斯坦度量。

提出的方法

• 發展Cheeger-Colding-Tian理論在凱勒-愛因斯坦流形緊緻性上的錐型版本，並適應沿光滑除子具有錐型奇異性的度量。
• 使用基於帶錐型奇異性的複Monge-Ampère方程的連續法：$(\omega_\beta + \sqrt{-1}\partial\bar{\partial}\varphi)^n = e^{h_\beta - \mu\varphi}\omega_\beta^n$，其中$\omega_\beta$是沿除子$D$具有$2\pi\beta$角的錐型凱勒度量。
• 定義集合$E$為所有$\beta \in (1 - \lambda^{-1}, 1]$，使得錐型凱勒-愛因斯坦度量存在，並證明$E$是開集且閉集，因此$E = (1 - \lambda^{-1}, 1]$，暗示當$\beta \to 1$時極限度量的存在性。
• 構造具有受控梯度範數的截斷函數$\gamma_{\bar{\epsilon}}$，以證明部分$C^0$-估計，並利用奇異集$\mathcal{S}_x$的管狀鄰域體積估計。
• 應用爆破論證與Co-area公式，以有界$\mathrm{L}^2$-範數的截斷函數梯度，確保$C^0$-估計一致成立。
• 利用[Be11]中的對數-$\alpha$-不變量估計與[JMR11]的主要結果，確保對小的$\mu = 1 - (1 - \beta)\lambda$，錐型凱勒-愛因斯坦度量存在，從而保證初始集合$E$非空。

实验结果

研究问题

• RQ1 法諾流形的K-穩定性是否推出凱勒-愛因斯坦度量的存在性？
• RQ2 凱勒-愛因斯坦度量的連續法能否推廣至錐型設定，以克服$C^0$-估計失效的問題？
• RQ3 在錐型連續法下，使錐型凱勒-愛因斯坦度量存在的錐角$\beta$的集合$E$是否同時為開集與閉集？
• RQ4 能否在錐型設定中建立足夠封閉連續法的局部$C^0$-估計，進而產生光滑的凱勒-愛因斯坦度量？
• RQ5 光滑反Canonical除子$D$的存在是否仍為必要假設，還是該方法可在$D$不光滑時加以調整？

主要发现

• 本文證明定理1.1：若法諾流形$M$是K-穩定的，則它具有凱勒-愛因斯坦度量。
• 使錐型凱勒-愛因斯坦度量存在的錐角$\beta \in (1 - \lambda^{-1}, 1]$的集合$E$既是開集也是閉集，因此$E = (1 - \lambda^{-1}, 1]$，暗示當$\beta \to 1$時極限度量的存在性。
• 在錐型設定中建立了部分$C^0$-估計，其足夠封閉連續法，進而產生光滑的凱勒-愛因斯坦度量。
• 透過奇異集$\mathcal{S}_x$的管狀鄰域體積估計，構造了具有受控$\mathrm{L}^2$-梯度範數的截斷函數$\gamma_{\bar{\epsilon}}$，確保$C^0$-估計一致成立。
• 該方法透過允許$\lambda > 1$避開了對光滑反Canonical除子的需求，從而推廣了Donaldson原始的連續法。
• 透過Co-area公式與體積衰減估計，完成了截斷函數的引理5.8的證明，顯示$\int_K |\nabla(\eta \cdot \zeta)|^2 \omega_x^n \leq \bar{\epsilon}$對小的$\bar{\epsilon}$成立，這對$C^0$-估計至關重要。