[论文解读] Valuations of exponential sums and Artin-Schreier curves

Régis Blache|arXiv (Cornell University)|Feb 3, 2015

Coding theory and cryptography参考文献 7被引用 3

一句话总结

该论文在奇特征有限域上建立了指数和的 $p$-进赋值的紧下界，将其与 $p$-秩为 0 的 Artin-Schreier 曲线的牛顿多边形联系起来。证明了当其亏格为 $\frac{1}{2}(p-1)(i(p^n-1)-1)$ 且满足 $n(p-1)>2$ 时，此类曲线不可能为超奇异，并通过 $p$-权分析与上同调模上的 Frobenius 作用，确定了通用牛顿多边形的第一个顶点及其关联的 Hasse 多项式。

ABSTRACT

Let $p$ denote an odd prime. In this paper, we are concerned with the $p$-divisibility of additive exponential sums associated to one variable polynomials over a finite field of characteristic $p$, and with (the very close question of) determining the Newton polygons of some families of Artin-Schreier curves, i.e. $p$-cyclic coverings of the projective line in characteristic $p$. We first give a lower bound on the $p$-divisibility of exponential sums associated to polynomials of fixed degree. Then we show that an Artin-Schreier curve defined over a finite field of characteristic $p$ cannot be supersingular when its genus $g$ has the form $(p-1)\left(i(p^n-1)-1 ight)/2$ for some $1\leq i\leq p-1$ and $n\geq 1$ such that $n(p-1)>2$. We also determine the first vertex of the generic Newton polygon of the family of $p$-rank $0$ Artin-Schreier curves of fixed genus, and the associated Hasse polynomial.

研究动机与目标

• 建立奇特征有限域上加法指数和的 $p$-进赋值的精确下界。
• 确定固定亏格的 $p$-秩 0 的 Artin-Schreier 曲线的通用牛顿多边形的第一个顶点。
• 刻画在模空间中与该第一个顶点共享的曲线簇的 Hasse 多项式。
• 证明在特定亏格条件下，某些 Artin-Schreier 曲线族不可能为超奇异。

提出的方法

• 通过模 $q-1$ 的同余方程，利用指数集的 $p$-权分析来界定指数和的赋值。
• 应用上同调模上的 Frobenius 作用，计算半单向量子空间的维数，从而确定牛顿多边形的第一个顶点。
• 在单项式基上构造 Frobenius 算子的矩阵表示，通过限制算子的行列式计算，得到 Hasse 多项式。
• 利用 Artin-Schreier 化简，假设多项式次数与 $p$ 互素，以简化分析。
• 通过迭代 Frobenius 作用与轨道的线性无关性，分析牛顿多边形的最小支撑。
• 根据次数范围，将 Hasse 多项式导出为非零行列式或系数乘积之和。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q$ 上，对于次数为 $d$ 的多项式，指数和的 $p$-进赋值的最紧下界是什么？
• RQ2 在奇特征下，哪些亏格 $g$ 的 $p$-秩 0 的 Artin-Schreier 曲线不是超奇异的？
• RQ3 对于固定次数 $d$ 的 $p$-秩 0 的 Artin-Schreier 曲线，其通用牛顿多边形的第一个顶点是什么？
• RQ4 在系数空间中，定义 Zariski 开集的多项式是什么，使得牛顿多边形达到其第一个顶点？
• RQ5 指数集的 $p$-权如何与 Artin-Schreier 曲线的牛顿多边形结构相关？

主要发现

• 当 $d \geq \frac{p-1}{2}$ 时，若 $p^n - 1 \leq d \leq p^{n+1} - p - 1$，则赋值满足 $v_q(S(f)) \geq \frac{1}{n(p-1)}$，且该界是紧的。
• 当 $p^{n+1} - p + 1 \leq d \leq p^{n+1} - 2$ 且 $n \geq 1$ 时，该界为 $v_q(S(f)) \geq \frac{2}{(2n+1)(p-1)}$，且对某些 $f$ 可取等。
• 当 $\frac{p-1}{2} \leq d \leq p-2$ 且 $p \geq 5$ 时，该界为 $v_q(S(f)) \geq \frac{2}{p-1}$，且该界也是紧的。
• 当 $d = p^{n+1} - 2$ 时，$p$-秩 0 的 Artin-Schreier 曲线的通用牛顿多边形的第一个顶点为 $((2n+1)(p-1), 2)$，Hasse 多项式为 $\sum_{i=2}^{p-1} c_{p^{n+1}-i}^{p^n} c_{ip^n - 1}$。
• 当 $d = p^{n+1} - p - 1$ 时，第一个顶点为 $(n(p-1)p, p)$，Hasse 多项式由涉及 $f^{\lceil \frac{p-1}{d} \rceil}$ 系数的矩阵行列式给出。
• 当 $n(p-1) > 2$，$1 \leq i \leq p-1$，$n \geq 1$ 时，不存在亏格为 $g = \frac{1}{2}(p-1)(i(p^n - 1) - 1)$ 的超奇异 Artin-Schreier 曲线。