[论文解读] Pro-unipotent harmonic actions and a computation of $p$-adic cyclotomic multiple zeta values

David Jarossay|arXiv (Cornell University)|Jan 20, 2015

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

一句话总结

本文通过一种新颖的拟幂零调和作用框架，建立了 $p$-进单位根多重 zeta 值（pMZV）的显式公式，将 $p$-进积分与级数通过调和弗罗贝尼乌斯映射联系起来。它证明了 Akagi、Hirose 和 Yasuda 关于有限 MZV 的猜想，并在所有 $p$-进完备化下建立了积分表示与级数表示之间的完整对偶性。

ABSTRACT

We obtain formulas relating $p$-adic cyclotomic multiple zeta values and cyclotomic multiple harmonic sums. In particular, we obtain a series formula for $p$-adic cyclotomic multiple zeta values, and conversely a formula for certain cyclotomic multiple harmonic sums in terms of $p$-adic cyclotomic multiple zeta values. Our formulas are related to the motivic framework via a new notion which we call pro-unipotent harmonic actions, which are ad hoc $p$-adic byproducts of the Ihara action. As an application, we prove a conjecture of Akagi, Hirose and Yasuda on the relation between $p$-adic multiple zeta values and multiple harmonic sums, and we generalize it to the cyclotomic case. We also deduce bounds on the dimension of the spaces of finite cyclotomic multiple zeta values.

研究动机与目标

• 通过显式公式发展 $p$-进单位根多重 zeta 值（pMZV）的基础理论。
• 引入拟幂零调和作用的概念，作为连接 $p$-进积分与调和级数的桥梁。
• 通过以加权多重调和和表示的显式表达式，解决长期悬而未决的 $p$-进单位根 MZV 计算问题。
• 建立 $p$-进积分表示与级数表示之间关于 motivic Galois 作用的对偶性。
• 证明 Akagi、Hirose 和 Yasuda 关于有限多重 zeta 值的猜想，将其与 $p$-进单位根 MZV 联系起来。

提出的方法

• 引入拟幂零调和作用作为新结构，通过 KZ 连接的弗罗贝尼乌斯结构，关联 $p$-进积分与级数。
• 利用调和弗罗贝尼乌斯映射，通过代数 $K\langle\langle e_{0\cup\mu_N}\rangle\rangle_{\text{har}}^{\int} = K\langle\langle e_{0\cup\mu_N}\rangle\rangle_{\text{har}}^{\Sigma}$ 的典范同构，将 Coleman 积分值与加权多重调和和联系起来。
• 应用 [J I-1] 中的主要结果，推导出将 $p$-进单位根 MZV 表示为单位根多重调和和的显式公式。
• 建立在 $p^\alpha m + r$ 处调和和的分裂与平移公式，实现在所有 $p$-进完备化下的解析延拓与系数控制。
• 通过取所有 $p$-进完备化的乘积，构建一个阿代尔框架，将单位根域 $C_N$ 对角嵌入 $\prod_{(p,\alpha)} K_p$。
• 定义全局对象 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\int}$ 与 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\Sigma}$，证明其相等，从而统一积分与级数表示。

实验结果

研究问题

• RQ1 能否通过调和和的显式公式计算 $p$-进单位根多重 zeta 值？
• RQ2 如何利用调和结构在 $p$-进设定下编码 motivic Galois 作用？
• RQ3 $p$-进积分与 $p$-进级数表示之间关于单位根 MZV 的精确关系是什么？
• RQ4 Akagi、Hirose 和 Yasuda 关于有限 MZV 的猜想在 $p$-进设定下是否成立？
• RQ5 能否构建一个全局的阿代尔框架，统一所有不整除 $N$ 的素数 $p$ 下的 $p$-进单位根 MZV？

主要发现

• 本文提供了将 $p$-进单位根多重 zeta 值表示为单位根多重调和和的显式公式，解决了长期悬而未决的问题。
• 证明了积分的调和弗罗贝尼乌斯与级数的调和弗罗贝尼乌斯之间存在典范同构，从而可在所有 $p$-进完备化下唯一定义“调和弗罗贝尼乌斯”。
• Akagi、Hirose 和 Yasuda 关于有限 MZV 的猜想通过 $p$-进积分与级数之间的对偶性得到证实，将其与调和弗罗贝尼乌斯结构联系起来。
• 构建了全局阿代尔对象 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\int} = \widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\Sigma}$，表明在阿代尔设定下，积分表示与级数表示是等价的。
• 该方法使得 $\operatorname{har}_{p^\alpha m + r}$ 可表示为 $\operatorname{har}_{p^\alpha m}$ 与 $p^\alpha m$ 的解析函数的多项式，其系数以 $\operatorname{har}_r$ 表示，借助分裂与平移公式。
• 该框架确保调和级数展开中的所有系数满足所需的 $p$-进有界性，使构造在 $p$-进域的阿代尔乘积上全局良定义。