[論文レビュー] Explicit birational geometry of 3-folds of general type, II

Jungkai A. Chen, Meng Chen|arXiv (Cornell University)|Oct 28, 2008

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

ひとこと要約

本稿では、特異点のバスケットに基づいて最小モデルを分類することにより、一般型の3次元多様体に対して有効な双有理性の境界を確立する。すべての m ≥ 73 に対して m-標準写像が双有理的であることを証明し、 canonical volume が Vol(V) ≥ 1/2660 であることを示し、χ(O_V) ≤ 1 のときこの境界が最適であることを示す。このとき Vol(V) ≥ 1/420 が成り立つ。

ABSTRACT

Let $V$ be a complex nonsingular projective 3-fold of general type. We shall give a detailed classification up to baskets of singularities on a minimal model of $V$. We show that the $m$-canonical map of $V$ is birational for all $m\geq 73$ and that the canonical volume $ ext{Vol}(V)\geq {1/2660}$. When $χ(\mathcal{O}_V)\leq 1$, our result is $ ext{Vol}(V)\geq {1/420}$, which is optimal. Other effective results are also included in the paper.

研究の動機と目的

• 一般型の非特異的射影3次元多様体の最小モデルを、その特異点のバスケットに基づいて分類すること。
• 一般型の3次元多様体に対する m-標準写像の双有理性に関する有効な境界を確立すること。
• χ(O_V) ≤ 1 のとき、canonical volume Vol(V) の最適な下界を特定すること。
• 一般型の3次元多様体の高次標準線形系統と双有理幾何に関する先行結果を改善すること。
• 具体的な例と分類を通じて、canonical volume の境界 1/420 が最適であることを検証すること。

提案手法

• 3次元の最小モデルプログラムを適用し、Q-因子的で端的特異点を持つ最小3次元多様体 X に帰着させる。
• 特異点の形式的バスケット B(X) を用いて最小モデル上の特異点を分類し、canonical volume への寄与を計算する。
• 特異点のないモデル上の線形系統の可動部と固定部の理論を用いて、m-標準写像を分析する。
• Stein分解とファイブレーション型分類（I_p, II, III）を適用し、φ_m の幾何構造を研究し、双有理性の条件を導出する。
• 接続とRiemann-Rochから導かれる α と ξ に関する不等式を用いて、線形束の正性を推定し、双有理性を保証する。
• 既知の例（例えば X_46 ⊂ P(4,5,6,7,23)）を用いて、体積境界の最適性を検証・確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての非特異的射影3次元多様体の一般型に対して、m-標準写像 φ_m が双有理的となる最小の m は何か？
• RQ2 χ(O_V) ≤ 1 のとき、canonical volume Vol(V) の最適な下界は何か？
• RQ3 どの特異点のバスケットに対して、canonical volume が Vol(V) = 1/2660 または Vol(V) = 1/420 となるか？
• RQ4 体積境界 Vol(V) ≥ 1/2660 は改善可能か、それともすべての一般型3次元多様体に対して最適か？
• RQ5 q(X) = 0 かつ χ(O_X) > 1 を満たす最小の一般型3次元多様体は存在するか？

主な発見

• すべての m ≥ 73 に対して、任意の一般型の非特異的射影3次元多様体 V に対して m-標準写像 φ_m は双有理的である。
• このようなすべての多様体に対して canonical volume は Vol(V) ≥ 1/2660 を満たし、この境界は最適である。
• χ(O_V) ≤ 1 のとき、canonical volume は Vol(V) ≥ 1/420 を満たし、この境界も最適である。
• Vol(V) = 1/420 が成り立つのは、最小モデル上の特異点のバスケットが {3×1/2(1,-1,1), 1/7(1,-1,3), 1/5(1,-1,2), 1/4(1,-1,1), 1/6(1,-1,1)} である場合に限り、かつそのときに限り成り立つ。
• Vol(V) = 1/2660 が成り立つのは、P_2 = 0 かつバスケットが χ(O_V) = 3 または 2 に応じて2つの特定の構成のいずれかである場合に限り、かつそのときに限り成り立つ。
• 例 X_46 ⊂ P(4,5,6,7,23) は Vol(V) = 1/420 かつ χ(O_V) = 1 を実現し、境界の最適性を確認している。