[論文レビュー] Paramètres de Langlands et Algèbres d'entrelacement

Volker Heiermann|ArXiv.org|May 26, 2009

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

ひとこと要約

この論文は、古典的 p-進群におけるレヴィ部分群の既約超臨界表現に関連する誘導表現の相互作用代数を、そのラングランズパラメータ $(\psi, \epsilon)$ を用いて明示的に決定する。主な結果は、ラングランズデータから得られるパラメータを持つ一般化されたヘッケ代数としてこの代数を同定することであり、従来の部分表現に関する結果を、全誘導表現へと拡張するものである。

ABSTRACT

Let G be a classical p-adic group and $(ψ,ε)$ the Langlands parameter of an irreducible supercuspidal representation of a Levi subgroup of G. Using data from $(ψ,ε)$, we determine explicitly the intertwining algebra of the representation which is induced from the orbit of the supercuspidal representation associated to $(ψ,ε)$.

研究の動機と目的

• 古典的 p-進群における超臨界表現の軌道から誘導された表現の相互作用代数を特定すること。
• 超臨界表現のラングランズパラメータ $(\psi, \epsilon)$ を用いて、この代数を明示的に表現すること。
• 従来の部分表現に関する結果を、全誘導表現 $i_P^G E_B$ へと一般化すること。
• 相互作用代数の構造と $(\psi, \epsilon)$ に符号化された幾何学的・算術的データの間の明確な関係を確立すること。

提案手法

• 超臨界表現 $\sigma$ のレヴィ部分群 $M$ 上のラングランズパラメータ $(\psi, \epsilon)$ を用いて、誘導表現 $i_P^G E_B$ を定義する。
• 超臨界表現の軌道によってインdex付けられる、$Rep(G)$ のカテゴリのベルンシュタイン分解を活用する。
• $B = \mathbb{C}[M/M^1]$ として、$B$-加群 $E_B = E \otimes_{\mathbb{C}} B$ を構成し、特性のテンソル積を用いて $E_B$ 上に表現 $\sigma_B$ を定義する。
• 群 $M$ と代数 $B$ の作用を用いて、$\mathrm{End}_G(i_P^G E_B)$ 内の自己準同型 $\phi_\chi$、$T_w$、$J_r$ を定義する。
• 軌道成分ごとの分解を用いた議論により、$B$、$\phi_\chi$、$T_w$、$J_r$ によって生成される代数 $\mathcal{A}$ が、全相互作用代数に一致することを示す。
• ラングランズパラメータの $t_i$、$a_i$、$d_i'$ データから得られるパラメータを持つ一般化されたヘッケ代数の構造を適用する。

実験結果

リサーチクエスチョン

• RQ1 誘導表現 $i_P^G E_B$ の相互作用代数は、超臨界表現のラングランズパラメータ $(\psi, \epsilon)$ を用いてどのように明示的に記述できるか？
• RQ2 $\mathrm{End}_G(i_P^G E_B)$ の明確な代数的構造は何か？ 一般化されたヘッケ代数とどのように関係しているか？
• RQ3 $T_w$、$J_r$、$\phi_\chi$ は相互作用代数内でどのように作用し、どのような関係を満たすか？
• RQ4 部分表現 $i_P^G E_{B_{\mathcal{O}}}$ に対して既知の部分代数構造から、全相互作用代数を再構成できるか？
• RQ5 $t_i$、$a_i$、$d_i'$ は、ヘッケ代数のパラメータを決定する際に果たす役割は何か？

主な発見

• 相互作用代数 $\mathrm{End}_G(i_P^G E_B)$ は、ラングランズパラメータ $(\psi, \epsilon)$ から得られるパラメータ、特に $t_i$、$a_i$、$d_i'$ を含む一般化されたヘッケ代数に同型である。
• この代数は、$B$-作用、自己準同型 $\phi_\chi$、演算子 $T_w$、$J_r$ によって生成され、$T_s J_r = J_{r^{-1} s r} T_s$ および $J_r^2$ がスカラーであるという関係を含む。
• $t_i \frac{a_i + a_{i-}}{2}$ は常に整数であり、ヘッケ構造の代数的整合性を保証する。
• 代数は、$\Lambda$ が $M/M^1$ の真部分格子であるため、ルート系が全双対格子を生成しないことから、ルスティグの意味での標準的ヘッケ代数ではない。
• $i_P^G E_B$ の成分 $i_P^G E^{\underline{j}}$ への分解により、自己準同型 $\Phi$ が $b_{m_{\underline{i}}}^{-1} \sum b_{r,w}^{\underline{i}} J_r^{\underline{i}} T_w^{\underline{i}}$ の $\mathbb{C}$-線形結合として再構成可能であることが示され、指定された演算子によって代数が生成されることを証明する。
• $\phi_\chi$ による $B$ 上の作用は $\phi_\chi b_m = \chi(m) b_m \phi_\chi$ を満たし、$\phi_\chi$ は $T_w$ および $J_r$ と可換であるため、ヘッケ構造と整合性を持つ。