Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions III: The Twisted Case

技術的要約：「$GL(3) \times GL(2)$ $L$関数におけるスペクトルモーメント公式 III：ツイストされたケース」

問題提起
本論文は、非アルキメデス的な（ツイストされた）側面における $GL(3) \times GL(2)$ Rankin-Selberg $L$関数のモーメントに関するスペクトル相反性公式を確立するという問題に取り組んでいる。具体的には、Dirichlet $L$関数の4次のモーメントに関して Young [Y11] および Blomer-Humphries-Khan-Milinovic [BHKM20] が発見した非アルキメデス的な相反性関係を一般化することを目的としている。中心となる課題は、整数 $a$ によってツイストされた $GL(2)$ ヘッケ固有値を含むスペクトルモーメントを、Conrey, Farmer, Keating, Rubinstein, および Snaith (CFKRS) によって定式化された「ツイストされたモーメント予想」に従いつつ、$GL(3)$ $L$関数に関する双対モーメントへと結びつける精密な恒等式を導出することである。従来のツイストされたモーメントに関する研究における重要な技術的障壁は、非素数ツイストから生じる組合せ論的な複雑さを処理し、非対角項の主項を特定することの困難さにあった。

手法
著者は、算術的データとスペクトルデータを橋渡しするために、周期積分を利用する「周期相反性（Period Reciprocity）」の枠組みを採用している。核となる手法は以下の通りである：

1. 周期積分の構成： 証明は、$GL(2)$上のポアンカレ級数$P_a$と$GL(3)$ Maass 尖点形式 $\Phi$（またはその双対）との間の特定のペアリングを評価することから始まる。このペアリングは、ポアンカレ級数のスペクトル分解を用いて展開される。
2. 展開と算術的ツイスト： 周期積分を展開することにより、著者は「ツイストされた鍵となる恒等式（Twisted Key Identity）」（Proposition 3.1 および Corollary 3.2）を導出する。このステップには、ユニモジュラー部分群に沿ったフーリエ展開と、積分の中に加法的ツイスト（ラマンヌ・サム）を導入する変数変換が含まれる。このプロセスにより、算術的ツイスト $a$ が積分の解析的構造へと明示的に結び付けられる。
3. 変数の分離： 得られた積分は、対角成分と非対角成分に分離される。非対角項は、$GL(3)$ のフーリエ係数とラマンヌ・サムを含む三重のディリクレ級数によって表現される。
4. 解析接続と関数等式： 著者は、得られた二重および三重のディリクレ級数の解析的性質を分析する。決定的なステップは、極の因子（polar divisor $2s - s_0 = 1$）の特定であり、これが非対角項の主項をもたらす。証明は、$GL(3)$ $L$関数の関数等式および積分変換 $F^{(\pm)}_\Phi$（Kontorovich-Lebbedev 変換とWhittaker 関数を通じて定義される）の性質に依拠している。
5. グローバル対ローカルのアプローチ： 近似関数等式（AFE）や分岐素数における局所的な組合せ論的チェックに依存する標準的なアプローチとは異なり、本研究では、複数のディリクレ級数を用いて基礎となる組合せ論をパッケージ化するグローバルなアプローチを用いている。これにより、任意のツイストに対する関数関係の導出が簡略化される。

主要な貢献と結果

• 定理 1.1（主要な相反性公式）： 本論文は、一般的な整数ツイスト $a$（素数に限定されない）に対する相反性公式（式 1.4）を確立している。この公式は、$GL(2)$ Maass 形式の $\lambda_j(a)$ によるスペクトル和を、以下のものを含む双対の式と等置する：
  • 標準的な $L$関数 $L(2s, \Phi)$ とガンマ因子の積を含む対角項。
  • 双対 $L$関数 $L(2(1-s), \tilde{\Phi})$ を含む非対角項。
  • 二重ディリクレ級数として定義される、加法的にツイストされた $L$関数 $L^{(a)}_{\pm}(s_0, s; \Phi)$ を含む項（式 1.3）。
• ツイストされたモーメントの一般化： 結果は任意の整数 $a$ に対して成立し、以前の技術的制限であった素数導手への制約を克服している。$a=p$ が素数の場合、双対モーメントは原始的な乗法的ツイストを含む形式を回収する（Proposition 4.7）。
• Dirichlet $L$関数への接続： $\Phi$ が $SL_3(\mathbb{Z})$ の最小放物型アイゼンシュタイン級数であり、$s=1/2$ である特定のケースにおいて、この相反性公式が Dirichlet $L$関数の4次のモーメント（式 1.5）に帰着することを示している。これにより、[Y11] および [BHKM20] の結果を回収し、算術的相反性の起源を説明する行列恒等式（式 1.6）を提供する。
• 非対角項の主項： 著者は、Conrey-Keating の用語における「3-swap」項（$GL(2)$ $L$関数のツイストされた3次モーメントの非対角項の主項）を明示的に特定した。これは、三重ディリクレ級数の極の因子を分析することによって達成され、AFE に依存する従来の手法と比較して、非対角項の抽出をより明確にしている。
• ツイストされたレシピの検証： 本研究は、$GL(3) \times GL(2)$ 設定における CFKRS のツイストされたモーメント予想への証拠を提供している。周期積分アプローチから、予測される主項（0-swap および 3-swap 項を含む）が自然に現れることを確認しており、非対角項は基礎となる多重ディリクレ級数の特定の関数関係に対応している。

意義

本論文は、以下の領域において重要性を主張している：

1. 相反性の統一： $GL(2)$モーメントにおける算術的ツイストと$GL(3)$ モーメントにおけるスペクトル的ツイストが、単なる複雑な組合せ論的偶然ではなく、単純な行列恒等式と周期積分を通じて結びついていることを示すことで、非アルキメデス的な相反性の理解を統一する。
2. 手法の進展： 周期積分と多重ディリクレ級数を用いることで、スペクトル Kuznetsov 公式における $J$-および $K$-Bessel 項の分離に伴う技術的な困難を回避し、標準的な AFE 手法で必要とされる繊細な局所組合せ論を回避している。
3. 高ランクへの類似： Motohashi 公式および Young/Blomer-Humphries-Khan-Milinovic の相反性の高ランク（$GL(3) \times GL(2)$）における類似物を提供し、より複雑な $L$関数族へとこれらの強力なツールを拡張している。
4. 予想の基礎： 高ランクの設定における「ツイストされたモーメント予想」の厳密な基礎を提供し、精緻な漸近公式に不可欠な非対角主項の存在と構造を確認している。

著者は、アイゼンシュタイン・ケース（アンツイスト）については随伴論文 [Kw23a+] で扱われているが、本研究は一般的なツイストを持つ尖点形式のケースに焦点を当てており、用いた手法は追加的な帳簿整理（bookkeeping）を行うことでアイゼンシュタイン・ケースも扱うのに十分堅牢であると述べている。本論文は、すべての家族におけるすべての swap 項に対する完全なツイストされたモーメント予想を解いたと主張するものではなく、$GL(3) \times GL(2)$ のケースにおける特定の 3-swap 項を確定させるものである。