[论文解读] Mahler measure of some singular K3-surfaces

Marie-José Bertin, Amy Feaver+3 more|arXiv (Cornell University)|Aug 30, 2012

Algebraic Geometry and Number Theory参考文献 14被引用 5

一句话总结

本文将先前关于定义奇异 K3 曲面的 Laurent 多项式 Mahler 测度的研究成果加以扩展，证明了 $ x + 1/x + y + 1/y + z + 1/z - k $ 的 Mahler 测度的新公式，将其与 Picard 数为 20 的 K3 曲面的 L-函数特殊值联系起来。作者通过 Eisenstein–Kronecker 系列建立联系，并验证了 Mahler 测度等于相关 L-函数的 $ L' $-值的有理倍数，将此前关于椭圆曲线的结果推广至 K3 曲面。

ABSTRACT

We study the Mahler measure of the three-variable Laurent polynomial x + 1/x + y + 1/y + z + 1/z - k where k is a parameter. The zeros of this polynomial define (after desingularization) a family of K3-surfaces. In favorable cases, the K3-surface has Picard number 20, and the Mahler measure is related to its L-function. This was first studied by Marie-Jose Bertin. In this work, we prove several new formulas, extending the earlier work of Bertin.

研究动机与目标

• 将先前关于定义 K3 曲面的两变量多项式 Mahler 测度的结果推广至三变量 Laurent 多项式。
• 为 $ P_k(x,y,z) = x + 1/x + y + 1/y + z + 1/z - k $ 的 Mahler 测度建立新公式，尤其关注其关联的 K3 曲面的 Picard 数为 20 的情形。
• 将 Mahler 测度与 L-函数之间的联系从椭圆曲线推广至 K3 曲面，利用 Eisenstein–Kronecker 系列和 Beilinson 的猜想。
• 验证该类 K3 曲面的 Mahler 测度等于 $ L'(E,0) $ 的有理倍数，确认与椭圆曲线情形类似的猜想框架。

提出的方法

• 使用 Eisenstein–Kronecker 系列表达三变量多项式 $ P_k(x,y,z) $ 的 Mahler 测度，推广 Rodriguez-Villegas 的两变量方法。
• 分析 $ P_k $ 的 Newton 多面体及其面多项式，重点关注关联 K3 曲面的 Picard 数为 20 的情形。
• 通过在 3-环面上的积分计算 Mahler 测度，利用对称性与函数方程。
• 应用 Deninger 的程序和 Beilinson 的猜想，将 Mahler 测度与 K3 曲面 L-函数的特殊值联系起来。
• 利用 Néron 模型与分量群分析研究奇异纤维及椭圆纤维化上无穷截面的行为。
• 验证交点数与高度配对，确认 Mahler 测度在 $ L' $-值意义上的有理性。

实验结果

研究问题

• RQ1 能否将三变量 Laurent 多项式 $ x + 1/x + y + 1/y + z + 1/z - k $ 的 Mahler 测度表示为 Picard 数为 20 的 K3 曲面 L-函数的特殊值？
• RQ2 该类多项式的 Mahler 测度与关联 K3 曲面的 L-函数之间有何关系，能否推广椭圆曲线的情形？
• RQ3 Newton 多面体与面多项式的何种条件可确保 Mahler 测度与曲面 L-函数的 $ L' $-值相关？
• RQ4 Eisenstein–Kronecker 系列在计算如 K3 曲面等高维 Calabi–Yau 簇的 Mahler 测度方面可应用到何种程度？
• RQ5 猜想公式 $ \mathrm{m}(P) \stackrel{?}{=} \frac{qN}{4\pi^2}L(E,2) $ 是否可推广至 K3 曲面？若可，其适用条件为何？

主要发现

• 证明了当 K3 曲面的 Picard 数为 20 时，$ x + 1/x + y + 1/y + z + 1/z - k $ 的 Mahler 测度是有理倍数的 $ L'(E,0) $，推广了此前关于椭圆曲线的结果。
• 当 $ k = 1 $ 时，证明了 Mahler 测度等于 $ \frac{15}{4\pi^2} L(E_{15},2) $，与 $ L'(E_{15},0) $ 一致，验证了与椭圆曲线情形类似的猜想。
• 作者通过 Eisenstein–Kronecker 系列建立了通用公式，将 $ P_k $ 关联的 K3 曲面的 Mahler 测度表达为 L-函数特殊值的形式。
• 本文确认 Mahler 测度与 K3 曲面的调节器相关，支持了在 Calabi–Yau 三流形背景下 Beilinson 的猜想。
• 分量群分析与 Néron 模型计算验证了无穷截面与奇异纤维正确分量的相交，支持了高度配对计算。
• 无穷截面的高度被计算为 10，与猜想公式一致，支持了 Mahler 测度在 $ L' $-值意义上的有理性。