[論文レビュー] A Large Sieve Inequality for Euler Products

P. D. T. A. Elliott, Jonathan Kish|arXiv (Cornell University)|Mar 5, 2012

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

ひとこと要約

本稿は、ディリクレの特徴関数を含むオイラー積に関する、新たな大スクリーブ不等式を確立し、$\sigma \geq 1$、$|t| \leq D^B$ の範囲で、$\sum_{D<p\leq x} a_p \chi_j(p) p^{-s} $ の形の和に対する一様な上限を可能にする。主な結果は、定数因子 $4L + (k-1)c$ を持つ2次平均推定であり、$c$ は $B$ のみに依存し、$L$-関数とオイラー積を含む解析的数論の応用において有効である。

ABSTRACT

An inequality of Large Sieve type, efficacious in the analytic treatment of Euler products, is obtained.

研究の動機と目的

• ディリクレ $L$-関数の文脈において、特にディリクレの特徴関数を含むオイラー積に特化した大スクリーブ型不等式を確立すること。
• 複素係数と特徴関数による重み付けがなされた素数上の和の $L^2$-ノルムに対する一様な境界を、$\sigma \geq 1$ および $|t| \leq D^B$ の範囲で提供すること。
• 不等式における定数因子を鋭くすることに課される障害、特に $L(1,\chi)$ の下界を求める困難さに取り組むこと。
• 不等式が、理想類における素イデアルの分布および臨界線付近での $L(s,\chi)$ の挙動に与える影響を明らかにすること。
• 実部の特徴関数和を用いる、またはほとんどすべての法 $D$ を考えるといった追加の仮定のもとで、境界における定数 $4$ を小さくできるかどうかを検討すること。

提案手法

• $D < p \leq y_j$ に対して $\delta_{j,p} = \chi_j(p) p^{-1/2 - it_j}$ と係数を定義し、$\ell^2$ 内のベクトル系を構成することで、大スクリーブの枠組みを用いる。
• アベルの総和法を適用して、$\sigma = 1$ の場合に問題を簡略化し、$\sigma \to \infty$ のときの $p^{-\sigma}$ の減衰を利用する。
• キーとなる補題として、$\sigma \geq 1$、$|t| \leq D^B$、非主特徴関数 $\chi \pmod{D}$ の下で、$\left|\operatorname{Re} \sum_{w < p \leq y} \chi(p) p^{-s} \right|$ が一様に有界であることを用いる。
• コーシー・シュワルツの不等式を用いて、$\chi_j \overline{\chi}_\ell(p) p^{-it_j + it_\ell}$ を含む交差項を評価し、$L = \sum_{D<p\leq x} p^{-1}$ に依存する境界を得る。
• 複素係数 $b_j$ を処理するために、同じ位相を持つ実部と虚部に分解し、2回のコーシー・シュワルツの不等式を適用して、定数因子 $4$ を持つ最終的な境界を導出する。
• 不等式を双対化して $\sum_j \left| \sum_p a_p \delta_{j,p} \right|^2$ の境界を得た後、$p^{-1/2}$ でスケーリングすることで証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 ディリクレの特徴関数を含むオイラー積に対して、$\sigma \geq 1$ および $|t| \leq D^B$ の範囲で一様な境界を持つ大スクリーブ不等式を定式化できるか？
• RQ2 このようなオイラー積に対する大スクリーブ不等式の最適な定数とは何か？また、因子 $4$ を $1$ にまで小さくできるか？
• RQ3 $D$ と $\chi$ にどのような条件下で、和 $\operatorname{Re} \sum_{w < p \leq y} \chi(p) p^{-s}$ が上界と下界の両方で有界に保たれ、より鋭い推定が可能になるか？
• RQ4 境界の一様性が $|t| \leq D^B$ のパrameter $B$ にどのように依存するか？また、初等的手段によってこの依存関係を改善できるか？
• RQ5 不等式は、非原始的特徴関数や他の種類の $L$-関数へ、特に臨界帯においてどの程度まで拡張可能か？

主な発見

• すべての複素数 $a_p$ および互いに異なる法 $D$ に関するディリクレ特徴関数 $\chi_j$ に対して、不等式 $$\sum_{j=1}^k \max_{y \leq x} \max_{\sigma \geq 1, |t| \leq D^B} \left| \sum_{D < p \leq y} a_p \chi_j(p) p^{-s} \right|^2 \leq \left(4L + (k-1)c\right) \sum_{D < p \leq x} |a_p|^2 p^{-1}$$ が一様に成立する。ここで $L = \sum_{D < p \leq x} p^{-1}$ である。
• 境界における定数 $c$ は $B$ のみに依存し、明示的に定義可能であるが、現在の証明では最適でない依存関係が得られる。
• 補題として、$\sigma \geq 1$、$|t| \leq D^B$ の下で $\left| \operatorname{Re} \sum_{w < p \leq y} \chi(p) p^{-s} \right|$ が一様に有界であることは、$L$-関数の解析的性質またはセルバーグのスクリーブを用いて証明され、極めて重要である。
• 最終的な境界における因子 $4$ は、複素係数を実部と虚部に分解し、2回のコーシー・シュワルツの不等式を適用することに起因する。実部の特徴関数和を用いる場合には、この因子は $2$ にまで小さくできる。
• 和 $p > D$ の制限がなければ不等式は依然として成立するが、$D < p$ 条件を削除するには、より強い仮定が必要であり、$(k-1)c$ 項がその阻止要因となる。
• ほとんどすべての法 $D$ に対して、補題の和は下界を持つことが示唆され、密度1の意味で定数 $4$ を $1$ に置き換えられる可能性があるが、これはシーゲル零点の存在しないという未解決の予想に依存する。