[論文レビュー] La conjecture locale de Gross-Prasad pour les groupes spéciaux orthogonaux: le cas général

Colette Mœglin, Jean-Loup Waldspurger|arXiv (Cornell University)|Jan 6, 2010

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

ひとこと要約

この論文は、特性がゼロの非アーチメデス的局所体上での特殊直交群について、局所グロス＝プロサド予想を証明する。その結果、より小さい特殊直交群の表現がより大きいものに含まれる際の重複度が1以下であることを確立し、Langlandsパラメータとeps因子を用いてそれがちょうど1となる条件を特定する。主な結果として、奇数次元と偶数次元で符号が異なる一般の場合について、Lパケッティングのパラメータ化とeps因子の計算を用いて、予想が正当化される。

ABSTRACT

We prove the local Gross-Prasad conjecture for generic L-packets of representations of special orthogonal groups. The proof uses the same result for tempered L-packets proved in a preceding paper, and irreducibility results for the induced representations of whose the elements of the L-packets are Langlands quotients.

研究の動機と目的

• 特性がゼロの非アーチメデス的局所体上での特殊直交群について、局所グロス＝プロサド予想を確立する。
• より小さい特殊直交群の表現がより大きいものに含まれる際の重複度が1以下であることを証明する。
• Langlandsパラメータとeps因子を用いて、その重複度がちょうど1となる明確な基準を提供する。
• 予想を、符号が異なる奇数次元および偶数次元の直交群へ一般化する。
• Lパケッティングによる表現のパラメータ化を統一し、局所Langlands対応と関連付ける。

提案手法

• 局所Langlands対応を用いて、特殊直交群の完全不変表現を、$\Phi(G)$ に属する $SL(2,\mathbb{C})$-準同型の $Sp(d-1,\mathbb{C})$-共役類としての $L$-パラメータ $\varphi$ によりパラメータ化する。
• $\varphi \in \Phi(G)$ に対して $L$-パケッティング $\Pi^G(\varphi)$ を定義し、その構成は、リーマン部分群の臨界表現からの正規化された放物誘導を用いる。
• 一般性のある $L$-パケッティングの概念を導入し、成分群 $S(\varphi)/S(\varphi)^0$ の文字 $\epsilon \in \mathcal{E}^G(\varphi)$ を用いたパラメータ化 $\sigma(\varphi, \epsilon)$ を用いる。
• Waldspurgerの先行研究における積分公式を用いて、eps因子 $\varepsilon(\sigma(\varphi,\epsilon), \sigma'(\varphi',\epsilon'))$ を計算する。
• 重複度1の基準を確立するため、eps因子を局所根数 $\mu(G,G')$ と関連付ける。$m(\sigma,\sigma') = 1$ が成り立つのは $E(\varphi,\varphi') = \mu(G,G')$ のときに限ることを示す。
• 群が準分裂でない場合を扱うために、リーマン部分群が存在しない場合には $L$-パケッティングを空集合と定義する。

実験結果

リサーチクエスチョン

• RQ1 次元が符号が異なる特殊直交群 $G$ と $G'$ に対して、$G'(F)$ の表現 $\sigma'$ が $G(F)$ の表現 $\sigma$ に含まれる重複度がちょうど1となる明確な基準は何か？
• RQ2 $L$-パケッティングは、局所Langlands対応において、特殊直交群の完全不変表現をどのようにパラメータ化するか？
• RQ3 eps因子 $\varepsilon(\sigma, \sigma')$ は、重複度 $m(\sigma, \sigma')$ を決定づける上で果たす役割は何か？
• RQ4 局所グロス＝プロサド予想は、より大きな群の次元が偶数である場合にどのように拡張されるか？
• RQ5 群 $G$ が準分裂でない場合、$L$-パケッティング $\Pi^G(\varphi)$ が非空となる条件は何か？

主な発見

• 表現 $\sigma$ の $G(F)$ における $G'(F)$ の表現 $\sigma'$ に対する重複度 $m(\sigma, \sigma')$ は、グロス＝プロサド予想の主要予測を裏付けるように1以下である。
• 重複度がちょうど1であるのは、eps因子 $\varepsilon(\sigma(\varphi,\epsilon), \sigma'(\varphi',\epsilon'))$ が局所根数 $\mu(G,G')$ に等しいときであり、これを明確な基準として確立する。
• $L$-パケッティング $\Pi^G(\varphi)$ が非空であるのは、対応するリーマン部分群 $L$ が $G$ に存在するときであり、非空のときには成分群 $S(\varphi)/S(\varphi)^0$ の文字 $\epsilon \in \mathcal{E}^G(\varphi)$ によりパラメータ化される。
• Langlandsパラメータによる表現の予想的パラメータ化は、重複度1の結果と整合的であり、準分裂でない場合にも成立する。
• 結果は、奇数次元および偶数次元の特殊直交群の両方に対して一様に成り立ち、偶数次元の場合は直交群と行列式を用いてパラメータ化を適応する。
• 証明は、局所Langlands対応とエンデスコピックデータの転送の整合性に依存し、主要な技術的入力はWaldspurgerの先行研究におけるeps因子の積分公式である。