[論文レビュー] On Petersson norms of generic cusp forms and special values of adjoint $L$-functions for ${ m GSp}_4$

Shih-Yu Chen, Atsushi Ichino|arXiv (Cornell University)|Feb 18, 2019

Advanced Algebra and Geometry参考文献 41被引用数 4

ひとこと要約

本稿では、アーキメデス的成分が離散的系列または球面的標準系列表現であるものと仮定した下で、$\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ 上の正規化された一般型の尖点形式のペテルソンノルムに対する明示的公式を、自己双対 $L$-関数の特別値と局所定数を用いて確立する。著者らは、アーキメデス的ホイッターアー積分の計算の難しさを、エンデスコピック還元とラルリス内積公式を用いることで克服し、ノルムに関する完全に明示的な算術的公式を導出する。

ABSTRACT

We prove an explicit formula for the Petersson norms of some normalized generic cuspidal newforms on ${ m GSp}_4$ whose archimedean components belong to either discrete series representations or spherical principal series representations. Our formula expresses the Petersson norms in terms of special values of adjoint $L$-functions and some elementary constants depending only on local representations.

研究の動機と目的

• $\mathrm{GSp}_4$ 上の一般型尖点形式のペテルソンノルムに対する明示的公式を導出すること。これは $\mathrm{GL}_n$ および $\mathrm{Mp}_{2n}$ に対して既知の結果を拡張することを目的とする。
• 標準的なランキン＝セルバーグ法では取り扱いにくい、アーキメデス的ホイッターアー積分 $\alpha_\infty(f_\infty)$ の計算という課題を克服すること。
• 離散的系列および球面的標準系列アーキメデス的成分を持つ $\mathrm{GSp}_4$ 尖点形式について、ペテルソンノルムと自己双対 $L$-関数 $L(s, \pi, \mathrm{Ad})$ の特別値との明確な関係を確立すること。
• 数論的幾何学および数論への応用に適した、明示的で算術的なノルムの公式を提供すること。

提案手法

• Lapid–Mao予想をフレームワークとして採用し、$\mathrm{GSp}_4$ に対してその正当性を仮定し、アーキメデス的場所における局所因子 $\alpha_v(f_v)$ の計算に焦点を当てる。
• 安定基底変換の持ち上げ $\pi \to \Pi$ を通じて $\mathrm{GL}_4(\mathbb{A}_\mathbb{Q})$ へのエンデスコピック還元を採用し、既知の内積公式の適用を可能にする。
• ラルリス内積公式を用いて、ペテルソンノルムを自動形式を介して $L$-関数の特別値と関連付ける。
• $p$-進およびアーキメデス的設定において、明示的積分表現と収束解析を用いてアーキメデス的場所におけるホイッターアー関数の計算を行う。
• シーゲル＝ヴァイの公式と明示的積分評価を用いて収束を制御し、パrameter空間における一様な境界を得る。
• 指数関数的およびべき関数による主要化により、アーキメデス的状況における主要な積分の絶対収束を検証し、公式の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般型尖点形式のペテルソンノルムは、自己双対 $L$-関数の特別値と局所定数を用いて明示的に表現可能か？
• RQ2 著しく計算困難とされるアーキメデス的ホイッターアー積分 $\alpha_\infty(f_\infty)$ は、どのようにして回避され、明示的なノルム公式が得られるか？
• RQ3 離散的系列または球面的標準系列アーキメデス的成分を持つ $\mathrm{GSp}_4$ 尖点形式について、ペテルソンノルムと自己双対 $L$-関数 $L(s, \pi, \mathrm{Ad})$ の正確な関係は何か？
• RQ4 エンデスコピックケースへの還元とラルリス内積公式の使用により、Lapid–Mao予想を $\mathrm{GSp}_4$ に対してどの程度明示的にできるか？
• RQ5 アーキメデス的成分が離散的系列または標準系列型である場合に生じる内積公式における主要な積分の収束性は、どのように特定されるか？

主な発見

• 正規化された一般型尖点形式 $f$ に対して、$\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ 上のペテルソンノルム $\langle f, f \rangle$ は、グローバル $L$-値 $L^S(1, \pi, \mathrm{Ad})$、定数 $\Delta_G^S$、および局所因子 $\alpha_v(f_v)^{-1}$ の積として表され、考察された場合に $\mathcal{S}_\pi = 1$ となる。
• アーキメデス的成分がタイプ (DS) の場合、ノルムは $\langle f, f \rangle = C \cdot L(1, \pi, \mathrm{Ad})$ と与えられ、$C$ はブレットナー・パラメータ $\lambda_1, \lambda_2$ と最小 $\mathrm{U}(2)$-型の正規化にのみ依存する基本定数の積である。
• アーキメデス的成分がタイプ (PS) の場合、ノルム公式も同様に明示的であり、$C$ は複素パラメータ $\lambda_1, \lambda_2$ と球面ベクトルの正規化に依存する。
• すべての関連する積分、特にアーキメデス的設定における積分の収束は、コンパクト集合内のパラメータに対して一様に確立され、公式が表現族全体にわたって有効であることを保証する。
• 著者らは、ラルリス内積公式における主要な積分が、$\mathrm{Re}(s) > 4|\mathrm{Re}(\lambda)| + 4\epsilon - 1$ の範囲で絶対収束することを検証し、$\lambda$ に関して一様な境界を得た。これにより、$L$-関数因子の解析接続が確認された。
• 最終的な公式は完全に明示的かつ算術的性質を持つ。数論的および幾何的応用に適した、計算可能なペテルソンノルムの表現が得られた。