[论文解读] Ample Divisors, Automorphic Forms and Shafarevich's Conjecture

Andrey Todorov, Jay Jorgenson|ArXiv.org|Apr 7, 2000

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

一句话总结

本文建立了关于在固定代数曲线上具有指定奇异纤维的极化代数K3与Enriques曲面族有限性的通用判别准则。通过证明模空间的Baily-Borel紧化中判别除子为ample，作者证明了此类族在同构意义下是有限的，从而利用模理论中的几何与算术方法，证明了这些曲面的更高维版本的Shafarevich猜想。

ABSTRACT

In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose that in some projective smooth compactification of the coarse moduli the discriminant divisor supports an ample one, then it is not difficult to see that this fact implies the analogue of Shafarevich's conjecture. In this article we apply this method to certain polarized algebraic K3 surfaces and also to Enriques surfaces.

研究动机与目标

• 建立关于在固定曲线上具有指定奇异纤维的极化代数簇族有限性的通用判别准则。
• 将Shafarevich猜想推广至高维簇，特别是K3与Enriques曲面。
• 证明当Baily-Borel紧化中模空间的判别除子为ample时，此类族的集合是有限的。
• 将此判别准则应用于固定度数的拟极化K3曲面与极化Enriques曲面。
• 证明在ample条件之下模空间为拟仿射或仿射，可推出族的等轨性或有限性。

提出的方法

• 作者使用拟极化K3曲面与Enriques曲面模空间的Baily-Borel紧化来分析判别除子D。
• 他们证明：若判别除子D在紧化中支持一个ample除子，则模空间为拟仿射。
• 关键论证依赖于：从射影曲线到拟仿射簇的全纯映射必为常值，从而推出族的有限性。
• 该方法适用于极化度为2d的K3曲面与H-标记极化的Enriques曲面的模空间。
• 作者使用有限覆盖与拉回，将问题约化到可建立判别除子ample性的设定中。
• 他们引用Hodge理论、周期映射以及Hermitian对称域的几何结果，来分析模空间的结构。

实验结果

研究问题

• RQ1 在何种条件下，固定曲线上具有在固定除子上奇异纤维的极化K3曲面族的同构类集合是有限的？
• RQ2 Baily-Borel紧化中模空间的判别除子为ample，是否能推出此类族的有限性？
• RQ3 模空间的拟仿射性在多大程度上控制了曲线上代数曲面族的几何性质？
• RQ4 判别除子的ample性是否会导致无奇异纤维族的等轨性？
• RQ5 周期映射与Baily-Borel紧化的性质如何约束Enriques曲面族的有限性？

主要发现

• 当Baily-Borel紧化中的判别除子为ample时，固定曲线C上具有在固定除子E上奇异纤维的拟极化K3曲面族的同构类集合Sh(C,E,Z)是有限的。
• 对于度数为2d的极化Enriques曲面，同样条件下集合Sh(C,E,Enr)也是有限的，此结果通过约化至H-标记情形并利用有限覆盖得出。
• H-标记Enriques曲面的模空间为拟仿射，这意味着从射影曲线到该模空间的任意全纯映射必为常值，从而推出有限性。
• 有限映射下判别除子的拉回保持ample性，使得有限性结果可下移至原始模空间。
• 紧化中判别除子的ample性意味着模空间为拟仿射，若无奇异纤维，则任何曲线上族必为等轨。
• 作者证明了在不变度量下，曲线在模空间中的像具有有界体积，结合ample性，可确保同构类数目的有限性。