[論文レビュー] Bilinear Forms with Kloosterman and Gauss Sums

Igor E. Shparlinski|arXiv (Cornell University)|Aug 22, 2016

Analytic Number Theory Research参考文献 19被引用数 7

ひとこと要約

本稿では、代数幾何学に依存せずに、任意の法におけるKloosterman和およびGauss和を含む双線形形式の改善された上限を、組合せ論的および指標和の技法を用いて提示する。主な貢献は、Hecke固有形式に関連するL関数の混合モーメントの漸近公式における誤差項のパワーサービング改善であり、Blomer, Fouvry, Kowalski, Michel, Milićevićらの先行研究を精緻化するものである。

ABSTRACT

We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel and Milićević and also of Fouvry, Kowalski and Michel. In particular, we improve the bound on the error term in the asymptotic formula for mixed moments of $L$-series associated with Hecke eigenforms.

研究の動機と目的

• 任意の法におけるKloosterman和およびGauss和を含む双線形和の既存推定値の改善、素数法や区間型台を持つ場合を越えて行う。
• 深い代数幾何学的ツールに依存せずに、Kloosterman和およびGauss和の重み付き和のより強いキャンセル推定値を提供する。
• Hecke固有形式に付随するL関数の混合モーメントの漸近公式における誤差項を精緻化し、Blomerらの最近の研究を改善する。
• 加法的組合せ論や平方自由数の分布の問題への応用を含む、構造的集合上の指数和に関する双線形形式の境界を一般化・強化する。

提案手法

• ShparlinskiとZhang（2024）の手法を適応・拡張し、dyadic分解と指標和推定値を用いて、乗法的群の部分集合上の指数和を制御する。
• 組合せ的分解と指標和のモーメント推定値を組み合わせたハイブリッドアプローチを採用し、指数方程式の解の個数に関する境界を活用する。
• Dirichlet指標の直交性と区間上の指数和のモーメント推定値を用いて、双線形形式におけるキャンセルを導出する。
• Heath-BrownおよびPierceによる高次多項式（例：$x^{-k}$）を含む指数和の境界を応用し、標準的なKloosterman和のケースを超えて一般化する。
• Blomerら（2021）の枠組みに新しい境界を統合し、Hecke固有形式のL関数の混合モーメントの漸近公式における誤差項を精緻化する。
• 和をdyadic区間に再帰的に分解し、各セグメントの寄与を制御するために$L^r$-ノルム推定値を適用する。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学に依存せずに、任意の合成数法におけるKloosterman和を含む双線形形式で非自明なキャンセルが確立可能か？
• RQ2 重みが$\mathbb{Z}_q^*$の任意の部分集合に台を持つ場合に、Kloosterman和の重み付き双線形和の最良境界は何か？
• RQ3 Gauss和を含む双線形形式の改善された境界は、Hecke固有形式のL関数の混合モーメントの漸近公式における誤差項をどのように向上させるか？
• RQ4 この手法は、$x^{-k}$を含む他の指数和や、乗法的部分群上の指数和へどの程度一般化可能か？
• RQ5 Blomerらの$p^{-1/64+o(1)}$の境界を超えて、Hecke固有形式のL関数の混合モーメントの漸近公式における誤差項を改善可能か？

主な発見

• 本稿では、Kloosterman和を含む双線形形式$\mathcal{S}_q(\mathcal{A}; \mathcal{M}, \mathcal{J})$に対して新たな境界を確立し、$r=2$の場合に$\ll \|\mathcal{A}\|_1^{1-1/r} \|\mathcal{A}\|_2^{1/r} (q + N^{1/2} q^{3/4}) q^{o(1)}$を達成し、以前の結果を改善する。
• 定数重みの特別な場合、境界は$\ll (q + N^{1/2} q^{3/4}) q^{o(1)}$に強化され、L関数の混合モーメントの漸近公式における誤差項が改善される。
• Hecke固有形式に付随するL関数の混合モーメントの漸近公式における誤差項は、$p^{-1/52 + o(1)}$に改善され、Blomerらの以前の境界$p^{-1/64 + o(1)}$を精緻化する。
• 手法は代数幾何学を避けるため、エタールコhomologyに依存する先行手法とは異なり、合成数法や一般の部分集合$\mathcal{M} \subseteq \mathbb{Z}_q^*$に対しても有効である。
• このアプローチは、Heath-BrownおよびPierceによる高次$k$に対する境界を用いることで、$\sum_{m,n} \alpha_m \sum_x e_q(mx^{-k} + nx)$のような他の双線形和へ一般化可能である。
• 乗法的部分群上での和、例えば$\sum_{m,n} \alpha_m \sum_x e_p(mg^x) e_t(nx)$に対しても、Roche-Newton, Rudnev, および Shkredovによる乗法的部分群の加法的エネルギーに関する境界を用いて適用可能である。