[论文解读] On the isotriviality of families of elliptic surfaces

Keiji Oguiso, Eckart Viehweg|ArXiv.org|Dec 13, 1999

Algebraic Geometry and Number Theory参考文献 15被引用 19

一句话总结

本文证明了所有在复椭圆曲线或穿孔复直线（ℂ*）上、具有非负 Kodaira 维数的光滑射影极小曲面族均为等变平凡（isotrivial），即在有限基变换后变为平凡族。证明方法扩展了 Kawamata、Fujita 和 Viehweg 的方法，利用了直接像的正性以及对数微分形式，特别是借助局部 Torelli 定理和雅可比纤维丛，排除了非等变平凡变形的可能性。

ABSTRACT

We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kovács, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.

研究动机与目标

• 建立在复椭圆曲线或 ℂ* 上、具有非负 Kodaira 维数的光滑射影极小曲面族的等变平凡性。
• 将关于一般型曲面的等变平凡性结果推广至 Kodaira 维数为一的情形。
• 在极小曲面具有非负 Kodaira 维数的背景下，完成等变平凡族的分类。
• 通过与非射影 K3 曲面族（例如扭积空间）的对比，验证射影性假设的必要性。

提出的方法

• 利用对偶层直接像的正性结果，特别是对 ν ≥ 1，有 $ f_*\omega^{\nu}_{X/B} $ 的数值有效性。
• 应用关于开稠密子集的半正则性与正则性概念，以分析 Hodge 结构的变化。
• 使用对数微分形式 $ \Omega^i_X(\log D) $ 及其层论性质，研究相对 canonical 层 $ \omega_{X/B} $。
• 在有限覆盖上构造一个雅可比纤维丛 $ \gamma': J' \to W' $，以将原族的几何结构与更规则的设定联系起来。
• 利用同构 $ \gamma'_{0*}\omega'_{J'/B} \simeq g'_{0*}\omega'_{X'/B} $，将 $ X' $ 上的正性性质转移到 $ J' $ 上。
• 通过全局截面的消失 $ H^0(J', \Omega^2_{J'/B}(\log \nabla')^\prime \otimes \gamma^{\prime*}\mathcal{L}^{-1} \otimes \mathcal{O}_{J'}(\Upsilon)) = 0 $ 导出矛盾，从而证明非等变平凡族不存在。

实验结果

研究问题

• RQ1 在椭圆曲线或 ℂ* 上，所有具有非负 Kodaira 维数的光滑射影极小曲面族是否必然为等变平凡？
• RQ2 一般型曲面的等变平凡性结果能否推广至 Kodaira 维数为一的曲面？
• RQ3 局部 Torelli 定理在确保 ℂ* 或椭圆曲线上族的等变平凡性中起什么作用？
• RQ4 在缺乏全局 Torelli 定理的情况下，对数微分形式与雅可比纤维丛如何促进等变平凡性的证明？
• RQ5 在何种条件下，$ f_*\omega^{\nu}_{X/B} $ 的正则性可推出等变平凡性？

主要发现

• 在复椭圆曲线或 ℂ* 上，所有具有非负 Kodaira 维数的光滑射影极小曲面族均为等变平凡。
• 该等变平凡性在所有纤维均为极小模型的假设下成立，且总空间的射影性是本质的。
• 证明依赖于 $ f_*\omega^{\nu}_{X/B} $ 的正则性，以及某一特定对数层中非零截面的存在性；若族非等变平凡，则该截面将导致矛盾。
• 通过构造雅可比纤维丛 $ \gamma': J' \to W' $，可将原族的正性性质转移到一个局部 Torelli 定理适用的设定中。
• 矛盾源于 $ H^0(J', \Omega^2_{J'/B}(\log \nabla')^\prime \otimes \gamma^{\prime*}\mathcal{L}^{-1} \otimes \mathcal{O}_{J'}(\Upsilon)) $ 的消失，这违反了预期的正性。
• 该结果完成了极小曲面情形下等变平凡族的分类，拓展了此前关于一般型曲面的结果。