Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

技術的要約：アフィン $\Psi$-束の族に対するプランシュレル公式およびポアソン summation 公式

問題設定と背景
本論文は、三重積 $L$ 関数に関連する文脈において現れる、特定の特異空間に関するポアソン summation 予想（Poisson summation conjecture）に対処するものである。この予想は、Braverman と Kazhdan によって提唱され、Ngô と Sakellaridis によって洗練されたものであり、シュワルツ空間、ねじれ共変性を持つフーリエ変換、および球形多様体に対するポアソン summation 公式の存在を仮定している。

著者らは、特定の球形多様体上のアフィン $\Psi$-束の族に焦点を当てている。$F$ を数体とし、$r \geq 3$ とする。基礎となる幾何学的対象は $X^\circ_r = N \backslash GL_r$（ここで $N$ は標準的なパラボリック部分群の単冪根）であり、これは $M_{r-2,2}$ におけるランク 1 行列の空間 $M^\circ$ と対になっている。著者らは、積 $X^\circ = X^\circ_r \times M^\circ$ とそのファイバー $X^\circ_\ell$（$\ell \in \mathbb{P}^1(F)$ 上の点）を検討している。これらのファイバー上で、文字 $\psi$ と行列成分に関するペアリングを含む特定の変換則を満たすエルミート線束 $H$（アフィン $\Psi$-束）を研究している。

この特定の空間の選択における主要な動機は、著者らと Leslie による伴走論文 [GGHL25] で探求されている三重積 $L$ 関数の積分表示への応用である。その文脈において、これらの $L$ 関数の解析接続を証明するには、一対のポアソン summation 公式が必要となる（一つはベクトル空間に関する既知のもの、もう一つはここで研究されている特異空間 $X^\circ_\ell$ に関するもの）。

手法
著者らは、自家的表現および $L$ 関数の既知の性質を利用したスペクトル的手法を採用している。核心となる技術的戦略は、以下のステップを含む。

1. 局所調和解析： 著者らはまず、局所的なプレース $v$ における Harish-Chandra 空間 $C(X^\circ_\ell(F_v), H)$ に対するプランレル公式を確立する。これには、関数の空間の定義、局所ゼータ積分の構成、および $GL_{r,r-2}$ の表現の Whittaker モデルとの関連付けが含まれる。
2. ゼータ積分と境界： 本研究の大部分は、局所ゼータ積分 $Z(f, W, \chi)$ の絶対収束の証明および精密な境界の確立に割かれている。これらの積分は $\Psi$-束の構造と Whittaker 関数を用いて定義される。著者らは、これらの積分が急速減少関数に対して収束することを証明し、その・正則継続性を確立する。
3. 行列的プランレル定理： $GL_{r,r-2}$ の局所プランレル公式とゼータ積分の構造を組み合わせることで、著者らは $X^\circ_\ell(F_v)$ の空間に対する「行列的（matrical）」プランレル定理を導出する。この定理は、束の Harish-Chandra 空間と、$GL_{r,r-2}$ のテンパー表現上の切断の空間との間の位相同型を提供する。
4. フーリエ変換の構成： プランレル同型を用いて、局所フーリエ変換を定義する。この変換は、関連する $L$ 関数に付随する $\gamma$-因子によって記述される、プランレル写像の下での像を記述することによって構成される。
5. 漸近的シュワルツ空間： 空間の幾何学に適応した漸近的シュワルツ空間 $Sas(X_\ell(F_v), H)$ を定義する。著者らは、基本関数（特定のコンパクト部分群の特性関数によって定義される特定のテスト関数）がこの空間に属し、$\Xi$-急速減少であることを証明する。
6. 大域的展開（Global Unfolding）： 大域的なポアソン summation 公式を証明するために、カスプ形式とシュワルツ関数を含む大域的ゼータ積分を展開する。著者らは、自家的カーネルのスペクトル分解と、局所フーリエ変換（局所ゼータ積分の関数方程式から導出される）を用いた局所ゼータ積分の関数方程式を利用して、有理点上の和をフーリエ変換の和に関連付ける。

主要な貢献と結果

• アフィン $\Psi$-束に対するプランレル公式： 本論文は、特異な球形多様体上のアフィン $\Psi$-束の族に対する Harish-Chandra 空間のプランレル公式を証明している（定理 1.1、定理 8.6）。これは、プランレル分解が任意に高いランク（$GL_{r,r-2}$）の許容表現を含むという点で注目に値する。これは、より低いランクの群や特定のモノイドを扱う従来の球形多様体の結果とは異なる。
• フーリエ変換の構成： 著者らは、これらの空間に対する局所および大域的なフーリエ変換を構成している（定理 9.2、定理 10.2）。これらの変換は、漸近的シュワルツ空間上の位相同型であることが示されている。
• ポアソン summation 公式： カスプ的像およびテスト関数の急速減少に関する適切な仮定（A1 および A2）の下で、著者らは以下のポアソン summation 公式を証明する：
  $$\sum_{x \in X^\circ_\ell(F)} f(x) = \sum_{x \in X^\circ_\ell(F)} \mathcal{F}(f)(x)$$
  （定理 1.2、定理 12.7）。
• 技術的評価： 著者らは、アルキメデス的および非アルキメデス的設定の両方において、Whittaker 関数およびゼータ積分に関する厳密な境界（非テンパー表現および基本関数の挙動を含む）を提供している。

意義と主張
著者らは、この研究が、プランレル分解が任意に高いランクの許容表現を含む特異な空間に対して、ポアソン summation 予想が証明された最初のケースであることを主張している。

本論文は、スペクトルデータと幾何学的データの間を行き来することでスペクトルデータに関する結果を導き出す手法が、自家的表現論において普遍的であることを明示している。この特定の状況において、著者らは $L$ 関数（特にその解析接続と関数方程式）の既知の性質を用いて、ポアソン summation 公式を導出している。彼らは、このアプローチが、ポアソン summation がしばしば $L$ 関数の性質を証明するために用いられるという点において、ある種、循環的（circular）であることを認めているが、彼らの意図する [GGHL25] への適用においては、この手法が妥当かつ必要であると主張している。

著者らは、プランレル公式およびスペクトル的手法を用いずに、フーリエ変換を構成したりポアソン summation 公式を証明したりする方法を、現時点では知らないことを認めている。また、証明を簡略化するためにテスト関数が強い条件（A1 および A2）を満たすと仮定しているが、多くの関数が急速減少条件（A2）を満たすと考えている。ただし、開軌道（open orbit）に対する完全なパラ・ワイエル（Paley-Wiener）定理の構築は、今後の課題としている。

要約すると、本論文は特定のクラスの特異空間に対する厳密な調和解析の枠組みを提供し、ファイバー束の手法を通じて三重積 $L$ 関数の研究を進めるために必要な、プランレルおよびポアソン summation のツールを確立している。