[論文レビュー] Canonical bundle formula and degenerating families of volume forms

Dano Kim|arXiv (Cornell University)|Oct 15, 2019

Geometry and complex manifolds参考文献 62被引用数 6

ひとこと要約

本稿は、特異な体積形式の繊維ごとの積分を用いた解析的特徴付けを通じて、標準バンドル公式の定式化を確立し、長年の予想を裏付ける。$L^2$ メトリックが半正の曲率と消失する Lelong 数を持つ特異ヘルミート計量を備えることにより、$L^2$ 拡張定理における曲率条件の緩和が可能となり、重いホッジ理論的道具を用いずに川松の半正則性定理の新たな証明が得られる。

ABSTRACT

Canonical bundle formula due to Kawamata and others has played fundamental roles in algebraic geometry. We show that the canonical bundle formula has analytic characterization in terms of fiberwise integration, which confirms a folklore conjecture. The proof uses $L^2$ metrics and the valuative equivalence of plurisubharmonic singularities. As an application, we identify the singularity of the Ohsawa measure in a general $L^2$ extension theorem of Demailly for log canonical pairs. As another consequence, we give a partial answer to a question of Berndtsson on semipositivity theorems.

研究の動機と目的

• 繊維ごとの積分を用いた標準バンドル公式の解析的特徴付けを提供し、代数幾何学におけるフォークロア的予想を裏付ける。
• 判別因子 $B_R$ を用いて、$L^2$ 拡張定理における大浦測度の特異性を同定する。
• 新しいメトリック構造を用いて、従来の $L^2$ 拡張定理における厳密な正の曲率条件を半正に弱める。
• 川松の半正則性定理に関するバーデンツィスの問いに部分的な答えを提供し、川松の半正則性結果のメトリック的バージョンを確立する。

提案手法

• 本稿は、$\mathbf{Q}$-ラインバンドル上の特異ヘルミート計量を用い、特異体積形式の繊維ごとの積分により $L^2$ メトリックを定義する。
• 判別因子 $B_R$ を、ファイバーと divisor $R$ の特異性を捉える重要な解析的対象として導入し、楕円ファイブレーションに関する Kodaira の研究を一般化する。
• 主な技術は、$L^2$ メトリックの曲率形式と $B_R$ およびモジュライ部 $J$ によって定義されるメトリックの曲率形式を、適切な修正の上での賦値法を用いて比較することである。
• 強開性定理 [GZ15] を応用し、$L^2$ メトリックの特異性を解析し、それらが消失する Lelong 数を有する擬・強凸（psh）メトリックと価値的に等価であることを証明する。
• 曲率形式のシウ分解と因子的賦値を用いて、$Y$ のすべての可能な修正において $L^2$ メトリックの特異性を同定する。
• 定義 $f_*\mathcal{O}(\lceil -R_h \rceil)$ を用いて、$\mathbf{Q}$-ラインバンドル設定へ拡張し、2次元集合を除いて定義可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 標準バンドル公式は、特異体積形式の繊維ごとの積分を用いて解析的に特徴付け可能であり、フォークロア的予想を裏付けるか？
• RQ2 $L^2$ 拡張定理における大浦測度の特異性は、判別因子 $B_R$ とどのように関係するか？
• RQ3 従来の $L^2$ 拡張定理における厳密な正の曲率条件を、新しいメトリック構造を用いて半正に弱めることは可能か？
• RQ4 標準バンドル公式のモジュライ部は、消失する Lelong 数を有する特異ヘルミート計量を備えるか？そして、これにより半正則性定理を再証明可能か？

主な発見

• $L^2$ メトリック $\mu$ は $\mu = \eta + \psi$ と分解され、$\eta$ は判別因子 $B_R$ に付随するメトリックであり、$\psi$ は $J = M - \mathcal{O}(B_R)$ 上の特異ヘルミート計量で、半正の曲率と消失する Lelong 数を有する。
• $X$ 上の極をもつ特異体積形式 $u$ の繊維ごとの積分により、$Y$ 上の極をもつ特異体積形式 $v$ が得られ、消失する Lelong 数を有する擬・強凸重みを除いて $B_R$ に沿った極を持つ。
• $L^2$ メトリックが $B_R$ によって定義される psh メトリックと賦値的に等価であることが示され、標準バンドル公式の解析的特徴付けが確立される。
• 本稿は、$\operatorname{rank}(f_*K_{X/Y}) = 1$ の場合に、川松の半正則性定理を、深いつまりのホッジ理論的道具を用いずに、メトリック的道具のみを用いて新たな証明を与える。
• $f_*K_{X/Y}$ 上の $L^2$ メトリックが、消失する Lelong 数を有する特異ヘルミート計量を備えることが示され、バーデンツィスの半正則性予想における重要なステップが裏付けられる。
• 判別因子 $B_R$ は、繊維ごとの積分から生じる特異性の集合として解析的に特徴付けられ、楕円ファイブレーションに関する Kodaira の古典的結果を一般化する。