[論文レビュー] Explicit birational geometry of threefolds of general type

Jungkai A. Chen, Chen Meng|ArXiv.org|Jun 20, 2007

Algebraic Geometry and Number Theory参考文献 21被引用数 17

ひとこと要約

本稿は、一般型の複素正則的で滑らかな射影3次元多様体の標準的体積および多様体の正則写像について、明示的な下界を確立する。レインの特異点のバスケットの新規分類と、多様体の次元とチャーチェル数の関係を表す重要な不等式を用いて、標準的体積が少なくとも $\frac{1}{2660}$ であることを証明し、すべての $m \geq 77$ に対して、多様体の正則写像 $\varphi_m$ が双有理写像であることを示している。$\chi(\mathcal{O}_V) \leq 1$ の場合、最適な下界 $\frac{1}{420}$ が得られ、重み付き超曲面に関するフラウラーの予想が、$\omega_X \cong \mathcal{O}_X(1)$ かつ終身的商空間特異点を持つ23家族の擬滑らか3次元多様体を用いて正確に確認された。これらの結果は、一般型3次元多様体の双有理幾何学における、初めての有効的で明示的な下界を提供する。

ABSTRACT

Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V)>0$ and $P_{24}(V)>1$ (which answers an open problem of J. Kollar and S. Mori). We also prove that the canonical volume has an universal lower bound $ ext{Vol}(V) \geq 1/2660$ and that the pluri-canonical map $Φ_m$ is birational onto its image for all $m\geq 77$. As an application of our method, we prove Fletcher's conjecture on weighted hyper-surface 3-folds with terminal quotient singularities. Another featured result is the optimal lower bound $ ext{Vol}(V)\geq {1/420}$ among all those 3-folds $V$ with $χ({\mathcal O}_V)\leq 1$.

研究の動機と目的

• 一般型の正則的で滑らかな射影3次元多様体の標準的体積に対する有効的で明示的な下界を確立すること。
• すべての一般型3次元多様体に対して、正則写像 $\varphi_m$ が双有理写像である最小の整数 $m$ を特定すること。
• すべてのこのような3次元多様体に対して、多様体の次元 $P_{12}(V) \geq 1$ および $P_{24}(V) \geq 2$ が非ゼロであることを証明すること。
• 重み付き超曲面3次元多様体の家族数に関するイアノ＝フラウラーの予想を、終身的商空間特異点と $\omega_X \cong \mathcal{O}_X(1)$ を満たすものについて確認すること。
• チャーチェル数と多様体の次元に関する制約の下で、特異点のバスケットを分類し、体系的な体積推定を可能にする。

提案手法

• 3次元多様体の一般型における特異点を体系的に分析できるように、'バスケットのパッケージング'の概念とバスケット上の部分順序を導入する。
• 重要な不等式の開発：$2P_5 + 3P_6 + P_8 + P_{10} + P_{12} \geq \chi + 10P_2 + 4P_3 + P_7 + P_{11} + P_{13} + R$ で、$R \geq 0$ であり、多様体の次元と $\chi$ を関連付ける。
• 形式的バスケットと幾何的バスケットの分類を用いて、リード＝トワイの和とオルビフォールドオイラー数を介して、標準的体積を評価する。
• 定理1.3を適用し、$m_0 \leq 12$ に対して $P_{m_0} \geq 2$ が成り立つとき、$\varphi_m$ の双有理性を導出し、有限個のケースに帰着させる。
• 標準的体積の公式 $\text{Vol}(V) = \limsup_{m \to \infty} \frac{6}{m^3} \dim H^0(V, \mathcal{O}_V(mK_V))$ を用い、オルビフォールド特異点における格子点数の数え上げにより体積を推定する。
• 定理3.1(iii)より $K^3 \geq \frac{1}{311}$ を得て、歪みの和から導かれる上界と比較し、体積が小さすぎる場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 一般型の正則的で滑らかな射影3次元多様体 $V$ の標準的体積 $\text{Vol}(V)$ の最適な普遍的下界は何か？
• RQ2 すべての一般型3次元多様体に対して、正則写像 $\varphi_m$ が双有理写像である最小の $m$ は何か？
• RQ3 終身的商空間特異点と $\omega_X \cong \mathcal{O}_X(1)$ を満たす擬滑らか重み付き超曲面3次元多様体の家族数の正確な数は何か？
• RQ4 $P_{12}(V)$ および $P_{24}(V)$ の非ゼロ性は、すべての一般型3次元多様体に対して確立できるか？
• RQ5 $\chi(\mathcal{O}_V) \leq 1$ のとき、$\text{Vol}(V)$ の鋭い下界は何か？

主な発見

• 任意の一般型の正則的で滑らかな射影3次元多様体について、$\text{Vol}(V) \geq \frac{1}{2660}$ が成り立ち、この下界は普遍的である。
• すべての $m \geq 77$ に対して、正則写像 $\varphi_m$ は双有理写像であり、3次元における双有理性の有効的で明示的な下界として初めて得られた。
• $\chi(\mathcal{O}_V) \leq 1$ の場合、標準的体積は最適な下界 $\text{Vol}(V) \geq \frac{1}{420}$ を満たす。
• 多様体の次元の非ゼロ性が確立された：すべての一般型3次元多様体に対して $P_{12}(V) \geq 1$ および $P_{24}(V) \geq 2$ が成り立つ。
• イアノ＝フラウラーの予想が確認された：終身的商空間特異点と $\omega_X \cong \mathcal{O}_X(1)$ を満たす擬滑らか重み付き超曲面3次元多様体は、正確に23家族存在する。
• 証明は、多様体の次元と $\chi$ を関連付ける新しい不等式に依存しており、$\chi \leq 8$ および $m \leq 12$ に対して $P_m \leq 1$ となるバスケットの分類を可能にし、体積が小さすぎる場合に矛盾を導く。