[论文解读] 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

一句话总结

该论文在两种条件下证明了紧致凯勒纤维空间上 klt 凯勒版本的 Iitaka 猜想 $C_{n,m}^\text{log}$：当扭转相对全 canonical 簧丛的直接像的行列式在底空间上为大时，或当底空间为复环面时。此外，通过正性定理与上同调跳跃点集技术，将第二种情形推广至几何轨道丛设定。

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 对的满射态射，建立 Iitaka 猜想 $C_{n,m}^\text{log}$ 的 klt 凯勒版本。
• 在直接像的行列式丛为大的条件下，将 Viehweg（1983）关于直接像正性的结果推广至凯勒设定。
• 将 Cao-Păun（2017）关于复环面底空间的结果推广至对数与几何轨道丛设定。
• 当底空间为复环面时，证明几何轨道丛版本的 Iitaka 猜想 $C_{n,m}^{\text{orbifold}}$。
• 通过分析正性技术，统一并推广凯勒与轨道丛范畴中关于 Kodaira 维数次可加性的现有结果。

提出的方法

• 应用凯勒流形上全 canonical 簧丛直接像的正性定理。
• 使用 Green-Lazarsfeld-Simpson 风格的上同调跳跃点集结构定理的全 canonical 版本。
• 利用 Ohsawa-Takegoshi L² 扩展定理，构造具有非负曲率的奇异 Hermitian 度量。
• 利用典范 $L^2$ 度量与相对 $m$-Bergman 核度量，分析直接像层的正性。
• 通过对偶性与双有理几何，将问题约化至行列式丛为数值平凡的情形。
• 应用负性引理与展平技术，构造具有受控拟有效性的例外除子。

实验结果

研究问题

• RQ1 当扭转相对全 canonical 簧丛 $K_{X/Y}^{\otimes m} \otimes \mathcal{O}_X(m\Delta)$ 的直接像的行列式在 $Y$ 上为大时，klt 凯勒纤维空间上的 Iitaka 猜想 $C_{n,m}^\text{log}$ 是否成立？
• RQ2 Cao-Păun（2017）关于复环面底空间的结果能否推广至凯勒与几何轨道丛设定？
• RQ3 当底空间为一般型时，$C_{n,m}^\text{log}$ 的 klt 凯勒版本是否对纤维空间成立？
• RQ4 上同调跳跃点集的结构定理能否在凯勒范畴中适配至全 canonical 设定？
• RQ5 当底空间为复环面时，$C_{n,m}^\text{orbifold}$ 的几何轨道丛版本是否对纤维空间成立？

主要发现

• 当 $K_{X/Y}^{\otimes m} \otimes \mathcal{O}_X(m\Delta)$ 的直接像的行列式在 $Y$ 上为大时，$C_{n,m}^\text{log}$ 的 klt 凯勒版本成立。
• 当 $Y$ 为复环面时，$C_{n,m}^\text{log}$ 在凯勒纤维空间上成立，推广了 Cao-Păun（2017）。
• 当底空间为复环面时，几何轨道丛版本 $C_{n,m}^{\text{orbifold}}$ 对纤维空间成立。
• 该结果被推广至 $Y$ 为一般型的情形，恢复并推广了 Kawamata（1981）与 Fujino（2017）的结果。
• 证明依赖于上同调跳跃点集的全 canonical 结构定理，以及凯勒设定中直接像的正性。
• 该策略通过双有理与正性技术，成功将问题约化至数值平凡或非正 Kodaira 维数的情形。