[論文レビュー] Distinction and Asai $L$-functions for generic representations of general linear groups over p-adic fields

Nadir Matringe|ArXiv.org|Feb 18, 2009

Advanced Algebra and Geometry参考文献 13被引用数 4

ひとこと要約

本稿は、$p$-進体 $K$ に二次拡大 $F$ を含むとき、$ \mathrm{GL}(n,K)$ の一般的で特徴的な表現を分類し、その表現が $ \mathrm{GL}(n,F)$ に関して特徴的であるための必要十分条件を示している。具体的には、このような表現が $ \mathrm{GL}(n,F)$ に関して特徴的であることと、特定の双対性および特徴性条件を満たす擬二乗可積分表現からのパラボリック誘導であることが同値であることを示している。主な結果として、ゼロにおけるアサイ $L$-関数の極と特徴性との間の明確な関係を確立し、一般的表現のアサイ $L$-関数とそのラングランズパラメータのアサイ $L$-関数との間の期待される等式を確認している。

ABSTRACT

Let $K/F$ be a quadratic extension of $p$-adic fields, and $n$ a positive integer. A smooth irreducible representation of the group $GL(n,K)$ is said to be distinguished, if it admits on its space a nonzero $GL(n,F)$-invariant linear form. In the present work, we classify genric distinguished representations of the group $GL(n,K)$ in terms of inducing quasi-square-integrable representations. This has as a consequence the truth of the expected equality between the Rankin-Selberg type Asai $L$-function of a generic representation, and the Asai $L$-function of its Langlands parameter.

研究の動機と目的

• $K/F$ が $p$-進体の二次拡大であるとき、$\mathrm{GL}(n,K)$ の一般的で滑らかで非可約な表現が $ \mathrm{GL}(n,F)$ に関して特徴的である条件を分類すること。
• そのような特徴的表現を、それらを誘導する擬二乗可積分表現の観点から明確に特徴づけること。
• 一般的表現のランクイン・セールバーグ型アサイ $L$-関数とそのラングランズパラメータのアサイ $L$-関数との間の期待される等式を証明すること。
• 特徴性がアサイ $L$-関数のゼロにおける特異極に対応するという予想を支持し、既知の離散系列の結果を一般の一般的表現へと拡張すること。

提案手法

• 擬二乗可積分表現 $\Delta_1, \dots, \Delta_t$ からの正規化パラボリック誘導を用いて、$\mathrm{GL}(n,K)$ の一般的表現を構成する。
• ジャコネットモジュールの理論と標準モジュール予想を用いて、誘導データに関連するジャコネットモジュール $r_{M_s,M}(\Delta)$ の構造を分析する。
• $r_{M_s,M}(\Delta)$ が $M_s(F)$-特徴的であるという条件を用い、特にガロア双対性と自己双対性を含む $\Delta_i$ に関する必要条件を導出する。
• 誘導セグメントの数に関する帰納法を用い、$n_{i_0,1} \neq 0$ となる最小のインデックス $i_0$ に基づく場合分けにより、問題をより小さい部分表現に還元する。
• 離散系列に対して既に知られている $L_F^K(\pi)$ と $L_F^K(\rho)$ の等式を、ランクイン・セールバーグ法を用いて一般的表現へと拡張する。
• 既存の研究で示されたように、表現が特徴的であることと、そのアサイ $L$-関数がゼロに特異極を持つことが同値であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 一般的表現 $\pi$ が $K/F$ が $p$-進体の二次拡大であるとき、$\mathrm{GL}(n,F)$ に関して特徴的であるのはいつか？
• RQ2 一般的表現 $\pi$ のアサイ $L$-関数の極と、$\pi$ の特徴性との間の明確な関係は何か？
• RQ3 一般的表現 $\pi$ のアサイ $L$-関数は、そのラングランズパラメータの $L$-関数とどのように関係するか？
• RQ4 パラボリック誘導された一般的表現 $\mathrm{GL}(n,K)$ が特徴的であるための、誘導データ（擬二乗可積分表現）の条件は何か？
• RQ5 特徴性がアサイ $L$-関数のゼロにおける特異極に対応するという予想は、離散系列に限らず、すべての一般的表現に対して成り立つか？

主な発見

• 一般的表現 $\pi$ が $\mathrm{GL}(n,F)$ に関して特徴的であることと、その誘導する擬二乗可積分表現 $\Delta_1, \dots, \Delta_t$ が満たす条件は、ある順序の再配置と整数 $r$ が存在して、奇数 $i \leq 2r-1$ に対して $\Delta_{i+1}^\sigma = \Delta_i^\vee$ であり、$i > 2r$ の場合に $\Delta_i$ が特徴的であることと同値である。
• 一般的表現 $\pi$ のアサイ $L$-関数 $L_F^K(\pi)$ がゼロに特異極を持つことは、$\pi$ が特徴的であることと同値であり、一般的表現に対する予想を確認している。
• 一般的表現 $\pi$ のアサイ $L$-関数は、$\pi$ のラングランズパラメータ $\rho$ の古典的 $L$-関数 $M_{W'_K}^{W'_F}(\rho)$ に等しく、期待される等式を確立している。
• この結果により、離散系列に対するジャコネットの予想が一般的表現へと一般化され、ガロア自己双対性が特定の誘導パターンのもとで特徴性を意味することを示している。
• 帰納法とジャコネットモジュールの構造を用いて、一般の場合を離散系列の場合に還元し、離散系列に対して既に知られている $L_F^K(\pi) = L_F^K(\rho)$ の等式を活用している。
• 本稿は、一般的表現の特徴性が、特定のペアリングの存在と同値であることを確認している：対称なペア $\Delta_i, \Delta_i^{\vee\sigma}$ と孤立した特徴的セグメント。