[論文レビュー] The partial $C^0$-estimate along the continuity method

Gábor Székelyhidi|arXiv (Cornell University)|Oct 31, 2013

Geometry and complex manifolds被引用数 4

ひとこと要約

本稿は、ファノ多様体上のケーラー・アインシュタイン計量について、アウビンの連続的変形法に沿った部分 $C^0$-推定を証明し、ティアンの予想を確認する。チエン＝ドナルドソン＝サンが特異ケーラー・アインシュタイン計量に用いた技術を適応することで、固定された $k_0$ に対してベーグマン核の均一な下界を確立し、鋭い正則セクションの存在を保証する。この結果は、ケーラー・アインシュタイン計量と代数幾何的安定性を結びつけるために不可欠な解析的要素を提供する。

ABSTRACT

We prove that the partial $C^0$-estimate holds for metrics along Aubin's continuity method for finding K\"ahler-Einstein metrics, confirming a special case of a conjecture due to Tian. We use the method developed in recent work of Chen-Donaldson-Sun on the analogous problem for conical K\"ahler-Einstein metrics.

研究の動機と目的

• ファノ多様体上のケーラー・アインシュタイン計量を求めるにあたり、アウビンの連続的変形法に沿った部分 $C^0$-推定を確立すること。
• 連続的経路全体にわたるベーグマン核の均一な下界に関するティアンの予想の特殊ケースを確認すること。
• チエン＝ドナルドソン＝サンが特異ケーラー・アインシュタイン計量に開発した解析的技術を、アウビンの方法の滑らかな設定に拡張すること。
• K-安定ファノ多様体上でのケーラー・アインシュタイン計量の存在の別証明の土台を提供すること。

提案手法

• 計量の振る舞いを定量化するために、$H^0(K_M^{-k})$ の $L^2$-正規直交基底を介して定義されるベーグマン核 $\rho_{\omega_t,k}$ を用いる。
• 与えられた点 $x \in M$ において、$L^2$-ノルムは小さいが点での値は大きな「鋭いセクション」を構成する手法を適用する。
• 局所的に $k\omega_t$ をユークリッド計量で近似し、切断関数の下で定数セクション 1 の指数的減衰を利用する。
• リッチ曲率の下界の下で、距離球のグロモフ＝ハウスドルフ極限を解析するために、グロモフのコンパクトネスとチヘイ＝コリング理論を用いる。
• モデルコーン上での曲率積分を制御するために、リッチ曲率の恒等式 $\mathrm{Ric}(\tilde\omega_i) = -\sqrt{-1}\partial\bar\partial \log \frac{\tilde\omega_i^n}{\omega_{\mathrm{Euc}}^n}$ を用いる。
• スケーリング下での $\alpha_i$-体積の挙動を用いて、体積収束と比較の議論を展開し、部分 $C^0$-推定が失敗する場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体上のケーラー・アインシュタイン計量について、ティアンが予想したように、アウビンの連続的変形経路に沿って部分 $C^0$-推定が成り立つかどうか。
• RQ2 特異ケーラー・アインシュタイン計量に用いられた技術が、滑らかな連続的変形法に適応可能か。
• RQ3 すべての $t \in [0,T)$ および $x \in M$ に対して、$\rho_{\omega_t,k_0}(x)$ に $t$ に依存しない均一な下界が存在するか。
• RQ4 部分 $C^0$-推定が、安定性基準を用いてケーラー・アインシュタイン計量の存在を確立するために利用可能か。
• RQ5 マブーチ・エネルギーとその適正性は、ポールの安定性および連続的変形法とどのように関係しているか。

主な発見

• ファノ多様体 $M$ 上で $\mathrm{Ric}(\omega_t) = t\omega_t + (1-t)\alpha$ を満たす族 $\omega_t$ に対して、部分 $C^0$-推定が成り立ち、ある固定された $k_0$ に対してすべての $x \in M$ および $t \in [0,T)$ で $\rho_{\omega_t,k_0}(x)$ に均一な下界が存在する。
• 正の定数 $c > 0$ と整数 $k_0$ が存在し、すべての $x \in M$ および $t \in [0,T)$ に対して $\rho_{\omega_t,k_0}(x) > c$ が成り立つ。これは、この場合のティアンの予想を確認する。
• 局所的なユークリッドおよびコーン型モデルを用いて、$L^2$-ノルムと点での大きさの両方を制御した、切り詰めと摂動による鋭い正則セクションの構成に依拠している。
• 部分 $C^0$-推定が失敗するならば、$\tilde\omega_i$ の下で特定の集合 $V$ の体積が体積収束に矛盾することを示す。
• $t \to T$ のときの計量列 $\omega_t$ の極限において、特異集合におけるハウスドルフ余次元が少なくとも 4 である「良い」接空間がすべて存在する。
• この結果は、$T < 1$ であれば連続的変形法を $T$ を超えて続けることができることを示唆し、$T = 1$ であれば部分 $C^0$-推定のもとでケーラー・アインシュタイン計量が得られることを示す。