[论文解读] Standard Relations of Multiple Polylogarithm Values at Roots of Unity

Jianqiang Zhao|MPG.PuRe (Max Planck Society)|Jul 10, 2007

Advanced Mathematical Identities参考文献 26被引用 30

一句话总结

本文研究单位根处多重 polylogarithm 值（MPVs）之间的线性关系，引入了‘标准关系’——源自正则化双重 shuffle、分布、提升和种子关系——以界定权重 $ w $ 和层级 $ N $ 的 MPVs 的有理维数 $ d(w,N) $。研究表明，这些标准关系通常能提供紧致的界，尤其是在素数幂层级下，但数值证据表明非素数幂层级下存在额外的非标准关系，由此提出了关于标准关系完备性及维数界紧致性的猜想。

ABSTRACT

Let $N$ be a positive integer. In this paper we shall study the special values of multiple polylogarithms at $N$th roots of unity, called multiple polylogarithm values (MPVs) of level $N$. These objects are generalizations of multiple zeta values and alternating Euler sums, which was studied by Euler, and more recently, many mathematicians and theoretical physicists.. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by using the regularized double shuffle relations, regularized distribution relations, lifted versions of such relations from lower weights, and seeded relations which are produced by relations of weight one MPVs. We call relations from the above four families \emph{standard}. Let $d(w,N)$ be the $\Q$-dimension of $\Q$-span of all MPVs of weight $w$ and level $N$. Then we obtain upper bound for $d(w,N)$ by the standard relations which in general are no worse or no better than the one given by Deligne and Goncharov depending on whether $N$ is a prime-power or not, respectively, except for 2- and 3-powers, in which case standard relations seem to be often incomplete whereas Deligne shows that their bound should be sharp by a variant of Grothedieck's period conjecture. This suggests that in general there should be other linear relations among MPVs besides the standard relations, some of which are written down in this paper explicitly with good numerical verification. We also provide a few conjectures which are supported by our computational evidence.

研究动机与目标

• 对单位根处的多重 polylogarithm 值（MPVs）之间的线性关系进行分类并系统生成，尤其关注相同权重和层级的关系。
• 利用代数与计算技术，确定由权重 $ w $ 和层级 $ N $ 的 MPVs 张成的空间的 $ \mathbb{Q} $-维数 $ d(w,N) $。
• 评估标准关系——源自正则化双重 shuffle、分布、提升和种子关系——是否捕获了 MPVs 之间所有线性依赖关系。
• 通过与 Deligne 和 Goncharov 的动机结果比较，研究标准关系的完备性，尤其针对素数幂和非素数幂层级。
• 提出并支持关于维数界紧致性及非标准层级下非标准关系存在的猜想。

提出的方法

• 利用正则化双重 shuffle（RDS）关系推导 MPVs 之间的代数恒等式，将多重 zeta 值的技术扩展至单位根处的 MPVs。
• 应用来自较低权重的正则化分布关系与提升关系，生成更高权重下的新恒等式。
• 利用源自权重一 MPVs 的种子关系生成更高权重关系，构成标准关系的基础族。
• 通过符号计算（如 MAPLE）进行数值验证，以测试并确认线性关系，包括计算中发现的非标准关系。
• 利用迭代积分表示与动机形式（源自 Drinfeld 保证子与混合 Tate 动机）支持对 MPVs 结构的深入理解。
• 将标准关系所得的 $ d(w,N) $ 界与 Deligne 和 Goncharov 的动机结果所得界进行比较，尤其针对素数幂与非素数幂的 $ N $。

实验结果

研究问题

• RQ1 标准关系（RDS、分布、提升与种子）是否捕获了相同权重与层级下 MPVs 之间所有线性关系？
• RQ2 标准关系所得的 $ d(w,N) $ 界与 Deligne 和 Goncharov 的动机理论所预测的紧致界相比如何？
• RQ3 当 $ N $ 不是素数幂时，MPVs 是否存在非标准线性关系？若存在，它们如何影响维数界？
• RQ4 对于标准层级（即 $ N = 1,2,3 $ 或素数幂 $ p^n $，$ p \geq 5 $）时，标准关系所提供的 $ d(w,N) $ 界是否为紧致？
• RQ5 维度 $ d(w,N) $ 是否可由 $ N $ 的多项式预测，特别是当 $ w=3 $ 且 $ N $ 为素数时，如数据所示？

主要发现

• 对于 $ p \geq 5 $ 的素数幂层级 $ N = p^n $，标准关系对 $ d(w,N) $ 的界定通常与 Deligne 和 Goncharov 的界相当或更优。
• 对于 $ N = 2 $ 和 $ N = 3 $，标准关系似乎不足，因数值证据显示存在缺失关系，表明尽管理论预期完整，但实际并不完备。
• 在权重 3 时，$ d(3,4) = 9 $，但标准关系的界为 8，表明存在缺失的非标准关系，该关系经数值验证后，随后通过八面体对称性得以证明。
• 对于素数 $ N \geq 5 $，猜想的界 $ d(3,N) \leq \frac{p^3 + 4p^2 + 5p + 14}{12} $ 与 $ p = 5,7,11,13 $ 的数据相符，支持维度的多项式形式。
• 在权重 4 时，$ d(4,4) = 16 $，与标准关系界 $ SR(4,4) = 21 $ 相符，但 $ D(4,4) = 16 $，表明该界不紧致，暗示可能存在更多关系。
• 本文猜想：对于标准层级（即素数幂 $ p^n $，$ p \geq 5 $），标准关系可提供 $ d(w,N) $ 的紧致界；而对于非标准层级，所有权重 $ w \geq 3 $ 均存在非标准关系，且在权重 2 时，当 $ N \geq 10 $ 也存在此类关系。