[論文レビュー] Asymptotic Large Sieve

Brian Conrey, Henryk Iwaniec+1 more|arXiv (Cornell University)|May 5, 2011

Analytic Number Theory Research被引用数 15

ひとこと要約

本稿では、原始的ディリクレ指標の線形形式に対する漸近的大型スクリーブ不等式を構築し、導出された大規模なスクリーブの古典的結果を拡張する。これは、異なる導出数を持つ指標族の族に沿った重み付き和におけるキャンセルレーションを達成する。主な貢献は、L関数の係数を含む双線形形式に関する明確な漸近的推定値であり、$ Q(\mathrm{log}\hspace{1pt}Q)^{-C} $ のオーダーでのキャンセルレーションを示しており、一般化リーマン予想を仮定しない解析的数論における強力な境界を可能にする。

ABSTRACT

Motivated by applications to the study of L-functions, we develop an asymptotic version of the large sieve inequality for linear forms in primitive Dirichlet characters.

研究の動機と目的

• 原始的ディリクレ指標の線形形式に対する漸近的大型スクリーブ不等式の開発を目的とする。
• 異なる導出数を持つ原始的指標族に沿った重み付き和におけるキャンセルレーションの定量的評価を目的とする。
• 一般化リーマン予想に依存しない、柔軟で定量的な解析的数論のための道具を提供することを目的とする。
• 古典的大型スクリーブを、滑らかなテスト関数と要因分解に配慮した構造を持つ双線形形式を扱えるように拡張することを目的とする。
• 主対角線寄与項と、$ \log Q $ のべき乗として減少する誤差項を捉える双線形形式の漸近的推定値を確立することを目的とする。

提案手法

• 本手法は、オイラー積構造を持つディリクレ級数から導かれる係数 $ a_m, b_n $ を持つ双線形形式 $ \SS({\mathcal{A}}\times{\mathcal{B}}) $ を用いる。
• 変数の比と積に依存する滑らかで-compactly なテスト関数 $ F(m,n) $ または $ G(x,y) $ を用い、因数分解の性質を捉える。
• 変数の分離と偏微分の評価を用いて、既知の大規模スクリーブ推定値に還元する。
• 中心的な技術は、古典的大規模スクリーブ不等式を指標和に適用し、その後、$ q \asymp Q $ のモジュラスの平均化と直交性を用いて誤差項を精緻化することである。
• 本手法はハイブリッド大規模スクリーブを組み込み、$ L $-関数の構造を活用してキャンセルレーションを生じない特異な指標を制御する。
• 主項は $ m/n \asymp 1 $ および $ l_1l_2 \ll Q^g $ となる対角線寄与から生じ、誤差項は $ O(Q(\log Q)^{-C}) $ で有界である。

実験結果

リサーチクエスチョン

• RQ1 古典的大規模スクリーブは、原始的ディリクレ指標に沿った重み付き和に対して、上界のみを与えるが、どのようにして漸近的推定値を生み出すように精緻化できるか？
• RQ2 異なる導出数を持つ指標族に沿って平均化された際、$ L $-関数の係数を含む双線形形式における誤差項の正確な大きさは何か？
• RQ3 一般化リーマン予想を仮定しない場合、重み付き和におけるキャンセルレーションをどの程度定量的に評価できるか？
• RQ4 係数 $ a_n, b_n $ がオイラー積から生じる場合、特にその乗法的構造を反映させるために、テスト関数をどのように構造化できるか？
• RQ5 係数とテスト関数にどのような条件を課すと、主項が支配的になり、誤差項が $ \log Q $ の多項式乗で減少するか？

主な発見

• 双線形形式 $ \SS({\mathcal{A}}\times{\mathcal{B}}) $ は、任意の $ C \geq 0 $ に対して $ \SS({\mathcal{A}}\times{\mathcal{B}}) = \SS_{\text{diag}}({\mathcal{A}}\times{\mathcal{B}}) + O(Q(\log Q)^{-C}) $ を満たし、定数は $ C $ に依存する。
• 主対角線項 $ \SS_{\text{diag}}({\mathcal{A}}\times{\mathcal{B}}) $ は、$ r_1l_1 = r_2l_2 $ の和として明示的に与えられ、算術的係数とテスト関数 $ G(1, y) $ の積分を含む。
• 誤差項は $ \log Q $ の任意のべきよりも速く減少するため、解析的数論の応用において有効な漸近展開が得られる。
• 本手法は、$ \zeta(s) $、$ L(s,f) $、および $ L(s,\text{sym}^2f) $ から生じる係数に適用可能であり、特異な指標の数は $ L $-関数の次数に依存する。
• テスト関数が $ G(m/n, mn/(r_1r_2q^g)) $ の形に再パラメータ化されても、結果は有効であり、因数分解構造の柔軟な取り扱いが可能になる。
• 一般化リーマン予想を仮定しない状況下でも、異なる導出数を持つ大きな指標族の平均化を活用することで、項数の平方根に相当するキャンセルレーションが達成される。