[论文解读] Semipositivity theorems for moduli problems

Osamu Fujino|arXiv (Cornell University)|Oct 22, 2012

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

一句话总结

本文通过利用混合霍奇理论和霍奇丛的最新进展，建立了稳定代数簇模函子的半正性定理，证明了在科拉尔意义下，稳定代数簇的模函子是半正的。该结果完成了科拉尔的射影性判别准则，表明稳定代数簇粗模空间的每个闭完全子空间都是射影的，特别是将射影性结果推广到了维度 ≥3 的情形。

ABSTRACT

We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the sense of Kollár. This completes Kollár's projectivity criterion for the moduli spaces of higher-dimensional stable varieties.

研究动机与目标

• 建立由分次极化可接受的混合霍奇结构变异导出的具有奇点的代数簇的模问题的半正性定理。
• 证明在科拉尔意义下，稳定代数簇的模函子是半正的，从而完成其射影性判别准则。
• 将模空间的射影性推广到维度 n ≥ 3 的稳定 n 重代数簇，此前该结果尚不明确。
• 为具有半对数 canonical 奇点的纤维化中 canonical 线丛直接像的半正性提供霍奇理论基础。

提出的方法

• 使用 [FF1] 和 [FFS] 中关于霍奇丛的半正性定理，并将其应用于具有半对数 canonical 奇点的纤维化。
• 应用上同调紧支集上的混合霍奇结构理论，分析直接像层的 nef 性。
• 采用有限态射的基变换技巧，验证光滑射影曲线上的层的 nef 性。
• 利用在奇点和 canonical 线丛生成性满足适当条件时，$f_*\omega_{X/C}^{[m]}$ 对所有 $m \geq 1$ 是 nef 的事实。
• 通过验证半正性条件：$f_*\omega^{[mm_0]}_{X/C}$ 对所有 $m \geq 1$ 是 nef，应用科拉尔的射影性判别准则。
• 依赖于 $\mathcal{O}_X(k(K_{X/C} + \Delta))$ 是 $f$-生成的事实，并对张量幂的 nef 性使用归纳论证。

实验结果

研究问题

• RQ1 在维度 $n \geq 3$ 的情形下，稳定代数簇的模函子在科拉尔意义下是否是半正的？
• RQ2 能否使用霍奇理论方法，建立具有半对数 canonical 奇点的纤维化中 canonical 线丛直接像的半正性？
• RQ3 科拉尔的射影性判别准则是否适用于稳定代数簇粗模空间，而不仅限于曲面情形？
• RQ4 在 $\omega_{X/C}^{[k]}$ 局部自由且 $f$-生成的假设下，能否证明 $f_*\omega_{X/C}^{[m]}$ 的 nef 性？
• RQ5 即使纤维具有奇点，固定 Hilbert 函数 $H$ 的稳定代数簇模空间是否仍是射影的？

主要发现

• 稳定代数簇的模函子 $\mathcal{M}^{\text{stable}}$ 在科拉尔意义下是半正的，即存在某个固定的 $m_0$，使得对所有 $m \geq 1$，有 $f_*\omega^{[mm_0]}_{X/C}$ 是 nef。
• 具有固定 Hilbert 函数 $H$ 的稳定代数簇的粗模空间是射影的，从而完成了科拉尔的射影性判别准则。
• 该结果对维度 $n \geq 3$ 的稳定 $n$-重代数簇是全新的，因为此前的论证仅限于曲面情形。
• 半正性定理对满足 $S_2$ 条件且在余维数一处为正规交叉的等维代数簇成立，且在基曲线的扎里斯基开集上具有半对数 canonical 奇点。
• $f_*\omega_{X/C}^{[m]}$ 的 nef 性在有限态射的基变换下保持不变，从而保证了全局的 nef 性。
• 证明依赖于对简单正规交叉对，$f_*\omega_{X/C}(D)$ 的霍奇理论半正性，该结果被推广至奇异纤维化情形。