[论文解读] Logarithmic Interpretation of Multiple Zeta Values in Positive Characteristic

Chieh-Yu Chang, Yoshinori Mishiba|arXiv (Cornell University)|Oct 30, 2017

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过将 ∞-adic 与 v-adic 多重 zeta 值（MZVs）与显式构造的 t-模在特殊点处的对数的第 n 个坐标联系起来，建立了正特征下多重 zeta 值（MZVs）的对数解释。该研究将 Anderson-Thakur 的工作推广至任意深度的 MZVs，并证明 v-adic MZVs 满足与 ∞-adic 对应物相同的线性关系。

ABSTRACT

In this paper, we study multiple zeta values (MZV's) over rational function fields in positive characteristic. For each $\infty$-adic MZV $\zeta_{A}(\fs)$ of weight $n$ introduced by Thakur, we show that it is related to the $n$th coordinate of the logarithm of an explicitly constructed uniformizable $t$-module $G_{\fs}$ at a special point $\bv_{\fs}$. Inspired by Furusho's definition of $p$-adic MZV's, we define $v$-adic MZV's for every finite place $v$ of the given rational function field. We further show that each $v$-adic MZV $\zeta_{A}(\fs)_{v}$ is related to the $n$th coordinate of the $v$-adic logarithm of the $t$-module $G_{\fs}$ at a special point constructed using $\bv_{\fs}$. These two logarithmic interpretations completely generalize the work of Anderson-Thakur to arbitrary depth MZV's. As an application, we show that $v$-adic MZV's satisfy the linear relations that their corresponding $\infty$-adic MZV's satisfy.

研究动机与目标

• 将 Anderson-Thakur 的对数框架推广至正特征下任意深度的多重 zeta 值（MZVs）。
• 为有理函数域的每个有限素点 v 定义 v-adic MZVs，推广 Thakur 的 ∞-adic MZVs。
• 建立 v-adic 与 ∞-adic MZVs 以及特殊点处可统一的 t-模对数之间的精确联系。
• 证明 v-adic MZVs 继承其 ∞-adic 对应物所满足的线性关系。

提出的方法

• 为给定的权重为 n 的多重 zeta 值 $ \theta_{A}(\fs) $ 构造一个与之关联的可统一 t-模 $ G_{\fs} $。
• 将 ∞-adic MZV $ \theta_{A}(\fs) $ 定义为 $ G_{\fs} $ 在特殊点 $ \bv_{\fs} $ 处的 ∞-adic 对数的第 n 个坐标。
• 通过类似方式将 v-adic MZVs $ \theta_{A}(\fs)_v $ 与 $ G_{\fs} $ 在由 $ \bv_{\fs} $ 衍生的点处的 v-adic 对数联系起来。
• 利用 t-模及其对数映射的理论，将 MZVs 与模结构的算术不变量联系起来。
• 借助特殊点的显式构造以及 t-模对数的性质，推导出对数解释。
• 应用对数框架，证明 ∞-adic MZVs 中的线性关系在 v-adic 设置下依然成立。

实验结果

研究问题

• RQ1 如何通过 t-模的对数来解释正特征下的多重 zeta 值？
• RQ2 t-模上的特殊点在编码 v-adic 与 ∞-adic MZVs 中起什么作用？
• RQ3 v-adic MZVs 是否满足与 ∞-adic 对应物相同的线性关系？
• RQ4 Furusho 的 p-adic MZV 框架能否被适配到正特征的函数域中？
• RQ5 t-模与正特征下多重 zeta 值之间存在何种结构关系？

主要发现

• 每个 ∞-adic MZV $ \theta_{A}(\fs) $ 等于 t-模 $ G_{\fs} $ 在特殊点 $ \bv_{\fs} $ 处的 ∞-adic 对数的第 n 个坐标。
• 每个 v-adic MZV $ \theta_{A}(\fs)_v $ 等于 $ G_{\fs} $ 在由 $ \bv_{\fs} $ 衍生的特殊构造点处的 v-adic 对数的第 n 个坐标。
• 通过 t-模对 MZVs 的对数解释，推广了 Anderson-Thakur 框架至任意深度的 MZVs。
• v-adic MZVs 满足所有其对应 ∞-adic MZVs 所满足的线性关系。
• $ G_{\fs} $ 及其相关特殊点的构造提供了一种统一机制，用于在不同位置编码 MZVs。
• 结果在正特征下建立了 t-模与多重 zeta 值之间深刻的算术-几何联系。