[論文レビュー] 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

ひとこと要約

本稿は、$\mathbb{F}_p[x]$ において $p \equiv 2$ または $5 \pmod{9}$ のとき、関数体上の非自明な無限 F-集合を初めて構成する。2次多項式の反復合成と既約性基準を用い、$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$ の定数項である。
• 2つの多項式族を構成する：$\ell \geq 0$ に対して $f_\ell(x) = x^2 + x + 1$ と $x^{3^\ell}$ の合成、および $g_\ell(x) = x^2 - x + 1$ と $x^{3^\ell}$ の合成。
• 定理 2.1（[LN] に記載）を用いて、$p \equiv 2$ または $5 \pmod{9}$ のとき、$f_\ell$ と $g\ell$ が $\mathbb{F}_p[x]$ で首項かつ既約であることを証明する。この定理は $f(x^t)$ の既約性に関する条件を与える。
• 補題 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-集合作用に関して閉じていることを検証する。
• 例えば $\mathbb{F}_2$ 上の $x^3 + x + 1$ や $p > 2$ のときの $\mathbb{F}_p$ 上の $x+2$ のような既約多項式が $\mathcal{F}$ に含まれないことを示すことで、$\mathcal{F}$ が非自明であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 $p \equiv 2$ または $5 \pmod{9}$ のとき、関数体 $\mathbb{F}_p[x]$ に、$P - \alpha_P$ の既約因数をとる操作に関して閉じた非自明な無限 F-集合が存在するか？
• RQ2 関数体の設定は、整数の場合における $p \in \mathcal{P}$ ならばすべての $r \mid (p-1)$ に対して $r \in \mathcal{P}$ となるような条件に類似した、既約多項式の無限集合を構成的に提供できるか？
• RQ3 反復合成された2次多項式を用いて無限 F-集合を構成するための $p$ に関する条件は何か？
• 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})$ の反復合成に加え、$n = -1, 0, 1$ の $x - n$ の一次多項式からなる。
• $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$ のときの $\mathbb{F}_p$ 上の $x+2$ のような既約多項式は $\mathcal{F}$ の族に含まれない。
• この構成は $p^2 \not\equiv 1 \pmod{9}$ という条件に強く依存しており、これは $p \equiv 8 \pmod{9}$ を除外する。この条件は定理 2.1 の適用可能性に不可欠である。