[論文レビュー] The maximal number of singular points on log del Pezzo surfaces

Grigory Belousov|ArXiv.org|May 29, 2008

Algebraic Geometry and Number Theory参考文献 13被引用数 14

ひとこと要約

この論文は、Picard数1のlog del Pezzo 表面が高々4つの特異点を持つことを証明し、J. Kollár が提起した、商特異点をもつ有理ホモロジー射影平面の存在に関する予想を解決する。最小解消と解消された表面における $Φ$-ファイブレーションの解析を用いて、特に4つの $A_1$-特異点と1つの非-Du Val 特異点をもつ構成は、交線論とCone定理を用いて矛盾を導き、4つの特異点が最大であるという鋭い上限を確立する。

ABSTRACT

We prove that a del Pezzo surface with Picard number one has at most four singular points.

研究の動機と目的

• 5つの商特異点と数値的に効果的な $K_X$ をもつ有理ホモロジー射影平面の存在に関するJ. Kollárの予想を解決すること。
• Picard数1のlog del Pezzo 表面における特異点の最大数を確立すること。
• 特に4つの $A_1$-特異点と1つの非-Du Val 特異点をもつような表面が存在しないことを証明すること。
• 4つの特異点という上限を示す、以前の研究よりも単純な証明を提供すること。

提案手法

• 例外的除算 $D$ を解析するため、最小解消 $\pi: \bar{X} \to X$ を用い、$\pi^*(K_X) \equiv D^\sharp + K_{\bar{X}}$ を満たす $\mathbb{Q}$-除算 $D^\sharp$ を定義する。
• Cone定理を適用して、負の自己交わりを持つ曲線が $(-1)$-曲線または $D$ の成分に制限されることを保証し、表面の幾何構造を制御する。
• 一般に $\mathbb{P}^1$-ファイブレーション $\Phi: \bar{X} \to \mathbb{P}^1$ を構成し、ファイバー成分と特異ファイバーを解析する。Lemma 2.5 を用いて $(-1)$-曲線とファイバー構造の関係を特定する。
• 解消された表面 $\bar{X}$ 上での交線論を用い、特に $(-1)$-曲線をホイツェブルク表面 $\mathbb{F}_n$ に収縮した後の $\tilde{D_0}^2$ を分析することで、5つの特異点を仮定した場合に矛盾を導く。
• 特異点の型に基づく場合分けを行う：巡回的 vs. 非巡回的。また、唯一のセクション $D_0$ 及びそのファイバーとの交点の挙動を解析する。
• $(\bar{X}, D^\sharp)$ が弱いlog del Pezzo 構造をもつことを利用し、双有理収縮の性質を適用してlog最小性を保ち、幾何的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 Picard数1のlog del Pezzo 表面が5つの特異点を持つことは可能か？
• RQ2 特異点における局所基本群の位数が表面の幾何に与える制約は何か？
• RQ3 4つの $A_1$-特異点と1つの非-Du Val 特異点をもつlog del Pezzo 表面が、Picard数1のもとで存在可能か？
• RQ4 一般に $\mathbb{P}^1$-ファイブレーションの例外的除算とファイバーの交線性質は、5つの特異点の存在を許容するか？
• RQ5 最小解消と $\mathbb{Q}$-除算 $D^\sharp$ を用いて、5特異点の場合に矛盾を導くことは可能か？

主な発見

• Picard数1のlog del Pezzo 表面は、特異点の型に関係なく5つの特異点を持つことはできない。
• このような表面における特異点の最大数は正確に4つであり、この上限は鋭い。
• 4つの $A_1$-特異点と1つの非-Du Val 特異点（位数 $n \geq 3$）をもつ構成は、ファイバー解析と交線数の上限を用いて矛盾を導く。
• 5つの特異点を仮定すると $\tilde{D_0}^2$ が区間 $(0, 3]$ に位置することを強制するが、これは $(-1)$-曲線を $\mathbb{F}_n$ 表面に収縮したときの幾何的制約に反する。
• 非巡回的特異点では、唯一のセクション $D_0$ はファイバーと高々3点で交わるため、特異ファイバーの数が制限され、結果として特異点総数は高々4つに制限される。
• すべての場合において、特異ファイバーの解析と $D^\sharp$ の構造を調べることで、5つの特異点を仮定した場合に矛盾が生じ、4つの特異点が上限であることが確認される。