The $\rho$-Fourier transform

「$\rho$-フーリエ変換」の技術的概要

問題提起
本論文は、局所体 $F$ 上の半単純群 $G$ に対する $\rho$-フーリエ変換および関連する $\rho$-シュワルツ空間の存在に関する、Braverman、Kazhdan、Ngô の予想に取り組む。$\rho: {}^L G \to \mathrm{GL}(V_\rho)$ を $G$ の $L$-群の表現とする。この予想は、$L^2(G(F))$ の稠密な $G(F) \times G(F)$-不変部分空間 $S_\rho$ が存在し、特定の共変性と関数方程式の性質を満たすユニタリ作用素 $\mathcal{F}_\rho$（$\rho$-フーリエ変換）を備えていることを主張する。特に、 tempered 表現 $\pi$ に対しては、変換が $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$ を満たさなければならない。ここで $\gamma$ は局所 $\gamma$-因子である。さらに、空間 $S_\rho$ は、局所ゼータ積分に関する解析的条件（収束性、有理型接続、$L$-関数を含む関数方程式など）を満たさねばならず、非アルキメデス的場合には「ほとんどコンパクト台」であるという幾何学的制約も満たさなければならない。

手法
著者らはスペクトル的手法を採用し、主要な道具として Harish-Chandra のプランシュレル定理を用いる。群側で直接積分核を構成するのではなく、彼らは tempered 双対上の切断空間上でスペクトル的にフーリエ変換を定義する。

1. スペクトル構成: 著者らは、Harish-Chandra 空間 $C(G(F))$ 上の $\rho$-フーリエ変換 $\mathcal{F}_\rho$ を、そのスペクトル側（Harish-Chandra 変換 $H_P$ を通じて）での作用が $\gamma$-因子 $\gamma_\rho(\pi)$ による乗法となるように宣言することで定義する。具体的には、$\mathcal{F}_\rho = (\cdot)^\vee \circ H_P^{-1} \circ (\gamma_\rho \cdot) \circ H_P$ である。
2. 局所ラングランズ対応: この構成は、特定の要請（LLC1–LLC8）を満たす局所ラングランズ対応（LLC）の弱い形に依存している。これらには、トーラスおよび $\mathrm{GL}_n$ に対する LLC との整合性、双対表現への振る舞い、$\gamma$-因子および $L$-関数の特定の解析的性質が含まれる。著者らは、これらの条件が既知の場合（例えば $G=\mathrm{GL}_n$）に成り立つことを検証し、一般的にはこれを仮定する。
3. 漸近的シュワルツ空間: ゼータ積分に対する解析的制約を扱うために、著者らはまず「漸近的 $\rho$-シュワルツ空間」$S^{\mathrm{as}}_\rho(G(F))$ を構成する。この空間は、$L_\rho^{-1} T$ が多項式（非アルキメデス的）または正則（アルキメデス的）な切断となるような切断 $T$ に対する $H_P$ の逆像として定義され、$\rho$ に付随する $L$-関数に関する特定の成長条件に従う。
4. 幾何学的制御（非アルキメデス的）: 非アルキメデス的の場合、著者らは $S^{\mathrm{as}}_\rho(G(F))$ を精密化して、実際の $\rho$-シュワルツ空間 $S_\rho(G(F))$ を得る。彼らは漸近的空間を、ほとんどコンパクト台を持つ滑らかな関数の空間 $C^\infty_{\mathrm{ac}}(G(F))$ と交差させる。$C^\infty_{\mathrm{ac}}(G(F))$ に対する Paley-Wiener 定理（Bernstein および Heiermann による）および拡張された Bernstein 中心を用いて、この交差が $\mathcal{F}_\rho$ に対して安定な最大部分空間を含むことを証明する。
5. 評価と推定: 本論文は、構成された作用素の収束性と連続性を保証するために、特にアルキメデス的の場合において、tempered 双対全体にわたる $\gamma$-因子および $L$-関数に対する一様な評価を確立することに多大な努力を注いでいる。

主要な貢献と結果

• 変換の存在: 著者らは、Harish-Chandra 空間 $C(G(F))$ が、すべての tempered 表現 $\pi$ に対して関数方程式 $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$ を満たすユニタリ $\rho$-フーリエ変換 $\mathcal{F}_\rho$ を許容することを証明する。これは Braverman-Kazhdan-Ngô の予想 1.1 を確認するものである。
• シュワルツ空間の構成:
  • アルキメデス的の場合: 彼らは空間 $S_\rho(G(F)) = S^{\mathrm{as}}_\rho(G(F))$ を構成し、それが予想 1.5 の解析的要請 (S1) および (S2) を満たすことを証明する。
  • 非アルキメデス的の場合: 彼らは $S_\rho(G(F))$ を、$S^{\mathrm{as}}_\rho(G(F)) \cap C^\infty_{\mathrm{ac}}(G(F))$ 内の $\mathcal{F}_\rho$ に対して安定な最大部分空間として構成する。この空間が、基本関数 $b_\rho$ の存在（予想 S3）およびほとんどコンパクト台の性質（予想 S4）を含む、予想 1.5 のすべての条件を満たすことを証明する。
• 核と基本関数: 本論文は、核分布 $J_\rho$ および基本関数 $b_\rho$（不分岐の場合）を明示的に構成し、$b_\rho$ がフーリエ変換の不動点であり、そのゼータ積分が $L$-関数 $L(s, \pi, \rho)$ を回復することを示す。
• 普遍性: 本手法は、分岐のタイプや数体のすべての場所に対して一様に進行することが示されており、特定のケースに限定されたり幾何学的設定に依存したりした以前の研究とは対照的である。

意義と主張
本論文は、シュワルツ空間に関する Braverman-Kazhdan-Ngô の予想の「大部分」を証明したと主張する。主な意義は、$\rho$-フーリエ変換の直接的なスペクトル構成を提供し、理論を「堅固な土台」に置く点にある。著者らは、彼らのアプローチが Lafforgue によるものや等特性の場合などで用いられた幾何化の手法に依存するのではなく、Harish-Chandra のプランシュレル公式と局所ラングランズ対応を活用していることを強調している。

著者らはアルキメデス的の場合について控えめに述べており、解析的条件を満たす近似（漸近的空間）を構成するものの、アルキメデス的設定において「ほとんど」コンパクト台を持つ関数からなるシュワルツ空間の構成は依然として不明であり、さらなる作業が必要であると指摘している。また、彼らの結果は局所ラングランズ対応に対する特定の要請の妥当性に依存しており、これらは $\mathrm{GL}_n$ や他の特定の群については既知であることを付記している。

本論文は最後に、構成された空間がゼータ積分および関数方程式に関する局所的な予想を満たすことを述べており、モジュレーション群の構成などの潜在的な大域的応用の基礎を提供していると結論づけている。ただし、本論文自体は大域的応用を展開するものではない。