[論文レビュー] 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安定であれば、その多様体はKähler-Einstein計量をもつ。著者らは、Cheeger-Colding-Tianのコンパクトネス理論の錐型版を確立し、部分的$C^0$-推定を導出し、連続的方法を用いて解の集合を閉じ、収束する錐角をもつ錐型Kähler-Einstein計量を介して、所望のKähler-Einstein計量を構成する。

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計量の存在を示す。
• 除法に沿った特異点をもつKähler-Einstein計量のためのCheeger-Colding-Tianのコンパクトネス理論の錐型版を確立する。
• Kähler-Einstein計量の部分的$C^0$-推定を錐型設定に拡張し、連続的方法を閉じる上で不可欠な推定を達成する。
• Donaldsonの連続的方法における技術的障害を、$\lambda > 1$を許容することで解決し、錐角の非空な開集合に対して錐型Kähler-Einstein計量の存在を保証する。

提案手法

• 除法に沿った特異点をもつ計量に適応した、Kähler-Einstein多様体のコンパクトネス理論の錐型版を構築する。
• 除法に沿った特異点をもつ複素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$の角をもつ錐型Kähler計量である。
• 錐型Kähler-Einstein計量が存在する$\beta \in (1 - \lambda^{-1}, 1]$の集合$E$を定義し、$E$が開かつ閉であることを証明し、$E = (1 - \lambda^{-1}, 1]$が成り立つことを示し、$\beta \to 1$の極限計量の存在を示す。
• 特異集合$\mathcal{S}_x$のチューブ型近傍の体積推定を用いて、勾配ノルムが制御された切り捨て関数$\gamma_{\bar{\epsilon}}$を構成し、部分的$C^0$-推定を証明する。
• 吹き出し法とco-area公式を適用して、切り捨て関数の勾配の$L^2$ノルムをバインドし、$C^0$-推定が一様に成り立つことを保証する。
• Be11の対数$\alpha$-不変量推定とJMR11の主要結果を用いて、$\mu = 1 - (1 - \beta)\lambda$が小さい場合に錐型Kähler-Einstein計量の存在を保証し、初期集合$E$が非空であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体のK安定性は、Kähler-Einstein計量の存在を示唆するか？
• RQ2 部分的$C^0$-推定の失敗を克服するため、Kähler-Einstein計量の連続的方法を錐型設定に拡張できるか？
• RQ3 連続的方法における錐型設定下で、Kähler-Einstein計量が存在する錐角$\beta$の集合$E$が、開かつ閉であるか？
• RQ4 連続的方法を閉じるのに十分な部分的$C^0$-推定を、錐型設定で確立できるか？
• RQ5 滑らかな反標準除法$D$の存在は必要不可欠な仮定であるか、それとも$D$が滑らかでない場合にこの方法を適応可能か？

主な発見

• 論文は定理1.1を証明する：ファノ多様体$M$がK安定であれば、$M$はKähler-Einstein計量をもつ。
• 錐型Kähler-Einstein計量が存在する錐角$\beta \in (1 - \lambda^{-1}, 1]$の集合$E$は開かつ閉であるため、$E = (1 - \lambda^{-1}, 1]$が成り立ち、$\beta \to 1$の極限計量の存在を示す。
• 錐型設定において部分的$C^0$-推定が確立され、連続的方法を閉じ、滑らかなKähler-Einstein計量を生成するのに十分である。
• 特異集合$\mathcal{S}_x$のチューブ型近傍の体積推定を用いて、勾配ノルムが制御された切り捨て関数$\gamma_{\bar{\epsilon}}$の構成が達成され、$C^0$-推定が一様に成り立つ。
• 滑らかな反標準除法の必要性を回避するため、$\lambda > 1$を許容することで、Donaldsonの元々の連続的方法を一般化する。
• 補題5.8における切り捨て関数の証明は、co-area公式と体積減衰推定を用いて完了され、$\int_K |\nabla(\eta \cdot \zeta)|^2 \omega_x^n \leq \bar{\epsilon}$（$\bar{\epsilon}$が小さい場合）が成り立つことが示され、これは$C^0$-推定に不可欠である。