[論文レビュー] A new proof of Jacquet-Rallis's fundamental lemma

Raphaël Beuzart-Plessis|arXiv (Cornell University)|Jan 9, 2019

Advanced Algebra and Geometry参考文献 3被引用数 6

ひとこと要約

本稿では、特徴値がゼロでない非アーチメデス的局所体の非分岐な二次拡大に対して、ヤコブ・ラリスの基本的補題のリー代数版の新しい局所的証明を提示する。ウェイレ表現と、張によって確立された滑らかな転送とフーリエ変換の整合性を用いて、作者は、リー代数 $τ_{n,E}$ と $τ_{n-1,E}$ の整数点の特性関数が軌道的積分において一致することを示し、$SL_2(F)$ のウェイレ表現による不変性によって、基本的補題を証明する。

ABSTRACT

We give a new proof of the so-called Lie algebra version of Jacquet-Rallis's fundamental lemma for local non-Archimedean fields of characteristic zero. This proof is local and based on a previous result of W. Zhang on the compatibility of smooth transfer with a (partial) Fourier transform.

研究の動機と目的

• 特徴値がゼロでない非アーチメデス的局所体の非分岐な二次拡大に対して、ヤコブ・ラリスの基本的補題のリー代数版の新しい局所的証明を提供すること。
• 調和解析的手法を用いて、対称空間 $τ_{n,E}$ と一般線型群 $τ_{n-1,E}$ 間の軌道的積分の一致を確立すること。
• リー代数 $τ_{n,E}$ と $τ_{n-1,E}$ の整数点の特性関数が、$SL_2(F)$ のウェイレ表現による不変性によって一致することを示すこと。

提案手法

• 対称空間 $τ_{n,E} = \{X \in \mathfrak{gl}_{n,E} \mid X = {}^tX^\sigma\}$ とユニタリ群 $τ_{n-1,E} = \{g \in \mathrm{GL}_{n-1,E} \mid {}^tg^\sigma g = I_{n-1}\}$ を定義し、それらが共役作用で作用する。
• 軌道的積分 $O(X,f)$ と $O(Y,f')$ をねじれ付きで定義し、$\mathrm{GL}_{n-1}(F)$-不変性を保証するための転送因子 $\omega(Y)$ を導入する。
• $SL_2(F)$ 上のウェイレ表現を用いて軌道的積分に作用させ、差分 $\Phi = O(\cdot, \mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)}) - O(\cdot, \mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)})$ が作用に対して不変であることを示す。
• 張の結果（滑らかな転送とフーリエ変換の整合性）を活用し、ウェイレ表現が両方の軌道的積分空間に同一に作用することを示す。
• 加法的特徴標 $\psi$ の非自明性を用いて、ある $t$ に対して $\psi(tq(a)) \neq 1$ となることを示し、これにより $\Phi(a) = 0$ が得られ、正則半単純元の稠密な開部分集合上で $\Phi$ が消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 リー代数 $\mathfrak{h}_n$ の整数点の特性関数は、軌道的積分対応において $\mathfrak{gl}_n$ のそれと一致するか？
• RQ2 グローバルまたはトレース公式の手法ではなく、ウェイレ表現とフーリエ変換の整合性を用いて、基本的補題を証明できるか？
• RQ3 正則半単純元が一致するすべての元に対して、$\mathfrak{h}_n$ 上の特性関数の軌道的積分は、$\mathfrak{gl}_n$ 上のそれと等しいか？

主な発見

• 特性関数 $\mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)}$ と $\mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)}$ は、軌道的積分対応において一致する。
• 差分 $\Phi = O(\cdot, \mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)}) - O(\cdot, \mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)})$ は、$SL_2(F)$ のウェイレ表現による作用に対して不変である。
• $\mathcal{A}^{\mathrm{rs}}(F)$ のすべての $a$ に対して $q(a) \neq 0$ ならば、ある $t \in F$ が存在して $\psi(tq(a)) \neq 1$ となる。このことから $\Phi(a) = 0$ が導かれ、稠密な開集合上で $\Phi$ が消える。
• $\Phi$ が $SL_2(F)$ の作用に対して不変であることと、$\psi$ の非自明性を組み合わせることで、$\Phi \equiv 0$ が示され、基本的補題が証明される。