[論文レビュー] Twin prime analog over large finite fields

Lior Bary‐Soroker|arXiv (Cornell University)|Jun 18, 2012

Analytic Number Theory Research被引用数 1

ひとこと要約

この論文は、大きな有限体上の関数体において、ハーディー＝リトルウッドのk組予想の類似を確立し、固定された次数と互いに異なる多項式 a₁,…,aᵣ を 𝔽_q 上にとったとき、f+a₁,…,f+aᵣ がすべて既約であるようなモニックなn次多項式fの数が、q → ∞ のとき qⁿ/nʳ に漸近的に近づくことを証明している。この結果は、強い漸近的制御のもとで、双子素数型定理を有限体上の多項式環へ拡張するものである。

ABSTRACT

We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1, ..., a_r over F_q of degree <n let \pi(q,n;a) be the number of monic polynomials f over F_q of degree n such that f+a_1, ..., f+a_r are simultaneously irreducible. We prove that \pi(q,n;a) asymptotically equals q^n/n^r as q tends to infinity on odd prime powers and n,r are fixed (the tuple a1,...,a_r need not be fixed).

研究の動機と目的

• ハーディー＝リトルウッドのk組予想の関数体版を確立し、有限体上の多項式環への双子素数予想の一般化を図ること。
• 固定された r と n に対して、𝔽_q 上で次数 <n である互いに異なる a₁,…,aᵣ に対して、f+a₁,…,f+aᵣ が同時に既約となるモニック多項式fの漸近的個数を特定すること。
• 古典的な双子素数の場合を越えて、r ≥ 2 かつ a₁,…,aᵣ が固定でない場合の関数体における既約性パターンを拡張すること。
• 有限体のサイズ q が大きくなる際の、このような同時既約性パターンの数の定量的漸近公式を提供すること。

提案手法

• 関数体算術における大きな q の漸近的枠組みを用い、有限体上の多項式環における既約多項式の分布に焦点を当てる。
• 関数体における一般化された素数定理を適用し、f+aᵢ によって定義される等差数列における既約多項式の個数を推定する。
• 関数体の文脈において、スイーブ理論的および一様分布の技術を用いて、f+a₁,…,f+aᵣ の既約性条件の間の相関を制御する。
• 固定された r と n に対して、f の個数が q → ∞ のとき qⁿ/nʳ に漸近的に近づくこと、かつ、次数 <n である互いに異なる a₁,…,aᵣ の具体的な選択に依存しないことを利用している。
• 関数体におけるゼータ関数の構造とモーメント法を用いて、主要項の漸近的挙動を導出する。
• 主要項が局所密度の積から生じることを確立し、グローバルな一様分布が漸近的公式を支配していること。

実験結果

リサーチクエスチョン

• RQ1 固定された r と n および 𝔽_q 上で次数 <n である互いに異なる aᵢ に対して、f+a₁,…,f+aᵣ がすべて既約となるような 𝔽_q 上のモニック多項式fの漸近的個数は何か？
• RQ2 r ≥ 2 で aᵢ が固定でない場合、このような f の個数は (a₁,…,aᵣ) の選択にどのように依存するか？
• RQ3 ハーディー＝リトルウッドのk組予想は、関数体において、平行移動された多項式の同時既約性を捉える形で拡張可能か？
• RQ4 有限体のサイズ q が無限大に近づく際、このような f の数の主要項の漸近的挙動は何か？
• RQ5 特定の a₁,…,aᵣ が互いに異なり、かつ次数 <n である限り、すべての選択に対して漸近的公式が一様に成り立つか？

主な発見

• 𝔽_q 上のn次モニック多項式fで、f+a₁,…,f+aᵣ がすべて既約であるものの個数は、q → ∞ のとき qⁿ/nʳ に漸近的に近づく。
• 次数 <n である互いに異なる多項式 a₁,…,aᵣ 全ての選択に対して、漸近的公式が一様に成り立つ。たとえそのタプルが固定でなくとも同様である。
• 主要項 qⁿ/nʳ は、そのような f の期待される密度を捉えており、数体設定におけるハーディー＝リトルウッド予想に類似している。
• この結果は、古典的な双子素数定理を関数体における r 個の多項式へ一般化し、r=2 の場合を越えて拡張する。
• 移動量 a₁,…,aᵣ の具体的な配置に依存せず、互いに異なり、かつ次数 <n であれば、漸近的挙動は一様に成り立つ。
• 証明により、主要項が局所確率の積から生じること、かつグローバルな一様分布が漸近的公式を保証していることが示された。