[论文解读] The Mahler measure and the L-series of a singular K3-surface

Marie José Bertin|ArXiv.org|Mar 4, 2008

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

一句话总结

该论文首次建立了洛朗多项式 $ P_{10} $ 的对数马勒度量与奇异 $ K3 $-曲面 $ Y_{10} $ 的 $ L $-级数之间的显式公式，采用扎吉尔的方法分离面贡献与模形式的贡献。关键结果证实了博伊德的数值猜想：$ m(P_{10}) = 2d_3 + 3m(P_2) $，其中马勒度量通过 $ Y_{10} $ 的超越格的 $ L $-函数表达。

ABSTRACT

We present the first example of a polynomial defining a singular K3-surface whose Mahler measure is expressed in terms of the Mahler measure of the faces of its Newton polyhedron and the L-series of the K3-surface.

研究动机与目标

• 建立特定多项式 $ P_{10} $ 的对数马勒度量与其关联 $ K3 $-曲面 $ Y_{10} $ 的 $ L $-级数之间的精确关系。
• 通过证明 $ m(P_{10}) = 2d_3 + 3m(P_2) $ 解决博伊德关于 $ m(P_{10}) $ 与 $ m(P_2) $ 的数值猜想。
• 将马勒度量计算的框架扩展至皮卡德数为 20 的奇异 $ K3 $-曲面，重点关注超越格的贡献。
• 应用扎吉尔的方法，将非互逆多项式的马勒度量表达式中的模形式与面贡献分离开来。

提出的方法

• 利用扎吉尔的技术，将马勒度量分解为多项式各面的贡献与涉及埃森斯坦-克罗内克级数的模形式部分。
• 使用内朗模型解析奇异纤维，并计算 $ K3 $-曲面 $ Y_{10} $ 的皮卡德格的行列式。
• 应用模形式与 $ L $-函数理论，特别是与超越格相关的权为 3、级别为 8 的尖点形式。
• 利用勒沙绍发现的定义在 $ \mathbb{Q}(\sqrt{-3}) $ 上的无限截面，实现周期积分计算与 $ L $-级数的关联。
• 使用恒等式 $ \sum' \frac{m^2 - 2\kappa^2}{(m^2 + 2\kappa^2)^3} $ 将模形式部分用 $ L $-函数与狄利克雷特征表示。
• 通过结合面贡献（$ 2d_3 $）与 $ Y_{10} $ 的 $ L $-函数，利用超越格 $ T_{Y_{10}} $ 的行列式推导出最终公式。

实验结果

研究问题

• RQ1 能否将定义奇异 $ K3 $-曲面的多项式的对数马勒度量用其 $ L $-级数与面贡献表示？
• RQ2 猜想关系 $ m(P_{10}) = 2d_3 + 3m(P_2) $ 是否对多项式 $ P_{10} $ 成立，若是，原因是什么？
• RQ3 如何利用解析数论将非互逆多项式的马勒度量分离为面部分与模形式部分？
• RQ4 内朗模型在计算奇异 $ K3 $-曲面的皮卡德格与 $ L $-级数中起到什么作用？
• RQ5 皮卡德数为 20 的 $ K3 $-曲面的超越格如何编码其定义多项式的马勒度量？

主要发现

• 多项式 $ P_{10} $ 的马勒度量精确为 $ m(P_{10}) = 2d_3 + 3m(P_2) $，证实了博伊德的数值猜想。
• 已证明公式 $ m(P_{10}) = 2d_3 + \frac{1}{9} \frac{|\det T_{Y_{10}}|^{3/2}}{\pi^3} L(Y_{10}, 3) $，将度量与 $ K3 $-曲面的 $ L $-级数联系起来。
• 显示 $ Y_{10} $ 的 2 维超越格通过其 $ L $-函数与行列式控制马勒度量。
• 牛顿多面体的面贡献被分离为 $ 2d_3 $，而模形式部分则源于 $ K3 $-曲面的 $ L $-级数。
• 该方法成功利用扎吉尔恒等式与类数公式，将马勒度量分离为面与模形式两部分。
• 计算依赖于勒沙绍发现的定义在 $ \mathbb{Q}(\sqrt{-3}) $ 上的无限截面，以访问周期积分。