[論文レビュー] On quantitative analogues of the Goldbach and twin prime conjectures over F_q[t]

Andreas O. Bender, Paul Pollack|ArXiv.org|Dec 9, 2009

Analytic Number Theory Research参考文献 6被引用数 11

ひとこと要約

本稿は、有限体 𝔽_q[t] 上のモニック多項式を2つのモニック既約多項式の和として表す方法の数（ゴールドバッハ型問題）および双子素数対（双子素数予想の類似）についての漸近公式を確立する。q が次数 n に対して十分に大きいとき、これらの数え上げがヒューリスティック予想と一致することを示している。結果は代数幾何学とガロア理論に依拠し、誤差項はチェボタレフ密度定理と種数の推定により制御される。

ABSTRACT

We study the number of ways to decompose a monic polynomial in F_q[t] of degree n as a sum of two monic irreducible polynomials in F_q[t]. Our principal result is an asymptotic formula for the number of such representations in the case when q is large compared to n. In its range of validity, this formula agrees with what is suggested by heuristic arguments from the rational setting. We also present similar results towards an analogue of the twin prime conjecture.

研究の動機と目的

• 体 𝔽_q[t] におけるゴールドバッハおよび双子素数予想の定量的類似を解決すること。
• q が次数 n よりも十分に大きい条件下で、モニック多項式が2つのモニック既約多項式の和として表される方法の数についての漸近公式を確立すること。
• 同じ条件下で、与えられた次数 n の双子素数対の数がヒューリスティック期待値と一致することを証明すること。
• 漸近公式における誤差項が、階乗、指数関数的項、ガロア拡大の種数といった組合せ的および幾何的不変量によって制御されることを示すこと。

提案手法

• c ∈ ℙ¹ をパrameterとする曲線族 C_{1(c)} および C_{2(c)} を用いた代数幾何学的モデル化。
• これらの曲線上の有理点の数を数えるためにチェボタレフ密度定理を適用し、得られる多項式の既約性を保証する。
• 𝔽_q(u) 上で完全な対称群をガロア群とする、明示的な多項式 f ∈ 𝔽_q[t,x] の族を構成し、一般には既約であることを保証する。
• 分解体の合成の種数推定（g = 1 + N(n² − n − 1), N = n!²）を用いて、チェボタレフ数え上げにおける誤差項を有界化する。
• 関数体における三項ゴールドバッハ問題に関する先行研究の技法を応用し、二項表現および双子素数対に適応する。
• 悪いパrameterの数に対する組合せ的評価により例外的ケースを制御し、O(n · 2^{(n+2) choose 2} q^{I−1}) であることを示す。

実験結果

リサーチクエスチョン

• RQ1 q が n よりも十分に大きいとき、次数 n のモニック多項式 F ∈ 𝔽_q[t] のゴールドバッハ表現の数 R(F;q) は、ヒューリスティック予想 ∼ q^{n−1}/(n(n−1)) と一致するか？
• RQ2 𝔽_q[t] における双子素数類似は定量的に確認可能か？ すなわち、両方が既約であるようなモニック対 (F, F+A) の数がヒューリスティック予想 ∼ q^n / n² と一致するか？
• RQ3 このような表現の数の漸近公式における誤差項の大きさは何か？ また、F や A に依存しない一様な有界性は得られるか？
• RQ4 関連する分解体のガロア群構造は、その族における既約多項式の分布にどのように影響を与えるか？

主な発見

• 奇数 q および n ≥ 2 に対して、ゴールドバッハ表現の数 R(F;q) は、R(F;q) = q^{n−1}/(n(n−1)) + O(n!(n−1)! q^{n−3/2}) + O(n · 2^{(n+2) choose 2} q^{n−2}) を満たし、定数は絶対的である。
• q / (n³ 2^{(n+2) choose 2}) → ∞ となる限り、F に依存しない一様な漸近公式 R(F;q) ∼ q^{n−1}/(n(n−1)) が成り立つ。
• 双子素数類似に関しては、π₂(n;A,q) = q^n / n² + O(n!² q^{n−1/2}) + O(n · 2^{(n+2) choose 2} q^{n−1}) が成り立ち、定数は絶対的である。
• 誤差項は組合せ的および種数に基づく有界性によって支配され、合成拡大の種数が誤差に O(n!² q^{n−1/2}) を寄与させる。
• 結果として、有理素数の設定におけるヒューリスティック予想 (1) および (3) が、q → ∞ かつ n が固定またはゆっくりと増加する極限で漸近的に成立することが確認された。
• 十分に大きな s に対して 𝔽_{q^s}[t] 上でこのような表現が存在することが保証され、q が n に対して十分に大きいとき、底体のサイズに一様に成り立つ漸近公式が得られる。