[论文解读] On the isotriviality of families of projective manifolds over curves

Eckart Viehweg, Kang Zuo|ArXiv.org|Feb 24, 2000

Algebraic Geometry and Number Theory参考文献 14被引用 95

一句话总结

本文在纤维的 canonical bundle 具有轻微正性条件的前提下，建立了在曲线上非等变族的射影流形中奇异纤维数目的精确下界，证明了在 $\mathbb{P}^1$ 上的此类族至少有三个奇异纤维，在椭圆曲线上至少有一个奇异纤维。关键技巧结合了 Hodge 理论、Kodaira-Spencer 映射的负性以及全纯 canonical 线丛直积的放大性准则。

ABSTRACT

Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-ample canonical divisor. The corresponding result has been obtained by Migliorini and Kovacs, for families of surfaces of general type and for families of canonically polarized manifolds, and by Oguiso-Viehweg for families of elliptic surfaces. As a byproduct we obtain explicit bounds for the degree of the direct image of powers of the dualizing sheaf, generalizing those obtained by Bedulev-Viehweg for families of surfaces of general type.

研究动机与目标

• 在族不是双有理等变的情况下，建立射影流形族在曲线上奇异纤维数目的下界。
• 将 Arakelov、Parshin 及其他人的关于曲线族的经典结果推广到具有正 canonical bundle 或极小模型结构的高维纤维。
• 根据基的亏格、奇异纤维数和纤维不变量，对 $\det(f_*\omega_X^\nu)$ 的次数建立有效界限。
• 证明一般型流形不能通过光滑态射支配椭圆曲线或 $\mathbb{P}^1$，除非基具有足够的奇异纤维数量。

提出的方法

• 利用 Hodge 捆子丛上 Hodge 度量的曲率负性，该性质源于 Kodaira-Spencer 映射及其核。
• 通过 $\kappa(F) = \dim(F)$ 或 $K_{F'}$ 半ample 的条件，应用 $f_*\omega_X^\nu$ 的放大性准则，确保当 $\nu$ 足够大时 $\det(f_*\omega_X^\nu)$ 是放大的。
• 使用循环覆盖和消去定理来控制直积的性质，以 Kodaira-Spencer 映射的局部负性替代全局消去。
• 利用 Stein 分解和有限覆盖的拉回，将问题约化为 $\mathbb{P}^1$ 或椭圆曲线上半稳定族的情形。
• 当奇异纤维数量过少时，利用 $\det(f_*\omega_X^\nu)$ 的放大性导出矛盾。
• 通过模空间中具有固定 Hilbert 多项式 $h(t)$ 的极化流形，构造 canonical 系统体积的统一常数 $e$，确保界限的统一性。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^1$ 上，若族满足 $\kappa(F) = \dim(F)$，则非等变族的射影流形中奇异纤维的最小数量是多少？
• RQ2 一般型流形能否允许一个光滑态射到椭圆曲线？
• RQ3 在什么条件下 $\det(f_*\omega_X^\nu)$ 是放大的？这与等变性有何关联？
• RQ4 能否根据基曲线和纤维几何，对 $\det(f_*\omega_X^\nu)$ 的次数建立有效界限？
• RQ5 当 $\omega_F$ 半ample 时，如何确保 $\deg(f_*\omega_X^\nu)$ 的界限常数具有统一性？

主要发现

• 若 $f: X \to \mathbb{P}^1$ 是从非负 Kodaira 维数的射影流形到 $\mathbb{P}^1$ 的满态射，则 $f$ 至少有三个奇异纤维。
• 若 $f: X \to E$ 是到椭圆曲线的态射，且 $X$ 为一般型，则 $f$ 必须至少有一个奇异纤维。
• 对于满足 $\omega_F$ 半ample 且 Hilbert 多项式 $h(t)$ 固定的非双有理等变族，$\det(f_*\omega_X^\nu)$ 的次数被限制为 $ (n(2g-2+s) + \delta) \cdot \nu \cdot e \cdot r $，其中 $n = \dim(F)$，$g$ 为基的亏格，$s = \deg(S)$，$\delta$ 计数非半稳定纤维，$r = \text{rank}(f_*\omega_X^\nu)$，$e$ 仅依赖于 $h(t)$。
• 当族为半稳定时，界限简化为 $n(2g-2+s)\nu e r$，清晰地体现出与基曲线几何的依赖关系。
• 当 $\nu$ 足够大时，$\det(f_*\omega_X^\nu)$ 的放大性蕴含等变性，且在 $\kappa(F) = \dim(F)$ 或 $K_{F'}$ 半ample 的假设下可保证此性质。
• 证明给出了 Arakelov、Parshin 和 Bedulev 的界限的显式推广，并将其扩展到具有 canonical 或极小模型的高维纤维。