[論文レビュー] On the distribution of Satake parameters for Siegel modular forms

Andrew Knightly, Charles Li|arXiv (Cornell University)|May 12, 2016

Advanced Algebra and Geometry参考文献 42被引用数 5

ひとこと要約

本稿は、固定された重み $\mathtt{k}$ と genus $n$ の Siegel 模形式の $p$-番目の Satake パrameter について、$p$ と互いに素な整数を経由して $N \to \infty$ となるレベルにおいて、調和的重み付き等分布結果を確立する。$\operatorname{PGSp}(2n)$ のレベルの側面における新しい漸近的 Petersson 公式を用いて、著者たちは重み付き Satake パrameter が測度 $\mu$ に関して等分布することを証明する。この測度 $\mu$ は、自然な仮定の下で $p \to \infty$ のとき Sato-Tate 測度に収束する。この結果は、$\operatorname{GL}(2)$ における調和的重み等分布を、より高いランクのシミレクティック群へ拡張するものである。

ABSTRACT

We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N o \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.

研究の動機と目的

• Siegel 模形式の Satake パrameter のレベルの側面における垂直的等分布を、Petersson のトレース公式から生じる調和的重みを用いて確立すること。
• $\operatorname{GL}(2)$ および $\operatorname{GL}(3)$ における既知の等分布結果を、より高いランクのシミレクティック群 $\operatorname{GSp}(2n)$ へ拡張すること。
• 等分布測度 $\mu$ の極限的挙動を分析し、幾何的側の仮定の下で Sato-Tate 測度と関係づけること。
• $\operatorname{GSp}(2n)$ のレベルの側面における新しい漸近的 Petersson 公式を構築・応用し、スペクトル和を制御する上で中心的な役割を果たすこと。

提案手法

• $\operatorname{GSp}(2n)$ のレベルの側面における新しい漸近的 Petersson 公式を、トレース公式のスペクトル側と幾何的側の解析を用いて導出する。
• スペクトルの寄与を反映するように、$L^2$ ノルムで正規化されたフーリエ係数の二乗和として調和的重みを定義する。
• $\operatorname{GSp}(2n)$ の離散的系列の行列係数とその形式的次数を用いて、トレース公式のスペクトル側を計算する。
• アーキメデス的および非アーキメデス的寄与に分解することで、幾何的側を分析する。特に $p \in \mathbf{S}$ および $p \notin \mathbf{S}$ の場合を考慮する。
• 積分推定と球座標を用いて、トレース公式の非対角項をバウンドし、十分大きな $\mathtt{k}$ に対して収束を保証する。
• 特に $n=2$ の場合に、幾何的側の成長に関する仮定の下で、極限測度 $\mu$ を Sato-Tate 測度と関係づける。

実験結果

リサーチクエスチョン

• RQ1 固定された重み $\mathtt{k}$ とレベル $N \to \infty$ の Siegel 模形式の $p$-番目の Satake パrameter が、Petersson のトレース公式を介した調和的重みによってどのように分布するか。
• RQ2 レベル $N \to \infty$ のとき、これらの重み付き Satake パrameter の分布を支配する極限測度 $\mu$ は何か。
• RQ3 $p \to \infty$ のとき、測度 $\mu$ が Sato-Tate 測度に収束する条件は何か。
• RQ4 トレース公式の幾何的側の漸近的挙動が、特に $n=2$ の場合に等分布結果にどのように影響するか。
• RQ5 調和的重み構造は $\operatorname{GSp}(2n)$ の文脈でフーリエ係数とどのように関係づけられるか。また、$\operatorname{GSp}(4)$ における既知の結果と比較するとどうなるか。

主な発見

• 著者たちは、幾何的側のトレース公式が制御された速度で成長するという仮定の下で、$N \to \infty$ のとき重み付き Satake パrameter が測度 $\mu$ に関して等分布することを証明する。
• $n=2$ の場合、測度 $\mu$ は温度スペクトルに台を持つことが示され、仮定のもとで $p \to \infty$ のとき Sato-Tate 測度に収束することが分かった。
• $\operatorname{GSp}(2n)$ のレベルの側面における漸近的 Petersson 公式が確立され、スペクトル和の制御に寄与する積分推定が可能になった。
• $\mathtt{k} \geq 17$ のとき、トレース公式の非対角項の収束が証明され、漸近公式の有効性が保証された。
• 誤差項のバウンドが $\ll \frac{\mathtt{k}^{21/2}(8r)^{\mathtt{k}/2}}{N^{\mathtt{k}-12}}$ であることが示され、固定された $\mathtt{k} \geq 17$ に対して $N \to \infty$ のとき急速に減少することが確認され、漸近的挙動が裏付けられた。
• $n=2$ の場合、幾何的側の仮定に基づき、測度 $\mu$ が Sato-Tate 測度と明示的に関係づけられ、収束速度は積分推定における Beta 関数の減衰と関連づけられた。