[論文レビュー] Algebraic twists of modular forms and Hecke orbits

Étienne Fouvry, Emmanuel Kowalski+1 more|arXiv (Cornell University)|Jul 3, 2012

Advanced Algebra and Geometry被引用数 5

ひとこと要約

本稿では、ℓ-進フーリエ変換と有限体上のリーマン予想を用いて、代数的トレース関数（指数和、特徴指標のねじれ、ハイパークルースタン和を含む）によるモジュラー形式のフーリエ係数の和に対する、エネルギー節約型のキャンセレーション評価を確立する。主な結果は、トレース関数の導手に一様に有界な指数 δ > 0 を持つ非相関推定であり、これによりねじれヘッケ軌道の等分布性が得られる。

ABSTRACT

We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a corresponding equidistribution property for twisted Hecke orbits. This is done by exploiting the amplification method and the Riemann Hypothesis over finite fields, relying in particular on the ell-adic Fourier transform introduced by Deligne and studied by Katz and Laumon.

研究の動機と目的

• 素数を法とするモジュラー形式のフーリエ係数と代数的トレース関数との間の非相関を確立すること。
• それらのねじれ和に対する、自明な評価を改善するエネルギー節約型キャンセレーション評価（S(f, K; p) ≪ p^{1−δ}）を証明すること。
• 増幅法とℓ-進層理論を用いて、モジュラー曲線上のねじれヘッケ軌道の等分布性を示すこと。
• トレース関数の導手を定量的に評価し、和におけるキャンセレーションの強さと関連付けること。
• ディリクレ指標を超えるより広いクラスの代数的ねじれ、特にハイパークルースタン和や有理関数指数和を含む、ねじれL関数の部分凸界を拡張すること。

提案手法

• キャンセレーションを検出するために、ねじれ和の2次モーメントに増幅法を適用する。
• ℓ-進フーリエ変換と有限体上のリーマン予想（デリーニの理論）を用いて、平方根キャンセレーションを示す指数和を推定する。
• ねじれ関数を導手が複雑さの尺度であるℓ-進層のトレース関数としてモデル化する。
• 関連層（例えば、ファイバー数関数、クロースタン和、混合指標）の導手を推定し、誤差項を制御する。
• ℓ-進層理論におけるフーリエ逆変換と双対性を用いて、双対層のトレース関数を関連付ける。
• 層の幾何的既約性とモノドロミー性質（例えば、分岐の非大域的、擬反射モノドロミー）を用いて、導手をバウンドし、非退化キャンセレーションを保証する。

実験結果

リサーチクエスチョン

• RQ1 K(n) を素数 p を法とする代数的トレース関数とするとき、∑ₙ ϱ_f(n)K(n)V(n/p) の和に対して、エネルギー節約型キャンセレーションを確立できるか？
• RQ2 キャンセレーション指数 δ は、トレース関数 K の導手にどのように依存するか？
• RQ3 関連するℓ-進層のモノドロミー群（G_F）は、キャンセレーションの強さにどのように影響するか？
• RQ4 L(f⊗χ,s) の部分凸界は、ディリクレ指標を超えるより一般の代数的ねじれへ、どの程度一般化可能か？
• RQ5 ねじれL関数におけるキャンセレーションから、モジュラー曲線上のねじれヘッケ軌道の等分布性を導けるか？

主な発見

• 任意の固定されたモジュラー形式 f と滑らかでCompactly台を持つ V に対して、導手が有界なトレース関数 K に対して、S(f, K; p) = ∑ₙ ϱ_f(n)K(n)V(n/p) は、f と V にのみ依存する δ > 0 を持つ S(f, K; p) ≪ p^{1−δ} を満たす。
• キャンセレーション指数 δ はバーガス型（δ > 0）であり、特定のクラス（例えば、有理関数指数和、(1.6)）では δ = 1/8 が得られ、既知の最良の部分凸界と一致する。
• ハイパークルースタン和 K(n) = Φ(Klm(φ(n); p), Klm(φ(n); p)) の場合、多項式 Φ と有理関数 φ が固定されている限り、S(f, K; p) は同様のエネルギー節約型評価を満たす（δ > 0）。
• 関連層の導手はキャンセレーションの強さを制御する：導手が有界ならば、δ > 0 の非相関が成立する。
• ファイバー数関数 K(n) = N(φ; n) −1 の場合、層 ˜F の導手は deg(φ) + |S| で有界であり、S は臨界値の集合である。このとき、和はエネルギー節約型評価を満たす。
• 層 F のガロア群 G_F はトレース関数の対称性を決定する。例えば、クロースタン層の対称平方のガロア群 GK(2) は位数 8 の二面体群であり、d ≥ 3 のとき GK(d) = 1 である。