[論文レビュー] The openness conjecture and complex Brunn-Minkowski inequalities

Bo Berndtsson|arXiv (Cornell University)|May 5, 2014

Point processes and geometric inequalities参考文献 15被引用数 7

ひとこと要約

本稿は、擬凸関数を用いた複素的ブランヌ＝ミンコフスキー不等式を確立し、Demailly と Kollár の開口予想を証明する。具体的には、$ e^{-pu} $ の可積分性指数の集合が開集合であることを示す。この手法は、特異重み付き $ L^2 $-正則切断からなる正則ベクトル bundle の曲率の正性に依拠しており、$ \partial\bar{\partial} $-閉性と $ L^2 $-推定を用いて、複素幾何的設定におけるプリェコパの定理を一般化する。

ABSTRACT

We discuss recent versions of the Brunn-Minkowski inequality in the complex setting, and use it to prove the openness conjecture of Demailly and Kollár.

研究の動機と目的

• 擬凸関数と $ L^2 $-推定を用いて、古典的ブランヌ＝ミンコフスキー不等式の複素解析的類似を確立すること。
• Demailly と Kollár の開口予想を証明すること。この予想は、$ \int_{rB} e^{-pu} < \infty $ となる $ p > 0 $ の集合が開集合であるというものである。
• 特異重み $ e^{-\phi} $ を持つ $ L^2 $-正則切断の正則ベクトルバンドルの曲率が正であるならば、関数解析的手法により可積分性の性質が導かれるということを示すこと。
• 単位円板と $ S^1 $-不変計量の幾何学を通じて、乗数イデアルと特異計量を結ぶ概念的枠組みを提供すること。

提案手法

• 重み $ e^{-\phi(t,z)} $ を持つ $ L^2 $-正則関数の空間 $ A^2 $ を用いて構成される Bergman バンドル $ E = \Omega \times A^2 $ の曲率の正性を用いた複素的ブランヌ＝ミンコフスキー不等式の使用。
• $ \partial\bar{\partial} $-閉性と $ \bar{\partial} $-作用素に対する $ L^2 $-推定を応用し、バンドル $ E $ の曲率の正性を導出すること。
• 可積分性の問題を、Prékopa の定理により凹関数であることが示される関数 $ \tilde{\phi}(t) = \log \int_{\mathbb{R}^n} e^{-\phi(t,x)} dx $ の研究に還元すること。
• 原点における特異性を有する、穴あき単位円板上に定義された特異計量 $ e^{-(p+2)\log|\zeta|} \|h\|_\zeta^2 $ を全単位円板へ拡張し、原点における曲率特異性を解析すること。
• $ S^1 $-不変性を用いて曲率特異性の性質を制限し、可積分性基準を満たすように、それらをデルタ関数として表現することを目的とする。
• 解析接続と特異計量解析を用いて、コンパクト多様体上の乗数イデアル問題を、円板上でのベクトルバンドル問題に還元すること。

実験結果

リサーチクエスチョン

• RQ1 古典的ブランヌ＝ミンコフスキー不等式は、擬凸関数と $ L^2 $-推定を用いて複素的設定に一般化可能か？
• RQ2 特異重み付き $ L^2 $-正則切断の正則ベクトルバンドルの曲率が正であれば、可積分性指数の集合が開集合であると示せるか？
• RQ3 単位円板上でのベクトルバンドル上の特異計量の幾何学を用いて、強開口予想に到達可能か？
• RQ4 孤立特異点を持つ特異計量が、曲率に測度係数を持つための条件は何か？
• RQ5 原点における曲率のデルタ関数の固有値が、$ \int_X |h|^2 e^{-(\phi + (k-1)\phi_0)} $ の可積分性を決定づけるか？

主な発見

• Demailly と Kollár の開口予想は、複素的ブランヌ＝ミンコフスキー不等式と $ L^2 $-正則切断バンドルの曲率の正性を用いて証明された。
• 重み $ e^{-\phi(t,z)} $ を持つ $ L^2 $-正則切断の形成するベクトルバンドル $ E $ の曲率は、非厳密な意味で正であり、これはプリェコパの定理を複素領域に一般化する。
• 任意の $ k \geq 2 $ に対して、関数 $ \|h\|_s^2 = \int_X |h|^2 e^{-(2u_s + k\phi_0)} $ は、半平面 $ \Omega $ 上の自明バンドルに正曲率計量を定める。ここで $ u_s = \max(u + \text{Re}\,s, 0) $ である。
• 積分 $ \int_0^\infty e^{ps} \|h\|_s^2 ds $ が収束するための必要十分条件は、関連する単位円板上の特異計量の曲率成分がデルタ関数の重みが 1 より小さいことである。可積分性と曲率特異性が結びつけられた。
• 1次元の場合、$ e^{-pu} $ の可積分性は $ \mu(\{0\}) < 1 $ と同値であり、ここで $ \mu = \Delta u $ である。これは最も単純な状況での予想の確認である。
• 本稿は、曲率特異性が制御され、理想的にはデルタ関数として表現されるならば、強開口予想が円板上でのベクトル値問題に還元可能である可能性を示唆している。