[论文解读] Logarithmic Kodaira-Akizuki-Nakano vanishing and Arakelov-Parshin boundedness for singular varieties

Sándor J. Kovács|arXiv (Cornell University)|Mar 3, 2000

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

一句话总结

本文在奇异概形上建立了对数型Kodaira-Akizuki-Nakano消失定理，将经典结果推广至具有半正则且大线丛的奇异情形。主要贡献是一个基础性的消失结果，使得关于曲线上族的Arakelov-Parshin型有界性结果得以成立，证明了对 canonical 丛的推前的度数在亏格和奇异纤维数的范围内有界。

ABSTRACT

The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein singularities.

研究动机与目标

• 将对数型Kodaira-Akizuki-Nakano消失定理推广至奇异概形，扩展光滑情形下的结果。
• 为具有受控奇异纤维的曲线上族建立Arakelov-Parshin型有界性结果。
• 证明对 canonical 丛的推前的度数在亏格和奇异纤维数的范围内有界。
• 提供一个消失定理，作为模空间有界性和自同构群估计的关键技术工具。
• 展示即使显然的推广不成立，该消失定理仍能推出有界性。

提出的方法

• 通过适用于奇异情形的Kodaira-Akizuki-Nakano消失定理的相对版本，引入奇异概形上的对数型消失定理。
• 将该定理应用于曲线上族 $ C $，其中 $ f: X \to C $，并利用相对基点自由定理将问题约化至已知情形。
• 利用相对 canonical 丛 $ \omega_{X/C} $ 的 nef 且大条件，通过拉回和修改应用消失定理。
• 构造一个有限覆盖 $ \tilde{X} \to X $ 和一个修改后的线丛 $ \tilde{\mathcal{L}} $，使其在除子补集上为半正则且正则，从而可应用消失定理。
• 将推前的度数 $ \deg(f_* \omega_{X/C}^m) $ 作为关键不变量，通过亏格 $ g $ 和奇异纤维数 $ \delta $ 实现有界。
• 利用模函子 $ \mathfrak{D}_h^{(m)} $ 及其射影紧化 $ \bar{D}_h^{(m)} $ 参数化族，并证明此类态射的有限性。

实验结果

研究问题

• RQ1 对数型Kodaira-Akizuki-Nakano消失定理能否推广至奇异概形，特别是当线丛为半正则且大时？
• RQ2 当 $ 2g - 2 + \delta > 0 $ 时，对 canonical 丛推前的度数有界性是否成立？
• RQ3 是否存在一个有限型子概形，参数化从曲线到 canonically polarized 概形模空间的态射，且具有受控奇异纤维？
• RQ4 当不存在光滑解消时，该消失定理能否用于证明有界性结果，特别是在非等变情形下？
• RQ5 在 canonical 丛 $ h $-nef 且 $ h $-大假设下，$ f_* \omega_{X/C}^m $ 的度数在 $ g $、$ \delta $ 和 $ m $ 的关系下，其最优界为何？

主要发现

• 对数型Kodaira-Akizuki-Nakano消失定理在具有半正则且大线丛的奇异概形上成立，将Esnault-Viehweg的结果推广至奇异情形。
• 当 $ m \geq \binom{\dim X}{2} + 2 $ 时，推前的度数 $ \deg(f_* \omega_{X/C}^m) $ 上界为 $ 4 \cdot \dim X \cdot (2g - 2 + \delta) \cdot m \cdot e(m) $。
• 条件 $ 2g - 2 + \delta > 0 $ 对有界性是必要的；若 $ g = 0 $ 且 $ \delta \leq 2 $，或 $ g = 1 $ 且 $ \delta = 0 $，则有界性不成立，原因在于存在使度数增大的有限覆盖。
• 存在一个有限型子概形 $ T \subset \mathbb{H} $，参数化所有态射 $ \Psi: C \to \bar{D}_h^{(m)} $，使得族在 $ C \setminus \Delta $ 上存在同时解消。
• 模空间 $ D_h^{(m)} $ 上 $ e(\omega_F^m) $ 的有界性确保了行列式线丛的度数有界，支持了粗模空间的存在性。
• 相对基点自由定理使问题可约化至消失定理适用的情形，从而通过拉回和修改实现有界性的证明。