[论文解读] Identities between Mahler measures

Fernando Rodríguez Villegas|arXiv (Cornell University)|Dec 21, 2006

Meromorphic and Entire Functions参考文献 3被引用 12

一句话总结

本文证明了与 conductor 37 的椭圆曲线相关的两个洛朗多项式的对数 Mahler 测度之间的一个特定恒等式，表明它们的比值为有理数 5/7。通过 K₂-理论中的正规化和椭圆多对数函数，作者建立了 Mahler 测度与 L-函数特殊值之间的联系，验证了该曲线的 Bloch-Beilinson 猜想。

ABSTRACT

The purpose of this short note is to give a proof of the following identity between (logarithmic) Mahler measures m(y^2+2xy+y-x^3-2x^2-x)=5/7*m(y^2+4xy+y-x^3+x^2) which is one of many examples that arise from the comparison of Mahler measures and special values of L-functions.

研究动机与目标

• 证明对数 Mahler 测度之间的恒等式 $ m(y^2 + 2xy + y - x^3 - 2x^2 - x) = \frac{5}{7} m(y^2 + 4xy + y - x^3 + x^2) $。
• 证明这两个 Mahler 测度的比值为有理数，支持椭圆曲线 $ E: y^2 + y = x^3 - x $（conductor 37）的 Bloch-Beilinson 猜想。
• 通过 K₂-理论中的正规化，建立 Mahler 测度与 $ L' $-函数特殊值之间的联系。
• 验证 $ K_2(E) $ 上的正规化映射（通过椭圆多对数函数表示）与 Mahler 测度之间相差一个常数因子。

提出的方法

• 将对数 Mahler 测度定义为单位环面上的积分：$ m(P) = \int_0^1 \cdots \int_0^1 \log|P(e^{2\pi i\theta_1}, \ldots)| d\theta_1 \cdots d\theta_n $。
• 使用通过 $ r(\{f,g\}) = \int_\gamma \eta(f,g) $ 定义的正规化映射 $ r: K_2(E) \to \mathbb{R} $，其中 $ \eta(f,g) = \log|f|\, d\arg g - \log|g|\, d\arg f $。
• 将正规化表示为椭圆多对数函数 $ \mathcal{L} $ 的形式，使得 $ r(\{f,g\}) = c \cdot \mathcal{L}((f)\diamond(g)) $，其中 $ c $ 为常数。
• 计算椭圆曲线 $ E $ 上有理函数的除子的 diamond 积 $ (f)\diamond(g) $，将其表示为 $ \mathbb{Z}[E(\mathbb{Q})]^{-} $ 中的整数向量。
• 在 $ \mathbb{Z}[E(\mathbb{Q})]^{-} $ 中建立恒等式 $ 5(x)\diamond(y) + (x_2)\diamond(y_2) = -(-y)\diamond(1+y) + (x-y)\diamond(1-x+y) $，从而导出正规化关系 $ r(\xi_2) = -5r(\xi) $。
• 使用 Jensen 公式和解析延拓，证明对实数 $ k \notin \mathcal{K} $，有 $ r(\{x,y\}) = \pm 2\pi \, m(P_k) $，其中 $ \mathcal{K} $ 是使得 $ P_k $ 在环面上为零的 $ k $ 的集合。

实验结果

研究问题

• RQ1 根据 Bloch-Beilinson 猜想，Mahler 测度 $ m(y^2 + 2xy + y - x^3 - 2x^2 - x) $ 与 $ m(y^2 + 4xy + y - x^3 + x^2) $ 的比值是否为有理数？
• RQ2 能否利用 $ K_2(E) $ 上的正规化映射，将 Mahler 测度与椭圆曲线的 $ L' $-函数特殊值联系起来？
• RQ3 在除子群中成立的恒等式 $ 5(x)\diamond(y) + (x_2)\diamond(y_2) = -(-y)\diamond(1+y) + (x-y)\diamond(1-x+y) $ 是否意味着所需的 Mahler 测度恒等式？
• RQ4 正规化映射 $ r(\{x,y\}) $ 是否与族 $ P_k(x,y) = y^2 - kxy + y - x^3 + x^2 $ 的 Mahler 测度 $ m(P_k) $ 成比例，以及该比例常数是多少？
• RQ5 为何 $ y^2 + y - x^3 + x $ 的 Mahler 测度虽属于同一族，却与其它测度无有理关系？

主要发现

• 通过 $ K_2(E) $ 中的正规化计算，证明了两个 Mahler 测度的比值恰好为 $ \frac{5}{7} $。
• 正规化 $ r(\xi_2) $ 满足 $ r(\xi_2) = -5r(\xi) $，而 $ r(\xi_1) $ 满足 $ r(\xi_1) = -7r(\xi) $，由此得出 5:7 的比值。
• 正规化映射 $ r(\{x,y\}) $ 等于 $ \pm 2\pi \, m(P_k) $（对实数 $ k \notin \mathcal{K} $），并通过连续性扩展到 $ k = -4 $ 和 $ k = 2 $，即 $ \mathcal{K} $ 的边界点。
• 多项式 $ y^2 + 2xy + y - x^3 - 2x^2 - x $ 的 Mahler 测度与 $ r(\xi_2) $ 成比例，另一多项式同理，从而验证了恒等式。
• 多项式 $ y^2 + y - x^3 + x $ 的 Mahler 测度与其它测度无有理关系，因其在环面上为零，导致周期不闭合，正规化公式不适用。
• 该恒等式可进一步推广，使任一侧与 $ m(y^2 + 2xy + y - x^3 + x^2) $ 相关联，暗示存在更广泛的此类恒等式族。