[論文レビュー] Boundedness and $K^2$ for log surfaces

Valery Alexeev|arXiv (Cornell University)|Feb 9, 1994

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

ひとこと要約

本稿は、特定の正性および特異点条件の下で、対数表面の有界性に関する結果を確立する。$ε$-対数終等な表面で、反標準的線分束がネフである（自明な場合を除く）ものは有界な族をなすことが証明され、また、DCC集合に係数をもつ半対数終等な対に対して、標準的線分束の平方 $(K_X + B)^2$ はDCC集合に属する。この結果は、平方が固定された場合の有界性を導く。これらの結果は、表面における最小モデルプログラムの文脈における有界性を一般化する。

ABSTRACT

Let $ε, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let $(X, B = \sum b_j B_j)$ denote a projective surface with an $\mathbb R$-divisor. Then (1) The class $\{X\}$ of surfaces for which there exists a divisor $B$ such that $(X,B)$ is $ε$-log terminal and $-(K_X + B)$ is nef (excluding only those for which at the same time $K_X\equiv 0$, $B=0$, and $X$ has at worst Du Val singularities), is bounded. (2) The set $\{(K_X + B)^2\}$ of squares for the semi log canonical pairs $(X, B)$ with ample $K_X + B$ and $b_j \in \mathcal C$, is a DCC set. (3) The class $\{(X,B)\}$ of pairs such that $(X, B)$ is semi log canonical, $K_X + B$ is ample, $(K_X + B)^2 = C$ and $b_j \in \mathcal C$, is bounded.

研究の動機と目的

• 反標準的線分束がネフであり、$ε$-対数終等特異点をもつ射影的対数表面の有界性を確立すること（$K_X \equiv 0$、$B = 0$、$X$ がDu Val特異点をもつ自明な場合を除く）。
• 係数がDCC集合に属する、$K_X + B$ が非常に正である半対数終等な対に対して、$(K_X + B)^2$ の値の集合の構造を調査すること。
• 係数がDCC集合に属し、$(K_X + B)^2 = C$ が固定された場合に、$(K_X + B)^2 = C$ で $K_X + B$ が非常に正である半対数終等な対 $(X, B)$ の族が有界であることを証明すること。
• DCC係数集合と対数標準的線分束の正性条件の組み合わせを前提とした、対数表面における有界性結果を最小モデルプログラムの枠組みに拡張すること。

提案手法

• 境界除数 $B = \sum b_j B_j$ の係数に対する降下鎖条件（DCC）の使用により、対数対の複雑さを制御する。
• ε-対数終等および半対数終等特異点の理論の適用により、良好な幾何的および数値的性質を保証する。
• $-(K_X + B)$ のネフ性および $K_X + B$ の非常に正性の使用により、表面の幾何構造とその標準的線分束の性質を制御する。
• 代数幾何における有界性基準、特に有限生成性および変形型の有限性を用いる。
• 対数表面の族の分類と有界性を分類するための主要不変量として、$(K_X + B)^2$ の分析。
• 付随および対数最小モデルプログラムの技法を用いて、既知の表面理論における有界性結果への還元。

実験結果

リサーチクエスチョン

• RQ1 反標準的線分束 $-(K_X + B)$ がネフである $ε$-対数終等な対数表面の族は、$K_X \equiv 0$、$B = 0$、$X$ がDu Val特異点をもつ場合を除き有界な族をなすか？
• RQ2 係数がDCC集合に属し、$K_X + B$ が非常に正である半対数終等な対に対して、$(K_X + B)^2$ の値の集合自体がDCC集合であるか？
• RQ3 固定された値 $C = (K_X + B)^2$ とDCC集合に属する係数 $b_j$ をもつ場合、$K_X + B$ が非常に正である半対数終等な対 $(X, B)$ の族は有界か？
• RQ4 DCC係数集合と対数標準的線分束の正性条件の組み合わせの下で、対数表面における有界性結果を確立できるか？

主な発見

• 反標準的線分束 $-(K_X + B)$ がネフである $ε$-対数終等な表面の族は、$K_X \equiv 0$、$B = 0$、$X$ がDu Val特異点をもつ場合を除き有界である。
• 係数がDCC集合に属し、$K_X + B$ が非常に正である半対数終等な対に対して、$(K_X + B)^2$ の値の集合自体がDCC集合である。
• 固定された $C = (K_X + B)^2$ とDCC集合に属する係数 $b_j$ をもつ場合、$K_X + B$ が非常に正である半対数終等な対 $(X, B)$ の族は有界である。
• 係数 $b_j$ がDCC集合に属するという仮定により、境界除数の複雑さが制御され、有効な制御が得られる。
• これらの結果は、特に最小モデルプログラムの文脈において、有界性定理を対数表面の設定に拡張する。
• 本稿は、DCC係数条件と $K_X + B$ の正性の組み合わせが、有界性を保つことを確認している。