[论文解读] A Complex Ball Uniformization of the Moduli Space of Cubic Surfaces Via Periods of K3 Surfaces

Igor Dolgachev, Bert van Geemen+1 more|ArXiv.org|Oct 21, 2003

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

一句话总结

本文通过将每个节点型三次曲面与一个具有3阶自同构的K3曲面相关联，建立了节点型三次曲面模空间的复杂球面均匀化。该K3曲面的周期参数化了一个4维复球面。模空间被证明同构于该球面关于酉群的一个算术子群的商，从而实现了类似于其他模空间通过周期映射和超几何函数实现的超越均匀化。

ABSTRACT

In this paper we show that the moduli space of nodal cubic surfaces is isomorphic to a quotient of a 4-dimensional complex ball by an arithmetic subgroup of the unitary group. This complex ball uniformization uses the periods of certain K3 surfaces which are naturally associated to cubic surfaces. A similar uniformization is given for the covers of the moduli space corresponding to geometric markings of the Picard group or to the choice of a line on the surface. We also give a detailed description of the boundary components corresponding to singular surfaces.

研究动机与目标

• 通过关联K3曲面的周期映射，构造节点型三次曲面模空间的超越均匀化。
• 证明模空间同构于一个4维复球面关于酉群算术子群的商。
• 通过曲面上的几何标记或直线的选择，将此均匀化推广至模空间的覆盖。
• 通过球面商的紧化描述对应于奇异三次曲面的边界分量。
• 通过三次三ifold中间雅可比簇的半扭转，提供K3曲面的霍奇理论构造。

提出的方法

• 通过关联的三次三ifold的中间雅可比簇，利用三重循环覆盖构造，将每个节点型三次曲面与一个K3曲面相关联。
• 利用具有3阶自同构的K3曲面的周期映射，参数化4维复球面上的点。
• 将周期域识别为IV型的埃尔米特对称空间，通过类型为 $A_2^{igoplus 4} \oplus A_2(-1)$ 的格拉廷极化工序，实现复球面的均匀化。
• 通过对中间雅可比簇的霍奇结构进行半扭转，在K3曲面上构造类型为 $(1,8,1)$ 的霍奇结构，同时保持 $Z[ ho]$-模结构。
• 证明相关超几何系统的单值群对应于作用在球面上的反射群，从而导出球面商的同构。
• 利用球面商上的模形式理论，将模空间嵌入射影空间，确认紧化为射影代数簇。

实验结果

研究问题

• RQ1 能否通过关联K3曲面的周期，利用3阶自同构，实现节点型三次曲面模空间的复球面均匀化？
• RQ2 此类K3曲面的周期映射如何实现模空间作为复球面关于酉群算术子群商的构造？
• RQ3 紧化模空间中边界分量的几何与算术结构是什么？
• RQ4 曲面的Picard群几何标记或直线选择如何与模空间的覆盖及其均匀化相关联？
• RQ5 通过中间雅可比簇的半扭转构造K3曲面的霍奇理论，是否能恢复与几何构造相同的模空间？

主要发现

• 节点型三次曲面的模空间同构于一个4维复球面关于K3曲面Picard格拉廷的酉群算术子群的商。
• 该均匀化通过具有3阶自同构的K3曲面的周期映射实现，这些K3曲面作为三次曲面的三重覆盖而构造。
• 紧化模空间的边界分量对应于具有有理双 singularity 的三次曲面退化情形，其结构通过球面商中判别式locus的结构描述。
• 标记三次曲面的模空间同构于由3次模形式定义的射影嵌入下球面商的像。
• 中间雅可比簇上霍奇结构的半扭转构造，产生类型为 $(1,8,1)$ 的极化霍奇结构，其格为 $A_2^{igoplus 4} \oplus A_2(-1)$，该结构等距嵌入K3格中。
• 相关超几何系统的单值群生成一个反射群，其球面商同构于模空间，从而确认了球面均匀化。