[論文レビュー] Basic properties of log canonical centers

Florin Ambro|ArXiv.org|Nov 7, 2006

Algebraic Geometry and Number Theory参考文献 5被引用数 18

ひとこと要約

本稿は、特徴値0の体上での対 $(X,B)$ の対数正則中心の基礎的性質を確立する。対数付随と高次直接像のねじれなし性を用いて、対数正則中心が有限個である、交わりに関して閉じている、それらの和集合が半正規である、および各点はその点で正則な唯一の最小対数正則中心を通る、という主要な結果を示す。これは高次元代数幾何における帰納的技法の基盤をなす。

ABSTRACT

We present the elementary properties of log canonical centers of log varieties.

研究の動機と目的

• 対数正則中心の基本的構造的性質を明確化し、再導出すること。
• より抽象的な準対数多様体の枠組みに依存しない、自己完結的で初等的な取り扱いを提供すること。
• ビナルエーション幾何とコhomological技法を用いて、対数正則中心が有限個であること、交わりに関して閉じており、それらの和集合が半正規であることの証明を行うこと。
• 任意の点を通る最小対数正則中心の存在と一意性を示し、その点で正則であることの証明を行うこと。
• 消失定理に代えて、対数正則ねじれなし性を主要な道具とすることで、付随線束におけるセクションの持ち上げについて新たな視点を提供すること。

提案手法

• $W$ を対数正則中心の和集合とするとき、$\mu: X' \to X$ を、$\mu^{-1}(W) \cup \operatorname{Supp}(B_{X'})$ が単純正則交叉を持つようなビナルエーション解消とする。
• $W$ に写像する $B_{X'}$ において係数が1の素成分の和集合として $S \subset X'$ を定義し、対数付随の適用を可能にする。
• $\mu^*(K_X + B) = K_{X'} + B_{X'}$ の対数プルバック公式を用いて、正則被覆と歪みを関連付ける。
• $\mu_*\mathcal{O}_{X'}(\lceil A \rceil)$ と $\mu_*\mathcal{O}_S(\lceil A|_S \rceil)$ を含む完全系列を用いて、$\mu_*\mathcal{O}_S = \mathcal{O}_W$ を示し、これは半正規性および正則性の結果に不可欠である。
• 定理3.4における $R^i\mu_*\mathcal{O}_{X'}(\lceil A \rceil)$ のねじれなし性を活用し、コhomological系列における単射性と全射性を証明する。
• 正規化のための単体的スキーム $S_n$ を用いて、$S \to C$ が $C$ の正規化を通って因数分解することを示し、$C$ の正則性を導く。

実験結果

リサーチクエスチョン

• RQ1 対数正則対 $(X,B)$ に対して、対数正則中心は有限個か？
• RQ2 二つの対数正則中心の交わりは、対数正則中心の和集合か？
• RQ3 対数正則中心の和集合は半正規特異点を持つか？
• RQ4 対数正則特異点の集合上の任意の点は、唯一の最小対数正則中心を通るか？
• RQ5 その最小対数正則中心は、与えられた点で正則か？

主な発見

• 対数正則中心は有限個であり、解体における係数1の除数の連結成分に対応する。
• 二つの対数正則中心の交わりは、解体写像の連結ファイバーを用いて、対数正則中心の和集合として示される。
• 対数正則中心の和集合は半正規である。これは $\mu_*\mathcal{O}_S = \mathcal{O}_W$ の同型と $S$ の半正規性によって示される。
• $x \in \operatorname{LCS}(X,B)$ に対して、$x$ を通る唯一の最小対数正則中心 $C_x$ が存在し、$C_x$ は $x$ で正則である。
• 証明は消失定理ではなく、Kollárのねじれなし性の対数正則版に依存しており、付随線束におけるセクションの持ち上げについて新たなコhomologicalな視点を提供する。
• この結果は、$X$ が特徴値0の代数的に閉じた体上に定義され、$K_X + B$ が $\mathbb{R}$-クリエールであるという仮定の下で成り立つ。