[论文解读] Integrality Properties of Variations of Mahler Measures

Jian Zhou|arXiv (Cornell University)|Jun 12, 2010

Mathematical Dynamics and Fractals参考文献 8被引用 3

一句话总结

本文提出了关于卡拉比-丘超曲面中马勒度量变化的整性性质的猜想，识别出关键函数 $ Q(z) $ 为局部镜像映射。研究证明，在多个情形下，特别是 $ n=4 $ 和 $ n=5 $ 时，由周期积分导出的系数在经 $ m $ 归一化后为整数，暗示了与镜像对称及 Gopakumar-Vafa 不变量中类似的深层算术结构。

ABSTRACT

We propose some conjectures on the integrality properties related to the variation of Mahler measures, inspired by the results in the elliptic curve case by Rodriguez Villegas, Stienstra and Zagier.

研究动机与目标

• 探索镜像对称与卡拉比-丘几何背景下马勒度量变化的整性性质。
• 识别与马勒度量变化相关的函数 $ Q(z) $ 为皮卡德-富克斯系统中的局部镜像映射。
• 提出关于 $ Q(q) $ 和 $ q(Q) $ 整性的猜想，扩展椭圆曲线情形下的已知结果。
• 研究归一化系数 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 在多种 $ n $-重超曲面上是否为整数。
• 为 $ n=4,5 $ 及部分 $ n>5 $ 情形提供计算证据，包括大整数的显式例子。

提出的方法

• 使用满足 $ \sum 1/k_i = 1 $ 的加权射影空间中费马型卡拉比-丘超曲面的一参数形变。
• 通过多项式 $ k\psi \prod x_i - \sum x_i^{k_i} $ 定义马勒度量变化，其中 $ \psi $ 为复参数。
• 从皮卡德-富克斯方程推导周期积分及其相关超几何级数，以计算系数 $ b_m $、$ \hat{b}_m $、$ c_m $、$ \hat{c}_m $。
• 将从周期比导出的函数 $ Q(z) $ 识别为卡拉比-丘几何中的局部镜像映射。
• 使用计算机代数系统进行符号与数值计算，以验证归一化系数的整性。
• 分析从 $ n=2 $ 到 $ n=7 $ 的情形，包括 $ (2,3,7,42) $ 和 $ (2,7,43,1807,3263442) $，以检验猜想。

实验结果

研究问题

• RQ1 在 $ n $ 维卡拉比-丘超曲面中，马勒度量变化的归一化系数 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 是否为整数？
• RQ2 与马勒度量变化相关的函数 $ Q(z) $ 是否可被识别为皮卡德-富克斯系统中的局部镜像映射？
• RQ3 对于费马型超曲面 $ \sum x_i^n = n\psi \prod x_i $，是否存在 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 的普遍整性模式，特别是当 $ n $ 整除系数时？
• RQ4 为何在 $ n=4 $ 和 $ n=5 $ 情形下 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 为整数，但在 $ n=5 $ 情形下 $ b_7/7 $ 并非整数（尽管 $ b_7 $ 可被 5 整除）？
• RQ5 在镜像映射及其逆的系数中观察到的整性具有何种枚举或几何意义？

主要发现

• 在 $ n=4 $ 情形 $ x_1^4 + \cdots + x_4^4 = 4\psi x_1\cdots x_4 $ 中，所有归一化系数 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 均为整数。
• 在 $ n=5 $ 情形 $ x_1^5 + \cdots + x_5^5 = 5\psi x_1\cdots x_5 $ 中，$ b_m $、$ \hat{b}_m $、$ c_m $ 和 $ \hat{c}_m $ 均可被 5 整除，但 $ b_7/7 = 31249534645239703150/7 $ 不是整数。
• 在 $ n=5 $ 情形 $ x_1^3 + x_2^3 + x_3^2 + x_4^2 + x_5^2 = 12\psi x_1\cdots x_5 $ 中，所有归一化系数 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 均为整数，其中 $ b_6/6 = -61961714940992690898780121741257228991904436 $。
• 在 $ n=6 $ 情形 $ x_1^6 + \cdots + x_6^6 = 6\psi x_1\cdots x_6 $ 中，归一化系数 $ b_m/m $、$ \hat{b}_m/m $、$ c_m/m $ 和 $ \hat{c}_m/m $ 的整性被猜想成立。
• 在 $ n=7 $ 情形 $ x_1^7 + \cdots + x_7^7 = 7\psi x_1\cdots x_7 $ 中，同样猜想该整性模式成立。
• 本文提供了显式的大整数，如 $ n=4 $ 情形下 $ x_1^4 + x_2^3 + x_3^3 + x_4^2 = 12\psi x_1x_2x_3x_4 $ 的 $ b_5 = 31088578606413096899258654040 $，确认了 $ b_m/m $ 的整性。