[論文レビュー] On a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1

Jianya Liu, Emmanuel Royer+1 more|arXiv (Cornell University)|Apr 14, 2006

Analytic Number Theory Research被引用数 6

ひとこと要約

本稿は、レベル1で偶数の重さkをもつホロモーフィックカスプ形式に対する、対称べきL関数のs=1における極値に関するモンゴメリー＝ヴォーゲンの予想の弱い形を証明する。ピーターソンのトレース公式と鞍点法を用いて、L(1,f)の重み付き算術的分布に対する漸近的分布法則を確立し、極値に近いL(1,f)をとる形式の割合が、exp(−c(log k)/(log₂k)^{7/2} log₃k)の形で減少することを示した。これは、例外的集合のサイズにおける予想される対数的減少率を確認するものである。

ABSTRACT

In this paper, we prove a weaker form of a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1.

研究の動機と目的

• レベル1のホロモーフィックカスプ形式に対して、s=1における対称べきL関数L(1, sym^m f)の極値の例外的集合の大きさを調査すること。
• 労とウーによる極値の境界に関する研究を拡張し、特にm=1の場合に、例外的集合の減少率に関する予想を証明すること。
• ピーターソンのトレース公式と調和重みを用いて、L(1,f)の重み付き算術的分布に対する漸近的分布法則を確立すること。
• 自動形式L関数の枠組みの中で、確率的モデルと整合する予想される対数的減少率が、例外的集合のサイズに対して成立することを確認すること。

提案手法

• H_k^*(1)内の新形式に対して、調和重み ω_f = Γ(k−1)/(4π)^{k−1}||f|| を含む L(1,f) の重み付き和をピーターソンのトレース公式を用いて表現する。
• 関数E(s,y) 及びその解析的性質に依存して、L関数の対数微分を含む指数和の推定に鞍点法を適用する。
• トレース公式とモーメント推定に基づいて導出された関数Φ(t) を、L(1,f)の分布のガウス型近似として用いる。
• E(σ+iτ,y) および関数κ_t ∼ e^t に対する推定を用いて、I₁⁺, I₂⁺ 及び関連積分の誤差推定を実施する。
• トレース公式を用いて、重み付き算術的分布を指数和に関連づけ、ゼータ関数および修正ベッセル関数の有界性を用いて誤差項を制御する。
• 重み付き和の漸近展開と主要項の減少を用いて、F̃_k(t) および Ḡ_k(t) の最終的な分布法則を導出する。

実験結果

リサーチクエスチョン

• RQ1 L(1,f) が予測される境界から著しく大きいまたは小さい新形式 f ∈ H_k^*(1) の例外的集合の漸近的サイズは何か？
• RQ2 例外的集合サイズの減少率は、s=1における自動形式L関数に対してモンゴメリー＝ヴォーゲンの予想が示す確率的予測と一致するか？
• RQ3 m=1の場合の対称平方の場合に、予想される対数的減少率 exp(−c(log k)/log₂k) が、極値L関数の分布に対して確立可能か？
• RQ4 調和重み ω_f は L(1,f) の分布にどのように影響を与えるか？また、それらを用いて算術的分布関数を精緻化できるか？
• RQ5 鞍点法とトレース公式をどのように組み合わせて、極値L関数の分布における誤差項を制御できるか？

主な発見

• F̃_k(t) は t ≍ T(k) に対して F̃_k(t) ≍ Φ(t) を満たし、Φ(t) はガウス型近似である。主要項は誤差項を支配する。
• 上位極値 (B_m^+ log₂k)^{A_m^+} に近い L(1,f) のための例外的集合サイズは、exp(−c₁(log k)/(log₂k)^{7/2} log₃k) の形で減少し、期待されるオーダーが確認された。
• 下位極値 L(1,f) ≪ (B_m^- log₂k)^{-A_m^-} のための例外的集合サイズも、同様に exp(−c₂(log k)/(log₂k)^{7/2} log₃k) の形で減少し、上界と同程度のオーダーである。
• トレース公式展開における主要誤差項は O(Φ(t)/(log k)^A) と抑えられ、k が十分に大きいときには主要項に比べて無視可能である。
• F̃_k(t) の漸近公式は、誤差項 O(Φ(t)(e^{t−T(k)−C}(t/T(k))^{1/2} + e^{−c₆e^{δt}} + (log k)^{−A})) の形で確立され、t = T(k) の周辺に濃集することが示された。
• 結果として、m=1 に対してモンゴメリー＝ヴォーゲンの予想の弱い形が確認された。例外的集合の減少率は、log log k のべきを除いて、予想される対数的スケールと一致する。