[论文解读] A refined Kodaira dimension and its canonical fibration

Steven Lu|ArXiv.org|Nov 4, 2002

Advanced Algebra and Geometry参考文献 45被引用 14

一句话总结

本文引入了一种改进的Kodaira维数，记为 $\kappa'_{+}$，作为对数流形 $(X,D)$ 的双有理不变量，推广了Campana的 $\kappa^+$，并构造了一个典范纤维化，其轨道化底空间为一般型。关键贡献在于通过 $\kappa'_{+} = 0$ 对特殊流形进行刻画，证明此类纤维化在复合下保持不变，且典范纤维化的轨道化底空间不再允许进一步的特殊纤维化，从而解决了Campana的猜想，并扩展了全纯链连通性结果。

ABSTRACT

Given a (meromorphic) fibration $f:X o Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.

研究动机与目标

• 为对数流形 $(X,D)$ 定义一个新的双有理不变量 $\kappa'_{+}({X^\partial})$，以捕捉与全纯链连通性及Kobayashi伪距离消失相关的几何性质。
• 为具有边界除子的射影流形构造一个典范纤维化，推广Campana的特殊纤维化，并将其轨道化底空间刻画为一般型。
• 解决Campana关于典范纤维化结构的关键猜想，特别是轨道化底空间不再允许具有正维纤维的特殊纤维化。
• 通过Kodaira维数的可加性及饱和线丛层的行为，证明特殊纤维化在复合下保持不变。

提出的方法

• 将 $\kappa'_{+}({X^\partial})$ 定义为最大的 $p$，使得存在一个主导的亚纯映射 $f: X \dashrightarrow Y$，满足 $\kappa(L) = p$，其中 $L$ 是 $f^*K_Y$ 在 $\Omega^p_X(\log D)$ 中的饱和化。
• 通过 $\kappa'_{+}({X^\partial}) = 0$ 定义“特殊”对数流形 $X^\partial$，推广Campana的定义，并将其与全纯链连通性联系起来。
• 使用轨道化态射和K-映射定义对数流形之间的良好态射，确保与典范丛和对数结构的拉回兼容。
• 应用Kollár的Kodaira维数可加性定理，证明若 $X$ 在一个特殊轨道化底空间上存在特殊纤维化，则 $X$ 本身也是特殊的。
• 通过具有通解纤维的一般型的极大纤维化构造典范纤维化，利用轨道化底空间对纤维化的几何类型进行分类。
• 利用底空间的非双有理可约性及 $\kappa'_{+}$ 的结构，证明典范纤维化的轨道化底空间不再允许具有正维纤维的特殊纤维化。

实验结果

研究问题

• RQ1 在拟射影情形下，何种双有理不变量可刻画全纯链连通性或Kobayashi伪距离消失的性质？
• RQ2 Campana的特殊纤维化如何被自然构造？其轨道化底空间的几何结构是什么？
• RQ3 射影流形的典范纤维化的轨道化底空间是否为一般型？它是否不再允许进一步的特殊纤维化？
• RQ4 特殊流形类在以特殊底空间为纤维的纤维化下是否保持不变？$\kappa'_{+}$ 在纤维化复合下如何表现？
• RQ5 改进的Kodaira维数 $\kappa'_{+}$ 是否可用于统一有理连通型与Calabi–Yau型纤维化的分类？

主要发现

• 改进的Kodaira维数 $\kappa'_{+}({X^\partial})$ 是一个双有理不变量，刻画了从 $\mathbb{C}^n$ 出发的极大秩全纯映射的不存在性，以及在拟射影情形下Kobayashi伪距离的消失。
• 射影流形是特殊的（即 $\kappa'_{+} = 0$）当且仅当它是全纯链连通的，这一结果推广了低维及有理连通情形的结果。
• 射影流形的典范纤维化的轨道化底空间为一般型，意味着该底空间不再允许具有正维纤维的有理连通纤维化。
• 若纤维化 $X \dashrightarrow W$ 是特殊的，且 $W \dashrightarrow Y$ 是一般纤维为一般型的纤维化，则 $X$ 为特殊流形，此结论通过Kodaira维数的可加性得以证明。
• 典范纤维化的轨道化底空间不再允许具有正维纤维的特殊纤维化，从而解决了Campana的一个猜想。
• 通过 $\kappa'_{+}$ 构造典范纤维化，推广了Campana的原始定义，并提供了直接、内在的构造方法，解决了特殊流形分类中的开放问题。