[論文レビュー] Complex Monge-Ampère equation for measures supported on real submanifolds

Duc‐Viet Vu|arXiv (Cornell University)|Aug 9, 2016

Geometry and complex manifolds参考文献 13被引用数 4

ひとこと要約

本稿では、コンpact Kähler多様体 X の一般な C^3 実部分多様体 K に台を持つ測度 μ が L^p 密度（p > 1）を持つ場合、複素 Monge-Ampère方程式 (dd^cφ + ω)^n = μ に対して Hölder連続解の存在を確立する。主な貢献は、このような測度が Hölder連続な超ポテンシャルを持つことを証明することであり、これにより解の Hölder 正則性が得られ、その Hölder 指数は p、d、n に依存する明示的な式で与えられる。

ABSTRACT

Let $(X,ω)$ be a compact $n$-dimensional Kähler manifold on which the integral of $ω^n$ is $1$. Let $K$ be an immersed real $\mathcal{C}^3$ submanifold of $X$ such that the tangent space at any point of $K$ is not contained in any complex hyperplane of the (real) tangent space at that point of $X.$ Let $μ$ be a probability measure compactly supported on $K$ with $L^p$ density for some $p>1.$ We prove that the complex Monge-Ampère equation $(dd^c φ+ ω)^n=μ$ has a Hölder continuous solution.

研究の動機と目的

• 測度 μ が一般な実部分多様体に台を持つ場合の複素 Monge-Ampère方程式 (dd^cφ + ω)^n = μ の解の正則性を扱う。
• 特に、一般な C^3 部分多様体上に台を持つ L^p 密度付き確率測度のクラスを同定し、そのような測度に対して解が Hölder 連続であることを示す。
• このような測度の超ポテンシャルが Hölder 連続であることを確立し、既知の安定性結果を用いて解の Hölder 正則性を示す。
• 解の Hölder 指数を p、実codimension d、および環境多様体の複素次元 n の関数として明示的に与える。
• 測度が体積形式の相対的密度を持つ場合に限らない、Hölder 連続解をもたらす測度のクラスを拡張する。

提案手法

• 証明は、パrameter t を持つベルトラミ型方程式の解の修正版を用いて、一般部分多様体 K に部分的に接する解析的円板の族を構成することに依存する。
• 解析的円板は調和拡張と、特性が制御された参考関数 u_0 の摂動を用いて構成され、境界付近で円板が K に近づくように保証される。
• この構成により、円板写像のヤコビアン行列式が (1 - |z|)^{d-1} に比例する下界を満たすことが保証され、歪みが制御され、測度推定が可能になる。
• 超ポテンシャルの正則性は、ω-擬上膜関数間の L^1-距離を推定し、解析的円板の幾何を用いて超ポテンシャルの変動をバウンドすることによって確立される。
• 超ポテンシャルの Hölder 連続性は、解写像の下での円板像の測度の均一的制御から導かれる。
• 最後に、既知の安定性および正則性定理（例：Demailly, Dinew, Guedj 他）と組み合わせることで、解 φ の Hölder 連続性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 測度 μ が一般な実部分多様体に台を持ち、L^p 密度を持つ場合、複素 Monge-Ampère方程式の解の最良の Hölder 正則性は何か？
• RQ2 一般な C^3 部分多様体上に台を持つ測度の超ポテンシャルが Hölder 連続であることを示せるか？ もしそうなら、何の指数で？
• RQ3 一般な部分多様体に部分的に接する解析的円板の幾何は、超ポテンシャルの推定および正則性の証明にどのように寄与するか？
• RQ4 複素 Monge-Ampère方程式の Hölder 連続解をもたらす測度のクラスには、正の codimension を持つ部分多様体上に台を持つ L^p 密度付き測度が含まれるか？
• RQ5 解の Hölder 指数を codimension d、次元 n、および密度の可積分性指数 p の関数として明示的に定量化できるか？

主な発見

• 複素 Monge-Ampère方程式 (dd^cφ + ω)^n = μ は、一意な ω-擬上膜関数解 φ を持ち、その Hölder 連続性指数は α < 2(p-1)/(3d(n+1)p) である。ここで p > 1 は μ の密度の可積分性指数である。
• 測度 μ = 1_{K̃} · vol_K の超ポテンシャルは、Hölder 連続で、指数は α < 1/(3d) である。ここで K̃ は一般な C^3 部分多様体 K のコンパクト部分集合である。
• 系 1.2 は指数的可積分性推定を確立する：ある α > 0 と c > 0 が存在し、すべての ω-擬上膜関数 φ で sup_X φ = 0 を満たすものに対して、∫_{K̃} e^{-αφ} dvol_K ≤ c が成り立つ。
• K が C^{2,β}（ある β ∈ (0,1)）である場合でも証明は有効であり、Hölder 指数は C^{2,1/2} の正則性を β' < β に対して C^{2,β'} に置き換えることで調整される。
• 本結果により、環境体積形式の相対的密度を持つものに限らない、Hölder 連続解をもつ測度のクラスが拡張される。特に、正の codimension を持つ部分多様体上に台を持つ測度が含まれる。
• K に部分的に接する解析的円板の構成は、超ポテンシャルを制御する幾何的メカニズムを提供し、測度論的およびポテンシャル論的議論を用いて Hölder 評価を導出可能にする。