[論文レビュー] Approximation of weak geodesics and subharmonicity of Mabuchi energy

XiuXiong Chen, Long Li+1 more|arXiv (Cornell University)|Sep 28, 2014

Geometry and complex manifolds被引用数 20

ひとこと要約

本稿は、$\varepsilon$-geodesicsとMonge-Ampère方程式の繊維ごとの解を用いた2つの近似技法を用いて、ケーラー幾何における弱geodesicsに沿ったMabuchiエネルギーの凸性を確立する。これは分布に依存しない、グローバルで分布フリーの凸性の証明を提供し、エントロピーと正則化エネルギー関数の下半連続性に依拠して、geodesicの端点におけるMabuchi汎関数の連続性を証明する。

ABSTRACT

We are analysing the convexity and continuity properties of the Mabuchi functional along weak geodesics. The key technical point in our paper is the global approximation of weak geodesics obtained via a well-chosen family of Monge-Ampère equations.

研究の動機と目的

• ケーラー幾何における長年の予想である、弱geodesicsに沿ったMabuchiエネルギーの凸性に対する、より直接的で新しい証明を提供すること。
• 弱geodesicsの境界端点におけるMabuchi汎関数の連続性を確立すること、これは重要な正則性性質である。
• 滑らかな解が存在しない状況下で弱geodesicsを研究するための、2つの体系的な近似技法——$\varepsilon$-geodesicsと繊維ごとのMonge-Ampère解——を構築し、適用すること。
• 正則化されたMabuchiエネルギーが$\varepsilon$-geodesicsに沿ってほぼ凸性を示すことを示し、完全な凸性の証明への道筋を示唆すること。
• 分布的凸性に依存せずにMabuchiエネルギーの凸性を導出できることを示し、より幾何的かつ自己完結的なアプローチを提供すること。

提案手法

• 弱geodesicsを近似する$\mathcal{C}^{1,1}$解としての$\varepsilon$-geodesicsを用いる。これらは複素Monge-Ampère方程式の解である。
• Monge-Ampère方程式の族による繊維ごとの近似を適用し、正則性と収束性が制御された電流$\Theta_\varepsilon$を構成する。
• Mabuchi汎関数における対数的体積形式の極限を制御するため、エントロピーの下半連続性を用いる。
• Evans-Krylov理論に依拠し、コンパクト部分集合上で近似メトリクス$\omega_\varepsilon$の一様なラプラシアン推定を得る。
• 連続的経路の意味で、恒等式$dd^c \mathcal{E}(t) = \int_X \Omega^{n+1}$および$dd^c \mathcal{E}^\alpha(t) = \int_X \Omega^n \wedge \alpha$を用いる。
• Mabuchiエネルギーにおける曲率項を制御するための鍵となる不等式$dd^c \log \det \Theta_\varepsilon \wedge \mathcal{G}^n \geq \mathop{\rm Ric}\nolimits_\omega \wedge \mathcal{G}^n$を導出する。

実験結果

リサーチクエスチョン

• RQ1 弱geodesicsに沿ったMabuchiエネルギーの凸性は、分布的凸性に依存せずに証明可能か？
• RQ2 滑らかさの欠如にもかかわらず、弱geodesicの端点におけるMabuchi汎関数は連続的か？
• RQ3 正則化されたMabuchiエネルギーは$\varepsilon$-geodesicsに沿ってほぼ凸性を示すか？ そして、これは完全な凸性の証明に用いられるか？
• RQ4 Monge-Ampère方程式による弱geodesicsの繊維ごとの近似は、凸性のグローバル証明を可能にするか？
• RQ5 エントロピーの下半連続性は、Mabuchi汎関数における体積形式の収束を制御するために果たす役割は何か？

主な発見

• Mabuchiエネルギーは弱geodesicsに沿って凸であり、分布的議論を避ける直接的証明が得られた。
• エントロピーの下半連続性と正則化に依拠して、弱geodesicの端点$t=0$および$t=1$におけるMabuchi汎関数の連続性が確立された。
• 正則化されたMabuchiエネルギーは$\varepsilon$-geodesicsに沿ってほぼ凸であることが示され、完全な凸性の証明への有望な道筋が示された。
• 繊維ごとのMonge-Ampère近似により、[4]とは異なる別アプローチによるMabuchiエネルギーの凸性の新証明が得られた。
• 近似スキームにより、$\Theta_\varepsilon$のポテンシャル$\phi_\varepsilon$が弱geodesicポテンシャル$\varphi$に局所一様収束し、繊維ごとの体積形式が a.e. で収束することが保証された。
• 不等式$dd^c \log \det \Theta_\varepsilon \wedge \mathcal{G}^n \geq \mathop{\rm Ric}\nolimits_\omega \wedge \mathcal{G}^n$が確立され、これは凸性証明にとって極めて重要である。