[論文レビュー] Bessel Functions, Heat Kernel and the Conical Kähler-Ricci Flow

Xiuxiong Chen, Yuanqi Wang|arXiv (Cornell University)|May 1, 2013

Geometry and complex manifolds参考文献 35被引用数 28

ひとこと要約

本稿では、ベッセル関数とウェーバーの公式から導かれる熱核推定を用いて、錐型ケーラー・リッチフローに対する放物型シューディンガー型推定を確立する。これらの推定を活用して、錐角 $2\beta\pi$ を持つ特異計量の厳密な解析を通じ、ドナルドソンの開性定理を放物型設定に拡張し、錐型ケーラー・リッチフローの短時間存在を証明する。主な貢献は、錐構造を保ちながら錐型ケーラー計量を進化させるための新しい解析的枠組みを提供することにある。

ABSTRACT

Following Donaldson's oppenness theorem on deforming a conical Kähler-Einstein metric, we prove a parabolic Schauder-type estimate with respect to conical metrics. As a corollary, we show that the conical Kähler-Ricci Flow exists for short time. The key is to establish the relevant heat kernel estimates, where we use the Weber's formula on Bessel function of the second kind and Carslaw's heat kernel representation in \cite{Car}.

研究の動機と目的

• 錐型ケーラー・アインシュタイン計量に関するドナルドソンの開性定理を、錐型ケーラー・リッチフローを用いて放物型設定へと拡張すること。
• 錐角 $2\beta\pi$ を持つ錐型計量に対する放物型シューディンガー型推定を確立すること。これはフローの短時間存在を証明するために不可欠である。
• 第2種ベッセル関数とウェーバーの公式を用いて、錐型計量上での熱核推定を構築すること。
• 錐特異性構造を保ちながら錐型ケーラー計量を変形するための厳密な解析的基盤を提供すること。

提案手法

• 錐型計量に対する重み付き Hölder 空間 $C^{2+\alpha,1+\frac{\alpha}{2},\beta}$ における放物型シューディンガー推定を導出する。
• 第2種ベッセル関数のウェーバーの公式を用いて、錐多様体上での熱核を分析する。
• カーズローの熱核表現を用いて、熱作用素の基本解に対する精密な推定を得る。
• 補間不等式と放物型最大原理を用いて、シューディンガー推定における低次の項を制御する。
• 初期値がゼロである放物型方程式 $\frac{\partial u}{\partial t} = \Delta_{a(t)}u + v$ に対する事前推定を構築する。
• 上記の推定に基づく短時間存在の議論を通じて、錐型ケーラー・リッチフローの存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 錐角 $2\beta\pi$ を持つ錐型ケーラー計量に対して、放物型シューディンガー推定を確立できるか？
• RQ2 初期計量に錐特異性を持つ場合、錐型ケーラー・リッチフローは短時間存在するか？
• RQ3 ベッセル関数などの特殊関数を用いて、錐型計量上での熱核推定をどのように導出できるか？
• RQ4 ドナルドソンの錐型ケーラー・アインシュタイン計量に関する線形理論を、放物型進化設定へどの程度まで拡張できるか？
• RQ5 ベッセル関数とウェーバーの公式は、特異計量上での熱核推定において、果たす役割は何か？

主な発見

• 本稿では、錐型計量に対する重み付き Hölder 空間 $C^{2+\alpha,1+\frac{\alpha}{2},\beta}$ における放物型シューディンガー型推定を証明し、これはフローの正則性にとって不可欠である。
• 導出されたシューディンガー推定と熱核制御を通じて、錐型ケーラー・リッチフローの短時間存在が確立された。
• 第2種ベッセル関数とウェーバーの公式を用いて、錐型計量上での熱核推定が得られ、これが結果の解析的基盤を形成している。
• 錐型設定における放物型最大原理を用いて、推定 $|u|_{0,M\times[0,T]} \leq C^* T |v|_{0,M\times[0,T]}$ が証明された。
• この手法により、ドナルドソンの開性定理が放物型フロー設定へ成功裏に拡張され、十分に小さい時間 $T>0$ に対して解の存在が確認された。
• 解析により、フローが全多様体 $M$ 上の閉いカレントとして定義されていることから、進化過程でも錐構造が保たれていることが確認された。