[论文解读] p-adic variation of L-functions of exponential sums, I

Hui June Zhu|arXiv (Cornell University)|Nov 18, 2001

Meromorphic and Entire Functions参考文献 14被引用 3

一句话总结

本文建立了模 $p$ 的单变量指数和 $L$-函数的通用牛顿多边形的存在性，证明了当 $p$ 足够大时，$\mathbb{A}^d$ 中一般多项式 $f(x)$ 的牛顿多边形等于通用牛顿多边形 $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$，并且当 $p \to \infty$ 时，该多边形收敛于霍奇多边形 $\mathrm{HP}(\mathbb{A}^d)$。该结果证实了万大清关于 $L$-函数 $p$-进变化的猜想。

ABSTRACT

For a polynomial $f(x)$ in $(\mathbb{Z}_p\cap \mathbb{Q})[x]$ of degree $d>2$ let $L(f \bmod p;T)$ be the $L$-function of the exponential sum of $f \bmod p$. Let $\mathrm{NP}(f \bmod p)$ denote the Newton polygon of $L(f \bmod p;T)$. Let $\mathrm{HP}(f)$ denote the Hodge polygon of $f$, which is the lower convex hull in the real plane of the points $(n,n(n+1)/(2d))$ for $0\leq n\leq d-1$. We prove that there is a Zariski dense subset $\mathcal{U}$ defined over $\mathbb{Q}$ in the space $\mathbb{A}^d$ of degree-$d$ monic polynomials over $\mathbb{Q}$ such that for all $f$ in $\mathcal{U}(\mathbb{Q})$ we have $\lim_{p ightarrow\infty} \mathrm{NP}(f \bmod p) = \mathrm{HP}(f)$. Moreover, we determine the $p$-adic valuation of every coefficient of $L(f \bmod p;T)$ for $p$ large enough and $f$ in $\mathcal{U}(\mathbb{Q})$, and that of $L(x^d+a x \bmod p;T)$ for all $a eq 0$.

研究动机与目标

• 为解决万大清关于单变量指数和 $L$-函数的 $p$-进变化的猜想。
• 证明当 $p$ 足够大时，$\mathbb{F}_p$ 上次数为 $d$ 的首一多项式在 $\mathbb{A}^d$ 中存在通用牛顿多边形 $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$。
• 证明对于定义在 $\mathbb{Q}$ 上的扎里斯基稠密开集 $\mathcal{U} \subset \mathbb{A}^d$，当 $p$ 足够大时，$f \otimes \mathbb{F}_p$ 的牛顿多边形等于 $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$。
• 建立牛顿多边形在 $p \to \infty$ 时的极限行为，证明其收敛于霍奇多边形 $\mathrm{HP}(\mathbb{A}^d)$。
• 将结果推广至单参数族 $f(x) = x^d + ax$，并证明对任意非零 $a \in \mathbb{Q}$，有 $\lim_{p \to \infty} \mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p) = \mathrm{HP}(\mathbb{A}^d)$。

提出的方法

• 本文使用通过阿廷-哈斯指数函数和单位根 $\zeta_p$ 定义的指数和 $S_\ell(f \otimes \mathbb{F}_p)$ 的 $p$-进分析。
• 将牛顿多边形 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 定义为点列 $(n, \mathrm{ord}_p b_n)$ 的下凸包，其中 $b_n$ 是 $L$-函数 $L(f \otimes \mathbb{F}_p; T)$ 的系数。
• 霍奇多边形 $\mathrm{HP}(\mathbb{A}^d)$ 定义为点列 $(n, \frac{n(n+1)}{2d})$（$0 \leq n \leq d-1$）的下凸包。
• 作者构造了一个定义在 $\mathbb{Q}$ 上的扎里斯基稠密开集 $\mathcal{U} \subset \mathbb{A}^d$，使得当 $f \in \mathcal{U}(\mathbb{Q})$ 时，$p$ 足够大时牛顿多边形稳定为 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$。
• 对于单参数族 $f(x) = x^d + ax$，本文证明 $\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ 在 $p \to \infty$ 时收敛于 $\mathrm{HP}(\mathbb{A}^d)$。
• 关键技术工具包括阶乘与二项式系数的 $p$-进赋值估计，以及利用范德蒙德行列式控制 $L$-函数系数的首项。

实验结果

研究问题

• RQ1 当 $p$ 足够大时，通用牛顿多边形 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ 是否存在？
• RQ2 对于 $\mathbb{A}^d(\mathbb{Q})$ 中的一般多项式 $f$，当 $p$ 足够大时，$\mathrm{NP}(f \otimes \mathbb{F}_p)$ 是否等于 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$？
• RQ3 对于固定的 $f \in \mathbb{A}^d(\mathbb{Q})$，$\mathrm{NP}(f \otimes \mathbb{F}_p)$ 在 $p \to \infty$ 时的极限是什么？
• RQ4 对于任意非零 $a \in \mathbb{Q}$，$\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ 在 $p \to \infty$ 时的极限是否等于霍奇多边形 $\mathrm{HP}(\mathbb{A}^d)$？
• RQ5 是否能对 $L$-函数系数的 $p$-进赋值进行一致控制，以建立其收敛于霍奇多边形？

主要发现

• 当 $p$ 足够大时，通用牛顿多边形 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ 存在且可显式计算。
• 存在一个定义在 $\mathbb{Q}$ 上的扎里斯基稠密开集 $\mathcal{U} \subset \mathbb{A}^d$，使得对所有 $f \in \mathcal{U}(\mathbb{Q})$，当 $p$ 足够大时，有 $\mathrm{NP}(f \otimes \mathbb{F}_p) = \mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$。
• 当 $p \to \infty$ 时，$\mathcal{U}(\mathbb{Q})$ 中的 $f$ 的牛顿多边形 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 收敛于霍奇多边形 $\mathrm{HP}(\mathbb{A}^d)$。
• 对于单参数族 $f(x) = x^d + ax$（$a \neq 0$），有 $\lim_{p \to \infty} \mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p) = \mathrm{HP}(\mathbb{A}^d)$。
• $L$-函数系数的 $p$-进赋值满足 $\mathrm{ord}_p C_n \geq \frac{n(n+1)}{2d} + \epsilon_n'$，且等号成立当且仅当 $a \not\equiv 0 \pmod{p}$。
• 证明依赖于通过 $p$-进赋值估计和范德蒙德行列式恒等式控制 $L$-函数系数的首项，以确保牛顿多边形在极限下与霍奇多边形一致。