[論文レビュー] Mertens products in arithmetic progressions over function fields

Hwanyup Jung|arXiv (Cornell University)|Feb 5, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

論文は、関数場F_q[t]上の算術進数に対するメルテンの積の関数場類似を確立し、無条件のGRH強度の漸近と明示的定数C(Q,A0)を得る。

ABSTRACT

We establish a function field analogue of Mertens' formula for Euler products restricted to primes in arithmetic progressions over the polynomial ring F_q[t]. Our results are in direct correspondence with those of Languasco and Zaccagnini for arithmetic progressions in the integers. Over function fields, Weil's Riemann hypothesis for Dirichlet L-functions holds unconditionally, and consequently the analogue of the GRH-strength asymptotic is obtained without any exceptional zero correction term.

研究の動機と目的

• 算術進数に制限された素数に対するメルテンの積を関数場へ一般化・動機付ける。
• 分母Qを拡大させつつn→∞の間でP(n;Q,A0)に対する一様なメルテン型漸近を得る。
• 関数場上のDirichlet L-関数に対する Weil のリーマン予想により、例外的な零補正を不要と示す。
• 主定数C(Q,A0)の明示的なオイラー積表現を提供し、それを整数設定と関連づける。

提案手法

• 素 polynomials P ≤ n で P ≡ A0 mod Q についての有限オイラー積P(n;Q,A0)を定義する。
• 主成分と非主成分の寄与を分離するためにDirichlet キャラクター分解を用いる。
• 非主キャラクターでひねられた素数和を平方根の打ち消しを得るため Weil の Dirichlet L-関数のリーマン予想を適用する。
• ねじれたオイラー積の尾部推定を導出し、部分オイラー積と対数展開によって誤差項を制御する。
• 以上を組み合わせて主漸近 P(n;Q,A0) = C(Q,A0) (n log q)^{-1/Φ(Q)} (1 + O(q^{-n/2})) を証明する。
• Appendix A に C(Q,A0) の明示的なオイラー積を提供する。

実験結果

リサーチクエスチョン

• RQ1 関数場版のメルテンの積を、特定の算術進数の素数に制限するとどうなるか。
• RQ2 deg Q が n の正の分数まで拡張されたとき、n→∞ に対して P(n;Q,A0) の一様漸近を得られるか。
• RQ3 Weil のリーマン予想は関数場の Dirichlet L-関数に対して例外的零補正を除去するのに十分か。
• RQ4 定数 C(Q,A0) をどのように明示的に記述・計算するか。

主な発見

• 制限されたオイラー積 P(n;Q,A0) は Mertens 型の漸近を満たす: P(n;Q,A0) = C(Q,A0) (n log q)^{-1/Φ(Q)} (1 + O(q^{-n/2}))。
• 一様性は deg Q ≤ η n (0 < η < 1) を満たすすべての単位整正モジュラスQおよび全ての簡約剰余類 A0 mod Q に対して成立。
• Weil の関数場 Dirichlet L-関数のリーマン予想により例外零補正は不要；結果は無条件。
• 主項の定数C(Q,A0) はQとA0のみに依存するオイラー積としてAppendix Aに明示的に与えられる。
• 証明は整数設定の Languasco–Zaccagnini に類似するが、関数場の利点により GRH 強度漸近を無条件に得られる。