[论文解读] A note on multiple zeta values in Tate algebras

Federico Pellarin|arXiv (Cornell University)|Jan 27, 2016

Advanced Mathematical Identities被引用 11

一句话总结

本文通过引入使用 Tate 代数和半特征的框架，在正特征的函数域设定下推广了 Thakur 的多重 zeta 值。它建立了这些值的类似卷积积的公式，将其与 Carlitz zeta 值和对数联系起来，并推导出显式恒等式，如 $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$，在多重 zeta 值的 $K$-代数中提供了新的代数关系。

ABSTRACT

In this note, we shall discuss a generalization of Thakur's multiple zeta values and allied objects, in the framework of function fields of positive characteristic and more precisely, of periods in Tate algebras.

研究动机与目标

• 将 Thakur 的多重 zeta 值推广到正特征的函数域上 Tate 代数的设定中。
• 通过半特征和幂和研究这些广义多重 zeta 值之间的代数关系。
• 在 Carlitz 模和 Tate 代数的背景下，建立多重 zeta 值的类似卷积积恒等式。
• 探索正特征下由多重 zeta 值生成的 $K$-代数的结构，特别是通过 Tate 代数中的求值映射。
• 提供连接多重 zeta 值、Carlitz zeta 值和 Carlitz 对数的显式公式，包括恒等式如 $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$。

提出的方法

• 通过半特征 $\nu: A^+ \to \mathbb{F}_q[t]$ 引入多重 zeta 值的一般化，定义 $\zeta_C(s; \nu)$ 在 Tate 代数 $\mathbb{T}$ 中。
• 定义幂和 $S_d(n; \nu)$ 及其生成级数 $\mathfrak{S}_d(n; \nu)$，它们是 Tate 代数 $\mathbb{T}$ 的元素，并研究其在 $K_\infty$ 中的收敛性。
• 使用 Tate 代数 $\mathbb{T}$ 上的求值映射 $f \mapsto f(1)$，将形式恒等式与 $K_\infty$ 中的具体值（特别是 $t=1$ 时）联系起来。
• 应用 Thakur 在函数域设定下建立的多重 zeta 值的卷积积结构，推导涉及 $\zeta_C^\star$ 和 $\zeta_C$ 的恒等式。
• 依赖于 $\widetilde{\pi}$ 和 $\zeta_C(n)$ 在 $n \not\equiv 0 \pmod{q-1}$ 时的代数独立性已知结果，并利用 Carlitz 对数 $\log_C(z) = \sum_{i \geq 0} l_i^{-1} z^{q^i}$ 表达 $\zeta_C(1)^q$。
• 推导出显式恒等式，如 $\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$，并通过 $\zeta_C(1)\zeta_C(q-1) = \zeta_C(q) + \zeta_C(q-1,1) + \zeta_C(1,q-1)$ 将其与卷积积联系起来。

实验结果

研究问题

• RQ1 能否通过在 Tate 代数中使用半特征来推广函数域设定下的多重 zeta 值，以获得新的代数恒等式？
• RQ2 由正特征下多重 zeta 值生成的 $K$-代数的结构是什么？在该背景下，卷积积公式如何体现？
• RQ3 在 Tate 代数中对生成级数的求值如何产生多重 zeta 值与 Carlitz zeta 值之间的显式关系？
• RQ4 Carlitz 对数在表达 zeta 值乘积（特别是 $\zeta_C(1)^q$）中起什么作用？
• RQ5 是否存在函数域设定下多重 zeta 值的普遍关系，如 Todd 的数值计算所暗示的那样？

主要发现

• 本文确立了 $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$，在多重 zeta 值的 $K$-代数中提供了新的代数恒等式。
• 证明了 $\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$，其中 $\zeta_C(1)^q = \log_C(1)^q$ 可通过 Carlitz 对数表达。
• 对生成级数 $\sum_{d=0}^\infty \mathfrak{S}_d(q;1)(1)$ 的求值得到 $\zeta_C^\star(q-1,1)$，将 Tate 代数中的形式幂级数与具体 zeta 值联系起来。
• 推导出显式公式：$\zeta_C^\star(q-1,1) = \zeta_C(1)\left(\zeta_C(q-1) - \frac{\zeta_C(1)^{q-1}}{\theta - \theta^q}\right)$，利用 Thakur 的已知恒等式 $\zeta_C(m,m(q-1)) = \frac{\zeta_C(mq)}{(\theta - \theta^q)^m}$。
• 本文表明，即使非 Dirichlet 型的半特征，如 $\nu(a) = t^{\deg_\theta(a)}$，也能在 Tate 代数中产生有效的类似卷积积恒等式，例如 $\zeta_C(1;\nu)\zeta_C(1;\boldsymbol{1}) = \zeta_C(2;\nu) + \zeta_C\left(\begin{smallmatrix}\nu&\boldsymbol{1}\\1&1\end{smallmatrix}\right) + \zeta_C\left(\begin{smallmatrix}\boldsymbol{1}&\nu\\1&1\end{smallmatrix}\right)$。
• 证明了 $\sum_{d=0}^\infty \sum_{a \in A^+(d)} a^{-q^n} C_a(1)$ 在 $K_\infty$ 中的收敛性，由此导出恒等式 $\sum_{d=0}^\infty \mathfrak{S}_d(q^n;1)(1) = \zeta_C^\star(\underbrace{q^{n-1}(q-1), \dots, 1}_{n \text{ 项}})$。