[论文解读] The transcendental part of the regulator map for K_1 on a mirror family of K3 surfaces

Pedro Luis del Angel, Stefan Müller–Stach|arXiv (Cornell University)|Aug 28, 2000

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文计算了镜像四次 $K3$ 表面族上 $K_1$ 类的调节映射的超越部分，表明相关的诺尔马函数不满足标准的皮卡德-富克斯超几何方程。这表明在族中的一般点处，这些代数周期是不可分解的，且非齐次皮卡德-富克斯方程与佩亚诺 VI 型微分方程相关联。

ABSTRACT

We compute the transcendental part of the normal function corresponding to the Deligne class of a cycle in K_1 of a mirror family of quartic K3 surfaces. The resulting multivalued function does not satisfy the hypergeometric differential equation of the periods and we conclude that the cycle is indecomposable for most points in the mirror family. The occurring inhomogenous Picard-Fuchs equation are related to Painlev\\'e VI type differential equations.

研究动机与目标

• 验证 H. Esnault 的猜想，即某些 $K3$ 表面上的 $K_1$ 类可通过调节映射在德利涅上同调的超越部分被检测到。
• 分析一个镜像四次 $K3$ 表面一参族中由这些 $K_1$ 类产生的诺尔马函数的行为。
• 确定这些诺尔马函数是否满足标准的皮卡德-富克斯超几何微分方程，或更一般的类型。
• 识别控制诺尔马函数的微分方程，并将其与佩亚诺 VI 型方程联系起来。
• 通过证明诺尔马函数不是经典皮卡德-富克斯方程的解，建立在族中一般点处周期的不可分解性。

提出的方法

• 通过费马四次曲面的一参变形，构造一个以基空间 $B$ 参数化的镜像四次 $K3$ 表面族。
• 通过到 $\mathbb{P}^1$ 的有理映射定义 $CH^2(X_b,1)$ 中的一个周期，诱导出德利涅上同调中超越部分的诺尔马函数 $\nu(b)$。
• 将调节映射 $c_{2,1}$ 计算为在实 2-链上对全纯二形式的阿贝尔-雅可比积分，得到 $B$ 上的多值全纯函数。
• 利用高斯-明岑连接和单值性分析，推导出诺尔马函数所满足的非齐次皮卡德-富克斯微分方程。
• 分析微分算子 $\mathcal{D}_{\rm PF}$ 的系数，表明其为参数 $\nu$ 上的有理函数，且仅在族的退化点处有极点。
• 证明所得的非齐次方程并非超几何型，而是通过 $\nu$ 的显式参数化与佩亚诺 VI 型方程相关联。

实验结果

研究问题

• RQ1 在镜像 $K3$ 表面族上，由 $K_1$ 类产生的诺尔马函数是否满足标准的皮卡德-富克斯超几何微分方程？
• RQ2 控制 $K3$ 表面上 $K_1$ 的调节映射超越部分的微分方程的结构是什么？
• RQ3 能否通过其微分方程证明与 $K_1$ 类相关的诺尔马函数是不可分解的？
• RQ4 非齐次皮卡德-富克斯方程如何与已知的特殊函数（如佩亚诺超越函数）相关联？
• RQ5 诺尔马函数在族中奇点纤维附近的单值性和解析行为如何？

主要发现

• 与 $K_1$ 周期相关的诺尔马函数不满足标准的超几何皮卡德-富克斯方程，表明其具有非平凡的超越行为。
• 控制诺尔马函数的非齐次皮卡德-富克斯方程被证明等价于广义的佩亚诺 VI 型微分方程。
• $\mathcal{D}_{\rm PF}$ 微分算子的系数是参数 $\nu$ 上的有理函数，且仅在族的退化点处有极点。
• 诺尔马函数是基空间 $B$ 上的单值亚纯函数，在紧化基空间上除奇点纤维外可全纯延拓。
• 诺尔马函数不满足经典皮卡德-富克斯方程，意味着对应 $K_1$ 类在族中一般点处是不可分解的。
• 微分方程的结构确认了该周期位于德利涅上同调的超越部分中，且不在 $CH^1(X) \otimes \mathbb{C}^\times$ 的标准周期类映射的像中。