[論文レビュー] Kodaira dimension of algebraic fiber spaces over abelian varieties

Junyan Cao, Mihai Păun|arXiv (Cornell University)|Apr 5, 2015

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

ひとこと要約

この論文は、アーベル多様体上の代数的ファイバー空間に対して、対数 Iitaka 猜想を証明し、一般ファイバー $F$ を用いて、相対 canonical バンドルの Kodaira 次元が $ olimits\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$ を満たすことを確立する。証明は、直接像層の正性、擬正則バンドルの計量的性質、および底多様体の基本群上のユニタリ表現の構造に依拠しており、Viehweg の弱安定性の拡張と Ohsawa-Takegoshi の拡張定理を活用する。

ABSTRACT

In this short article we provide a proof of the Iitaka conjecture for algebraic fiber spaces over abelian varieties.

研究の動機と目的

• アーベル多様体上の代数的ファイバー空間に対して、対数版 Iitaka $C_{nm}$ 猜想を確立すること。
• Kawamata (1982) の既知の結果を klt 対の設定に拡張すること。
• $p: X \to A$ で $A$ がアーベル多様体であり、$(X, \Delta)$ が klt であるとき、不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$ を証明すること。
• 特異 Hermitian 計量と平坦性の性質を用いて、直接像層 $p_* (mK_{X/Y} + m\Delta)$ の構造を分析すること。
• Viehweg の弱安定性を対数設定に一般化し、特異性を越えて擬正則セクションを拡張するために応用すること。

提案手法

• 直接像層 $p_* (mK_{X/Y} + m\Delta)$ に特異 Hermitian 計量を用いること、特に Narasimhan-Simha の $L^2$ 計量を用いる。
• Ohsawa-Takegoshi の拡張定理を用いて、ファイバーから全空間への擬正則セクションを拡張すること。
• 基本群 $\pi_1(A \setminus \Sigma)$ の分析、これは $\pi_1(A)$ に同型であり、自由アーベル群である。これにより、モノドロミーのユニタリ表現を研究する。
• 自由アーベル群のユニタリ表現をランク1成分に分解し、セクションの拡張行動を分析する。
• 特異性の構造と有理的写像による擬正則形式の挙動を記述する Campana-Peternell の定理の応用。
• 全空間 $X$ に相対 Bergman 計量を構成し、点ごとの推定値を用いて、$L^2$ ノルムにおけるセクションの成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 klt 対を伴うアーベル多様体上の代数的ファイバー空間に対して、対数 Iitaka 猜想は成り立つか？
• RQ2 直接像の行列式が位相的に自明であるとき、ファイバー上の擬正則セクションは全空間に拡張可能か？
• RQ3 アーベル多様体上の直接像層の計量的性質が、全空間の Kodaira 次元にどのように影響するか？
• RQ4 基本群のユニタリ表現が、擬正則形式の拡張に果たす役割は何か？
• RQ5 codimension 2 の集合の補集合上の平坦ベクトルバンドルの構造を用いて、対数 Iitaka 不等式を証明できるか？

主な発見

• アーベル多様体上の代数的ファイバー空間に対して、対数 Iitaka 猜想が成立する：$\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$。
• 直接像層 $p_* (mK_{X/Y} + m\Delta)$ がその行列式が位相的に自明であるとき、底多様体の Zarski 開部分集合上で Hermitian 扁平ベクトルバンドルを定める。
• モノドロミー表現の像が有限である場合、有限位数のセクションと $L^2$-可積分性により、一般ファイバー上の $mK_{X/Y} + m\Delta$ のセクションは全空間に拡張可能である。
• モノドロミー表現が無限である場合、ランク1表現への分解により、Campana-Peternell の定理を用いて擬正則形式の拡張を保証できる。
• 証明は、特異計量を備えた適切に構成されたバンドルに Ohsawa-Takegoshi の拡張定理を適用することに依拠しており、グローバルセクションの存在を保証する。
• 結果は Kawamata の 1982 年の結果を一般化し、アーベル基底多様体の対数設定への Iitaka 猜想の拡張を実現する。