The Ranking-Selberg integral on ${\bf GSp(2)}$ for square free levels

以下は、Seiji Kuga および Masao Tsuzuki による論文「The Rankin-Selberg Integral on GSp(2) for Square Free Levels」の詳細な技術的要約である。

1. 問題提起と背景

本論文は、対称群 $G = GSp(2)$上の、平方因子を持たないレベル$\Gamma_0(N)$ を持つベクトル値シゲル尖点形式に対する、Piatetski-Shapiro によって導入されたランキン・セルバーグ型積分の明示的な計算を取り扱っている。

• 動機: $GSp(2)$ 上のベッセル周期は、特にBöcherer 予想（Liu によって精緻化され、Furusawa-Morimoto によって解決された）の文脈において、シゲルモジュラー形式の算術において中心的な役割を果たす。この予想は、ベッセル周期を$L$-関数の特殊値と関連付けるものである。
• 具体的な目標: 著者らは、重み $l$ を固定したまま、レベル $N$（平方因子を持たない整数）が無限大に発散する際の、アイゼンシュタイン級数 $E(s, \Lambda, \mu)$ とシゲル尖点形式 $\phi$ の内積の平均を、そのベッセル周期で重み付けして計算することを目的としている。
• 対象となる応用: これらの結果は、著者らが相対跡公式の幾何学的側面を解析することを意図した forthcoming paper [20] の基礎となる。重要な要件として、「古形式（old forms）」、「Yoshida 持ち上げ（Yoshida lifts）」、「Saito-Kurokawa 持ち上げ（Saito-Kurokawa lifts）」がこの平均に対して無視し得る（漸近的に消滅する）寄与を持つことを示し、「一般型（general type）」の形式の寄与のみを孤立させる必要がある。

2. 手法

著者らは、大域的な自己同型理論と明示的な局所計算を組み合わせる局所 - 大域的手法を採用している。

A. 大域的設定

1. ランキン・セルバーグ積分: 虚二次体 $E$ に関連する部分群 $G^\#$ のアデール商上での積分 $\langle E(s, \Lambda, \mu), \phi \rangle$ を定義する。
2. 基本恒等式: Piatetski-Shapiro の補題を用いて、この大域的内積を大域的ベッセル関数 $B_{T_\theta, \Lambda}(\phi)$ のメリン変換に関連付ける。
3. 分解: 大域的ベッセル周期は、ベッセルモデルに対する局所多重性 1 の定理に依存して、局所ベッセル関数のオイラー積に分解される。
4. 新形式: 各自己同型表現 $\pi$ に対して、局所ベッセルデータ $(\ell_p, \xi_p)$ の系を固定することで「新形式（newform）」$\phi_\pi^0$ を定義する。ここで $\ell_p$ は局所ベッセル汎関数、$\xi_p$ は局所新ベクトルであり、$\ell_p(\xi_p)=1$ となるように正規化されている。

B. 局所計算（中核的な技術的作業）

本論文は、$G(\mathbb{Q}_p)$ の既約許容表現の様々なタイプに対する局所ゼータ積分の明示的な評価を提供している。

• 表現: 平方因子を持たないレベルを持つ大域的形式の局所成分に対応する、Type I, IIb, IIIa, および VIb（Schmidt/Atobe による分類）の表現に焦点を当てている。
• テスト関数: 特定のシュワルツ・ブルワ関数とベッセルベクトル（多くの場合、合同部分群 $K_0(p)$ における新ベクトルまたは固定ベクトル）を利用している。
• 対象となる場合:
  • 不分岐の場合: 標準的な計算。
  • 分岐の場合: 非自明な導手を持つ表現、および指標 $\Lambda$ またはレベル $N$ が分岐を導入する場合の明示的な計算。
  • 古形式: 素数 $p$ において新形式ではない表現（自明な中心指標を持つ Type I および IIb）の計算。
  • 新形式: Type IIIa および VIb の新形式の計算。
• Gross-Prasad 周期: 第 7 節において、分岐した指標に対する特定の局所周期を計算し、Dickson らによる先行結果を分岐設定に拡張している。

3. 主要な貢献と結果

A. 平均の明示的公式（定理 5.2 および 5.3）

著者らは、スペクトル平均 $I(s)(\lambda, N, f_S)$ に対する完全に明示的な公式を導出する。この結果は、平均を以下の項で表現する：

1. スピノル$L$-関数: 指標 $\mu$ によってねじれた $L(s, \pi, \mu)$。
2. フーリエ係数: 新形式のフーリエ係数の、$E$ の射類群上の平均である量 $R(\phi_\pi^0, E, \Lambda)$。
3. 局所周期: 局所ゼータ積分から生じる明示的な因子 $t(\pi_p, \mu_p)$。

彼らは、自己同型表現の和を互いに素な部分集合に分離することでこの公式を精緻化する：

• 一般型（$G$）: 持ち上げに由来しない形式。
• Yoshida 持ち上げ（$Y$）: $GL(2)$ 形式の対からの持ち上げ。
• **Saito-Kurokawa 持ち上げ（$SK$）:**$PGL(2)$ 形式からの持ち上げ。
• 古形式: 低いレベルから誘導された形式。

B. 漸近的消滅結果（定理 5.4）

主要な貢献の一つは、$N \to \infty$（$N$ が $E$ において素かつ不変である場合）において以下のことが証明されたことである：

• 古形式の寄与は $O(N^{-8})$ として減衰する。
• Yoshida 持ち上げの寄与は $O(N^{-3/2})$ として減衰する。
• Saito-Kurokawa 持ち上げの寄与は消滅する（または $\mu$ に依存して $O(N^{-3/2})$ として減衰する）。
• したがって、平均は一般型の形式によって支配される。

C. 関数等式と局所因子

• 彼らは、ランキン・セルバーグ積分から直接ねじれたスピノル$L$-関数 $L(s, \pi, \mu)$ の関数等式を導き出し、Piatetski-Shapiro によって定義された局所因子が文献（例：[38]）のそれらと一致することを確認した。
• 困難な分岐の場合を含む、関連するすべての表現タイプに対する明示的な局所 $\epsilon$-因子および局所周期の公式を提供している。

4. 意義

1. 技術的障壁の解決: 本論文は、ベクトル値形式および分岐指標に対する明示的な局所計算を提供することで、文献における重要なギャップを埋めている。先行する研究（例：[7]）は、主にスカラー値形式または不分岐の場合を扱っていた。
2. 跡公式への基盤: 結果は、著者らの相対跡公式に関する今後の研究に不可欠である。「悪い」寄与（古形式、持ち上げ）が漸近的に消滅することを証明することにより、一般型形式のスペクトル寄与を孤立させるためにこの特定の平均を使用することを正当化し、$L$-値に対する凸性未満の境界や非消滅結果の証明に必要なものとしている。
3. 予想の検証: 明示的な公式は、シゲルモジュラー形式の文脈における精緻化された Gan-Gross-Prasad 予想の厳密な検証として機能し、その範囲を平方因子を持たないレベルおよびベクトル値形式に拡張している。
4. 計算ツールキット: 局所ゼータ積分に関する詳細な表と公式（第 6 節および第 7 節）は、$GSp(2)$ および関連する群上の自己同型形式に取り組む将来の研究者にとって貴重な参考文献を提供する。

要約すると、Kuga と Tsuzuki は、シゲル尖点形式に対するランキン・セルバーグ積分の厳密で明示的かつ漸近的な解析を提供し、抽象的な自己同型表現理論と$L$-関数およびベッセル周期に関わる具体的な算術応用の間のギャップを埋めている。