[論文レビュー] Pluricanonical systems of projective 3-folds of general type

Hajime Tsuji|ArXiv.org|Apr 9, 2002

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

ひとこと要約

本稿は、一般型の滑らかで射影的な3次元多様体の多項式正則写像に対して、初めて明示的な上界を確立する。すべての $ m \geq 18(2^9 \cdot 3^7)! $ に対して、線形系統 $ |mK_X| $ は双有理写像を与える。証明は、最小モデル理論、部分接続、および3次元端的特異点の詳細な解析（特に正規被覆と不変単項式の数え上げを用いて）を組み合わせ、 canonical divisor の指数と次数の上限を導出し、最終的に $ \nu_3 $ に対して有限ではあるが極めて大きな明示的上限を得る。この結果は3次元多様体の双有理幾何を理解する上で基盤的であるが、上限は著しく最適でないことが認められている。

ABSTRACT

We prove that for every positive integer $m\geq 18(2^{9}\cdot 3^{7})!$ and every smooth projective 3-fold of general type X defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from X into a projective space.

研究の動機と目的

• 滑らかで射影的な一般型3次元多様体において、すべての $ m \geq \nu_3 $ に対して $ |mK_X| $ が双有理写像を与えるような、最初の明示的上界 $ \nu_3 $ を提供すること。
• 高次元双有理幾何における明示的上限の欠如を、端的特異点と正規被覆の解析によって克服すること。
• 極めて大きな上限であっても、それが明示的に構成可能であることを示し、将来的な改善の出発点とすること。
• 高次元代数幾何における抽象的で構造的な定理への注目を、過度に精緻な結果から移すことで、コンcreteな上限が取り扱いにくくなる状況に対処すること。

提案手法

• 部分接続定理を用いて、特異点上の多項式正則写像とその正規被覆上のそれらを関連付ける。
• 基本点を制御し、切断の非消滅を保証するために、最大イデアル層を用いた3次元多様体の層化を構成する。
• 漸近的リーマン・ロッホとヒルベルト多項式の推定を応用して、$ |mK_X| $ の次元増加の上限を、$ K_X $ がネフかつバリであるという性質を活用して導く。
• 特に $ \frac{1}{r}(1,-1,b) $ 型の3次元端的特異点を、巡回群作用と超曲面モデルを用いて解析し、その変形と解消を記述する。
• 正規被覆上の不変切断の次元を、公式 $ \dim H^0(N, \mathcal{O}_N(mK_N)/\pi^*\mathcal{O}_M(mK_M)) \geq \frac{1}{6} \overline{(r-m)} \overline{(r-bm)} \overline{bm} \ell^3 + O(\ell^2) $ を用いて計算する。ここで $ \overline{a} $ は $ r $ を法とする剰余を表す。
• 指数 $ r_0 $ を、$ r_0 \leq 2^9 \cdot 3^7 $ を示すことによって上限付け、これによりグローバル指数 $ R \leq (2^9 \cdot 3^7)! $ の上限を得る。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な一般型3次元多様体において、すべての $ m \geq \nu_3 $ に対して $ |mK_X| $ が双有理写像を与えるような、最小の整数 $ \nu_3 $ は何か？
• RQ2 正規被覆と特異点解析を用いて、最適でないにせよ明示的な $ \nu_3 $ の上界を構成することは可能か？
• RQ3 3次元端的特異点の構造は、多項式正則写像の双有理性にどのように影響を与えるか？
• RQ4 不変理論を正規被覆上で用いることで、canonical divisor の指数をどの程度まで上限付けられるか？
• RQ5 最小モデルに最小性や追加条件を仮定しない状況でも、$ \nu_3 $ に対して有限で計算可能な上限を導出することは可能か？

主な発見

• 本稿は、初めて明示的な上界を確立した：$ \nu_3 \leq 18(2^9 \cdot 3^7)! $ であり、これはすべての $ m \geq \nu_3 $ に対して、一般型の滑らかで射影的な3次元多様体上での $ |mK_X| $ が双有理写像を与えることを保証する。
• この上限は、特に指数 $ r \geq 5 $ の3次元端的特異点の詳細な解析（正規被覆と不変単項式の数え上げを用いて）から生じる。
• このような3次元多様体上に存在する任意の端的特異点の最大指数 $ r_0 $ に対して、$ r_0 \leq 2^9 \cdot 3^7 $ が示され、これによりグローバル指数の階乗上限が得られる。
• 与えられた $ m_0 $ の下で、$ \mu_0 = K_X^3 \leq 1 $ のとき、canonical map の次数は $ \deg \Phi_{|mK_X|} \leq \mu_0 m^3 \leq 18^3 $ で抑えられる。
• この上限は、漸近的次元推定、部分接続、および商特異点の構造の組み合わせによって得られたが、著者はそれが著しく最適でないことを認めている。
• この結果は、有限で計算可能な上限が存在することを確認するが、著者は最良の上限を求めるよりも、高次元幾何におけるより広範な理論的視点の構築が、むしろ意味があると主張している。