[论文解读] Hodge-Stickelberger polygons for L-functions of exponential sums of P(x^s)

Régis Blache, Éric Férard+1 more|ArXiv.org|Jun 15, 2007

Analytic Number Theory Research参考文献 12被引用 6

一句话总结

本文引入了霍奇-斯蒂克尔贝格多边形作为 q-进 L-函数的 q-进牛顿多边形的紧下界，该 L-函数与形如 P(x^s) 的指数和相关，其中 P 是洛朗多项式且 s 与特征 p 互素。该下界通过 P(x) 的霍奇多边形与 x^s 的牛顿多边形的加权卷积构造而成，并证明在固定模 s 同余类中，当 p → ∞ 时，该下界在一般情形下可达到，其应用包括阿廷-施莱尔曲线的 zeta 函数。

ABSTRACT

Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of exponential sums of P(x^s) has a tight lower bound which we call `Hodge-Stickelberger polygon', depending only on d_1,d_2,s, and (p mod s). This Hodge-Stickelberger polygon is a weighted convolution of a `Hodge polygon' for L-function of exponential sum of P(x) and the `Newton polygon' for L-function of exponential sum of x^s (given by the classical Stickelberger theory). We prove an analogous Hodge-Stickelberger lower bound for multivariable Laurent polynomials as well. We prove this Hodge-Stickelberger polygon is the limit of generic Newton polygons of P(x^s) in a sense that was made explicit in the paper.

研究动机与目标

• 为指数和 P(x^s) 的 q-进牛顿多边形建立一个紧下界，其中 P 是洛 Laurent 多项式且 s 与特征 p 互素。
• 定义并表征霍奇-斯蒂克尔贝格多边形，作为 P(x) 的霍奇多边形与 x^s 的牛顿多边形的加权卷积，基于模 s 下乘 p 的循环分解。
• 证明对每个模 s 的剩余类 ν，存在一个 Zariski 稠密开子集 𝒰_ν，使得当 p → ∞ 且 p ≡ ν mod s 时，L(P(x^s)/𝔽_q; T) 的牛顿多边形收敛于霍奇-斯蒂克尔贝格多边形。
• 将主要结果推广至多变量洛 Laurent 多项式，证明牛顿多边形位于霍奇-斯蒂克尔贝格多边形之上，并在非退化性和维数条件下在端点处相交。
• 将该下界应用于估计由 y^p - y = P(x^s) 定义的阿廷-施莱尔曲线的 zeta 函数的倒数根的 q-进赋值，为分子的牛顿多边形提供紧下界。

提出的方法

• 霍奇-斯蒂克尔贝格多边形通过连接斜率为 (m+1−λ_i)/d_1 和 (m+λ_i)/d_2 的线段构造，每段长度为 ℓ_i，其中 λ_i 和 ℓ_i 由模 s 下乘 p 的循环分解导出。
• 该构造利用乘 p 模 s 所诱导的置换的循环分解 σ = ∏σ_i，其中 λ_i = (∑_{j∈σ_i} j)/(sℓ_i)，确保 0 ≤ λ_i < 1。
• 该方法应用 Dwork 迹公式和 Monsky-Reich 迹公式分析扭曲指数和的 L-函数，特别是针对 P(x^s) 的情形。
• 在多变量情形下，霍奇-斯蒂克尔贝格多边形通过 ℤ^n 上的权函数 w 定义，将斜率为 w(𝐦 − 𝐥_𝐢) 的线段按长度 ℓ_1,i_1⋯ℓ_n,i_n 连接，其中 𝐦 取遍牛顿多面体 C(𝐏) ∩ ℤ^n 的整数点。
• 证明依赖于 𝐏 的非退化条件以及牛顿多面体 Δ(𝐏) 的维数等于 n，以确保 L-函数的分子为多项式。
• 通过 p ≡ ν mod s 且 p → ∞ 时，L(P(x^s)/𝔽_q; T) 的牛顿多边形在 ℚ 上的 Zariski 稠密开子集 𝒰_ν 中的通用 P 上收敛于霍奇-斯蒂克尔贝格多边形，从而建立渐近收敛性。

实验结果

研究问题

• RQ1 P(x^s) 的 L-函数的 q-进牛顿多边形的紧下界是什么，其中 s 与特征 p 互素？
• RQ2 霍奇-斯蒂克尔贝格多边形如何通过加权卷积与 P(x) 的霍奇多边形和 x^s 的牛顿多边形相关联？
• RQ3 对于固定的模 s 剩余类 ν，当 p → ∞ 且 p ≡ ν mod s 时，L(P(x^s)/𝔽_q; T) 的牛顿多边形是否收敛于一个通用下界？
• RQ4 霍奇-斯蒂克尔贝格多边形能否推广至多变量洛 Laurent 多项式？在何种条件下牛顿多边形位于其上方？
• RQ5 该下界对阿廷-施莱尔曲线 y^p - y = P(x^s) 的 zeta 函数有何影响，特别是对倒数根的 q-进赋值？

主要发现

• 霍奇-斯蒂克尔贝格多边形是 L(P(x^s)/𝔽_q; T) 的 q-进牛顿多边形的紧下界，且不依赖于基域 𝔽_q 的选择。
• 对每个 ν ∈ (ℤ/sℤ)^×，存在一个 ℙ^1(ℚ) 的 Zariski 稠密开子集 𝒰_ν，使得对所有 P ∈ 𝒰_ν(ℚ̄)，当 p → ∞ 且 p ≡ ν mod s 时，L(P(x^s)/𝔽_q; T) 的牛顿多边形收敛于霍奇-斯蒂克尔贝格多边形。
• 霍奇-斯蒂克尔贝格多边形显式构造为斜率为 (m+1−λ_i)/d_1 和 (m+λ_i)/d_2 的线段的拼接，每段长度为 ℓ_i，其中 ℓ_i 和 λ_i 由模 s 下乘 p 的循环分解导出。
• 在多变量情形下，L(P(x_1^{s_1},…,x_n^{s_n})/𝔽_q; T)^{(-1)^{n-1}} 的牛顿多边形位于霍奇-斯蒂克尔贝格多边形之上，并在非退化性和满维数条件下于端点处相交。
• 该下界意味着对阿廷-施莱尔曲线 y^p - y = P(x^s) 的 zeta 函数的倒数根的 q-进赋值提供了紧估计，为分子的牛顿多边形提供了下界。
• 该构造表明，当 s > 1 时，由于模 s 的不同剩余类对应不同的霍奇-斯蒂克尔贝格多边形，因此当 p → ∞ 时，通用牛顿多边形不存在单一极限。