[論文レビュー] Characterization of multiplier ideal sheaves with weights of Lelong number one

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Nov 25, 2014

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿は、原点におけるLelong数が1で、乗数イデアル層の局所的胚が非自明であるような多重サブハーモニック関数の特徴づけを行う。このような関数は、滑らかな除集合とLelong数が0である多重サブハーモニック関数の和に分解可能である。著者らは$L^2$拡張法を用いてこの結果を証明し、Skodaの可積分性基準についても新しい証明を与える。これは、任意の次元において長年の未解決問題を解決するものである。

ABSTRACT

In this article, we characterize plurisubharmonic functions of Lelong number one at the origin, such that the germ of the associated multiplier ideal sheaf is nontrivial: in arbitrary complex dimension, their singularity must be the sum of a germ of smooth divisor and of a plurisubharmonic function with zero Lelong number. We also present a new proof of the related well known integrability criterion due to Skoda.

研究の動機と目的

• 点におけるLelong数がちょうど1である多重サブハーモニック関数と関連する乗数イデアル層の局所的胚の構造を特徴づけること。
• 点$x_0$の近傍で$\nu(u,x_0) = 1$のとき、重み関数$e^{-2u}$が可積分である条件を特定すること。
• 問題1.2を解決し、$x_0$における非自明な乗数イデアル層が、滑らかな除集合とLelong数が0である関数の和から生じることを示すこと。
• Ohsawa-Takegoshiの$L^2$拡張定理を動的かつ反復的な方法で用いて、Skodaの可積分性基準を新たな証明で与えること。
• 次元2の結果を任意の複素次元$n \geq 2$に拡張すること。

提案手法

• Demaillyの強開口予想（[11,12]で証明済み）を用い、同じ乗数イデアル層の局所的胚をもつが、局所的有界性の性質が向上した修正された多重サブハーモニック関数$\tilde{u}$を構成する。
• 原点を通る複素直線における正則関数にOhsawa-Takegoshiの$L^2$拡張定理を適用し、$L^2$ノルムを推定し、$u$の成長を制御する。
• 原点からの線分に沿う動的議論を用い、十分に小さい$r$に対して点での局所的評価$u(rz_2 + x_0) < C_3 + \log r$を導出し、すべての原点を通る複素直線$L$に対して$\nu(u|_L, x_0) \geq 1$が成り立つことを示す。
• 次元に関する帰納法を用い、特異点集合$\{z \mid \nu(u,z) \geq 1\}$を分析することで、低次元の状況に帰着する。
• 射影幾何学的考察と適切な複素平面の存在を用い、次元2の既知の状況に問題を還元する。
• 値木構造と特異点構造を活用し、Lelong測度が滑らかな超曲面にのみ支持されるか否かに応じて場合分けを行う。

実験結果

リサーチクエスチョン

• RQ1 点$x_0$において$\nu(u,x_0) = 1$のとき、$e^{-2u}$が$x_0$の近傍で可積分となる条件は何か？
• RQ2 点$x_0$において$\nu(u,x_0) = 1$のとき、乗数イデアル層の局所的胚$\mathcal{I}(u)_{x_0}$が非自明であるとはどのような場合か？
• RQ3 点$x_0$における$u$の特異点は、必ず滑らかな除集合とLelong数が0の関数の和として表されるのか？
• RQ4 $\nu(u,x_0) < 1$のときのSkodaの可積分性基準を、$L^2$拡張を用いた新規で動的な方法で再証明できるか？
• RQ5 この結果は次元2から任意の複素次元$n \geq 2$に拡張可能か？

主な発見

• 点$x_0$において$\nu(u,x_0) = 1$で、集合$\{z \mid \nu(u,z) \geq 1\}$が$x_0$の近傍で正則な複素超曲面の局所的胚でないならば、$e^{-2u}$は$x_0$の近傍で可積分である。
• 乗数イデアル層の局所的胚$\mathcal{I}(u)_{x_0}$が非自明であることと、$u = \log|h| + v$と分解可能（$h$が滑らかな超曲面を定め、$\nu(v,x_0) = 0$）であることは同値である。
• $L^2$拡張定理を線分に沿って動的に用いることで、十分に小さい$r$に対して$u(rz_2 + x_0) < C_3 + \log r$が成り立ち、これによりすべての原点を通る複素直線$L$に対して$\nu(u|_L, x_0) \geq 1$が導かれる。
• Skodaの基準（$\nu(u,x_0) < 1 \Rightarrow \mathcal{I}(u)_{x_0} = \mathcal{O}_{x_0}$）の証明を、Ohsawa-Takegoshi定理を非伝統的かつ反復的な方法で用いて新たに与える。
• 主結果は任意の複素次元$n \geq 2$で成り立ち、以前の次元2の結果を一般化する。
• 特異点の構造は完全に特徴づけられている：非自明な$\mathcal{I}(u)_{x_0}$が生じるのは、特異点に滑らかな除集合成分が含まれておらず、残りの部分がLelong数0である場合に限る。