[論文レビュー] The endoscopic fundamental lemma for unitary Friedberg-Jacquet periods

Spencer Leslie|arXiv (Cornell University)|Nov 18, 2019

Advanced Algebra and Geometry参考文献 29被引用数 9

ひとこと要約

この論文は、ユニタリ対称空間 $U(2n)/U(n)\times U(n)$ におけるエンドスコピック基本補題を証明し、フリードバーグ＝ジャケット周期に関連する相対的トレース公式の安定化に不可欠な局所的構成要素を確立する。ワイエル表現、軌道的積分の転送、およびベースチェイン技術を活用することで、エンドスコピック群と真の群の間での球面的軌道的積分の転送が検証され、自動形式およびL関数の算術へのグローバルな応用が可能になる。

ABSTRACT

We prove the endoscopic fundamental lemma for the Lie algebra of the symmetric space $U(2n)/U(n) imes U(n)$, where $U(n)$ denotes a unitary group of rank $n$. This is the first major step in the stabilization of the relative trace formula associated to the $U(n) imes U(n)$-periods of automorphic forms on $U(2n)$.

研究の動機と目的

• ユニタリ群 $U(n)\times U(n)$-周期の相対的トレース公式を安定化するための基盤的段階として、対称空間 $U(2n)/U(n)\times U(n)$ におけるエンドスコピック基本補題を確立すること。
• ユニタリ・フリードバーグ＝ジャケット周期の相対的トレース公式が非安定的であることに起因する局所的スペクトル理論的問題を解決すること。
• ワイエル表現およびベースチェインを用いて、$U(2n)$ のリー代数とそのエンドスコピックデータ間の軌道的積分の転送を証明すること。
• 非ゼロの $L$-値および外積平方 $L$-関数の極が、周期に特徴づけられる自動形式表現に関連するというグローバル予想を支える局所的フレームワークを提供すること。
• ユニタリ群の文脈において、相対的トレース公式の楕円的部の安定化に向けた最初の主要段階を完了すること。

提案手法

• ワイエル表現を用いて、$\operatorname{GL}_n(E)$ 上の軌道的積分をユニタリ群 $U(V_{n-1})$ 上のそれと関連づけ、分布の転送を可能にする。
• 自動形式が $E$ と $F$ の両方で関連付けられるようにするための、ベースチェイン準同型 $BC: \mathcal{H}_{K_{n,E}}(\operatorname{GL}_n(E)) \to \mathcal{H}_{K_n}(\operatorname{GL}_n(F))$ を適用する。
• ヘイロナカの $\mathcal{H}$-同型を用いて、$\operatorname{GL}_{n-1}(E)\times \operatorname{GL}_n(E)$ 上の畳み込み構造を $\operatorname{GL}_n(E)$ 上に関連づけ、テスト関数の転送を容易にする。
• 関数を $\operatorname{GL}_{n-1}(E)\times \operatorname{GL}_n(E)$ から $\operatorname{GL}_n(E)$ に上げるための縮約写像 $f \mapsto \tilde{f}$ を用い、軌道的積分と整合性を保つ。
• 図式の可換性（$BC$、$\ast\mathbf{1}_0$、および $H$ を含む）に依拠して、$\widetilde{BC(\Phi)} = H(\varphi \ast \mathbf{1}_0)$ を確認し、群間の転送を結びつける。
• ねじれ付きジャケット＝ラリス転送定理を適用し、転送因子 $\Omega(\gamma)$ を用いて軌道的積分を一致させ、エンドスコピック転送における一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Les19a で予想されたように、対称空間 $U(2n)/U(n)\times U(n)$ におけるエンドスコピック基本補題は成立するか？
• RQ2 ワイエル表現およびベースチェインを用いて、$U(2n)$ のリー代数上の軌道的積分が、そのエンドスコピック群 $U(n)\times U(n)$ 上のものに転送可能か？
• RQ3 正しい転送因子を伴い、ベースチェイン写像の下で、$\operatorname{GL}_n(E)$ と $U(V_{n-1})$ 間で球面的軌道的積分が正確に一致するか？
• RQ4 この局所的エンドスコピック理論を用いて、ユニタリ・フリードバーグ＝ジャケット周期の相対的トレース公式を安定化できるか？
• RQ5 軌道的積分の転送は、$L$-関数の極と中心値の非ゼロ性が、周期に特徴づけられる自動形式表現に関連するグローバル予想を示唆するか？

主な発見

• エンドスコピック基本補題が、対称空間 $U(2n)/U(n)\times U(n)$ に対して証明され、安定化に不可欠な局所的構成要素が確立された。
• 任意の $\varphi \in \mathcal{H}_{K_{n,E}}(\operatorname{GL}_n(E))$ および正則半単純 $Y \in \operatorname{GL}_n(F)^{rss}$ に対して、$X \leftrightarrow Y$ がベースチェイン写像で対応するとき、軌道的積分 $\operatorname{Orb}^{U(V_{n-1})}(\varphi \ast \mathbf{1}_0, Y)$ は $\omega(X)\operatorname{Orb}^{\operatorname{GL}_{n-1}(F),\eta}(BC(\varphi), X)$ に等しい。
• $X$ に対応する $Y$ が存在しない場合、軌道的積分 $\operatorname{Orb}^{\operatorname{GL}_{n-1}(F),\eta}(BC(\varphi), X)$ は消える。これは正しい転送行動が保証されていることを確認する。
• ワイエル表現およびヘイロナカの $\mathcal{H}$-同型を用いて、球面的軌道的積分の転送が検証され、エンドスコピック構造と整合性が保たれている。
• 定理 5.3 の証明により、$\operatorname{GL}_n(E)$ と $U(V_{n-1})$ 間の分布の転送が確認され、ベースチェイン基本補題への還元が完了した。
• ゲッツとワンバッハのグローバル予想（予想 1.1）は、この局所的結果のおかげで実現可能に近づいた。