arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0806.0044math.NTmath.AG
收藏

有限域上函数域的黎曼假设

The Riemann Hypothesis for Function Fields over a Finite Field

Machiel van Frankenhuijsen

摘要:

我们讨论了恩里科·贝耶里证明的黎曼假设曲线在有限域。重新表述后,它指出定义在有限域$\F_q$上的曲线$\C$上的点数为$q+O(\sqrt{q})$阶。第一个证明是由安德烈·韦尔在1942年给出的。这个证明使用了$\C\times\C$上除数的交集,使得到目前为止对原始黎曼假设的应用不成功,因为$\spec\Z\times\spec\Z=\spec\Z$是一维的。1969年,S. A.斯捷潘诺夫1973年,这种方法被Bubieri大大简化和推广。Bubieri的方法使用$\C\times\C$上的函数,再次排除了直接转换为原始黎曼假设的证明。然而,$\C\times\C$上的两个坐标具有不同的角色,一个坐标扮演多项式的变量的几何角色,而另一个坐标扮演该多项式的系数的算术角色。$\C$的弗罗贝尼乌斯自同构作用于$\C\times\C$的几何坐标。在最后一节中,我们提出了一些建议如何Nevanlinna理论可以提供一个模型的$\spec\Z\times\spec\Z$,是二维的,并进行了一个行动的Frobenius的几何坐标。

英文摘要:

We discuss Enrico Bombieri's proof of the Riemann hypothesis for curves over a finite field. Reformulated, it states that the number of points on a curve $\C$ defined over the finite field $\F_q$ is of the order $q+O(\sqrt{q})$. The first proof was given by André Weil in 1942. This proof uses the intersection of divisors on $\C\times\C$, making the application to the original Riemann hypothesis so far unsuccessful, because $\spec\Z\times\spec\Z=\spec\Z$ is one-dimensional. A new method of proof was found in 1969 by S. A. Stepanov. This method was greatly simplified and generalized by Bombieri in 1973. Bombieri's method uses functions on $\C\times\C$, again precluding a direct translation to a proof of the original Riemann hypothesis. However, the two coordinates on $\C\times\C$ have different roles, one coordinate playing the geometric role of the variable of a polynomial, and the other coordinate the arithmetic role of the coefficients of this polynomial. The Frobenius automorphism of $\C$ acts on the geometric coordinate of $\C\times\C$. In the last section, we make some suggestions how Nevanlinna theory could provide a model of $\spec\Z\times\spec\Z$ that is two-dimensional and carries an action of Frobenius on the geometric coordinate.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑