[論文レビュー] The openness conjecture for plurisubharmonic functions

Bo Berndtsson|arXiv (Cornell University)|May 24, 2013

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

ひとこと要約

この論文は、複素数平面 $\mathbb{C}^n$ における原点近傍で $ e^{-u} $ が可積分であるならば、ある $ p > 1 $ が存在して $ e^{-pu} $ がより小さな球上で可積分であることを示すことで、正則自己共役関数に関する開性予想を証明する。証明は、$ u_s = \max(u + s, 0) $ を用いて重み付き $ L^2 $-ノルム $ \|h\|_s^2 = \int_B |h|^2 e^{-2u_s} $ を導入し、無限ランクのヘルミートベクトル束の曲率正性を応用することで、最大原理による結果を導出する。

ABSTRACT

We give a proof of the openness conjecture of Demailly and Kollár.

研究の動機と目的

• Demailly と Koll\'ar が提唱した開性予想を証明すること。この予想は、$ e^{-u} $ の可積分性が、ある $ p > 1 $ に対して $ L^p $-可積分性を示すことを主張する。
• $ p $ の定量的下界を確立すること。$ p \geq 1 + \delta_n / \int_B e^{-u} $ とし、$ \delta_n $ は次元にのみ依存する。
• $ S^1 $-不変関数に限らない一般の正則自己共役関数へ、対称化と曲率正性の手法を、新しい $ L^2 $-ノルム分解を用いて拡張すること。
• $ \int_B e^{-u} < \infty $ のとき、$ e^{-pu} $ による重み付き $ L^p $-可積分な正則関数の空間が、$ L^2 $-正則関数空間において稠密であることを示すこと。

提案手法

• $ s \geq 0 $ に対して $ u_s = \max(u + s, 0) $ を定義し、単位球内の正則関数に重み付き $ L^2 $-ノルム $ \|h\|_s^2 = \int_B |h|^2 e^{-2u_s} $ を導入する。
• $ \|h\|^2 = 2\int_0^\infty e^s \|h\|_s^2 ds + \|h\|_0^2 $ という恒等式を用いて、重みなし $ L^2 $-ノルムと重み付き族 $ \|h\|_s $ を関連付ける。
• 定理 2.3 を適用し、$ \|h\|_s $ が右半平面上の無限ランク正則ベクトル bundle 上の正曲率ヘルミート計量を定義することを示す。
• 無限ランクバンドル上の正曲率計量に最大原理を適用し、有限ランク部分バンドルによる近似によって正当化する。
• $ |h|_t^2 = \int_X |h|^2 e^{-t\lambda(x)} d\mu(x) $ で定義される平坦計量と $ L^2 $-ノルム $ \|h\|_s $ を比較し、減衰推定を得る。
• 減衰推定 $ \|h\|_s^2 \leq e^{-(1+\epsilon)s} \|h\|_0^2 $ を用いて、$ \int_{B/2} e^{-pu} < \infty $ が $ p = 1 + \epsilon/2 $ に対して成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 単位球内で $ u \leq 0 $ である正則自己共役関数 $ u $ に対して $ e^{-u} $ が可積分であるならば、ある $ p > 1 $ が存在して $ e^{-pu} $ がより小さな球上で可積分であるか？
• RQ2 $ e^{-u} $ の $ L^1 $-ノルムを用いて $ p $ の定量的下界を確立できるか？
• RQ3 $ \int_B e^{-u} < \infty $ のとき、$ e^{-pu} $ による重み付き $ L^p $-可積分な正則関数の空間は、$ L^2 $-正則関数空間において稠密か？
• RQ4 無限ランクヘルミートベクトルバンドルの曲率正性を用いて $ L^p $-可積分性の結果を導出できるか？

主な発見

• 開性予想は完全に解決された：$ \int_B e^{-u} < \infty $ ならば、ある $ p > 1 $ が存在して $ \int_{B/2} e^{-pu} < \infty $ である。
• $ p $ の定量的下界が確立された：$ p \geq 1 + \delta_n / \int_B e^{-u} $ であり、$ \delta_n $ は複素次元 $ n $ のみに依存する。
• 証明は、正則関数の $ L^2 $-ノルムを $ s \in (0, \infty) $ における重み付き $ L^2 $-ノルム $ \|h\|_s^2 $ の積分に分解することに依存し、これらが曲率正性条件を満たすことが示された。
• 無限ランクバンドル上の計量 $ \|h\|_s $ の曲率正性が、$ p > 1 $ に対する $ L^p $-可積分性を示す減衰推定を導出するために用いられた。
• $ \int_B |h|^2 e^{-pu} < \infty $ を満たす正則関数の空間は、開性予想の結果として $ H^2(B, dm) $ において稠密である。
• 重み関数を有限ランクステップ関数で近似し、極限において有限ランク最大原理を適用することで、この手法は無限ランクバンドルへ拡張された。