[论文解读] Vanishing and semipositivity theorems for semi-log canonical pairs

Osamu Fujino|arXiv (Cornell University)|Sep 2, 2015

Algebraic Geometry and Number Theory参考文献 25被引用 3

一句话总结

该论文在不依赖混合 Hodge 结构变化的前提下，建立了半对数 canonical 对对偶的有效消去定理与半正性定理。它证明了对数 pluricanonical 线丛直接像的一个有效消去定理，并将其应用于曲线上的相对对数 pluricanonical 线丛直接像，得出其半正性定理，从而推出稳定代数簇模空间的投影性。

ABSTRACT

We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles of projective semi-log canonical pairs over curves, which implies the projectivity of the moduli spaces of stable varieties. It is worth mentioning that we do not use the theory of variation of (mixed) Hodge structure.

研究动机与目标

• 建立在射影半对数 canonical 对上，对数 pluricanonical 线丛直接像的有效消去定理。
• 在不使用混合 Hodge 结构变化的前提下，证明关于曲线上的相对对数 pluricanonical 线丛直接像的半正性定理。
• 提供一种全新的、不依赖 Hodge 理论的稳定代数簇模空间投影性的证明。
• 独立于高级 Hodge 理论工具，为 Fujino (2012) 中的基本半正性定理提供一种简化且易懂的证明。
• 通过替代的、直接的方法，补充 Fujino (2012)，使其结果更具可及性。

提出的方法

• 证明一个关于 $ f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL) $ 的有效消去定理（定理 1.1），其消去范围基于 Castelnuovo–Mumford 正则性，给出明确的上同调消去界。
• 将 Kollár–Ohsawa 型消去定理应用于半对数 canonical 对（定理 3.1）作为核心技术工具。
• 利用上同调紧支集上的混合 Hodge 结构理论，建立对简单法向交对的消去性。
• 构造迭代纤维积 $ X^{(s)} $，并通过爆破进行双有理修改，以在保持对数 canonical 性质的同时解析奇点。
• 利用一个在一般情况下是同构的包含关系 $ g_*\omega_Z(\Delta_Z) \subset \omega_{X^{(s)}}(D^{(s)}) $，在不同解析中关联 canonical 线丛。
• 通过 $ \mathcal{M} = \omega_C \otimes \mathcal{L}^{\otimes 2} $ 的全局生成性，推导出 $ f_*\omega_{X/C}(D) $ 的 nef 性，且不依赖 Hodge 理论。

实验结果

研究问题

• RQ1 能否在不依赖混合 Hodge 结构变化的前提下，建立半对数 canonical 对的有效的消去定理？
• RQ2 仅通过消去定理，能否证明曲线上的相对对数 pluricanonical 线丛直接像的半正性？
• RQ3 能否独立于 Hodge 理论方法，建立稳定代数簇模空间的投影性？
• RQ4 在何种最小假设下，基本半正性定理对简单法向交对成立？
• RQ5 能否使 Fujino (2012, 定理 1.9) 的证明自成体系且不依赖 Hodge 理论？

主要发现

• 建立了有效消去定理（定理 1.1）：当 $ i > 0 $ 且 $ l \geq (k-1)(n+1-t) - t + 1 $ 时，有 $ H^i(Y, f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL)) = 0 $，且当 $ l \geq (k-1)(n+1-t) - t + 1 + n $ 时，其全局生成。
• 证明了半正性定理（定理 1.2）：对于平坦态射 $ f: X \to Y $，在 $ Y $ 为光滑曲线、且满足半对数 canonical 与生成性条件时，有 $ f_*\mathcal{O}_X(k(K_{X/Y} + \Delta)) $ 是 nef。
• 在不使用 Hodge 理论的前提下，重新证明了基本半正性定理（定理 1.4）：当 $ (X,D) $ 为简单法向交对，$ f: X \to C $ 为平坦态射，且每个 stratum 都支配 $ C $ 时，有 $ f_*\omega_{X/C}(D) $ 是 nef。
• 通过 Kollár 准则与半正性结果，建立了稳定代数簇粗模空间的完备子空间的投影性（定理 1.3）。
• 简化了基本半正性定理的证明，并使其独立于分次极化可接受的混合 Hodge 结构变化。
• 通过构造一个解析 $ g: Z \to X^{(s)} $，使得 $ \Delta_Z $ 为简单法向交除子，确保 canonical 线丛的相容性，并支持全局生成性论证。