[論文レビュー] $C^{2,α}$-estimate for conical Kähler-Ricci flow

Liangming Shen|arXiv (Cornell University)|Dec 8, 2014

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

ひとこと要約

本稿は、単純な正規交叉除集合をもつコン pact なケーラー多様体上の錐型ケーラー・リッチ・フローに対して、放物型 $C^{2,\beta}$-推定を確立する。これは、熱方程式の比較を用いて、ティアンの楕円型 $C^{2,\beta}$-推定を放物型設定へ拡張したものである。主な結果は、$\beta_i < 1$ および $\beta_{\text{max}}^{-1} - 1 > 0$ を満たす錐角に対して有効な Hölder 型の複素ヘッセ行列の制御を提供することで、非正規化錐型ケーラー・リッチ・フローの存在証明を完成させる。この手法は、反復的 $L^2$-ノルムの減衰推定と、計量の2階微分の熱フローに対する弱ハーナック不等式に依存する。

ABSTRACT

We establish a parabolic version of Tian's $C^{2,α}$-estimate for conical complex Monge-Ampere equations, which includes conical Kähler-Einstein metrics. Our estimate will complete the proof of the existence of unnormalized conical Kähler-Ricci flow in arXiv:1411.7284.

研究の動機と目的

• 非正規化錐型ケーラー・リッチ・フローの存在理論におけるギャップを埋めるために、放物型 $C^{2,\alpha}$-推定を確立すること。
• ティアンの錐型モンジュ・アンプère方程式に対する楕円型 $C^{2,\alpha}$-推定を、ケーラー・リッチ・フローの放物型設定へ拡張すること。
• 錐型フロー設定におけるポテンシャル関数 $\varphi$ の複素ヘッセ行列に対する Hölder 正則性を提供すること。
• 錐角 $\beta_i \geq \frac{1}{2}$ の場合にカルビの $C^3$-推定が失敗することを補うために、放物型比較論を構築すること。

提案手法

• 錐型ケーラー・リッチ・フロー方程式を用いて、ポテンシャル $\varphi$ の複素ヘッセ行列に関する2階放物型方程式を導出する。
• 熱方程式理論と弱ハーナック不等式を適用し、$\varphi$ の3階微分の $L^2$-ノルムを制御する。
• 切り捨て関数とエネルギー推定を用いて、放物型シリンダー $P_r(x_0,t_0)$ 上での $|\nabla^3\varphi|^2$ の $L^2$-ノルムを有界化する。
• 熱方程式の解との比較を用いて、$\nabla^3\varphi$ の $L^2$-ノルムに対する反復的減衰推定を確立する。
• 右辺のエネルギー不等式の制御に、$\epsilon_0$ の小ささに基づく摂動論法を用いる。
• スケーリングパラメータ $\lambda$ を用いた反復スキームを用いて、最終的な Hölder 推定 $\iint_{P_r} |\nabla^3\varphi|^2 \overline{\omega}_0^n dt \leq C_\alpha r^{2n+2\alpha}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 錐型ケーラー・リッチ・フローに対して、ティアンの $C^{2,\alpha}$-推定の放物型版を確立できるか？
• RQ2 エヴァンズ＝クリーロフ＝サファノフ理論は、熱フロー比較を用いて錐型設定へ拡張可能か？
• RQ3 計量が平坦な錐型モデルに近いと仮定しない限り、ポテンシャル $\varphi$ の $C^{2,\alpha}$-正則性は達成可能か？
• RQ4 錐型の場合における複素ヘッセ行列の最適な Hölder 指数 $\alpha$ は何か？
• RQ5 錐角 $\beta_i \geq \frac{1}{2}$ の場合にカルビの $C^3$-推定が失敗するのを、放物型設定でどのように克服できるか？

主な発見

• 本稿は、$\alpha \in \left(0, \overline{\beta}^{-1} - 1, 1\right)$ の範囲で、錐型ケーラー・リッチ・フローに対する放物型 $C^{2,\alpha}$-推定を確立する。ここで $\overline{\beta} = \max_i \beta_i$ である。
• 指定された範囲内の任意の $\alpha$ に対して、複素ヘッセ行列 $\sqrt{-1}\partial\bar{\partial}\varphi$ は背景計量 $\overline{\omega}_0$ に関して $C^\alpha$-有界である。
• 推定は、$|\nabla^3\varphi|^2$ の $L^2$-ノルムに関する反復的減衰議論に基づき、$r < r_0$ のとき $\iint_{P_r} |\nabla^3\varphi|^2 \overline{\omega}_0^n dt \leq C_\alpha r^{2n+2\alpha}$ を得る。
• 証明は、熱方程式の解との比較に依存し、エネルギーの減衰を制御するために弱ハーナック不等式が用いられる。
• 本結果により、[23]で確立された非正規化錐型ケーラー・リッチ・フローの存在証明が、ポテンシャルに対する欠落していた Hölder 正則性を提供することで完成する。
• $\overline{\beta} \geq \frac{1}{2}$ の場合、推定は非自明であり、カルビの $C^3$-推定がこの範囲で失敗するため、それからは導出できない。