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

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Nov 15, 2013

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

ひとこと要約

この論文は、複素多様体上の正準的擬シュレーディンガー関数について、強い開口予想を証明する。具体的には、乗数イデアル層 $\omega_{+}(\varphi)$ が任意の擬シュレーディンガー関数 $\varphi$ に対して $\mathcal{I}(\varphi)$ に等しいことを示す。証明は、無視できる重みを伴う $L^2$ 拡張定理と次元に関する帰納法を用い、$e^{-\varphi}$ に関して $L^2$ 積分可能である holomorphic 関数が、ある $p>1$ に対して $e^{-p\varphi}$ に関しても $L^2$ 積分可能であることを示す。これは、複素解析および代数幾何学における長年の予想を解決するものである。

ABSTRACT

In this article, we give a proof of the strong openness conjecture for plurisubharmonic functions posed by Demailly.

研究の動機と目的

• 擬シュレーディンガー関数の強い開口予想を解消すること。これは、複素解析および代数幾何学における主要な未解決問題である。
• 任意の擬シュレーディンガー関数 $\varphi$ に対して、$\mathcal{I}_+(\varphi)$（$\varepsilon>0$ のすべての $\mathcal{I}((1+\varepsilon)\varphi)$ の和集合として定義される）が $\mathcal{I}(\varphi)$ に等しいことを確立すること。
• $L^2$ 拡張定理を、無視できる重みの設定に拡張し、指数的重みの変化に伴う $L^2$ ノルムの成長を制御できるようにすること。
• 次元に関する帰納法を用いて予想を証明し、問題を解析的曲線における低次元の $L^2$ 評価に還元すること。

提案手法

• 複素次元 $n$ に関する帰納的議論を用い、$n=k-1$ の場合に結果が成り立つと仮定し、$n=k$ の場合を示す。
• 制御された $L^2$ ノルムを保証する、無視できる重み $\psi = -\log 2$ を伴う動的構成の $L^2$ 拡張定理を適用する。
• $\Delta' \times \Delta''$ 上の holomorphic 関数 $F_A$ を構成し、$\imath^*(F)$ が $\pi^{-1}(z_A)$ におけるファイバーで一致するようにする。この構成には、重み $p_A\varphi$ を用いた $L^2$ 拡張が使われる。
• 原点を通るパラメータ化された解析的曲線 $\gamma$ を用い、$F|_\gamma = 0$ が原点でのみ成り立つようにする。これにより、イデアルの属する性質と零点の重複度を関連付ける。
• $s(y) = y^{-1}(-\log y)^{-1}$ を用いて $u(s(y)) = y^{-1}$ と定義する関数を用い、$L^1$ 関数の超レベル集合の測度を分析し、$\lambda_n(\{G > A\})$ の成長と関連付ける。
• 補題 2.6 および補題 2.7 を適用し、曲線 $\imath^{-1}(\gamma)$ 上での $F_A$ の $L^2$ ノルムに下界を得る。この下界は、拡張定理による上界と組み合わせると、$A \to \infty$ のとき $u(A)/A \to \infty$ であるため、矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 任意の複素多様体上の擬シュレーディンガー関数 $\varphi$ に対して、$\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$ が成り立つか？
• RQ2 $L^2$ 拡張定理は、無視できる重みを扱えるように適合可能か？ そして、指数的重みの変化に伴う $L^2$ ノルムの成長を制御できるか？
• RQ3 次元に関する帰納法と解析的曲線のパラメータ化を用いて、強い開口予想を低次元の $L^2$ 評価に還元することは可能か？
• RQ4 $L^1$ 可積分関数 $G$ に対して、測度 $\lambda_n(\{G > A\})$ の漸近的挙動は何か？ そして、強い開口予想とどのように関連するか？

主な発見

• 強い開口予想が証明された：任意の複素多様体上の擬シュレーディンガー関数 $\varphi$ に対して $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$ が成り立つ。
• 単位多変数円板 $\Delta^n$ 上の負の擬シュレーディンガー関数 $\varphi$ に対して、$F$ が holomorphic で $\int_{\Delta^n} |F|^2 e^{-\varphi} d\lambda_n < \infty$ ならば、ある $r>0$ と $p>1$ が存在し、$\int_{\Delta^n_r} |F|^2 e^{-p\varphi} d\lambda_n < \infty$ が成り立つ。
• 次元 $k$ において予想が成り立たないと仮定したとき、$L^2$ ノルムが $C_1 u(A)$ で下から抑えられる holomorphic 拡張 $F_A$ を構成することで矛盾を導く。一方、拡張定理による上界は $8\pi A$ であり、$A \to \infty$ のとき $u(A)/A \to \infty$ であるため、矛盾が生じる。
• $s(y) = y^{-1}(-\log y)^{-1}$ を用いて $u(s(y)) = y^{-1}$ と定義される関数 $u(A)$ は、$\liminf_{A \to \infty} \lambda_n(\{G > A\}) u(A) = 0$ を満たす。これは矛盾を導くために不可欠である。
• この結果は、Demailly と Kollár の開口予想を含み、複素特異指数および部分集合の測度に関するさらなる結果の基盤を提供する。