[论文解读] Mahler Measure Variations, Eisenstein Series and Instanton Expansions

Jan Stienstra|ArXiv.org|Feb 9, 2005

Advanced Combinatorial Mathematics参考文献 9被引用 5

一句话总结

本文建立了模马勒测度中爱森斯坦级数系数与非临界弦理论中瞬子数之间的反函数关系，揭示了数论、模形式与弦对偶性之间深刻的联系。关键结果是方程 (3) 中的反函数关系，将椭圆曲线纤维化中的马勒测度变化与五维超杨–米尔斯理论中的瞬子展开统一起来。

ABSTRACT

This paper points at an intriguing inverse function relation between Eisenstein series connected with ``Modular Mahler Measures'' and instanton numbers for ``Non-Critical Strings''. In a companion paper Mahler measures are related to dimer models.

研究动机与目标

• 识别模马勒测度与五维非临界弦理论中瞬子展开之间的结构性联系。
• 证明罗德里格斯-维勒加斯关于模马勒测度工作的爱森斯坦级数系数与镜像对称及紧化弦理论物理文献中的瞬子数相匹配。
• 表明方程 (3) 中的反函数关系统一了数论中的数学结构与物理弦模型中的结构。
• 通过相同的反函数框架，将洛朗多项式的马勒测度与晶格模型的划分函数联系起来。
• 为展开式中系数 $a_n$ 和 $b_n$ 的整性提供证据，特别是在 $E_6$、$E_5$、$E_8$ 和 $E_7$ 情况下。

提出的方法

• 通过单位环面上的围道积分，推导洛朗多项式 $F_t(x,y) = t - (xy)^{-1}\widetilde{P}(x,y,1)$ 的马勒测度 $\mathsf{M}(F_t)$。
• 通过涉及对数积分和 $\widetilde{P}^n$ 的傅里叶系数的生成函数，将马勒测度表示为 $|\mathsf{Q}|^{-1}$。
• 通过 $-\mathsf{Q} = \mathsf{q} \prod_{n \geq 1} (1 - \mathsf{q}^n)^{n b_n}$ 及其逆，建立模参数 $\mathsf{q}$ 与瞬子参数 $\mathsf{Q}$ 之间的反函数关系。
• 利用皮卡德-富克斯方程和椭圆曲线的周期比，将模参数 $\mathsf{q}$ 与模形式 $E_{3,\chi}(\mathsf{q})$ 联系起来。
• 比较爱森斯坦级数与瞬子展开中 $\mathsf{q}$-级数的展开，表明 $1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ 与 $\mathsf{q} \frac{d}{d\mathsf{q}} \log \mathsf{Q}$ 相匹配。
• 分析六个例子，包括 $E_6$、$E_5$、$E_8$ 以及新情况 $E_7$、$\sharp 5$ 和 $\sharp 6$，利用已知的模形式和特征和来验证对偶性。

实验结果

研究问题

• RQ1 模马勒测度中爱森斯坦级数的系数与五维非临界弦理论中瞬子数之间有何关系？
• RQ2 能否从皮卡德-富克斯方程和周期积分系统地推导出 $\mathsf{q}$ 与 $\mathsf{Q}$ 之间的反函数关系？
• RQ3 展开式 $1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ 和 $\kappa(1 - \sum a_n \frac{n^3 \mathsf{Q}^n}{1 - \mathsf{Q}^n})$ 中的系数 $a_n$ 和 $b_n$ 是否具有整性？若是，原因是什么？
• RQ4 马勒测度 $\mathsf{M}(F_t)$ 在晶格模型与量子卡勒-丘流形几何中的物理与几何意义为何？
• RQ5 奥库诺夫-雷谢蒂欣-法瓦提出的弦模型与晶格模型之间的对偶性，如何通过本文中的反函数关系体现？

主要发现

• 反函数关系 $-\mathsf{Q} = \mathsf{q} \prod_{n \geq 1} (1 - \mathsf{q}^n)^{n b_n}$ 及其逆 $-\mathsf{q} = \mathsf{Q} \prod_{n \geq 1} (1 - \mathsf{Q}^n)^{n^2 a_n}$ 精确匹配克莱姆-迈尔-法瓦与勒尔切-迈尔-沃纳在 $E_6$、$E_5$ 和 $E_8$ 情况下的瞬子展开。
• 对于 $E_6$、$E_5$ 和 $E_8$，瞬子展开中的常数 $\kappa$ 分别为 $-3$、$-4$ 和 $-1$，且马勒测度为 $|\mathsf{Q}|^{-1/\nu}$，其中 $\nu = 3, 2, 6$。
• 在所有六个例子中，爱森斯坦级数展开 $1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ 中的系数 $b_n$ 均为整数，且在例 $\sharp 6$ 中 $b_n = (-1)^{n-1} \chi_{-3}(n)$。
• 来自例 $\sharp 3$、$\sharp 4$ 和 $\sharp 6$ 的特征多项式的晶格模型的划分函数等于马勒测度，证实了其与量子卡勒-丘流形几何的对偶性。
• 在例 $\sharp 5$ 中，展开涉及模 5 的四次特征标 $\chi$，且 $b_n$ 与 $\text{Re}((2-i)\chi(n))$ 相关，表明高阶狄利克雷特征标的作用。
• 本文提供了强有力的数值证据，表明所有情况下 $a_n$ 和 $b_n$ 均为整数，尽管仅在四个例子中证明了 $b_n$ 的整性。