[论文解读] Twisted characteristic $p$ zeta functions

Bruno Anglès, Tuân Ngô Dac+1 more|arXiv (Cornell University)|Mar 13, 2016

Advanced Mathematical Identities参考文献 42被引用 8

一句话总结

本文引入了在全局函数域上定义的扭曲特征 $p$ zeta 函数，通过引入可接受映射和多变量，推广了 Goss 的 zeta 函数和 Pellarin 的 $L$-级数。利用一个关键的零化引理和 $v$-进插值，作者证明了这些 $L$-函数的收敛性与代数性，将 Thakur 的多重 zeta 值推广至扭曲和 $v$-进设置。

ABSTRACT

We propose a "twisted" variation of zeta functions introduced by David Goss in 1979.

研究动机与目标

• 通过使用可接受映射引入 '扭曲' 变体，推广 Goss 的特征 $p$ zeta 函数。
• 将正特征下 $L$-函数的理论推广至多变量和多位置的情形。
• 建立全局函数域上扭曲 zeta 函数的收敛性与代数性。
• 为多个扭曲 zeta 函数发展 $v$-进插值，推广 Thakur 的多重 zeta 值。
• 为研究正特征下 $L$-函数的特殊值和 $p$-进性质提供一个框架。

提出的方法

• 定义可接受映射 $\eta: I(A) \to K^\times_\infty$，满足对有限指数开子群中的 $a$，有 $\eta(Ia) = \eta(I)\langle a\rangle^{n(\eta)} \gamma^{v_\infty(a)}$。
• 通过 $s$ 个嵌入 $\rho_i: K(\eta) \to C_\infty$ 和 $n$ 个连续映射 $\sigma_j: K_\infty(\langle\eta\rangle) \to C_\infty$ 构造扭曲 zeta 函数 $\zeta_{\eta,A}(\rho; \sigma; u)$。
• 利用关键的技术引理（引理 3.2）证明对首一多项式求和的某些项为零，从而确保在 $C_\infty^\times \times \mathbb{Z}_p^n$ 上的收敛性。
• 通过嵌套理想 $I_1 > I_2 > \cdots > I_r$ 或 $I_1 \geq \cdots \geq I_r$ 上的求和，引入多个扭曲 zeta 函数，其中权重包含 $\eta(I_j)^{n_j}$ 和 $z_j^{\deg I_j}$。
• 通过定义 $Z_{v,\eta,A}(n;z)$ 为 $Z_{\eta,A}((m_k,n_2,\dots,n_r);z)$ 当 $m_k \to n_1$ 沿 $p$-进方式趋于 $n_1$ 时的 $P_v$-进极限，建立 $v$-进插值。
• 证明 $Z_{v,\eta,A}(n;z)$ 和 $Z^*_{v,\eta,A}(n;z)$ 是 $C_v^r$ 上的整函数，推广了 Thakur 的多重 zeta 值。

实验结果

研究问题

• RQ1 如何通过可接受映射将 Goss 的 zeta 函数推广至包含扭曲参数的情形？
• RQ2 哪些条件能确保这些多变量扭曲 $L$-函数的收敛性与代数性？
• RQ3 如何在正特征下实现多个扭曲 zeta 函数的 $v$-进插值？
• RQ4 当指数趋于负整数时，扭曲 zeta 函数的 $P_v$-进极限是什么？
• RQ5 该框架能否恢复或扩展 Thakur 的多重 zeta 值及其在 Tate 代数中的形变？

主要发现

• 扭曲 zeta 函数 $\zeta_{\eta,A}(\rho; \sigma; u)$ 在 $C_\infty^\times \times \mathbb{Z}_p^n$ 上收敛，且本质上是代数的：当 $y_i \in \mathbb{N}$ 时，有 $\zeta_{\eta,A}(\dots; (\prod \theta_i^{y_i}x, -y_1, \dots, -y_n)) \in F_q[t_1,\dots,t_s,\theta_1,\dots,\theta_n,x^{-1}]$。
• 当 $n(\eta) \in \mathbb{Z}$ 且 $n_1 n(\eta) \leq 0$ 时，多重扭曲 zeta 函数 $Z_{\eta,A}(n;z)$ 和 $Z^*_{\eta,A}(n;z)$ 属于 $K(\eta_i(I), I \in I(A), i=1,\dots,r)[z_1,\dots,z_r]$。
• $v$-进扭曲 zeta 函数 $Z_{v,\eta,A}(n;z)$ 和 $Z^*_{v,\eta,A}(n;z)$ 是 $C_v^r$ 上的整函数，推广了 Thakur 的多重 zeta 值。
• 当 $A = \mathbb{F}_q[\theta]$，$\pi = 1/\theta$，且 $\eta = [\cdot]$ 时，函数 $Z_{v,\eta,A}(n;z)$ 恢复了 Thakur 的多重 zeta 值的 $P_v$-进极限。
• $v$-进极限满足 $Z_{v,\eta,A}(n;z) = \lim_{k \to \infty} Z_{\eta,A}((m_k,n_2,\dots,n_r);z)$ 在 Tate 代数 $T_z(K_v)$ 中成立，其中 $m_k \to n_1$ 沿 $p$-进方式。
• 当 $n_1,\dots,n_r \leq 0$ 时，有 $Z_{v,\eta,A}(n;z) \equiv Z_{\eta,A}(n;z) \mod P^{n_1}A[z_1,\dots,z_r]$，表明与全局版本相容。