[论文解读] Normal functions, Picard-Fuchs equations, and elliptic fibrations on K3 surfaces

Xi Chen, Charles F. Doran+2 more|arXiv (Cornell University)|Aug 10, 2011

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过广义阿贝尔函数的高斯-明宁导数，建立了非常一般 K3 曲面上 K1-循环类的超越上同调正规化非平凡性。通过椭圆纤维化与模形式参数化构造显式不可约分解的循环族，并计算其实正规化与超越正规化，作者证明了正规化非零，从而表明这些循环在代数上非平凡。关键结果是：在非常一般 K3 曲面的自积上，纯粹超越正规化 Ψ3,1 的非平凡性。

ABSTRACT

Using Gauss-Manin derivatives of normal functions, we arrive at some remarkable results on the non-triviality of the transcendental regulator for $K_m$ of a very general projective algebraic manifold. Our strongest results are for the transcendental regulator for $K_1$ of a very general $K3$ surface. We also construct an explicit family of $K_1$ cycles on $H \oplus E_8 \oplus E_8$-polarized $K3$ surfaces, and show they are indecomposable by a direct evaluation of the real regulator. Critical use is made of natural elliptic fibrations, hypersurface normal forms, and an explicit parametrization by modular functions.

研究动机与目标

• 建立非常一般 K3 曲面上 K1-循环类的超越正规化的非平凡性。
• 在 H ⊕ E8 ⊗ E8 极化的 K3 曲面上构造显式不可约分解代数循环族。
• 利用椭圆纤维化与模形式参数化，分析这些循环的实正规化与超越正规化。
• 研究正规化与模曲线上的高阶格林函数之间的关系。
• 探讨 Picard 秩为 20 的 K3 曲面这一神秘情形及其与无理性的联系。

提出的方法

• 利用广义阿贝尔函数的高斯-明宁导数检测超越正规化的非平凡性。
• 通过 Kummer 几何与椭圆纤维化的正规化，在 Shioda-Inose K3 曲面上构造显式 K1-循环类。
• 通过在由循环界定的膜上对微分形式积分，计算实正规化。
• 利用截断阿贝尔函数导出的皮卡德-富克斯方程，分析正规化行为。
• 利用椭圆纤维化的模形式参数化与超曲面正规形式，实现显式计算。
• 应用留数理论与渐近估计，控制极点附近的积分发散性，证明正规化积分的收敛性或发散性。

实验结果

研究问题

• RQ1 对于非常一般的 K3 曲面，超越正规化 Φ2,1 是否非平凡？
• RQ2 能否在格极化 K3 曲面上构造显式不可约分解的 K1-循环族？
• RQ3 在非常一般 K3 曲面的自积上，纯粹超越正规化 Ψ3,1 的行为如何？
• RQ4 椭圆纤维化与模形式参数化如何促进正规化的计算？
• RQ5 在 Picard 秩为 20 的情形下，正规化积分是否发散或收敛？这又对无理性问题意味着什么？

主要发现

• 对于 Picard 秩 ℓ < 20 的非常一般 K3 曲面，超越正规化 Φ2,1 非平凡。
• 对于非常一般的 K3 曲面 X，纯粹超越正规化 Ψ3,1 : CH3(X × X, 1) → H4,0(X × X, C)∨ / H4(X × X, Q(1)) 非平凡。
• 在 H ⊕ E8 ⊕ E8 极化 K3 曲面族上，显式 K1-循环的实正规化非零，证明其不可约分解性。
• 当 α → 2 与 α → -1 时，正规化积分对数发散，表明在 Picard 秩为 20 的情形下存在奇异行为。
• 正规化计算与模曲线 X(2) 上的高阶格林函数相关，将算术几何与特殊函数联系起来。
• 正规化的非平凡性等价于某个周期积分 κ 的无理性，类似于 Ceresa 循环的情形。