[论文解读] Positive sheaves of differentials coming from coarse moduli spaces

Kelly Jabbusch, Stefan Kebekus|ArXiv.org|Apr 16, 2009

Algebraic Geometry and Number Theory参考文献 5被引用 7

一句话总结

本文通过证明关键可逆层 $ \scr{A} \subseteq \operatorname{Sym}^m \scr{B} $ 的Kodaira-Iitaka维数控制族的变异性，且该层在一般情形下源自族的粗模空间 $ \mathfrak{M} $，从而改进了Viehweg-Zuo关于极化流形族上多重微分存在的结果。主要贡献在于：Viehweg-Zuo层通过模空间映射从 $ \mathfrak{M} $ 拉回，确立了该关键层在对数几何与模理论背景下的几何起源。

ABSTRACT

Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple normal crossing divisor, then we can consider the sheaf of differentials with logarithmic poles along D. Viehweg and Zuo have shown that for some number m>0, the m-th symmetric power of this sheaf admits many sections. More precisely, the m-th symmetric power contains an invertible sheaf whose Kodaira-Iitaka dimension is at least the variation of the family. We refine this result and show that this "Viehweg-Zuo sheaf" comes from the coarse moduli space associated to the given family, at least generically. As an immediate corollary, if U is a surface, we see that the non-isotriviality assumption implies that U cannot be special in the sense of Campana.

研究动机与目标

• 改进Viehweg-Zuo关于极化流形族中具有正Kodaira-Iitaka维数的多重微分存在的定理。
• 证明用于控制族变异性的Viehweg-Zuo层 $ \scr{A} $ 至少在一般情形下可从粗模空间 $ \mathfrak{M} $ 拉回。
• 为Campana猜想提供新证明：任何在特殊曲面上的极化代数簇族必为等变族。
• 通过模空间映射微分的饱和性，将Viehweg-Zuo构造嵌入模理论框架，阐明其几何起源。

提出的方法

• 定义 $ \scr{B} \subseteq \Omega^1_Y(\log D) $ 为模空间映射 $ \mu: Y^\circ \to \mathfrak{M} $ 下 $ d\mu^*\Omega^1_\mathfrak{M} $ 的像的饱和化，以捕捉来自粗模空间的微分结构。
• 使用Viehweg-Zuo的原始构造，生成一个可逆层 $ \scr{A} \subseteq \operatorname{Sym}^m \Omega^1_Y(\log D) $，满足 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $。
• 通过分析基变换下微分的行为并应用比较命题3.3，证明 $ \scr{A} $ 可被选入 $ \operatorname{Sym}^m \scr{B} $，从而表明其源自 $ \mathfrak{M} $。
• 若在特殊曲面上变异性为正，则应用Bogomolov-Sommese消去定理与特殊对的定义，导出矛盾。
• 利用 $ \scr{B} $ 的饱和性及其弗雷维特性，确保当 $ \operatorname{Var}(f^\circ) = 1 $ 时 $ \scr{B} $ 为秩1的可逆层，从而实现维数比较。
• 利用 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $ 与在特殊对中 $ \kappa(\scr{B}) < 1 $ 的事实，强制得出 $ \operatorname{Var}(f^\circ) = 0 $，从而推出等变性。

实验结果

研究问题

• RQ1 能否证明Viehweg-Zuo层 $ \scr{A} $（其控制族的变异性）源自粗模空间 $ \mathfrak{M} $？
• RQ2 将 $ \scr{A} $ 构造为 $ \operatorname{Sym}^m \scr{B} $ 的子层（其中 $ \scr{B} $ 是 $ d\mu^*\Omega^1_\mathfrak{M} $ 的像的饱和化）是否能为该层的存在提供几何解释？
• RQ3 是否可通过Viehweg-Zuo层的精细结构证明Campana猜想——即任何在特殊曲面上的族必为等变族？
• RQ4 当 $ \scr{A} $ 被限制在 $ \operatorname{Sym}^m \scr{B} $ 内时，其Kodaira-Iitaka维数与族的变异性之间的确切关系为何？
• RQ5 在 $ \Omega^1_Y(\log D) $ 中对 $ d\mu $ 的像进行饱和化，如何影响所得多重微分的全局生成性与正性性质？

主要发现

• Viehweg-Zuo层 $ \scr{A} $（满足 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $）可构造为 $ \operatorname{Sym}^m \scr{B} $ 的子层，其中 $ \scr{B} $ 是 $ d\mu^*\Omega^1_\mathfrak{M} $ 在 $ \Omega^1_Y(\log D) $ 中的像的饱和化，从而证明其源自粗模空间 $ \mathfrak{M} $。
• 对于曲面 $ Y^\circ $ 上的族，若 $ Y^\circ $ 为特殊曲面，则 $ \operatorname{Var}(f^\circ) < 2 $；假设 $ \operatorname{Var}(f^\circ) = 1 $ 会导致矛盾，因为 $ \kappa(\scr{B}) < 1 $ 但 $ \kappa(\scr{A}) \geq 1 $，故 $ \operatorname{Var}(f^\circ) = 0 $，即族为等变族。
• 当 $ \operatorname{Var}(f^\circ) = 1 $ 时，$ \scr{B} $ 为弗雷维特且秩为1，故为可逆层，从而可直接比较Kodaira-Iitaka维数。
• 构造 $ \scr{A} \subseteq \operatorname{Sym}^m \scr{B} $ 暗示 $ \scr{A} $ 的正性由模空间 $ \mathfrak{M} $ 的模理论结构控制，而不仅依赖于 $ Y $ 的对数几何。
• 该结果为二维情形下Campana猜想提供了新而简短的证明：任何在特殊曲面上的极化代数簇族必为等变族。
• 该改进表明Viehweg-Zuo层并非 $ \operatorname{Sym}^m \Omega^1_Y(\log D) $ 的任意子层，而是与模空间映射内在关联的层，从而显著增强了其几何意义。