[論文レビュー] On the Iitaka Conjecture $C_{n,m}$ for K\\"ahler Fibre Spaces

Juanyong Wang|arXiv (Cornell University)|Jul 15, 2019

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

ひとこと要約

この論文は、コンpact Kählerなファイバー空間に対して、2つの条件下で klt Kähler版の Iitaka 猜測 $C_{n,m}^\text{log}$ を証明する。1つ目は、捩れた相対多重正則な canonical バンドルの直接像の行列式が底上ですでに大きい場合、2つ目は底が複素トーラスの場合である。さらに、2番目のケースを正則性定理とコhomology ジャンピング・ローカス技法を用いて幾何的オーロイド設定に一般化する。

ABSTRACT

By applying the positivity theorem of direct images and a pluricanonical version of the structure theorem on the cohomology jumping loci \\`a la Green-Lazarsfeld-Simpson, we show that the klt K\\"ahler version of the Iitaka conjecture $C_{n,m}$ (Ueno, 1975) for $f:X\ o Y$ (surjective morphism between compact K\\"ahler manifolds with connected general fibre) holds true when the determinant of the direct image of some power of the relative canonical bundle is big on $Y$ or when $Y$ is a complex torus. These generalize the corresponding results of Viehweg (1983) and of Cao-P\\u aun (2017) respectively. We further generalize the later case to the geometric orbifold setting, i.e. prove that $C_{n,m}^{\ ext{orb}}$ (Campana, 2004) holds when $Y$ is a complex torus.

研究の動機と目的

• klt 対を備えたコンpact Kähler多様体間の全射的な準同型写像に対して、klt Kähler版の Iitaka 猜測 $C_{n,m}^\text{log}$ を確立すること。
• 直接像の正則性に関する Viehweg (1983) の結果を、行列式バンドルの大きさ条件の下で Kähler 環境に一般化すること。
• Cao-Păun (2017) の複素トーラスを底とする結果を、対数的および幾何的オーロイド設定に拡張すること。
• 底が複素トーラスである場合に、幾何的オーロイド版の Iitaka 猜測 $C_{n,m}^{\text{orbifold}}$ を証明すること。
• 解析的正則性技法を用いて、Kählerおよびオーロイドカテゴリーにおける Kodaira次元の下加法性に関する既存の結果を統合・一般化すること。

提案手法

• Kähler多様体上の正則な canonical バンドルの直接像の正則性定理を適用する。
• Green-Lazarsfeld-Simpson のアプローチに基づく cohomology ジャンピング・ローカスの正則な canonical バージョンの構造定理を用いる。
• Ohsawa-Takegoshi の L² 拡張定理を用いて、非負の曲率を持つ特異 Hermitian 計量を構成する。
• 標準的な $L^2$ 計量と相対的 $m$-Bergman カーネル計量を用いて、直接像層の正則性を分析する。
• 双有理幾何と双対性を用いて、行列式バンドルが数的に自明である場合に問題を還元する。
• 負の補題と平坦化技法を用いて、制御された擬効果的性質を持つ例外的除集合を構成する。

実験結果

リサーチクエスチョン

• RQ1 行列式バンドル $\det f_* (K_{X/Y}^{\otimes m} \otimes \mathcal{O}_X(m\Delta))$ が $Y$ 上ですでに大きいとき、klt Kähler ファイバー空間に対して Iitaka 猜測 $C_{n,m}^\text{log}$ は成立するか？
• RQ2 Cao-Păun (2017) の複素トーラスを底とする結果は、Kählerおよび幾何的オーロイド設定に拡張可能か？
• RQ3 一般型の底を持つ場合に、$C_{n,m}^\text{log}$ の klt Kähler版は有効か？
• RQ4 Kählerカテゴリーにおける正則な canonical バージョンの cohomology ジャンピング・ローカス構造定理は、適応可能か？
• RQ5 底が複素トーラスである場合に、幾何的オーロイド版の $C_{n,m}^\text{orbifold}$ は成立するか？

主な発見

• 行列式バンドル $\det f_* (K_{X/Y}^{\otimes m} \otimes \mathcal{O}_X(m\Delta))$ が $Y$ 上ですでに大きいとき、klt Kähler版の $C_{n,m}^\text{log}$ は成立する。
• 底 $Y$ が複素トーラスである Kähler ファイバー空間に対して、$C_{n,m}^\text{log}$ は証明され、Cao-Păun (2017) を一般化する。
• 幾何的オーロイド版 $C_{n,m}^{\text{orbifold}}$ は、複素トーラスを底とするファイバー空間に対して確立された。
• 底 $Y$ が一般型の場合にも結果が拡張され、Kawamata (1981) および Fujino (2017) の結果が回復され、一般化された。
• 証明は、cohomology ジャンピング・ローカスの正則な構造定理と Kähler環境における直接像の正則性に依存する。
• 戦略により、双有理幾何と正則性技法を用いて、数的に自明または非正の Kodaira 次元のケースに問題を還元できた。