[論文レビュー] Estimates for character sums and Dirichlet $L$-functions to smooth moduli

A. J. Irving|arXiv (Cornell University)|Mar 24, 2015

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

ひとこと要約

本稿では、平方因子を持たず、$q^\delta$-smooth な場合の特徴和およびディリクレ $L$-関数の $s = \frac{1}{2}$ におけるより良い上限を、$q$-アナロジー版のヴァン・ダール・コルプト $ABA^3B$ プロセスを用いて確立する。主な結果は $L\left(\frac{1}{2},\chi\right) \ll_\epsilon q^{\frac{27}{164} + O(\delta) + \epsilon}$ であり、十分に滑らかな $q$ に対しては $q^{1/6}$ のウェイルの障壁を破る。これは滑らかなモジュラスに対する既存の推定値を改善し、特徴和の指数ペア法の適用範囲を滑らかな導手にまで拡張する。

ABSTRACT

We use the $q$-analogue of van der Corput's method to estimate short character sums to smooth moduli. If $χ$ is a primitive Dirichlet character modulo a squarefree, $q^δ$-smooth integer $q$ we show that $$L(\frac12,χ)\ll_εq^{\frac{27}{164}+O(δ)+ε}.$$

研究の動機と目的

• モジュラス $q$ が平方因子を持たず、$q^\delta$-smooth である場合の特徴和および $L$-関数の $s=1/2$ における既存の推定値を改善すること。
• ヴァン・ダール・コルプト $ABA^3B$ プロセスの $q$-アナロジーを構築することで、滑らかなモジュラスに対する指数ペア法の適用範囲を拡張すること。
• $L(\frac{1}{2}, \chi)$ の上限におけるウェイルの障壁 $q^{1/6}$ を破ること。これは、これまで滑らかな $q$ に対して得られていた最良の結果であった。
• ヘイズ・ブラウンの $q^{1/6 + O(\delta)}$ 界よりも定量的に改善し、$q^{27/164 + O(\delta)}$ を得ること。ここで $27/164 \approx 0.1646 < 1/6 \approx 0.1667$ である。

提案手法

• 本手法は、滑らかで平方因子を持たない $q$ を法とする特徴和に適応された、ヴァン・ダール・コルプト $ABA^3B$ プロセスの $q$-アナロジーを用いる。
• 証明では、$q = q_0 q_1$ と分解し、$q_1 \in [q^{1/3}, q^{1/3 + \delta}]$ となるようにすることで、$A$-プロセスを用いてモジュラスを低減する。
• $A$-差分の後に $B$-プロセス（和の完備化）を適用し、$q$ の滑らかさを活かして $q_0$-twisted Weyl 和を用いて指数和を制御する。
• 解析では、$k$-重指数和を $q_0$-twisted Weyl 和で評価し、$\tau_k(h)$ および $\gcd(h, q_0)^{1/2}$ を用いて除数型和を推定することで、$k$ に関する再帰的境界を得る。
• 本手法は、シフトパラメータ $h_i$ に対する平均化を用いて、完全区間上の Weyl 和の $2^k$ 乗を推定する重要な補題に依存する。
• 最終的な境界は、$k$ について最適化し、$L$-関数に対して部分和法を適用することで得られ、バーガスの境界の代わりに、定理 1.1 からの新しい特徴和推定値を用いる。

実験結果

リサーチクエスチョン

• RQ1 滑らかなモジュラスに対して、改善された特徴和推定値を用いて、$L(\frac{1}{2}, \chi)$ のウェイルの障壁 $q^{1/6}$ を破ることは可能か？
• RQ2 すべての平方因子を持たず $q^\delta$-smooth な $q$ に対して、$L(\frac{1}{2}, \chi) \ll_\epsilon q^{\theta + \epsilon}$ が一様に成り立つような最良の指数 $\theta$ は何か？
• RQ3 ヴァン・ダール・コルプト $ABA^3B$ プロセスの $q$-アナロジーは、バーガスおよびヘイズ・ブラウンの境界をどれほど超える特徴和推定値を達成できるか？
• RQ4 滑らかさパrameter $\delta$ は、$L(\frac{1}{2}, \chi)$ の境界における指数にどのように影響するか？また、その依存関係を明示的に示せるか？

主な発見

• 本稿では、平方因子を持ち、$q^\delta$-smooth な $q$ を法とする原始的ディリクレ指標 $Χ$ に対して、$L\left(\frac{1}{2}, \chi\right) \ll_\epsilon q^{\frac{27}{164} + O(\delta) + \epsilon}$ を確立した。これは、以前の $q^{1/6 + O(\delta)}$ の境界を改善するものである。
• 指数 $\frac{27}{164} \approx 0.1646$ は $\frac{1}{6} \approx 0.1667$ よりも厳密に小さいため、滑らかなモジュラスに対してウェイルの障壁を破った。
• $N \leq q$ の場合に、$\sum_{M \leq n \leq M+N} \chi(n) \ll_\epsilon N^{23/41} q^{11/82 + O(\delta) + \epsilon}$ という特徴和推定値が証明されており、これが $L$-関数の境界の根拠となっている。
• 本手法は、滑らかなモジュラスに一般化された古典的指数ペア技法の $q$-アナロジーを構築することで達成された。
• $\delta$ が小さい場合に定量的に顕著な改善が得られ、$O(\delta)$ 項のおかげで $\delta \to 0$ のとき指数が $27/164$ に近づく。
• 結果として、モジュラスが滑らかであるだけでなく平方因子を持たない場合に、より強い境界が可能であることが示され、$q$-アナロジー版の $ABA^3B$ 法が滑らかな $q$ に対して、従来の手法を非自明に上回ることを示した。