[論文レビュー] Central value of automorphic $L-$functions

Ehud Moshe Baruch, Zhengyu Mao|ArXiv.org|Jan 11, 2003

Advanced Algebra and Geometry参考文献 10被引用数 6

ひとこと要約

本稿は、Waldspurgerの公式を完全実数体へ一般化し、それを全局的アデール的分布の等式として再解釈することで、半整数重みモジュラー形式のフーリエ係数と整数重み形式の中心付きL値の間の明確な関係を確立する。主な結果は、二乗トランスフォームの制限なしにKohnen-Zagierの公式を新たなアデール的枠組みで再定式化することであり、半整数重み形式のRamanujan予想と整数重みL関数のLindelöf予想の特別な場合との同値性が示される。

ABSTRACT

We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in the adelic setting.

研究の動機と目的

• 整数重み形式の中心L値と半整数重み形式のフーリエ係数の間のWaldspurgerの公式を、完全実数体の設定へ一般化すること。
• Waldspurgerの公式を、全局的アデール的分布の等式として再解釈することで、相対的トレース公式の技法を用いた体系的な比較を可能にすること。
• 半整数重みモジュラー形式のRamanujan予想と整数重みL関数のLindelöf予想の特別な場合との同値性を確立すること。
• 二乗トランスフォームの制限を除いたKohnen-Zagierの公式の一般化を、アデール的設定へ拡張すること。

提案手法

• 完全実数体のアデール環上に、全局的分布 $ I $ と $ J $ を定義し、それらを局所的分布 $ I_v $ と $ J_v $ の積に分解する。
• theta対応およびShimura対応の理論を用いて、$ PGL_2 $ 上の自動形式的表現 $ \pi $ と $ \widetilde{SL}_2 $ 上の $ \tilde{\pi} $ を関連付ける。
• 全局的および局所的分布の比較を通じて、$ c_1 = c_2 $ を確立する。ここで $ c_1 $ は $ \pi $ の中心L値、$ c_2 $ は $ \tilde{\pi} $ のフーリエ係数の二乗である。
• 相対的トレース公式および局所的Waldspurger理論を用いて、すべての場所 $ v $（含むアーチメデス的および2進体）において、局所的成分 $ I_v $ と $ J_v $ を一致させる。
• Whittaker周期および$ \varepsilon $因子の明示的公式を用いて、有限およびアーチメデス的場所における局所的因子 $ e(\varphi_v, \psi) $ と $ e(\tilde{\varphi}_v, \psi^{|D|}) $ を計算する。
• アデール的結果を古典的モジュラー形式の言語に翻訳し、二乗トランスフォームの制限なしにKohnen-Zagierの公式を回復および一般化する。

実験結果

リサーチクエスチョン

• RQ1 Waldspurgerの公式は、$ \mathbb{Q} $ から完全実数体へどのように一般化可能か？
• RQ2 Waldspurgerの公式の正しいアデール的解釈は、全局的分布の等式としてのものか？
• RQ3 この枠組みにおいて、半整数重み形式のRamanujan予想とLindelöf予想の特別な場合との同値性を確立できるか？
• RQ4 二乗トランスフォームの制限を除いて、Kohnen-Zagierの公式をどのように拡張できるか？
• RQ5 局所的因子および$ \varepsilon $因子は、すべての場所（特に $ v=2 $ を含む）における中心L値の恒等式にどのような役割を果たすか？

主な発見

• 本稿は、整数重みの尖点形式 $ f $ の中心付きL値 $ L(f, D, k) $ が、対応する半整数重み形式 $ g $ のフーリエ係数の二乗 $ |c(|D|)|^2 $ に比例することを証明しており、比例定数には $ |D|^{k-1/2} $、$ \pi^k $、および $ (k-1)! $ が含まれる。
• 定理10.1において、二乗トランスフォームが基本的でなければならないという制限を除いた一般化されたKohnen-Zagierの公式が確立され、すべての $ D \in \mathbb{Q}^{\epsilon(S)}(\pi) $ に対して有効である。
• 半整数重み形式のRamanujan予想とLindelöf予想の特別な場合との同値性が証明され、Ramanujanの評価 $ |c(n)| \ll n^{k/2} $ が、すべての $ \epsilon > 0 $ に対して $ L(f, D, k) \ll |D|^{\epsilon} $ と同値であることが示される。
• 場所 $ v=2 $ において、局所的因子補正が $ D $ の合同類に応じて $ 2|D|_2 $ または $ 2(1+q^{-1})^{-1} $ に等しいことが示され、古典的 $ L(f, D, k) $ と一致させるために不可欠である。
• アデール的定式化により、恒等式 $ |d_{\tilde{\pi}}(S, \psi^D)|^2 = |d_\pi(S, \psi^D)|^2 L^S(\pi, 1/2) $ が、theta対応およびWhittakerモデルによる正確な局所的一致を通じて、全体的に成立することが確認される。
• 証明により、空間 $ \widetilde{A}^+_{k+1/2}(4N, \chi) \cap V_{\tilde{\pi}^{\epsilon(S)}} $ が一様次元であることが示され、これにより対応する半整数重み形式 $ g_S(z) $ の一意性が保証される。