[論文レビュー] On Pointwise Gradient Estimates for the Complex Monge-Ampere Equation

D. H. Phong, Jacob Sturm|ArXiv.org|Nov 15, 2009

Geometry and complex manifolds参考文献 21被引用数 5

ひとこと要約

本稿は、境界を持つコンpact Kähler多様体上の複素 Monge-Ampère方程式の解に対して、解の下界にのみ依存する、新しい点ごとの勾配推定を確立する。この推定は、解の全 $C^0$ ノルムに依存しない。推定式は $|\nabla\varphi(z)|^2 \leq C_1 \exp(A_1 \varphi(z))$ の形をとり、勾配ノルムが有界でない場合でも有効であり、滑らかな解および除法へ発散する解の両方に適用可能で、$C^{1,\alpha}$ 地図の放射線の構成など、幾何的応用において向上した柔軟性を提供する。

ABSTRACT

In this note, a gradient estimate for the complex Monge-Ampere equation is established. It differs from previous estimates of Yau, Hanani, Blocki, P. Guan, B. Guan - Q. Li in that it is pointwise, and depends only on the infimum of the solution instead of its $C^0$ norm.

研究の動機と目的

• 解の下界にのみ依存する勾配推定を、解の全 $C^0$ ノルムに依存しない形で複素 Monge-Ampère方程式に対して導出すること。
• グローバルな勾配ノルムが有界でない場合でも有効な点ごとの推定を提供すること。
• 既存の勾配推定を $\|\varphi\|_{C^0}$ に依存しない形に一般化し、幾何的解析への応用性を高めること。
• 特にテスト配置からの $C^{1,\alpha}$ 地図の放射線の構成を支援すること。
• この手法をヘルメルト型計量および除法へ発散する特異解へ拡張すること。

提案手法

• 複素 Monge-Ampère設定に適応された、$|\nabla\varphi|^2$ と $\varphi$ を含む注意深く構築された補助関数に最大原理を適用する手法。
• Kählerの場合の複素ヘッセ行列に関する Blocki の恒等式を、双曲的曲率下限 $\Lambda$ を用いて曲率バウンドを組み込む形に修正。
• 下界の構成と、$|\nabla\varphi|^2$ の最大点における吹き上がりの議論に依存し、勾配が速く成長する場合に矛盾が生じることを示す。
• 特異解の場合、$\varphi \to \infty$ となる集合 $S$ に近づくとき、$\log|\nabla\varphi|^2 - B\varphi \to -\infty$ となる追加の減衰条件を導入し、推定が依然有効であることを保証する。
• 滑らかな解（$\bar{M}$ 上）と、境界から離れた集合 $S$ で特異な解（$S \cap \partial M = \emptyset$）の2つの場合に推定を導出。
• Kähler曲率バウンド $\Lambda$ をヘルメルト行列の一般化された曲率バウンド $\Lambda^H$ に置き換えることで、ヘルメルト計量へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 解の下界にのみ依存する点ごとの勾配推定を、解の全 $C^0$ ノルムに依存しない形で複素 Monge-Ampère方程式に対して導出可能か？
• RQ2 グローバルな勾配ノルム $\|\nabla\varphi\|_{C^0}$ が無限大に発散する状況でも、このような推定が得られるか？
• RQ3 退化 Kähler 背景下で除法へ発散する解に対して、勾配推定をどのように適合可能にするか？
• RQ4 適切な曲率バウンドのもとで、この手法を非 Kähler のヘルメルト計量へ拡張可能か？
• RQ5 このような推定が、Kähler 幾何における地図の放射線の正則性に与える影響は何か？

主な発見

• 本稿では、$C^4(\bar{M})$ 内の解に対して、点ごとの勾配推定 $|\nabla\varphi(z)|^2 \leq C_1 \exp(A_1 \varphi(z))$ を確立する。ここで $C_1$ と $A_1$ は、$\inf_M \varphi$、曲率バウンド、境界上のデータにのみ依存する。
• 境界から離れた集合 $S$ で特異な解（$S \cap \partial M = \emptyset$）に対して、$\varphi \to \infty$ かつ $z \to S$ 時に $\log|\nabla\varphi|^2 - B\varphi \to -\infty$ であるとき、同じ推定が成り立ち、$A_1 = \max(B, D)$ となる。
• 推定は構造的に鋭く、Yau のラプラシアン推定に類似しており、$\inf_M \varphi = 0$ となるように正規化可能で、その場合 $C_1$ は解の下界に依存しない。
• Kähler 曲率バウンド $\Lambda$ をヘルメルト行列の一般化された曲率バウンド $\Lambda^H$ に置き換えることで、この手法はヘルメルト計量へそのまま適用可能である。
• この結果により、退化 Kähler 幾何における $C^{1,\alpha}$ 正則性の地図の放射線の証明が可能となり、テスト配置への応用で示された。
• 背景形式の退化に対しても推定は頑健であることが示された。$\omega_0$ が正のが退化する $(1,1)$-形式である場合、変数変換 $\psi = \varphi - \log\|\sigma\|^\kappa$ を行うことで非退化方程式が得られ、その方程式に推定が適用可能となる。