[论文解读] Multi-polylogs at twelfth roots of unity and special values of Witten multiple zeta function attached to the exceptional Lie algebra G_2

Jianqiang Zhao|arXiv (Cornell University)|Apr 6, 2009

Advanced Mathematical Identities参考文献 12被引用 6

一句话总结

该论文证明了与例外李代数 𝔤₂ 相关的维特定义多重 zeta 函数在非负整数处的特殊值，可表示为单位根上取值的有理线性组合的多 polylogarithm，除了两个异常情况外，此时其值退化为黎曼 zeta 函数的有理倍数。该结果扩展了此前对 𝔰𝔩(4) 和 𝔰𝔬(5) 的研究，揭示了李代数表示论与单位根上多重 zeta 值之间深层联系。

ABSTRACT

In this note we shall study the Witten multiple zeta function associated to the exceptional Lie algebra g_2. Our main result shows that its special values at nonnegative integers can always be expressed as rational linear combinations of the multi-polylogs evaluated at 12th roots of unity, except for two irregular cases.

研究动机与目标

• 研究与例外李代数 𝔤₂ 相关的维特定义多重 zeta 函数在非负整数处的特殊值。
• 确定这些特殊值是否可用已知特殊函数（特别是多 polylogarithm）表示。
• 探讨这些值的代数结构及其与多重 zeta 值和单位根的关系。
• 将此前关于 𝔰𝔩(4) 和 𝔰𝔬(5) 的结果推广至 𝔤₂ 的例外情形。
• 精确识别出控制这些特殊值的多 polylogarithm 结构的层级（12 次单位根）与深度（≤2）

提出的方法

• 将维特定义多重 zeta 函数 ζ𝔤₂(s₁,…,s₆) 定义为对所有 m,n ≥ 1 的二重求和，分母包含 m 和 n 的线性形式。
• 以多 polylogarithm 函数 Li_{s₁,…,s_d}(x₁,…,x_d) 为核心分析工具，其自变量限制在 12 次单位根上。
• 应用组合恒等式（引理 1.2）将有理函数 1/(x^s y^t) 分解为包含 (x+y)^{s+t} 项的和，从而实现向多 polylogarithm 形式的约化。
• 运用多重 zeta 值的理论及其代数关系，包括使用 RDS（有理双和）与 GiNaC 进行符号计算。
• 采用 PSLQ 算法结合高精度数值计算，以探测潜在的闭式恒等式，如 ζ𝔤₂(2,2,…,2) = c·π¹²。
• 利用关于单位根上多 polylogarithm 结构的已知结果及其 ℚ-线性无关性，分析特殊值空间的维数。

实验结果

研究问题

• RQ1 𝑊𝑖𝑡𝑡𝑒𝑛 的 𝔤₂ 多重 zeta 函数在非负整数处的特殊值能否表示为单位根上取值的有理线性组合的多 polylogarithm？
• RQ2 表达这些特殊值所需的最小单位根层级是什么？为何对 𝔤₂ 而言 12 次单位根是临界层级？
• RQ3 为何两个特定情形（s₁=s₂=0 且 s₃=s₄=s₅=s₆=0 或 s₃=s₄=s₅=s₆=0）的值不落在 12 次单位根上多 polylogarithm 的空间中？
• RQ4 是否存在特殊值 ζ𝔤₂(2,2,2,2,2,2) 的闭式表达，若存在，其是否与 π¹² 的有理倍数一致？
• RQ5 ζ𝔤₂(s₁,…,s₆) 的特殊值是否代数无关，或是否满足非平凡的 ℚ-线性关系？

主要发现

• 当且仅当 w−s₁>1，w−s₂>1，且 w>2 时，特殊值 ζ𝔤₂(s₁,…,s₆) 收敛，其中 w=s₁+⋯+s₆。
• 对于所有满足收敛条件的非负整数元组 (s₁,…,s₆)，除两个异常情况外，ζ𝔤₂(s₁,…,s₆) 属于由权重为 w、深度 ≤2、层级为 12 的多 polylogarithm 生成的 ℚ-向量空间。
• 两个例外情况为 (0,0,s₃,0,0,0) 和 (0,0,0,s₄,0,0)，其值属于 ζ(w−1) 和 ζ(w) 的 ℚ-张成空间。
• 数值证据表明 ζ𝔤₂(2,2,2,2,2,2) = (2⁶·5³·23)/(3⁶·7²·11·13)·ζ(2)⁶ = (5³·23)/(3¹²·7²·11·13)·π¹²，误差界不超过 10⁻¹⁰⁰。
• ζ𝔤₂(1,0,0,0,2,0) 不是 ζ(3) 的有理倍数，意味着其不在 ζ(3) 的 ℚ-张成空间中，因此不属于 MPV(3,1)。
• 高精度部分和（至 m,n=300）与符号计算结果在至少 10 位小数范围内一致，适用于多个特殊值，包括 ζ𝔤₂(1,1,1,1,1,1) 和 ζ𝔤₂(2,1,1,1,1,1)。