[論文レビュー] Iitaka conjecture $C_{n,m}$ in dimension six

Caucher Birkar|ArXiv.org|Jun 27, 2008

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

ひとこと要約

この論文は、次元6までの代数的ファイバー空間について、Iitaka予想 $C_{n,m}$ を証明し、$n \leq 6$ のとき、全空間 $X$ のKodaira次元が $\kappa(X) \geq \kappa(F) + \kappa(Z)$ を満たすことを確立している。証明は最小モデルプログラム、nef削減理論、および $m=2$ かつ $\kappa(F)=0$ の場合の重要な結果に依拠しており、次元6までの双有理幾何学における既知の結果を拡張している。

ABSTRACT

We prove that the Iitaka conjecture $C_{n,m}$ for algebraic fibre spaces holds up to dimension 6, that is, when $n\le 6$.

研究の動機と目的

• 次元 $n \leq 6$ のすべての代数的ファイバー空間について、Iitaka予想 $C_{n,m}$ を確立すること。ここで $X$ は次元 $n$ の滑らかで射影的な代数的多様体、$Z$ は次元 $m$、$F$ は一般ファイバーである。
• 豊富性予想がまだ証明されていない重要な場合、$n=6$, $m=2$, および $\kappa(F)=0$ の場合に予想を解決すること。
• 最小モデルプログラムと良質な最小モデルに関する最近の結果を活用することで、Iitaka予想の有効性をこれまでの事例を超えて拡張すること。
• 次元 $\leq 6$ の多様体について、Ueno予想の(1)部分を確認すること。具体的には、アーベル写像の一般ファイバーがKodaira次元0を持つこと。

提案手法

• 一般ファイバー $F$ に対して $\kappa(F) > 0$ の場合、次元 $\leq 3$ の良質な最小モデルに関する既知の結果を活用して、最小モデルを構成するための最小モデルプログラムの使用。
• $\mathbb{Q}$-除集合に対するnef削減写像を適用し、相対的正則な除集合のnef次元 $n(L)$ を分析し、$n(L) = 2$, $1$, または $0$ の場合に分ける。
• 写像 $g: X' \to Z'$ を持つ双有理モデル $X' \to X$ を採用し、$pK_{X'} = pg^*(K_{Z'} + B + L) + R$ を満たすようにする。ここで $B \geq 0$, $L$ はnefであり、$R$ は制御された台を持つ $\mathbb{Q}$-除集合である。
• Campana-Peternellの予想（特殊な場合に証明済み）を用いて、$L \equiv D$ が有効な場合に $\kappa(X)$ と $\kappa(K_{Z'} + B + D)$ を関連付ける。
• Fujino-Moriの定理を用いて、nefおよび例外的除集合を含む分解を持つ相対的正則なモデルを構成する。
• $n(L) = 2$ または $\kappa(Z) = 2$ のとき、$H^0(ipK_X) = H^0(ip(K_{Z'} + B + L))$ が成り立ち、これにより $\kappa(X)$ の大規模性が保証され、結果として $\kappa(X)$ の下界が得られる。

実験結果

リサーチクエスチョン

• RQ1 Iitaka予想 $C_{n,m}$ は、次元 $n \leq 6$ のすべての代数的ファイバー空間について成り立つか？
• RQ2 $n=6$, $m=2$, および $\kappa(F) = 0$ の場合に、予想は豊富性予想が未解決であるにもかかわらず証明可能か？
• RQ3 最小モデルプログラムとnef削減技術をどれだけ活用すれば、高次元ファイバー写像において豊富性予想の必要性を回避できるか？
• RQ4 Ueno予想の(1)部分—アーベル写像の一般ファイバーがKodaira次元0を持つ—は、次元 $\leq 6$ の多様体について成り立つか？
• RQ5 ファイバーのKodaira次元が非負である場合、相対的Iitakaファイバー写像を用いて一般ケースを既知の結果に還元できるか？

主な発見

• すべての $n \leq 6$ に対して、Iitaka予想 $C_{n,m}$ が成り立つ。これは、次元6までの滑らかで射影的な代数的ファイバー空間について、$\kappa(X) \geq \kappa(F) + \kappa(Z)$ が成立することを確認している。
• $m=2$ かつ $\kappa(F)=0$ の場合、nef削減と、$L \equiv D$ を満たす有効な $\mathbb{Q}$-除集合 $D \geq 0$ の存在を用いて、Campana-Peternellの結果 $\kappa(K_X + M) \geq \kappa(Z)$ を適用可能にし、予想を証明した。
• $n(L) = 2$ または $\kappa(Z) = 2$ のとき、ある $i$ に対して $ip(K_{Z'} + B + L)$ は大規模である。これにより $H^0(ipK_X) = H^0(ip(K_{Z'} + B + L))$ が成り立ち、$\kappa(X) \geq \kappa(Z)$ を示す。
• $n(L) = 1$ の場合、nef削減写像 $\pi: Z' \to C$ は正則であり、$\deg D' > 0$ である。$L \equiv \pi^*D'$ であり、有効除集合 $D$ を構成して $L \equiv D$ とすることで、$\kappa(X)$ の下界が支持される。
• $n(L) = 0$ の場合、$L \equiv 0$ であり、相対的正則系と双有理モデル $X'$ を用いて $\kappa(X) \geq \kappa(Z)$ を示す。再びCampana-Peternellの定理を用いる。
• Ueno予想の(1)部分—アーベル写像の一般ファイバーがKodaira次元0を持つ—は、次元 $\leq 6$ の多様体について、定理1.3の直接的な推論として確認された。