[論文レビュー] Multiplier ideal sheaves, jumping numbers, and the restriction formula

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Apr 16, 2015

Algebraic Geometry and Number Theory参考文献 28被引用数 7

ひとこと要約

本稿は、強開性の性質と$L^2$拡張技法を用いて、ジャンピング数および複素特異点指数の制限公式における等号成立条件を鋭く同定する。同定には、連接的な解析的層の台の次元に対する精密な下界が必要であり、次元、正則性、横断的条件が等号成立に必要十分であることが示された。さらに、ジャンピング数の2つの鋭い関係が導出され、複素幾何学および乗数理想層理論の基礎的結果が進展した。

ABSTRACT

In the present article, we establish an equality condition in the restriction formula on jumping numbers by giving a sharp lower bound of the dimension of the support of a related coherent sheaf. As applications, we obtain equality conditions in the restriction formula on complex singularity exponents by giving the dimension, the regularity and the transversality of the support, and we also obtain some sharp equality conditions in the fundamental subadditivity property on complex singularity exponents. We also obtain two sharp relations on jumping numbers.

研究の動機と目的

• 制限写像による乗数理想層の挙動を支配するジャンピング数の制限公式における鋭い等号成立条件を特定すること。
• 複素特異点指数の部分加法的性質における等号を特徴付けること、これは複素多重ポテンシャル論における基本的不等式である。
• 制限および部分加法的公式における等号成立に必要な幾何的・解析的条件（次元、正則性、横断的性質）を明確にすること。
• 主な等号成立条件および強開性の性質を用いて、ジャンピング数の2つの鋭い関係を導出すること。
• 対数下に凸性を用いたファイバーごとのバーゲン核と積分可能性の関係を調べ、解析的および幾何的不変量を結びつけること。

提案手法

• ドメイリーの予想の証明に基づく乗数理想層の強開性の性質を活用し、関連する連接層の台の構造を解析する。
• 大沢＝竹ヶ谷の$L^2$拡張定理を適用し、積分可能性を制御し、$L^2$ノルムが制御されたホロモーフィック拡張を構成する。
• 写像$ ext{res} o ext{coker}$の像の台$ ext{Supp}( ext{Im}( ext{res}) o ext{coker})$の次元論的解析を用いて、制限公式における等号成立のための鋭い下界を得る。
• 行列空間上での行列パラメータ化と全射写像$p_D$を用いて、ファイバー構造を解析し、横断的条件を証明する。
• ベルンディストのファイバーごとのバーゲン核の対数下に凸性を適用し、$e^{-2u}$の積分可能性と逆核$K_{2u}^{-1}$の積分可能性を関連付ける。
• ホロモーフィック関数$h_a$が$|h_a|^2$-積分可能であるという重要な補題を用いて、$K_{2u}^{-1}$の下界を確立し、主な積分可能性同値性の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ジャンピング数の制限公式における等号成立は、どのような幾何的・解析的条件下で成立するか？
• RQ2 複素特異点指数の部分加法的性質における等号成立に必要な、台の次元、正則性、横断的性質の鋭い条件は何か？
• RQ3 制限公式における等号成立条件から、ジャンピング数の鋭い関係をどのように導出できるか？
• RQ4 $e^{-2u}$の積分可能性と逆ファイバーごとのバーゲン核$K_{2u}^{-1}$の積分可能性との間の正確な関係は何か？
• RQ5 強開性の性質が乗数理想層の台の幾何学とどのように作用し、鋭い境界を導くか？

主な発見

• 本稿では、連接的解析的層の台の次元に対する鋭い下界を確立し、これがジャンピング数の制限公式における等号成立を特徴付ける。
• 複素特異点指数の制限公式における等号成立は、関連層の台が正則的かつ部分多様体に対して横断的である場合にかつその場合に限り成立する。
• 著者らは、主な等号成立条件および乗数理想層の構造を用いて、ジャンピング数の2つの鋭い関係を証明した。
• 複素特異点指数に関する新たなスライシング結果が得られ、一般の線形部分空間への制限において特異点指数が正しく振る舞うことが示された。
• 本稿では、$e^{-2u}$が原点近傍で積分可能であることと、$K_{2u}^{-1}(o,w)$が$o_w$近傍で積分可能であることとは同値であることを証明した。これは、グローバルおよびファイバーごとの積分可能性の深い関係を示している。
• 主な結果の証明は、大沢＝竹ヶ谷の$L^2$定理によるホロモーフィック拡張の構成と、$|h_a|^2$-積分可能性に対する下界を用いた$K_{2u}^{-1}$の下界の導出に依存しており、これが積分可能性条件を示す。