We investigate the rationality of Weil sums of binomials of the form $W^{K,s}_u=\sum_{x \in K} \psi(x^s - u x)$, where $K$ is a finite field whose canonical additive character is $\psi$, and where $u$ is an element of $K^{\times}$ and $s$ is a positive integer relatively prime to $|K^\times|$, so that $x \mapsto x^s$ is a permutation of $K$. The Weil spectrum for $K$ and $s$, which is the family of values $W^{K,s}_u$ as $u$ runs through $K^\times$, is of interest in arithmetic geometry and in several information-theoretic applications. The Weil spectrum always contains at least three distinct values if $s$ is nondegenerate (i.e., if $s$ is not a power of $p$ modulo $|K^\times|$, where $p$ is the characteristic of $K$). It is already known that if the Weil spectrum contains precisely three distinct values, then they must all be rational integers. We show that if the Weil spectrum contains precisely four distinct values, then they must all be rational integers, with the sole exception of the case where $|K|=5$ and $s \equiv 3 \pmod{4}$.
翻译:我们研究了形如$W^{K,s}_u=\sum_{x \in K} \psi(x^s - u x)$的二项式Weil和的有理性,其中$K$是有限域,其典范加法特征记为$\psi$,$u$属于$K^{\times}$,$s$是与$|K^\times|$互质的正整数,因此映射$x \mapsto x^s$是$K$上的置换。对于给定的$K$和$s$,当$u$遍历$K^\times$时,由值$W^{K,s}_u$构成的族称为Weil谱,它在算术几何及若干信息论应用中具有重要地位。若$s$是非退化的(即$s$在模$|K^\times|$意义下不是$p$的幂,其中$p$是$K$的特征),则Weil谱至少包含三个不同的值。已知当Weil谱恰好包含三个不同值时,这些值必为有理整数。我们证明:当Weil谱恰好包含四个不同值时,除$|K|=5$且$s \equiv 3 \pmod{4}$这一唯一例外情形外,这些值也必为有理整数。