[論文レビュー] The uniform version of Yau-Tian-Donaldson conjecture for singular Fano varieties

Chi Li, Gang Tian+1 more|arXiv (Cornell University)|Mar 4, 2019

Geometry and complex manifolds参考文献 41被引用数 25

ひとこと要約

本稿は、特異Fano多様体におけるYau-Tian-Donaldson予想の均一版を証明する：Q-Fano多様体が均一K安定であるならば、その多様体はKähler-Einstein計量を有する。著者らは、非アーチメデス関数値とバリュエーション基準に基づく新規な摂動的アプローチを用いて、Berman-Boucksom-Jonssonの戦略を拡張し、Mabuchiエネルギーの適切性を確立し、特に自己同型群が離散的な多様体（すべてのklt特異点を含む）において予想を解決する。

ABSTRACT

We prove the following result: if a $\mathbb{Q}$-Fano variety is uniformly K-stable, then it admits a Kähler-Einstein metric. We achieve this by modifying Berman-Boucksom-Jonsson's strategy with appropriate perturbative arguments and non-Archimedean estimates. The idea of using the perturbation is motivated by our previous paper.

研究の動機と目的

• 特異Fano多様体におけるklt特異点を有する均一Yau-Tian-Donaldson予想を確立すること。
• 滑らかでないQ-Fano多様体において、均一K安定性の下でKähler-Einstein計量の存在を拡張すること。
• Berman-Boucksom-Jonssonの変分的アプローチの摂動的変種を用いて、自己同型群が離散的な多様体における予想を解決すること。
• 均一K安定性が、自己同型群が離散的な場合にKähler-Einstein計量の存在と同値であるMabuchiエネルギーの適切性を示すこと。

提案手法

• 摂動的テスト配置を用いて、特異設定におけるBerman-Boucksom-Jonssonの変分的戦略を適応する。
• 非アーチメデス関数値の摂動を導入し、特にパrameter $\epsilon$ を用いて ${\bf E}^{\rm NA}$ および ${\bf L}^{\rm NA}$ 関数値を変更する。
• 均一K安定性のバリュエーション基準と非アーチメデス推定値を用いて、摂動された関数値の振る舞いを制御する。
• 摂動されたDing安定性条件を用いて、非アーチメデス的 ${\bf L}^{\rm NA}$ 関数値が ${\bf J}^{\rm NA}$ 関数値に関して下界をもつことを導出する。
• $\epsilon \to 0$ の極限処理を適用し、元の非アーチメデス的関数値を回復し、Mabuchiエネルギーが適切でない場合に矛盾を導く。
• Cheeger-Colding-Tian理論および $C^0$-推定値を避けるために、多重ポテンシャル論および非アーチメデス的Kähler幾何学に依拠する。

実験結果

リサーチクエスチョン

• RQ1 均一K安定性は、klt特異点を有する特異Fano多様体において、Kähler-Einstein計量の存在を示唆するか？
• RQ2 Berman-Boucksom-Jonssonの変分的アプローチは、滑らかでないQ-Fano多様体に滑らかな近似に依存せずに拡張可能か？
• RQ3 有限エネルギーポテンシャル上でのMabuchiエネルギーの適切性は、特異ケースにおいてKähler-Einstein計量の存在と同値か？
• RQ4 均一K安定性は、特異設定における非アーチメデス的関数値および $\delta$-不変量とどのように関係するか？
• RQ5 テスト配置および非アーチメデス推定値に基づく摂動的手法を用いて、代数的安定性と解析的計量存在の間のギャップを埋められるか？

主な発見

• 任意の固定された滑らかな基準計量 $\omega$ に対して、対 $(X,D)$ のlog-Fano対が均一K安定であるならば、$\omega$-psh有限エネルギーポテンシャルの空間上でMabuchiエネルギーが適切である。
• 自己同型群が離散的なlog-Fano対において、均一K安定性はKähler-Einstein計量の存在と同値である。
• 摂動された非アーチメデス的関数値 ${\bf L}_{(Y,B_{\epsilon})}^{\rm NA}$ は、$\geq \left(1 - ((1 - C\epsilon)\delta_0)^{-1/n}\right) {\bf J}_{L_{\epsilon}}^{\rm NA}$ を満たす。
• 摂動された対の $\delta$-不変量は $\delta(Y,B_{\epsilon}) \geq (1 - C\epsilon)\delta_0$ を満たし、小さな摂動の下でも安定性が保たれる。
• $\epsilon \to 0$ とすると、極限の議論により、Mabuchiエネルギーが適切でない場合に矛盾が生じ、これが主結果の証明に繋がる。
• 証明により、自己同型群が離散的なすべてのQ-Fano多様体（任意のklt特異点を含む）において、均一Yau-Tian-Donaldson予想が成立することが示された。