[論文レビュー] Bilinear forms with Kloosterman sums and applications

Emmanuel Kowalski, Ph. Michel+1 more|arXiv (Cornell University)|Nov 5, 2015

Analytic Number Theory Research参考文献 30被引用数 11

ひとこと要約

この論文は、古典的なポリヤ＝ビノグラドフ閾値未満の変数範囲における双線形形式の超クルーストマン和に関する非自明な上限を、ℓ-進コホロロジーおよび有限体上のリーマン予想の高度な道具を用いて確立している。主な貢献は、$ M = N = q^{1/2} $ の場合に $ q^{-1/64 + \varepsilon} $ の節約を達成する新しい上限であり、これは、捩れた $ L $-関数のモーメントや、大きなモジュラスにおけるアイゼンスタイン＝ヘッケ係数の算術的等差数列における分布への応用を可能にする。

ABSTRACT

We prove non-trivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the Pólya-Vinogradov range. We then derive applications to the second moment of holomorphic cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on $\GL_3$. Our main tools are new bounds for certain complete sums in three variables over finite fields, proved using methods from algebraic geometry, especially $\ell$-adic cohomology and the Riemann Hypothesis.

研究の動機と目的

• サポートサイズ $ M $ および $ N $ がポリヤ＝ビノグラドフ範囲未満である場合の超クルーストマン和に関する双線形形式の非自明な上限を確立すること。
• 古典的なフーリエ解析的手法を超える範囲での双線形和推定の適用範囲を拡大すること、特に短い区間に対して。
• これらの上限を、素数モジュラスのディリクレ指標による捩れたカスプ形式の第二モーメントに応用すること。
• $ \mathrm{GL}_3 $ 上のアイゼンスタイン＝ヘッケ係数が大きなモジュラスの算術的等差数列にどのように分布するかを調べること。

提案手法

• 代数的幾何学的手法を用いて、双線形形式を有限体上の完全な指数和に還元すること。
• $ \ell $-進コホロロジーおよび有限体上のリーマン予想を用いて、3変数の完全和を評価すること。
• 和積変換層のモノドロミーおよび不可約性の解析により、局所的モノドロミー表現を制御すること。
• $ \ell $-進層の文脈において、一般ファイバーおよび特別ファイバーのコホロロジーを関連付けるために、近傍サイクル関手および消滅サイクル関手を応用すること。
• 滑らかな2進分割およびフーリエ／ベッセル変換の減衰推定を用いて、和を局所化および切り詰めること。
• 複数の上限（5.2）–（5.5）を組み合わせることで、対数スケールにおける最適な減衰推定を導出すること。

実験結果

リサーチクエスチョン

• RQ1 $ M, N \ll q^{1/2} $ の場合に、ポリヤ＝ビノグラドフ範囲を超えて、超クルーストマン和に関する双線形形式の非自明な上限を得ることは可能か？
• RQ2 素数 $ q $ を法とするディリクレ指標によるカスプ形式の $ L $-関数モーメント問題において、達成可能な最適な節約係数は何か？
• RQ3 $ \mathrm{GL}_3 $ 上のアイゼンスタイン＝ヘッケ係数は、大きなモジュラスの算術的等差数列にどのように分布するか？
• RQ4 和積変換に関連する層のモノドロミーが不可約であることを示すことで、強力なコホロロジー的上限を保証できるか？

主な発見

• $ M = N = q^{1/2} $ の場合、双線形形式 $ B([\times c]^*\mathrm{Kl}_k, \alpha, \beta) $ は $ \ll q^{-1/64 + \varepsilon} \|\alpha\|_2\|\beta\|_2 (MN)^{1/2} $ で有界であり、ポリヤ＝ビノグラドフ範囲を超える非自明な節約を達成する。
• $ \beta $ が区間の特性関数である場合、上限は $ \ll q^{-1/24 + \varepsilon} \|\alpha\|_1^{1/2}\|\alpha\|_2^{1/2} M^{1/4}N $ に改善され、$ M = N \geq q^{3/7} $ の範囲で有効である。
• カスプ形式の捩れた $ L $-関数の第二モーメントは、$ \frac{1}{\phi(q)} \sum_{\chi \mod q} L(f \otimes \chi, 1/2)L(g \otimes \chi, 1/2) = 2L(f \otimes g, 1)/\zeta(2) + O(q^{-\delta}) $ を満たし、$ \delta < 1/144 $ の場合に成り立つ。ここで、定数項は $ f, g, \delta $ のみに依存する。
• 大きなモジュラスにおける $ \mathrm{GL}_3 $ のアイゼンスタイン＝ヘッケ係数の算術的等差数列への分布は、等分布していることが示され、誤差項は $ \ll q^{-\delta} $ で有界であり、$ \delta < 1/26 $ の場合に成り立つ。
• 3変数の完全和の上限は、$ \ell $-進コホロロジーを用いて確立され、近傍サイクル形式主義およびモノドロミー解析が主要な入力である。
• 証明は、近傍サイクルおよび消滅サイクルの使用を含む、コホロロジー的技法の新規な組み合わせに依存しており、和積構成から生じる層のモノドロミーを制御する。