[论文解读] p-Density, exponential sums and Artin-Schreier curves

Régis Blache|arXiv (Cornell University)|Dec 17, 2008

Coding theory and cryptography参考文献 6被引用 8

一句话总结

本文引入了有限子集 $D \subset \mathbb{N}^r$ 的 $p$-密度概念，为有限域上指数和的 $p$-进赋值提供了精确的下界。关键结果表明，$D$ 的 $p$-密度等于由指数属于 $D$ 的 Artin-Schreier 曲线 $y^p - y = f(x)$ 的 Newton 多边形的通用首斜率，统一并推广了 Stickelberger 定理，从而为超奇异性的判定提供了系统性准则。

ABSTRACT

In this paper we define the $p$-density of a finite subset $D\subset\ma{N}^r$, and show that it gives a good lower bound for the $p$-adic valuation of exponential sums over finite fields of characteristic $p$. We also give an application: when $r=1$, the $p$-density is the first slope of the generic Newton polygon of the family of Artin-Schreier curves associated to polynomials with their exponents in $D$.

研究动机与目标

• 为有限子集 $D \subset \mathbb{N}^r$ 定义一种新不变量 $p$-密度，以捕捉在指数和估计中出现的模方程组解的最小 $p$-权重。
• 为指数和的 $p$-进赋值提供统一的、依赖于 $p$ 的下界，改进仅依赖于次数或 Newton 单纯形的先前界限。
• 将 $p$-密度应用于确定 $p$-秩为零的 Artin-Schreier 曲线族的 $L$-函数的通用 Newton 多边形的首斜率。
• 基于指数集的 $p$-密度，建立 Artin-Schreier 曲线超奇异性的判定准则。

提出的方法

• 将 $p$-密度 $\pi_p(D)$ 定义为：在模 $q-1$ 的非零解 $U$ 的所有取值中，对归一化的 $p$-权重 $\sigma_p(\sum u_i d_i)/\sigma_p(q-1)$ 取下确界。
• 利用 Moreno 等人模方程组的结构，刻画解的最小 $p$-权重，证明 $\pi_p(D)$ 对无穷多个 $q = p^m$ 可达。
• 应用 Grothendieck 的专门化定理，证明 $f(x)$ 的 $L$-函数存在一个通用 Newton 多边形 $GNP(D,p)$，其首斜率为 $s_1(D,p)$。
• 通过对偶性论证证明 $s_1(D,p) = \pi_p(D)$：$p$-密度给出的下界是精确的，因为对某个 $f$ 和某个 $\mathbb{F}_q$ 可实现等号。
• 利用等式 $s_1(D,p) = \pi_p(D)$ 推导出超奇异性的判定准则：当且仅当 $\pi_p(D) = \frac{1}{2}$ 时，曲线为超奇异。

实验结果

研究问题

• RQ1 对于固定有限集 $D \subset \mathbb{N}^r$ 中指数的多项式，其在 $\mathbb{F}_q$ 上的指数和的最小 $p$-进赋值是多少？
• RQ2 集合 $D$ 的 $p$-密度如何与 Artin-Schreier 曲线 $y^p - y = f(x)$ 的 $L$-函数的 Newton 多边形相关？
• RQ3 能否利用 $p$-密度判断某类 Artin-Schreier 曲线是否为超奇异？
• RQ4 $p$-密度是否为通用 Newton 多边形首斜率的精确不变量？

主要发现

• 对无穷多个 $q = p^m$，$p$-密度 $\pi_p(D)$ 是 $\mathbb{F}_q$ 上指数和的 $p$-进赋值的精确下界，且该下界可实现。
• Artin-Schreier 曲线 $y^p - y = f(x)$ 的 $L$-函数的通用 Newton 多边形的首斜率恰好为 $\pi_p(D)$。
• 当且仅当 $\pi_p(D) = \frac{1}{2}$ 时，一类 Artin-Schreier 曲线为超奇异，从而提供了一个统一的超奇异判定准则。
• 当 $p=2$ 时，$2$-秩为零且亏格 $g \in \{2^{n-1}-1, \dots, 2^n - 2\}$ 的曲线的通用首斜率为 $\frac{1}{n}$，与已知结果一致。
• $p$-密度推广了 Stickelberger 定理：当 $D = \{d\}$ 时，$\pi_p(D)$ 等于与阶整除 $d$ 的特征相关的 Gauss 和的最小 $p$-进赋值。
• 该方法为识别新的超奇异 Artin-Schreier 曲线族提供了系统性方法，包括此前未知的示例，如 $y^3 - y = x^{14} + a x^2 + b x$。