[论文解读] Moduli spaces of K3 surfaces and complex ball quotients

Igor Dolgachev, Shigeyuki Kondō|ArXiv.org|Nov 2, 2005

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

一句话总结

本文通过代数曲线在循环群作用下的特征周期，建立了K3曲面与德尔皮诺曲面模空间的复球面均匀化，将其与超几何周期及IV型赫尔米特对称空间的算术商联系起来。关键贡献在于利用霍奇结构的半扭构造，将K3曲面作为复球面商的周期域，通过正交群与希米拉型算术商将托里内定理推广至高维模空间。

ABSTRACT

These are lecture notes based on a series of talks given by the authors at the CIMPA Summer School on Algebraic Geometry and Hypergeometric Functions held in Istanbul in Summer of 2005. They provide an introduction to a recent work on the complex ball uniformization of the moduli spaces of Del Pezzo surfaces, K3 surfaces and algebraic curves of lower genus. We discuss the relationship of these constructions with the Deligne-Mostow theory of periods of hypergeometric differentianl forms. For convenience to a non-expert reader we include an introduction to the theory of periods of integrals on algebraic varieties with emphasis on abelian varieties and K3 surfaces.

研究动机与目标

• 提供复球面商作为K3曲面与德尔皮诺曲面周期域的模理论解释。
• 通过霍奇结构的半扭，将托里内定理推广至高维模空间。
• 将具有循环群作用的代数曲线的周期映射与IV型赫尔米特对称空间的算术商联系起来。
• 通过德利涅-莫斯特理论，将P^1上加权点构型的模空间实现为复球面商。
• 建立(M,ρ)-极化K3曲面与复球面域B_{m-3}之间点的对应关系，其中m > 4。

提出的方法

• 通过循环群作用与非实特征值具有正虚部的特征子集Σ，对权重k的极化霍奇结构进行半扭构造。
• 通过类型偏移定义子空间W ⊂ V上的新霍奇结构W：W^{rs} = V_Σ^{r-1,s} ⊕ V_{overline{Σ}}^{r,s-1}。
• 引入修正的极化形式Q' = Q(x, g(y)) - Q(x, g^{-1}(y))，以保持正定性与霍奇-罗宾森双线性关系。
• 将该构造应用于具有循环群作用的曲线上同调，特别是存在在m个点处全纯三重覆盖P^1的亏格g曲线。
• 利用超几何微分形式的特征周期，将复球面商实现为P^1上加权点集的模空间。
• 证明当d=3,4,5,6时，W上的霍奇结构具有霍奇数(1, 2m−6, 1)与符号型(2, 2m−6)，可嵌入K3格L_K3。

实验结果

研究问题

• RQ1 如何通过具有群作用的代数曲线的周期映射，将复球面商实现为K3曲面的模空间？
• RQ2 超几何形式的特征周期在均匀化德尔皮诺曲面与K3曲面模空间中起什么作用？
• RQ3 霍奇结构的半扭如何提供一种统一方法，用于构造K3曲面高维模空间的周期域？
• RQ4 IV型赫尔米特对称空间的算术商与P^1上加权点构型的模空间有何关联？
• RQ5 当d > 6时，单值群Γ_μ在复球面B_{m−3}上作用为算术子群的条件是什么？

主要发现

• P^1上6个等权重点的模空间同构于复球面商，该商同构于具有特定类型(Z/3Z)作用的亏格4曲线的模空间，其雅可比簇具有该作用。
• 当P^1上有8个等权重点时，模空间同构于参数化(M,ρ)-极化K3曲面的复球面商，其中M = U(2) ⊕ D_4 ⊕ D_4。
• 通过半扭构造得到的霍奇结构具有霍奇数(1, 2m−6, 1)与符号型(2, 2m−6)，当m > 4时，与K3曲面的霍奇结构一致。
• 该构造给出了从(M,ρ)-极化K3曲面模空间到复球面B_{m−3}的满射周期映射，将其实现为赫尔米特对称空间的商。
• 当d=3,4,5,6时，单值群Γ_μ是Aut(B_{m−3})的算术子群，且周期映射满射到球面域。
• 半扭构造提供了一种统一方法，通过特征周期将复球面商实现为K3曲面的模空间，将托里内定理推广至经典西格尔模形式之外。