[论文解读] Special Sets of Primes in Function Fields

Julio Andrade, Steven J. Miller+2 more|arXiv (Cornell University)|Sep 22, 2013

Analytic Number Theory Research参考文献 5被引用 3

一句话总结

本文构建了函数域上首个已知的非平凡无限F-集，具体针对有限域上的函数域 $\mathbb{F}_p[x]$，其中 $p \equiv 2$ 或 $5 \pmod{9}$。通过二次多项式的迭代复合与不可约性判别准则，证明了存在一个在取 $P - \alpha_P$ 的因子时封闭的首一不可约多项式无限集，从而解决了素数分布论中一个长期悬而未决问题的函数域类比。

ABSTRACT

When investigating the distribution of the Euler totient function, one encounters sets of primes P where if p is in P then r is in P for all r|(p-1). While it is easy to construct finite sets of such primes, the only infinite set known is the set of all primes. We translate this problem into the function field setting and construct an infinite such set in F_p[x] whenever p is equivalent to 2 or 5 modulo 9.

研究动机与目标

• 研究函数域中是否存在类似于整数中具有 $p-1$ 的因子封闭性质的特殊素数集的非平凡无限不可约多项式集合。
• 解决与欧拉函数及莱默的总和函数问题相关的乘法数论问题在函数域中的类比。
• 为满足 $p \equiv 2$ 或 $5 \pmod{9}$ 的素数，在 $\mathbb{F}_p[x]$ 中显式构造一个无限F-集，其中F-集在对首一不可约多项式 $P$ 的 $P - \alpha_P$ 取不可约因子时封闭。
• 证明此类无限F-集在函数域中存在，为研究整数情形提供一个可处理的设定，并为非平凡无限素数集的存在性提供启示。

提出的方法

• 在 $\mathbb{F}_q[x]$ 中定义F-集为：对任意首一不可约多项式 $P$，其集合在取 $P - \alpha_P$ 的不可约因子时封闭，其中 $\alpha_P$ 是 $P$ 的常数项。
• 构造两组多项式：$f_\ell(x) = x^2 + x + 1$ 与 $x^{3^\ell}$ 的复合，以及 $g_\ell(x) = x^2 - x + 1$ 与 $x^{3^\ell}$ 的复合，其中 $\ell \geq 0$。
• 利用文献[LN]中的定理2.1（给出 $f(x^t)$ 不可约性的条件），证明当 $p \equiv 2$ 或 $5 \pmod{9}$ 时，$f_\ell$ 和 $g_\ell$ 在 $\mathbb{F}_p[x]$ 中是首一且不可约的。
• 利用引理2.3，证明 $f_\ell(x) - 1$ 和 $g_\ell(x) - 1$ 可分解为低次 $f_k$、$g_k$ 与一次项的乘积，从而确保满足F-集条件下的封闭性。
• 构造集合 $\mathcal{F} = \{f_\ell\}_{\ell=0}^\infty \cup \{g_\ell\}_{\ell=0}^\infty \cup \{x - n\}_{n=-1}^1$，并通过因式分解恒等式验证其在F-集运算下的封闭性。
• 通过展示一个不在 $\mathcal{F}$ 中的不可约多项式（如 $\mathbb{F}_2$ 上的 $x^3 + x + 1$ 或 $p > 2$ 时的 $x+2$）来确认 $\mathcal{F}$ 的非平凡性。

实验结果

研究问题

• RQ1 对于满足 $p \equiv 2$ 或 $5 \pmod{9}$ 的素数，是否存在 $\mathbb{F}_p[x]$ 中的非平凡无限F-集，其中F-集在取 $P - \alpha_P$ 的不可约因子时封闭？
• RQ2 函数域设定能否提供一个构造性例子，即一个在 $P - \alpha_P$ 因子分解条件下封闭的不可约多项式无限集，其类比于整数情形中 $p \in \mathcal{P}$ 蕴含所有 $r \mid (p-1)$ 也有 $r \in \mathcal{P}$ 的性质？
• RQ3 在何种 $p$ 的条件下，可通过二次多项式的迭代复合构造出无限F-集？
• RQ4 此类无限F-集在函数域中是否存在且在结构上是可能的？其是否存在对整数情形的启示？
• RQ5 在特定的 $p$ 的算术条件下，是否能保证 $f(x^{3^\ell})$ 和 $g(x^{3^\ell})$ 的不可约性？

主要发现

• 对于所有满足 $p \equiv 2$ 或 $5 \pmod{9}$ 的素数，$\mathbb{F}_p[x]$ 中存在一个非平凡无限F-集。
• 所构造的F-集 $\mathcal{F}$ 由迭代复合 $f_\ell(x) = (x^2 + x + 1)(x^{3^\ell})$ 和 $g_\ell(x) = (x^2 - x + 1)(x^{3^\ell})$，以及线性多项式 $x - n$（$n = -1, 0, 1$）组成。
• 在给定的 $p$ 条件下，多项式 $f_\ell$ 和 $g_\ell$ 是 $\mathbb{F}_p[x]$ 中的首一不可约多项式，该结论由关于 $f(x^t)$ 不可约性的定理2.1确立。
• $f_\ell(x) - 1$ 和 $g_\ell(x) - 1$ 的因式分解被显式给出，且仅由低次 $f_k$、$g_k$ 和一次项构成，从而确保满足F-集条件下的封闭性。
• $\mathcal{F}$ 被证明是无限且非平凡的，因为它不包含如 $\mathbb{F}_2$ 上的 $x^3 + x + 1$ 或 $p > 2$ 时的 $x+2$ 等不可约多项式，这些多项式均不属于该族。
• 该构造的关键依赖于条件 $p^2 \not\equiv 1 \pmod{9}$，该条件排除了 $p \equiv 8 \pmod{9}$ 的情形，且对定理2.1的适用性至关重要。