[论文解读] Zeroes of $L$-series in characteristic $p$

David Goss|ArXiv.org|Jan 30, 2006

advanced mathematical theories参考文献 19被引用 5

一句话总结

本文提出一个普遍猜想，将特征 $p$ 上 $L$-级数的非经典平凡零点与相关整数的 $p$-进数字和的有界性联系起来。该研究扩展了 Thakur 和 Diaz-Vargas 的早期工作，表明当 $p$-进数字和有界时，其阶数超过经典预期的非经典零点恰好出现，暗示正特征下函数方程背后存在更深层次的结构。

ABSTRACT

In the classical theory of $L$-series, the exact order (of zero) at a trivial zero is easily computed via the functional equation. In the characteristic $p$ theory, it has long been known that a functional equation of classical $s\mapsto 1-s$ type could not exist. In fact, there exist trivial zeroes whose order of zero is ``too high;'' we call such trivial zeroes ``non-classical.'' This class of trivial zeroes was originally studied by Dinesh Thakur \cite{th2} and quite recently, Javier Diaz-Vargas \cite{dv2}. In the examples computed it was found that these non-classical trivial zeroes were correlated with integers having {\it bounded} sum of $p$-adic coefficients. In this paper we present a general conjecture along these lines and explain how this conjecture fits in with previous work on the zeroes of such characteristic $p$ functions. In particular, a solution to this conjecture might entail finding the ``correct'' functional equations in finite characteristic.

研究动机与目标

• 理解特征 $p$ 上函数域上 $L$-级数中非经典平凡零点的结构，这些零点偏离经典行为，表现为在预期之外具有更高阶的消失。
• 推广 Thakur 和 Diaz-Vargas 的经验观察结果，即非经典零点与相关整数的 $p$-进数字和有界性相关。
• 提出一个统一的猜想，通过有界的 $p$-进数字和来刻画非经典零点集，可能揭示有限特征下的‘正确’函数方程。
• 探讨该猜想对 $p$-进 $L$-函数和牛顿多边形斜率构造的影响，特别是与非经典零点的关系。
• 为将此类行为推广至德林费尔德模之外的动机和伽罗瓦表示的 $L$-级数奠定基础。

提出的方法

• 提出一个普遍猜想（猜想 1），即在位置 $w$ 处的非经典零点集 $N_w$ 由满足 $p$-进数字和 $l_p(j)$ 有界的整数 $j$ 组成。
• 采用德林费尔德模和函数域上 $L$-级数的框架，特别关注 $A = \mathbb{F}_r[T]$（其中 $r = p^m$），以模拟黎曼 zeta 函数在特征 $p$ 下的类比。
• 分析 $L$-级数在负整数处的消失阶数，区分经典零点（阶数为 $1$）与非经典零点（阶数 $>1$），并将其与 $p$-进数字和关联。
• 应用牛顿多边形理论（如 Wan 的工作）表明，零点由其绝对值唯一确定，在经典情况下为单重零点，与非经典情况形成对比。
• 通过其 $p$-进数字递推构造 $p$-进数 $\alpha$，以探究非经典零点是否能产生长度大于 $1$ 的牛顿多边形斜率。
• 通过例 4 表明，若猜想 1 成立，则此类病态的 $\alpha$-构造不能仅由非经典零点引起，因为当 $l_p(j) > C$ 时其影响会消失。

实验结果

研究问题

• RQ1 哪些整数 $j$ 满足 $L$-级数 $\zeta_A(s)$ 在 $s = -j$ 处具有非经典平凡零点？
• RQ2 是否存在一个精确的算术不变量（如 $p$-进数字和）可决定一个平凡零点是否为非经典？
• RQ3 非经典零点集是否能通过 $p$-进数字和 $l_p(j)$ 的有界性完全描述？若能，该有界值由什么决定？
• RQ4 非经典零点的结构如何与正特征下函数方程的存在性相关联，特别是在经典对称性 $s \mapsto 1-s$ 失效时？
• RQ5 该猜想在多大程度上可推广至德林费尔德模之外的动机或伽罗瓦表示的 $L$-级数？

主要发现

• 特征 $p$ 上 $L$-级数的非经典平凡零点出现在 $s = -j$ 处的消失阶数超过经典下界时，且这些零点与 $p$-进数字和 $l_p(j)$ 有界的整数 $j$ 相关。
• 在 $A = \mathbb{F}_2[T]$ 情况下，Thakur 证明 $\zeta_A(s)$ 在 $s = -j$ 处具有非经典零点当且仅当 $l_2(j) \leq g$，其中 $g$ 为函数域的亏格，且该界是精确的。
• 对于 $A = \mathbb{F}_3[T]$，Thakur 的结果表明 $s = -7$ 处的零点为单重零点，表明 $l_2(7) = 4 > 2$，与猜想一致：仅当数字和有界时才出现非经典零点。
• 该猜想意味着，当 $l_p(j)$ 超过某一界限 $C$ 后，$s = -j$ 处的零点变为经典（即单重），从而限制了非经典零点对 $p$-进 $L$-函数斜率的影响。
• 例 4 表明，若猜想 1 成立，则构造具有无穷多个大于 $1$ 的牛顿多边形斜率的 $p$-进数 $\alpha$ 不能仅由非经典平凡零点驱动，因为其贡献在数字和超过界限后消失。
• 该猜想表明，特征 $p$ 下的‘正确’函数方程可能涉及平移 $s \mapsto k - s$ 而非 $s \mapsto 1 - s$，如例 5 所示：$L(\psi,s) = \zeta_A(s-1)$，因此 $L(\psi,s)$ 中 $j$ 的非经典性对应于 $l_p(j+1)$ 有界。