[论文解读] Multiple polylogarithms in weight 4

Herbert Gangl|arXiv (Cornell University)|Sep 18, 2016

Advanced Algebra and Geometry参考文献 12被引用 12

一句话总结

该论文通过将深度2的迭代积分 $ I_{3,1}(V(x,y),z) $（其中 $ V(x,y) $ 为五重对 dilogarithm 关系）完全表示为经典四对数 $ \operatorname{Li}_4 $ 的形式，解决了 Goncharov 关于权重4多重 polylogarithm 函数方程的猜想。结果得到了一个包含931项的四变量 $ \operatorname{Li}_4 $ 的函数方程，为 Zagier 猜想中 $ K_7(F) $ 所需的函数方程提供了一个候选解，同时推导出一个对称化的9轨道版本。

ABSTRACT

We clarify the relationship between different multiple polylogarithms in weight~4 by writing suitable linear combinations of a given type of iterated integral I_{n_1,...,n_d}(z_1,...,z_d), in depth d>1 and weight \sum_i n_i=4 in terms of the classical tetralogarithm Li_4. In the process, we prove a statement conjectured by Goncharov which can be rephrased as writing the sum of iterated integrals I_{3,1}(V(x,y),z), where V(x,y) denotes a formal version of the five term relation for the dilogarithm, in terms of Li_4-terms (we need 122 such).

研究动机与目标

• 解决 Goncharov 关于三对数型多重 polylogarithm $ I_{3,1}(V(x,y),z) $ 在权重4下的函数方程的猜想。
• 通过将高深度函数表示为低深度函数（特别是 $ \operatorname{Li}_4 $）的形式，厘清权重4下多重 polylogarithm 的代数结构。
• 提供一个可数值验证的双变量多重 polylogarithm 函数方程，推进对高权重 polylogarithmic 恒等式的理解。
• 建立一个四变量 $ \operatorname{Li}_4 $ 的候选函数方程，预计将在 $ K_7(F) $ 的显式描述中起核心作用。

提出的方法

• 使用迭代积分 $ I_{n_1,\dots,n_d}(z_1,\dots,z_d) $ 作为多重 polylogarithm $ \operatorname{Li}_{n_1,\dots,n_d}(z_1,\dots,z_d) $ 的对偶表示，以实现代数操作。
• 应用变量变换，将多重 polylogarithm 恒等式转化为迭代积分恒等式，以简化和约化。
• 采用 Goncharov 的 motivic co-Lie 代数中的边界映射进行粗化近似，以简化在该映射下消失的项所构成的关系。
• 推导出模低权重 polylogarithm 乘积的函数方程，部分恒等式被进一步优化为可数值验证的形式。
• 构建了 $ I_{3,1}(V(x,y),z) $ 的931项表达式，全部以 $ \operatorname{Li}_4 $ 项表示，随后对称化为9轨道版本。
• 通过在所提供网址的计算验证，确认了最终函数方程中931个参数（考虑逆元）的正确性。

实验结果

研究问题

• RQ1 迭代积分 $ I_{3,1}(V(x,y),z) $（其中 $ V(x,y) $ 为五重对 dilogarithm 关系）能否如 Goncharov 所猜想的那样，完全用 $ \operatorname{Li}_4 $ 项表示？
• RQ2 此类约化所产生的 $ \operatorname{Li}_4 $ 在四变量下的最小函数方程是什么？它包含多少项？
• RQ3 在权重4下，如 $ \operatorname{Li}_{2,1,1} $ 和 $ \operatorname{Li}_{1,1,1,1} $ 这类高深度多重 polylogarithm 与 $ \operatorname{Li}_4 $ 及彼此之间存在怎样的代数关系？
• RQ4 该所得的 $ \operatorname{Li}_4 $ 函数方程能否在大群作用下对称化，以减少轨道数？其最小形式是什么？
• RQ5 该函数方程在 Zagier 的 Polylogarithm 猜想以及数域 $ F $ 的 $ K_7(F) $ 显式表示中的精确作用是什么？

主要发现

• 该论文通过将 $ I_{3,1}(V(x,y),z) $ 表示为122个 $ \operatorname{Li}_4 $ 项的线性组合，证明了 Goncharov 的猜想，确认该深度2的迭代积分可完全约化为经典四对数的值。
• 推导出一个包含931个参数（考虑逆元）的四变量 $ \operatorname{Li}_4 $ 函数方程，该方程可数值验证，并发布于 http://www.maths.dur.ac.uk/~dma0hg/mpl4_check.html。
• 通过群作用对称化后，得到仅含9个轨道的版本，显著简化了结构并提升了可读性。
• 该结果为 Zagier 的 Polylogarithm 猜想中 $ K_7(F) $ 的显式描述提供了预期至关重要的候选函数方程。
• 论文表明，权重4下的多重 polylogarithm 无法在不引入新函数关系的情况下完全约化为 $ \operatorname{Li}_4 $，并确定 $ \operatorname{Li}_{3,1} $ 是权重4 MPL 的最小生成函数。
• 研究揭示，权重4下深度3与深度2 MPL 之间的关系受非平凡代数恒等式支配，包括两个特别有趣的恒等式（定理10和11），它们推广了已知的低权重关系。