[论文解读] Mahler's Measure and the Dilogarithm (II)

David W. Boyd, Fernando Rodriguez-Villegas+1 more|ArXiv.org|Aug 5, 2003

Advanced Mathematical Theories and Applications参考文献 19被引用 30

一句话总结

本文通过Bloch–Wigner多对数函数与K-理论，精确建立了特定二元洛朗多项式Mahler测度与一个单柄算术双曲3-流形的双曲体积之间的联系。研究证明π乘以多项式A′_N的Mahler测度等于流形N的双曲体积，通过显式计算与表示理论，证实了数论、双曲几何与代数K-理论之间存在深刻联系。

ABSTRACT

We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $πm(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$ ($V_F := c_Fζ_F(2)$ with $c_F>0$ an explicit simple constant). The class $\A$ contains the $A$-polynomials of cusped hyperbolic manifolds. The connection with hyperbolic geometry often provides means to prove identities of the form $πm(A)= r V_F$ with an explicit value of $r\in \Q^*$. We give one such example in detail in the body of the paper and in the appendix.

研究动机与目标

• 建立某些洛朗多项式Mahler测度与双曲3-流形体积之间的严格联系。
• 证明对于特定的单柄算术双曲3-流形N，有π·m(A′_N) = vol(N)。
• 展示双曲纽结补形的A-多项式属于特殊类A(Q)，其中Mahler测度与特殊L-值相关。
• 通过结合K-理论、表示理论与Gröbner基计算，提供一种构造性方法以验证此类恒等式。

提出的方法

• 使用Bloch–Wigner多对数函数表达双曲3-流形体积与洛朗多项式Mahler测度。
• 应用Borel定理，将ζ_F(2)与具有一个复嵌入的数域F的算术双曲3-流形体积相关联。
• 将双曲3-流形N的A-多项式作为洛朗多项式A ∈ A(Q)使用，其来源于π₁(N)的SL₂(ℂ)表示。
• 通过Macaulay2中的Gröbner基计算A-多项式，从满足特定迹条件的表示簇进行投影。
• 使用K₂(X)⊗ℚ中的x ∧ y的三角剖分来建模分解为理想四面体，类比于双曲体积的分解。
• 将Mahler测度积分与1-参数族SL₂(ℂ)表示的体积变化联系起来，通过体积函数的导数证明π·m(B) = vol(N)。

实验结果

研究问题

• RQ1 与双曲3-流形相关的洛朗多项式的Mahler测度是否可精确等于其双曲体积？
• RQ2 Bloch–Wigner多对数函数在算术双曲3-流形中，能在多大程度上弥合Mahler测度与双曲体积之间的鸿沟？
• RQ3 是否能通过K-理论与表示理论系统性地推导出形如π·m(A) = r·V_F的恒等式，其中r ∈ ℚ*？
• RQ4 A-多项式在编码双曲纽结补形的几何与算术不变量方面起什么作用？

主要发现

• 本文证明了对于流形N，有π·m(A′_N) = vol(N)，证实了深刻的几何-算术对偶性。
• 多项式B(x,y) = -y²x³ + (y³ - 3y² + y)x² + (-y² + 3y - 1)x + y的Mahler测度满足π·m(B) = vol(N)。
• N的A-多项式计算为(M² - L)(M⁶L² - M⁴L³ - 3M⁴L² - M⁴L + M²L² + 3M²L + M² - L)，其中第一项被排除，因其对应于可约表示。
• M²L + 1项源于表示簇的Seifert-纤维化部分，证实了A-多项式的结构。
• 流形N的体积被证明为π·d₁₅/6，其中d₁₅是与虚二次域的Dedekindζ函数相关的特殊值。
• 推导依赖于体积函数沿1-参数族表示的导数为-log|x₁(t)|，从而将Mahler测度积分与体积变化联系起来。