[论文解读] Period map of a certain K3 family with an S5-action

Kenji Hashimoto, Tomohide Terasoma|ArXiv.org|Apr 1, 2009

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

一句话总结

本文通过模嵌入将亏格2 theta常数拉回，构造了一个具有S₅作用的一族四次K3曲面的显式逆周期映射，从而得到自守形式。关键结果是将该族的参数以这些自守形式的闭式表达式表示，推广了椭圆曲线Hasse族的经典theta常数公式。

ABSTRACT

In this paper, we study the period map of a certain one-parameter family of quartic K3 surfaces with an S5-action. We construct automorphic forms on the period domain as the pull-backs of theta constants of genus 2 by a modular embedding. Using these automorphic forms, we give an explicit presentation of the inverse period map.

研究动机与目标

• 研究在P⁴中由对称四次方程定义的一族单参数四次K3曲面的周期映射。
• 通过模嵌入将亏格2 theta常数拉回到周期域，构造自守形式。
• 利用这些自守形式显式表示逆周期映射。
• 将椭圆曲线Hasse族的经典theta常数公式推广至K3曲面情形。

提出的方法

• 该K3曲面族由P⁴中的方程 x₁⁴ + ⋯ + x₅⁴ - t₀(x₁ + ⋯ + x₅) + t₁(x₁² + ⋯ + x₅²)² = 0 定义，其中 t = (t₀:t₁) ∈ P¹。
• 对称群S₅通过置换坐标x₁,…,x₅作用，交错群A₅在每张曲面上实现对称作用。
• 自守形式作为亏格2 theta常数在模嵌入至周期域下的拉回构造而成。
• 逆周期映射通过用这些自守形式的比值表达参数t而显式给出。
• 该方法依赖于theta常数的模性质及其在相关算术群作用下的变换规律。
• 利用周期域中CM点处theta常数的特殊值，推导出参数t的显式代数表达式。

实验结果

研究问题

• RQ1 如何为具有S₅作用的一族单参数K3曲面显式构造逆周期映射？
• RQ2 亏格2 theta常数在该K3族周期域参数化中起什么作用？
• RQ3 由theta常数导出的自守形式如何重构族参数t？
• RQ4 该构造在多大程度上推广了椭圆曲线Hasse族的经典theta常数公式？
• RQ5 K3族的不变量与CM点处theta常数值之间的代数关系是什么？

主要发现

• 逆周期映射通过表达与特定特征标相关的亏格2 theta常数四次方的比值，显式给出参数t。
• 在周期域中的CM点τ₆、τ₇和τ₈处，theta常数的比值给出代数表达式，从而恢复相应的t值。
• 在τ₆处，比值 θ(2τ₆,0,1/2,0,0)⁴ / θ(2τ₆,0,0,0,0)⁴ 等于 -4(3√11 - 7√2)²，其他特征标亦有类似表达式。
• 在τ₈处，比值 θ(2τ₈,0,1/2,0,0)² / θ(2τ₈,0,0,0,0)² 和 θ(2τ₈,1/2,0,0,0)² / θ(2τ₈,0,0,0,0)² 分别等于 (√5/2 - 1/2)³(1 + √-1)，显示出复乘结构。
• 该族是具有S₅作用的四次K3曲面中最大的一族，且辛A₅作用的Picard数为19或20，意味着模空间为1维。
• 该构造提供了椭圆曲线Hasse族经典theta常数公式的K3类比，将理论扩展至更高维周期域。