[論文レビュー] La conjecture locale de Gross-Prasad pour les représentations tempérées des groupes spéciaux orthogonaux

Jean-Loup Waldspurger|ArXiv.org|Nov 24, 2009

Advanced Algebra and Geometry参考文献 8被引用数 34

ひとこと要約

この論文は、非アーケメデス的局所体上の特殊直交群の臨界表現に対して、局所グロス＝プロサド予想を、エンドスコピック転送とepsilons因子を通じて、L-パックとepsilons因子の正確な対応関係によって証明する。これは、表現の対の多重度がepsilons因子の符号によって決定されることを確認しており、標準的およびねじれエンドスコピック転送との整合性条件のもとで成り立つ。

ABSTRACT

We prove the local Gross-Prasad conjecture for tempered representations of special orthogonal groups. Roughly speaking, the conjecture says that, if sigma is an irreducible representation of SO(n) and rho is an irreducible representation of SO(n-1), rho appears as quotient of the restriction of sigma to SO(n-1) with a multiplicity m(sigma,rho) that can be computed in terms of epsilon-factors. Our proof uses results of a previous papers which computes m(sigma,rho) and the epsilon-factors by integral formulas.

研究の動機と目的

• 特性がゼロである非アーケメデス的局所体上の特殊直交群の臨界表現に対する局所グロス＝プロサド予想を確立すること。
• 表現の対 $ \rho, \rho' $ の多重度 $ m(\rho, \rho') $ が、$ \varepsilon $-因子 $ \varepsilon(s, \varphi, \varphi') $ の符号に等しいことを検証すること。
• L-パックのパrametrization が標準的およびねじれエンドスコピック転送の両方と整合することを証明すること。
• epsilons因子とエンドスコピックデータを用いて、局所ラングランズ対応を特殊直交群の臨界表現へ拡張すること。
• 多重度とepsilons因子およびエンドスコピックデータとの間の明確な公式を確立すること。

提案手法

• GL(n) における局所ラングランズ対応を用い、$ \varphi_{>} = \varphi \oplus \mathbf{1} $ を通じて $ \widetilde{GL}(d', F) $ 上の $ \tilde{\pi}(\varphi_{>}) $ を構成する。
• エンドスコピック転送を適用し、$ G' $ の表現を $ GL(d') $ の表現と関連づける。ねじれエンドスコピック転送には自己同型 $ \theta(g) = {}^t g^{-1} $ を用いる。
• $ \Phi_{\text{temp}}(G') $ によってインデックス付けされたL-パックの理論を用い、$ \epsilon \in \mathcal{E}^{G'}(\varphi) $ で $ \epsilon(z_\varphi) = \mu(G') $ を満たすものとの間の双対性を確立する。
• 重要な恒等式：$ -m(\varphi,s;\varphi',s') = \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s')(E(\varphi,\varphi') - 1)/2 $ を導出し、多重度とepsilons因子およびエンドスコピックデータを関連付ける。
• $ \gamma $-因子の関数等式と転送因子の理論を用いて、$ G $ と $ G' $ 間の $ \gamma $-因子を比較する。
• [AGRS] および [GGP] の多重度1定理を適用し、$ m(\sigma, \sigma') \leq 1 $ を保証し、epsilons因子の符号によって等号が成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 臨界表現 $ \sigma $ の $ G(F) $ と $ \sigma' $ の $ G'(F) $ の対の多重度 $ m(\sigma, \sigma') $ は、$ \varepsilon $-因子 $ \varepsilon(s, \varphi, \varphi') $ の符号に等しいか？
• RQ2 G' のL-パックのパラメトライゼーションは、標準的およびねじれエンドスコピック転送の両方と整合的か？
• RQ3 局所グロス＝プロサド予想を非アーケメデス的局所体上での特殊直交群の臨界表現へ拡張できるか？
• RQ4 エンドスコピック転送の文脈において、epsilons因子と表現の多重度との間の明確な関係は何か？
• RQ5 交換子の中心的文字 $ z_\varphi $ が、$ S_\varphi $ のパラメトライゼーションにどのように影響するか？

主な発見

• 多重度 $ m(\sigma, \sigma') $ は $ \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s') $ に等しく、これは臨界表現に対する局所グロス＝プロサド予想の確認である。
• 公式 $ -m(\varphi,s;\varphi',s') = \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s')(E(\varphi,\varphi') - 1)/2 $ が成立し、多重度とepsilons因子およびエンドスコピックデータを関連付ける。
• L-パックのパラメトライゼーションが標準的およびねじれエンドスコピック転送の両方と整合することを証明し、予想的な枠組みの正当性を裏付けた。
• 結果として、$ m(\sigma, \sigma') = 1 $ であることは、epsilons因子の符号がエンドスコピックデータと一致するときにかつそのときに限り成り立ち、それ以外では $ m(\sigma, \sigma') = 0 $ であることが確認された。
• $ \varphi_{>} = \varphi \oplus \mathbf{1} $ から $ \tilde{\pi}(\varphi_{>}) $ を構成することで、$ \gamma $-因子を $ G' $ へ転送でき、証明において不可欠な役割を果たした。
• 与えられた条件下で $ \gamma^{G'}(\varphi', 0) = -1 $ が成り立つことが証明され、これは多重度公式における最終的な恒等式に不可欠な要因である。