[論文レビュー] Stratification and averaging for exponential sums: bilinear forms with generalized Kloosterman sums

Emmanuel Kowalski, Ph. Michel+1 more|arXiv (Cornell University)|Feb 27, 2018

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

ひとこと要約

本稿では、有限体上の一般化されたクロールスターマン和を含む双線形指数和の境界を、層の分解と消滅サイクルを用いた新しいコhomological比較原理によって得る。2つの指数和に関連するコホモロジー群が同型であることを示すことにより、明示的な計算を経ずに非自明なキャンセルレーションを達成し、ポリヤ＝ビノグラドフの範囲以下の境界を得る。具体的には、ハイパークロールスターマン和に対して $ MN \geqslant q^{7/8 + \delta} $ が成立し、3次 $ L $-関数の第一モーメントに対する新たな推定値が得られる。

ABSTRACT

We prove non-trivial bounds for bilinear forms with hyper-Kloosterman sums with characters modulo a prime $q$ which, for both variables of length $M$, are non-trivial as soon as $M\geq q^{3/8+δ}$ for any $δ>0$. This range, which matches Burgess's range, is identical with the best results previously known only for simpler exponentials of monomials. The proof combines refinements of the analytic tools from our previous paper and new geometric methods. The key geometric idea is a comparison statement that shows that even when the "sum-product" sheaves that appear in the analysis fail to be irreducible, their decomposition reflects that of the "input" sheaves, except for parameters in a high-codimension subset. This property is proved by a subtle interplay between étale cohomology in its algebraic and diophantine incarnations. We prove a first application concerning the first moment of a family of $L$-functions of degree $3$.

研究の動機と目的

• 有限体上の指数和に対して、特に一般化されたクロールスターマン和を含む双線形形式を対象とした新しい比較原理の開発。
• 古典的なポリヤ＝ビノグラドフの閾値 $ q^{1/2} $ よりも低い範囲での双線形和に対する非自明な境界の確立。
• これらの境界を用いて、3次 $ L $-関数の族の第一モーメントを推定すること。
• エタールコホモロジーとモノドロミーを用いて、ハイパークロールスターマン和に関する以前の結果を統一的かつ拡張すること。
• 指数和におけるキャンセルレーションが、項ごとの明示的評価ではなく、コホモロジー群の同型性に起因することを示すこと。

提案手法

• パラメータ空間の層化を導入し、異なる幾何的局所で指数和の振る舞いを解析する。
• 消滅サイクルを用いて、コホモロジー的比較が一部の層で失敗するならば、一般には失敗することを示し、問題を一般的状態に還元する。
• カッツのディオファントス的可約性基準の変種を用いてモノドロミーを制御し、層の可約性を保証する。
• 層 $ \mathcal{K}_{\mathbf{b}} $ と $ \mathcal{R}^*_{\mathbf{b}} $ のフロベニウス可換自己準同型空間の同型を確立し、トレースの等しさを示す。
• グロテンディーク＝リーマン・ホッホのトレース公式を用いて、トレース関数の和とコホモロジー的トレースを関係づけ、デリーニュのリーマン予想を用いて境界を得る。
• ボンビエリ＝カッツの境界を用いてベッチ数を制御し、パラメータ空間全体にわたる包含定数の一様性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたクロールスターマン和を含む双線形指数和を、ポリヤ＝ビノグラドフの範囲以下の境界で制御するための新しいコホモロジー的比較原理を開発できるか？
• RQ2 このような和におけるキャンセルレーションは、項の明示的評価ではなく、コホモロジー群の同型性に起因するか？
• RQ3 この手法により、$ M,N \geqslant q^{\delta} $ およびハイパークロールスターマン和に対して $ MN \geqslant q^{7/8 + \delta} $ の非自明な境界が得られるか？
• RQ4 パラメータ空間の層化と消滅サイクルの使用は、コホモロジー的比較の証明をどのように支援するか？
• RQ5 この手法は、3次 $ L $-関数の第一モーメントにどのような影響を及ぼすか？

主な発見

• 著者らは、$ M,N \geqslant q^{\delta} $ および $ MN \geqslant q^{7/8 + \delta} $ の条件下で、ハイパークロールスターマン和を含む双線形和に対して非自明な境界を確立し、以前の $ 7/8 $ の閾値を改善した。
• 主な革新点は、2つの指数和に関連するコホモロジー群が同型であることを示したことにより、明示的計算を経ずにキャンセルレーションが生じることを示したことにある。
• $ \mathbf{b} \notin \mathcal{W}(\mathbf{F}_q) $ の場合、和 $ \Sigma_I(\mathbf{b}) = \sum_r \mathbf{R}(r,\mathbf{b}) \ll q $ が成り立ち、自明な $ \ll q^2 $ より顕著な改善が得られる。
• $ \mathbf{b} \in \mathcal{W}(\mathbf{F}_q) \setminus \mathcal{V}^\Delta(\mathbf{F}_q) $ の場合、和 $ \Sigma_I(\mathbf{b}) \ll q^{3/2} $ が成り立ち、再び自明な境界を改善する。
• 完全な和 $ \Sigma_{II}(\mathbf{b}) \ll q^2 $ は $ \mathbf{b} \in \mathcal{W}(\mathbf{F}_q) \setminus \mathcal{V}^\Delta(\mathbf{F}_q) $ の場合に成り立ち、それ以外の場合は $ \ll q^{3/2} $ となる。後者の場合、コホモロジー的同型性に依存する。
• すべての境界における包含定数は、ベッチ数にのみ依存し、ボンビエリ＝カッツの境界によって制御されるため、パラメータ空間全体にわたる一様性が保証される。