[论文解读] The structure of surfaces mapping to the moduli stack of canonically polarized varieties

Stefan Kebekus, Sándor J. Kovács|ArXiv.org|Jul 13, 2007

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

一句话总结

本文建立了在准射影曲面之上的一族极化代数簇的模映射与基空间上的对数极小模型程序（LMMP）之间的精确联系。通过扩展对数多重全纯形式并分析LMMP，证明了若该族的变差达到最大，则基曲面必为对数一般型——从而证实了对表面情形的Viehweg猜想的改进版本，并明确描述了模映射的纤维结构。

ABSTRACT

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmative answer to Viehweg's conjecture for families over surfaces follows as a corollary.

研究动机与目标

• 理解映射到极化代数簇模堆栈的曲面的结构。
• 在基曲面上建立模映射与对数极小模型程序（LMMP）之间的强关联。
• 证明关于曲面族的Viehweg猜想的改进版本，表明最大变差蕴含对数一般型。
• 利用双有理几何与形式扩展技术，描述在变差非最大情形下模映射的纤维结构。

提出的方法

• 利用新的扩展定理（定理2.10）将对数多重全纯形式扩展到余维一子簇上。
• 应用Viehweg-Zuo层以分析对数极小模型上对数canonical线丛的正性。
• 使用全局一阶覆盖处理对数Kodaira维数为零的簇。
• 采用对数极小模型程序（LMMP）在基曲面 $S^\circ$ 上构造纤维化。
• 分析模映射在 étale 基变换与双有理变换下的行为。
• 利用邻接公式与层论论证，在 $\kappa(S^\circ) = 0$ 的情形导出矛盾。

实验结果

研究问题

• RQ1 一族极化代数簇的模映射如何与基曲面上的极小模型程序相关联？
• RQ2 当基曲面的对数Kodaira维数小于2时，该族的变差会发生什么？
• RQ3 能否通过形式扩展技术而非组合方法，对表面情形下的Viehweg猜想进行改进并证明？
• RQ4 在何种条件下，模映射会通过基曲面上的纤维化分解？
• RQ5 当 $\kappa(S^\circ) = 1$ 或 $-\infty$ 时，模映射的精确结构是什么？

主要发现

• 若 $\kappa(S^\circ) = -\infty$，则 $\operatorname{Var}(f^\circ) = 1$，且该族是某一般型曲面的拉回。
• 若 $\kappa(S^\circ) = 1$，模映射通过纤维化分解，其一般纤维为椭圆曲线或 $\mathbb{C}^*$，且 $\operatorname{Var}(f^\circ) = 1$。
• 当 $\kappa(S^\circ) = 0$ 时，最大变差的假设导致矛盾，表明此类族不可能存在。
• 当 $\kappa(S^\circ) < 2$ 时，模映射总可双有理地通过 $(S,D)$ 上LMMP诱导的纤维化分解。
• 该证明在概念上独立于Keel-McKernan对Miyanishi猜想的解法，转而依赖于形式扩展定理与层正性。
• 证实了表面情形下Viehweg猜想的改进版本：$\operatorname{Var}(f^\circ) \leq \kappa(S^\circ)$，且等号成立当且仅当 $\kappa(S^\circ) = 2$。