Kodaira dimension of algebraic fiber spaces over threefolds : Part 1

技術的サマリー：3 次元多様体上の代数ファイバー空間のコーダラ次元（パート I）

問題提起
本論文は、双有理幾何における中心的な未解決問題であるイタカ予想（$C_{n,m}$）に取り組む。この問題は、代数ファイバー空間におけるコーダラ次元の挙動に関するものである。具体的には、次元 $n$ と $m$ の滑らかな射影多様体の間の代数ファイバー空間 $f: X \to Y$ に対し、一般ファイバーを $F$ とすると、Klt 対 $(X, \Delta)$ に対して不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$ が成り立つと予想されている。この予想は、最小モデルの存在と豊富性予想から導かれることが知られているが、これらの一般的な手法が不十分な場合や、底多様体 $Y$ の幾何が複雑な特定のケースにおいては、未解決のままである。

本研究の主な焦点は、底多様体 $Y$ が 3 次元多様体（$m=3$）である場合である。これまでの結果により、次元 1（河田）および 2（曹）の底多様体、あるいは一般型またはアーベル多様体である底多様体に対しては予想が確立されている。本論文は、3 次元底多様体に対する残りのケース、特に底多様体が不規則である場合、正のコーダラ次元を持つ場合、またはカラビ・ヤウ 3 次元多様体である場合を調査する。

手法
証明は、複素代数幾何と最小モデルプログラムにおけるいくつかの高度な手法の統合に依存している：

1. 直接像層の正性： 著者らは、フジタ、河田、および他の研究者による定理を拡張した、押し出し層の正性に関する結果を利用する。オオサワ・タケゴシの拡張定理と半正曲率を持つ特異エルミート計量の理論を用いて、相対多重標準束の直接像層の擬有効性を確立する（定理 2.1、変種 2.2–2.4）。
2. 拡張定理： 重要な道具は、ある曲率条件が満たされれば、ファイバー束 $g: Y \to Z$ の一般ファイバーからの切断を全空間 $Y$ に拡張できることを可能にする命題 2.5 である。これは、全空間のコーダラ次元を底多様体とファイバーのそれらに関連付ける上で決定的である。
3. 標準束公式： ファイバーの対数コーダラ次元がゼロ（$\kappa(K_F + \Delta|_F) = 0$）である場合、著者らはフジノ・森の標準束公式（定理 2.11）を適用する。これは、相対標準因子を、底多様体上の因子の引き戻し（モジュリ部分 $L$ を含む）と剰余項に分解する。その後の分析は、このモジュリ部分 $L$ の数値的性質（ネフ次元 $\eta$ と数値次元 $\nu$）に焦点を当てる。
4. 縮小写像： モジュリ部分 $L$ の研究には、因子が数値的に自明である方向を測定する擬有効縮小写像（定理 2.15）が含まれる。これは、ネフ次元に基づいて $L$ の挙動を分類するのに役立つ。
5. 分解定理： カタナー・フジタ・河田の分解（定理 2.10）は、押し出し層 $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta))$ の構造を分析するために用いられ、それを一般的に ample な部分とエルミート平坦な部分に分離する。

主要な貢献と結果
本論文は、底 3 次元多様体 $Y$ とファイバー $F$ に関するいくつかの特定の条件下で、イタカ予想 $C_{n,3}$ を確立する：

• 不規則な 3 次元多様体（第 3 節）： 底 $Y$ が不規則、すなわちその不規則性 $q(Y) > 0$ である場合に予想が証明される。これは、アルバーネ次元に関する先行研究（定理 3.2）から導かれ、アルバーネ次元 $\alpha(Y) \geq 1$ であれば $C_{n,3}$ が成り立つことを示している。
• 対数コーダラ次元ゼロのファイバー（第 4 節）： $\kappa(K_F + \Delta|_F) = 0$ のとき、著者らは $\kappa(K_X + \Delta) \geq \kappa(Y)$ を証明する。ただし、モジュリ部分 $L$ が数値的に $\mathbb{Q}$-有効でない 2 つの例外を除く：
  1. $\nu(L) = 1, \eta(L) = 2$、かつ $q(Y) = 0$。
  2. $L$ がほぼ厳密ネフであり、$\tilde{Y}$ がカラビ・ヤウ 3 次元多様体で、$L \cdot c_2(\tilde{Y}) = 0$。
     系として、この結果は $C_{7,m}$（全空間の次元が 7 の場合）をほぼ確立し、上記の特定の例外に問題を帰着させる。
• 正のコーダラ次元を持つ底多様体（第 5 節）：
  • $\kappa(Y) \geq 2$ の場合、$Y$ の良い最小モデルの存在を仮定して、完全な不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$ が証明される。
  • $\kappa(Y) = 1$ の場合、$Y$ のイタカファイバー束の一般ファイバーに制限された押し出し層の行列式のコーダラ次元が正である場合（具体的には、イタカファイバー束の底が $\mathbb{P}^1$ である場合）、不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + 1$ が証明される。
• カラビ・ヤウ 3 次元多様体を底とする場合（第 6 節）： 本論文は、$\kappa(Y) = q(Y) = 0$ である場合を取り扱う。これは、豊富性予想とボーヴェル・ボゴモロフ分解により、$Y$ がカラビ・ヤウ 3 次元多様体である場合に帰着される。
  • 定理 6.1： 押し出し層の行列式のコーダラ次元 $\kappa(\det f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)))$ が 1 より大きい場合、不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F)$ が証明される。
  • 部分的結果： このコーダラ次元が 0 または 1 である場合についても部分的な結果が得られる。具体的には、命題 6.2 は、縮小写像のファイバーへの押し出し層の制限に関する追加の仮定の下で不等式を確立する。

意義と限界
本論文は、3 次元多様体上のファイバー空間に関するイタカ予想の理解を大幅に進展させることを主張している。底多様体の幾何（不規則性、コーダラ次元）と標準束公式におけるモジュリ部分の性質を利用することで、著者らは多くの非自明なケースで予想を解決している。

しかし、著者らは結果の完全性については控えめである。彼らは明確に残りの困難を特定している：

• $\kappa(Y) = 1$ の場合、不等式は、イタカファイバー束のファイバーに制限された押し出し層の行列式の正性に依存している。
• カラビ・ヤウを底とする場合、完全な予想はモジュリ部分のコーダラ次元が 1 より大きい場合にのみ証明される。この次元が 0 または 1 の場合は、すべてのカラビ・ヤウ 3 次元多様体に対してまだ完全に確立されていないモジュリ部分の $\mathbb{Q}$-有効性に依存しており、部分的に未解決のままである。
• 本論文は、条件 $L \cdot c_2(Y) > 0$（または同様の正性条件）が強く、その欠如が特定のカラビ・ヤウ幾何における証明にギャップを残していると指摘している。

この研究は、より広範なプロジェクトにおける基礎的なステップ（「パート I」）として機能しており、著者らはカラビ・ヤウ 3 次元多様体上のモジュリ部分の $\mathbb{Q}$-有効性に関する残りの問いは、今後の研究で扱われることを示唆している。