arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1409.0846math.NT
收藏

关于大有限域上多项式的Bateman-Horn猜想

On the Bateman-Horn conjecture for polynomials over large finite fields

Alexei Entin

摘要:

我们证明了一个类似的经典Bateman-Horn猜想的多项式素值的多项式环上的一个大的有限域。也就是说,给定非关联的,不可约的,可分离的和monic(在变量$x$)多项式$F_1,\ldots,F_m\in\mathbf{F}_q[t][x]$,与$q$奇数,我们表明,$f\in\mathbf{F}_q[t]$的次数$n\ge\max(3,\mathrm{deg}_t F_1,\ldots,\mathrm{deg}_t F_m)$,使所有$F_i(t,f)\in\mathbf{F}_q[t],1\le i\le m$是不可约的是$$\left(\prod_{i=1}^m\frac{μ_i}{N_i}\right) q^{n+1}\left(1+O_{m,\,\max\mathrm{deg} F_i,\,n}\left(q^{-1/2}\right)\right),$$其中$N_i=n\mathrm{deg}_xF_i$是通用程度的$F_i(t,f)$为$\mathrm{deg} f=n$和$μ_i$是$F_i$分裂$\bar{\mathbf{F}_q}$的因素的数量。我们的证明依赖于有限单群的分类。我们也将证明同样的结果为非缔合,不可约和可分的(在$\mathbf{F}_q(t)$上)多项式$F_1,\ldots,F_m$不一定是$x$中的monic,前提是$n$大于在$\mathbf{F}_q(t)$上的重数大于2的几何点的数目。由等式$$\prod_{i=1}^mF_i(t,x)=0$$定义的(可能可约的)仿射平面曲线$C$(这个数总是以$\left(\textstyle\sum_{i=1}^m\mathrm{deg} F_i\right)^2/2$为上界,其中$\mathrm{deg}$表示$t,x$中的总度数)和$$p=\mathrm{char}\,\mathbf{F}_q>\max_{1\le i\le m} N_i,$$,其中$N_i$是$\mathrm{deg} f=n$的$F_i(t,f)$的通用度数。

英文摘要:

We prove an analogue of the classical Bateman-Horn conjecture on prime values of polynomials for the ring of polynomials over a large finite field. Namely, given non-associate, irreducible, separable and monic (in the variable $x$) polynomials $F_1,\ldots,F_m\in\mathbf{F}_q[t][x]$, with $q$ odd, we show that the number of $f\in\mathbf{F}_q[t]$ of degree $n\ge\max(3,\mathrm{deg}_t F_1,\ldots,\mathrm{deg}_t F_m)$ such that all $F_i(t,f)\in\mathbf{F}_q[t],1\le i\le m$ are irreducible is $$\left(\prod_{i=1}^m\frac{μ_i}{N_i}\right) q^{n+1}\left(1+O_{m,\,\max\mathrm{deg} F_i,\,n}\left(q^{-1/2}\right)\right),$$ where $N_i=n\mathrm{deg}_xF_i$ is the generic degree of $F_i(t,f)$ for $\mathrm{deg} f=n$ and $μ_i$ is the number of factors into which $F_i$ splits over $\bar{\mathbf{F}_q}$. Our proof relies on the classification of finite simple groups. We will also prove the same result for non-associate, irreducible and separable (over $\mathbf{F}_q(t)$) polynomials $F_1,\ldots,F_m$ not necessarily monic in $x$ under the assumptions that $n$ is greater than the number of geometric points of multiplicity greater than two on the (possibly reducible) affine plane curve $C$ defined by the equation $$\prod_{i=1}^mF_i(t,x)=0$$ (this number is always bounded above by $\left(\textstyle\sum_{i=1}^m\mathrm{deg} F_i\right)^2/2$, where $\mathrm{deg}$ denotes the total degree in $t,x$) and $$p=\mathrm{char}\,\mathbf{F}_q>\max_{1\le i\le m} N_i,$$ where $N_i$ is the generic degree of $F_i(t,f)$ for $\mathrm{deg} f=n$.

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

↑