[論文レビュー] Estimates on Monge-Ampère operators derived from a local algebra inequality

Jean-Pierre Demailly|ArXiv.org|Sep 21, 2007

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

ひとこと要約

本稿は、コンパクトに台を持つ特異性をもつ正則自己共役関数 φ に対する e^{-2φ} の L^1-可積分性について、a priori な境界を確立する。この境界は、全 Monge-Ampère 質量 ∫_Ω (dd^cφ)^n < n^n に対する一様な上界から導かれる。主な結果は、Monge-Ampère 質量が n^n よりも厳密に小さいならば、任意のコンパクト K ⊂ Ω に対して ∫_K e^{-2φ} < ∞ が成り立つことであり、極値的挙動は φ(z) = n log|z - z_0| の形の関数によって達成される。証明は、Corti が最初に示し、Ein, De Fernex, Mustaća によって拡張された、局所代数における深い不等式に依拠しており、これは理想の log-canonical しきい値と Hilbert-Samuel 多重度の関係を示している。

ABSTRACT

The goal of this short note is to relate the integrability property of the exponential $e^{-2ϕ}$ of a plurisubharmonic function $ϕ$ with isolated or compactly supported singularities, to a priori bounds for the Monge-Ampère mass of $(dd^cϕ)^n$. The inequality is valid locally or globally on an arbitrary open subset $Ω$ in $\bC^n$. We show that $\int_Ω(ddϕ)^n

研究の動機と目的

• コンパクトに台を持つ特異性をもつ正則自己共役関数 φ に対する e^{-2φ} の可積分性を、全 Monge-Ampère 質量 ∫_Ω (dd^cφ)^n への境界と関連付けること。
• ∫_Ω (dd^cφ)^n < n^n ならば、任意のコンパクト K ⊂ Ω に対して ∫_K e^{-2φ} < ∞ が成り立つことを示すこと。この結果は φ に依存しない。
• しきい値 n^n が最適であることを示し、φ(z) = (n - ε)log|z - z_0| の形の関数が ε → 0 のときしきい値に近づくこと。
• この結果が、局所代数における基本的不等式に起因することを確立すること。具体的には、理想の log-canonical しきい値と Hilbert-Samuel 多重度の関係を示すこと。
• 解析的推定が代数的不等式と等価であることを示すこと。Corti は次元 2 で、Ein, De Fernex, Mustaća は任意の次元に拡張したこの不等式を証明している。

提案手法

• 証明は、解析的問題を、既知の局所代数における不等式に還元する。具体的には、C^0 における零次元的理想 J に対して、log-canonical しきい値 lc(J) ≤ n / e(J)^{1/n} が成り立つという不等式を用いる。
• 解析的 Monge-Ampère 質量の境界と代数的多重度条件の同値性を用い、等号が成立するのは、J の整閉包が最大イデアルのべきであるときに限ることを活用する。
• 重要なステップとして、特異点付近での e^{-2φ} の成長を制御するため、Ohsawa-Takegoshi の L^2 拡張定理と特異点の近似技術を用いる。
• Cegrell のクラス F(Ω) と Monge-Ampère 測度の弱収束を用いて、L^1_loc(Ω) 内での複素数関数のクラス P_{0,M}(Ω) のコンパクト性を用い、一様な境界を保証する。
• CZ03 からの部分拡張定理を用い、φ をより大きな超凸領域 ̃Ω に拡張し、Monge-Ampère 質量の境界を保つ。
• 最終的な推定は、コンパクト部分集合上で e^{-2φ} の一様 L^1-有界性と、部分拡張およびコンパクト性の議論を組み合わせることで得られ、φ に依存しない定数 C'(Ω, M) が得られる。

実験結果

リサーチクエスチョン

• RQ1 Monge-Ampère 質量 ∫_Ω (dd^cφ)^n がどのような条件下で、コンパクトに台を持つ特異性をもつ正則自己共役関数 φ に対して e^{-2φ} が局所可積分であることが保証されるか。
• RQ2 Monge-Ampère 質量のしきい値 n^n は最適か？ また、この境界に近づくと何が起こるか。
• RQ3 Monge-Ampère 質量が有界な正則自己共役関数の族全体にわたって、e^{-2φ} の可積分性を一様に制御できるか。
• RQ4 解析的条件 ∫_Ω (dd^cφ)^n < n^n は、Hilbert-Samuel 多重度や log-canonical しきい値といった代数的不変量とどのように関係するか。
• RQ5 e^{-2φ} に対する解析的推定と、局所代数における基本的不等式との間に同値性があるか。もしそうならば、等号が成立するのはどのような条件下か。

主な発見

• ∫_Ω (dd^cφ)^n < n^n ならば、任意のコンパクト部分集合 K ⊂ Ω に対して ∫_K e^{-2φ} < ∞ が成り立ち、この境界は Ω、K、および質量の上限 M < n^n のみに依存する。
• しきい値 n^n は最適である：φ_ε(z) = (n - ε)log|z - z_0| に対して、Monge-Ampère 質量は (n - ε)^n < n^n であるが、ε → 0^+ のとき ∫_K e^{-2φ_ε} → ∞ となるため、しきい値が最適であることが示される。
• φ(z) = n log|z - z_0| の形の関数は極値的ケースであり、臨界的質量 n^n を達成し、可積分性のしきい値に対応する。
• この結果は、a posteriori に深い局所代数の不等式と等価である：lc(J) ≤ n / e(J)^{1/n} であり、等号が成り立つのは、J の整閉包が ̄J = m^k (ある k に対して) のときに限る。ここで m は最大イデアルである。
• 証明は、Monge-Ampère 質量が有界な正則自己共役関数のクラスが L^1_loc でコンパクトであること、および Cegrell のクラス F(Ω) を用いて Monge-Ampère 演算子をこのような関数の極限にまで拡張できることに依拠している。
• 部分拡張および切断技術を用いて、∫_K e^{-2φ} ≤ C'(Ω, M) の一様な境界が確立され、φ の具体的な選択に依存しないことが保証される。