[论文解读] On twisted $A$-harmonic sums and Carlitz finite zeta values

Federico Pellarin, Rudolph Perkins|arXiv (Cornell University)|Dec 18, 2015

Advanced Mathematical Identities参考文献 16被引用 5

一句话总结

本文研究正特征下的扭曲 $A$-调和和，证明当 $n=1$ 且 $s \equiv 1 \pmod{q-1}$ 时，其具有多项式插值性质，从而在 Carlitz 模形式框架下导出非零的有限 zeta 值。关键结果建立了一个关于 $F_d(1;s)$ 的多项式插值公式，通过在 $Y = \theta^{q^{d-m}}$ 处取值的有理函数 $\mathbb{H}_s$ 实现，且当 $s = 1 + m(q-1)$ 时，$\mathbb{H}_s$ 具有明确的次数与结构特性。

ABSTRACT

In this paper, we study various twisted A-harmonic sums, named following the seminal log-algebraicity papers of G. Anderson. These objects are partial sums of new types of special zeta values introduced by the first author and linked to certain rank one Drinfeld modules over Tate algebras in positive characteristic by Angl\\`es, Tavares Ribeiro and the first author. We prove, by using techniques introduced by the second author, that various infinite families of such sums may be interpolated by polynomials, and we deduce, among several other results, properties of analogues of finite zeta values but inside the framework of the Carlitz module. In the theory of finite multi-zeta values in characteristic zero, finite zeta values are all zero. In the Carlitzian setting, there exist non-vanishing finite zeta values, and we study some of their properties in the present paper.

研究动机与目标

• 在正特征的 Tate 代数上的 Drinfeld 模框架下，理解扭曲 $A$-调和和 $F_d(n;s)$ 的结构。
• 通过在 Carlitz 模形式设定下构造类比，解决特征零下非平凡有限 zeta 值缺失的问题。
• 为无限族的扭曲调和和建立多项式插值，特别是针对 $n=1$ 且 $s \equiv 1 \pmod{q-1}$ 的情形。
• 刻画插值 $F_d(1;s)$ 的有理函数 $\mathbb{H}_s$，确定其在 $Y$ 和每个 $t_i$ 上的次数。
• 为 Carlitz 框架下的非零有限 zeta 值提供证据，与特征零下的零值情况形成对比。
• 探索与有限多重 zeta 值及 Bernoulli-Carlitz 数背景下 Kaneko-Zagier 猜想的类比关系。

提出的方法

• 定义扭曲 $A$-调和和 $F_d(n;s) = \sum_{i=0}^{d-1} S_i(n;s)$，其中 $S_i(n;s)$ 为在 $A = \mathbb{F}_q[\theta]$ 中的首一多项式上的幂和。
• 利用 Perkins 之前工作的插值框架，证明当 $d \geq m$ 时，$F_d(1;s)$ 可表示为 $\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$。
• 引入辅助多项式 $b_i(Y) = \prod_{j=0}^{i-1} (Y - \theta^{q^j})$ 与归一化因子 $\Pi_{s,d} = \frac{b_{d-m}(t_1) \cdots b_{d-m}(t_s)}{l_{d-1}}$。
• 证明 $\mathbb{H}_s$ 是 $K(Y, \underline{t}_s)$ 中的有理函数，且当 $s = 1 + m(q-1)$ 时，其为次数受控的多项式，且在 $Y$ 和每个 $t_i$ 上具有明确的次数。
• 建立次数界：$\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$ 且 $\deg_{t_i}(\mathbb{H}_s) = m - 1$。
• 利用 Anderson-Thakur 函数 $\omega(t)$ 与 Carlitz 指数函数，将和式与 Tate 代数中的 zeta 值联系起来，并与经典 zeta 函数建立类比。

实验结果

研究问题

• RQ1 当 $s \equiv 1 \pmod{q-1}$ 时，扭曲 $A$-调和和 $F_d(1;s)$ 的结构是什么？其是否可由多项式插值？
• RQ2 在 Carlitz 模形式框架下，有限 zeta 值与特征零情形相比有何不同，特别是在非零性方面？
• RQ3 插值函数 $\mathbb{H}_s$ 对于 $F_d(1;s)$ 的显式形式及其次数结构是什么？其如何依赖于 $s$ 与 $m$？
• RQ4 是否可在 Carlitz 设定下构造非零有限 zeta 值？其与 Bernoulli-Carlitz 数有何关联？
• RQ5 在 Carlitz 有限 zeta 值背景下，Kaneko-Zagier 猜想是否存在有意义的类比？

主要发现

• 定理 1 表明，当 $s \equiv 1 \pmod{q-1}$ 时，和式 $F_d(1;s)$ 由 $\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$ 给出，其中 $\mathbb{H}_s$ 是 $K(Y, \underline{t}_s)$ 中的有理函数。
• 当 $s = 1$ 时，插值函数显式为 $\mathbb{H}_1 = \frac{1}{t_1 - \theta}$，即在 $t_1 = \theta$ 处具有单极点的有理函数。
• 当 $s = 1 + m(q-1)$ 时，$\mathbb{H}_s$ 是 $A[Y, \underline{t}_s]$ 中的多项式，且对每个 $i$ 有 $\deg_{t_i}(\mathbb{H}_s) = m - 1$。
• 在 $Y$ 上的次数为 $\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$，且该多项式由这些次数约束唯一确定。
• 在 Carlitz 框架下，有限 zeta 值 $\zeta_A(1;s)$ 对于 $s \equiv 1 \pmod{q-1}$ 非零，与特征零下有限 zeta 值的零值形成鲜明对比。
• Anglès, Ngo Dac 与 Tavares Ribeiro 已证明 $\left(\operatorname{BC}_{|P|-s} \pmod{P}\right)_P$ 是 $\mathcal{A}_0^\times$ 中的单位，证实了该猜想，并展示了与 Carlitz 框架下 Kaneko-Zagier 猜想的深刻类比。