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

Hui June Zhu|arXiv (Cornell University)|Jun 26, 2002

Algebraic Geometry and Number Theory被引用 2

一句话总结

该论文通过证明达庆·万的猜想，表明在Q̄上首一d次多项式的一个Zariski稠密开子集上，与一元指数和相关的L函数的p进Newton多边形在p → ∞时收敛于p进Hodge多边形。该结果在单变量指数和的背景下，建立了算术几何与p进L函数之间深刻的渐近联系。

ABSTRACT

Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number field generated by coefficients of f in Qbar. Let A^d be the dimension-d affine space over Qbar, identified with the space of coefficients of degree-d monic polynomials. Let NP(f mod P) denote the p-adic Newton polygon of L(f mod P;T). Let HP(A^d) denote the p-adic Hodge polygon of A^d. We prove that there is a Zariski dense open subset U defined over Q in A^d such that for every geometric point f(x) in U(Qbar) we have lim_{p-->oo} NP(f mod P) = HP(A^d), where P is any prime ideal in the ring of integers of Q(f) lying over p. This proves a conjecture of Daqing Wan.

研究动机与目标

• 解决达庆·万关于一元指数和的p进Newton多边形渐近行为的猜想。
• 在数域上d次多项式的背景下，建立p进Newton多边形与p进Hodge多边形之间的精确关系。
• 证明该收敛性在系数空间A^d上Q̄上的Zariski稠密开子集上成立。
• 为L函数Newton多边形在p趋于无穷时的渐近极限提供几何与算术刻画。

提出的方法

• 作者在A^d（首一d次多项式空间）中工作，将其识别为Q̄上的系数空间。
• 他们考虑多项式f在Q(f)的整闭包中模一个素理想P（位于p之上）的约化。
• 他们分析了与f的指数和相关的L函数L(f mod P; T)的p进Newton多边形NP(f mod P)。
• 他们将NP(f mod P)与系数空间A^d的内在不变量p进Hodge多边形HP(A^d)进行比较。
• 利用代数几何与p进Hodge理论，他们构造了一个定义在Q上的Zariski稠密开子集U ⊂ A^d，使得对所有f ∈ U(Q̄)，当p → ∞时，Newton多边形稳定收敛于HP(A^d)。
• 该证明依赖于U的稠密性以及在数域中模素理想约化下L函数的行为。

实验结果

研究问题

• RQ1 当p → ∞时，d次多项式的L函数的p进Newton多边形是否收敛于p进Hodge多边形？
• RQ2 是否存在系数空间A^d中一个几何自然的子集，使得该收敛性成立？
• RQ3 是否可以对所有大素数p统一控制Newton多边形的渐近行为？
• RQ4 系数空间A^d的Hodge多边形与单个指数和的Newton多边形之间有何关系？

主要发现

• 对于定义在Q上的Zariski稠密开子集U ⊂ A^d，对所有f ∈ U(Q̄)，当p → ∞时，p进Newton多边形NP(f mod P)收敛于HP(A^d)。
• 该收敛性对Q(f)整环中位于p之上的任意素理想P均一致成立。
• 该结果确认了达庆·万关于一元指数和背景下Newton多边形渐近极限的猜想。
• 极限多边形HP(A^d)是系数空间A^d的内在不变量，作为L函数Newton多边形的渐近基准。
• 该收敛性在所有与d互素且d > 2的素数p上成立，确保了其在算术几何中的广泛适用性。