[论文解读] Asymptotic variation of L-functions of exponential sums

Hui June Zhu|arXiv (Cornell University)|Nov 26, 2012

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文通过证明：对于具有指定牛顿多面体 $\Delta$ 的洛朗多项式，在多面体和系数支集满足组合条件时，当 $p \to \infty$，$L$-函数的归一化牛顿多边形稳定收敛至霍奇多边形，从而确立了有限域上指数和 $L$-函数的渐近行为。该结果证实了万大庆关于环面超曲面和阿廷-施赖埃尔簇的通用牛顿多边形的两个猜想。

ABSTRACT

Let Delta be an integral convex polytope containing the origin of dimension n in the n-dim real space and it is simplicial at all origin-less facets. Let A(Delta) be the space of all Laurent polynomials f parametered by its coefficients supported on the interior of Delta with with prescribed vertices. In this paper we prove that, if the interior points of Delta and its vertices generate almost all integral points in the cone of Delta, then there is a Zariski dense open subset U in A(Delta) defined over the rationals such that for every f in U(bar{Q}) and for p large enough the Newton polygon of the L function of exponential sum of f is equal to the generic Newton polygon for A(Delta)(bar{F_p}), and as p approaches infinity they both approach an absolute lower bound depending only on Delta. This paper also proves the following result for affine toric hypersurfaces: Let T_Delta be the space of all regular affine toric hypersurfaces given by f=0 for all Laurent polynomials f with given Newton polytope Delta. If the set of all integral points in Delta has a unimodular triangulation, then for p large enough the generic Newton polygon of T_Delta over bar{F_p} coincides with the Hodge polygon defined in terms of Hodge numbers of the toric family T_Delta determined solely by Delta.

研究动机与目标

• 确定当 $p \to \infty$ 时，有限域上指数和 $L$-函数的归一化牛顿多边形（GNP）的渐近行为。
• 证明当牛顿多面体允许单模剖分时，环面超曲面的通用牛顿多边形等于霍奇多边形。
• 建立一个洛朗多项式的扎里斯基余稠密开子集，使得牛顿多边形在 $p \to \infty$ 时达到通用值并收敛至霍奇多边形。
• 将这些结果应用于由 $y^p - y = \overline{f}$ 定义的环面阿廷-施赖埃尔簇的 zeta 函数。

提出的方法

• 使用 $p$-进 Dwork 理论和刚性上同调分析洛朗多项式关联的指数和 $L$-函数。
• 应用弗雷德霍姆行列式理论与刚性核性理论，控制 $L$-函数系数的 $p$-进赋值。
• 利用 $\mathbf{Q}[A]$ 中的全局哈塞多项式 $P^*_{\mathbf{A}^J}$ 定义扎里斯基余稠密开集 $\mathcal{U}$，使得牛顿多边形达到通用值。
• 依赖牛顿多面体 $\Delta$ 的单模剖分的存在性，以确保锥 $C(\Delta)$ 的希尔伯特基由 $\Delta$ 的格点生成。
• 使用渐近希尔伯特基与刚性变换的概念，分析当 $p \to \infty$ 时牛顿多边形的极限，证明其收敛至霍奇多边形。
• 应用阿多夫森-斯佩伯与杜克的结果，将 $L$-函数与 $\mathbf{F}_p$ 上超曲面的 zeta 函数联系起来。

实验结果

研究问题

• RQ1 对于具有给定牛顿多面体 $\Delta$ 的洛朗多项式，指数和 $L$-函数的通用牛顿多边形是否在 $p \to \infty$ 时收敛至霍奇多边形？
• RQ2 在何种组合条件下，牛顿多面体 $\Delta$ 与系数支集使得 $L$-函数的牛顿多边形达到其最小可能下界？
• RQ3 当 $\Delta$ 允许单模剖分时，是否可证明环面超曲面的通用牛顿多边形等于霍奇多边形？
• RQ4 是否存在一个洛朗多项式的扎里斯基余稠密开子集，使得牛顿多边形在 $p \to \infty$ 时稳定至通用值并收敛至霍奇多边形？
• RQ5 对于由 $y^p - y = \overline{f}$ 定义的阿廷-施赖埃尔簇，指数和 $L$-函数的渐近行为如何？

主要发现

• 对于扎里斯基余稠密开子集 $\mathcal{U} \subset \mathbf{A}_V^J$ 中的洛朗多项式 $f$，当 $p$ 足够大时，归一化牛顿多边形 $\mathrm{NP}(\overline{f})$ 等于通用牛顿多边形 $\mathrm{GNP}(\mathbf{A}_V^J, \overline{\mathbf{F}}_p)$。
• 当 $p \to \infty$ 时，归一化牛顿多边形的极限为霍奇多边形 $\mathrm{HP}(\Delta)$，即对所有足够大的 $p$，有 $\lim_{p \to \infty} \mathrm{NP}(\overline{f}) = \mathrm{HP}(\Delta)$，其中 $f \in \mathcal{U}(\overline{\mathbf{Q}})$。
• 若牛顿多面体 $\Delta$ 允许单模剖分，则对所有足够大的 $p$，有 $\mathrm{GNP}(\mathbf{T}_\Delta, \overline{\mathbf{F}}_p) = \mathrm{HP}(\mathbf{T}_\Delta)$。
• 阿廷-施赖埃尔簇 $y^p - y = \overline{f}$ 的指数和 $L$-函数的归一化牛顿多边形在 $p \to \infty$ 时收敛至霍奇多边形。
• 全局哈塞多项式 $P^*_{\mathbf{A}^J}$ 非零且与 $p$ 无关，其非零性定义了牛顿多边形达到通用值的扎里斯基余稠密开集 $\mathcal{U}$。
• $L$-函数系数的 $p$-进赋值收敛至霍奇多边形的斜率序列，误差项随 $p \to \infty$ 而消失，这是由于 $\frac{m_k}{p-1}$ 修正项趋于零。