[論文レビュー] Fundamental theorems for semi log canonical pairs

Osamu Fujino|arXiv (Cornell University)|Feb 24, 2012

Algebraic Geometry and Number Theory参考文献 30被引用数 6

ひとこと要約

本稿では、任意の準射影的半対数正則な対が、唯一のqlc特異点をもつ自然な準対数構造を備えることを確立し、最小モデルプログラムの基本定理（例えば、消失定理、錐定理、基点自由定理など）を準対数正則な対へ拡張可能であることを示している。これは、準対数多様体の理論を用いることで実現される。

ABSTRACT

We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log canonical pairs.

研究の動機と目的

• 半対数正則な対に対する基礎的定理を確立すること。これは、モジュライ理論および最小モデルプログラムにおいて中心的な役割を果たす。
• コンパクト化や幾何的不変量理論において極めて重要であるにもかかわらず、半対数正則な対に対しては、消失定理や錐定理といった体系的な道具が不足しているという問題を解決すること。
• 任意の準射影的半対数正則な対に、元の特異点と整合する自然な準対数構造を構成すること。
• 準対数多様体の理論を半対数正則な対へ拡張し、強力なコホモロジー的および双有理的技法の適用を可能にすること。

提案手法

• 次元が $\dim X + 1$ の滑らかな準射影多様体 $M$ を構成し、$M$ 上に単純正則交差除部分集合 $Z$ と $\mathbb{R}$-Cartier $\mathbb{R}$-除部分集合 $B$ を備える。
• 射 $h: Z \to X$ を射影的かつ全射に定義し、$K_Z + \Delta_Z \sim_\mathbb{R} h^*(K_X + \Delta)$ かつ $\Delta_Z = B|_Z$ を満たすようにし、元の対と整合性を持つようにする。
• 射影的かつ全射な性質から、$h_*\mathcal{O}_Z(\lceil -\Delta_Z^{<1} \rceil) \simeq \mathcal{O}_X$ が成り立つことを保証し、準対数構造が適切に定義され、正しい正則層が引き戻されることを保証する。
• $(X, \Delta)$ のslc層が、誘導された準対数構造のqlc中心とちょうど一致することを確認し、元の幾何構造と整合性を持つことを保証する。
• 得られた準対数構造を用いて、既知の準対数幾何の技法を応用し、標準的定理（例えば、消失定理、錐定理、基点自由定理）を導出する。
• Kollárの二重被覆テクニックを用いて、次元1の自己交わりを持たない部分に帰着させ、解析を単純化する。

実験結果

リサーチクエスチョン

• RQ1 最小モデルプログラムの基本定理（例えば、消失定理や錐定理）は、半対数正則な対へ拡張可能だろうか？
• RQ2 準射影的半対数正則な対に、その特異点を保存し、コホモロジー的解析を可能にする自然な準対数構造が存在するだろうか？
• RQ3 準対数多様体の理論は、可約で非正則な特異点をもつ半対数正則な特異点を持つ多様体に対しても適応可能だろうか？
• RQ4 半対数正則な対への準対数構造は、解体技法や双有理幾何を用いて、どの程度まで構成可能だろうか？
• RQ5 slc層とqlc中心の整合性は、厳密に確立可能だろうか？ これにより、構造が元の幾何を正しく反映していることが保証される。

主な発見

• 任意の準射影的半対数正則な対 $(X, \Delta)$ は、唯一のqlc特異点をもつ自然な準対数構造を備えることが、定理1.1によって確立された。
• 構成により、単純正則交差除部分集合 $Z$ と $\mathbb{R}$-Cartier $\mathbb{R}$-除部分集合 $B$ を備えた滑らかな周囲多様体 $M$ が得られ、$K_Z + \Delta_Z \sim_\mathbb{R} h^*(K_X + \Delta)$ を満たし、すべての必要な整合性条件を満たす。
• 射 $h: Z \to X$ は、$h_*\mathcal{O}_Z(\lceil -\Delta_Z^{<1} \rceil) \simeq \mathcal{O}_X$ を満たし、正則層が正しく引き戻されることを保証する。
• $(X, \Delta)$ のslc層は、$(Z, \Delta_Z)$ の層の像としてちょうど一致するため、準対数構造は元の特異点集合構造を尊重する。
• その結果、すべての基本定理（消失定理、基点自由定理、有理性定理、錐および収縮定理）が半対数正則な対に対しても成り立つ。
• 結果は半対数正則な曲面の場合ですら新規であり、ピンチ点や正則交差特異点（例えば、ウィリスのアンブレラ）をもつ多様体に対しても適用可能である。