[論文レビュー] Paquets d'Arthur pour les groupes classiques; point de vue combinatoire

Colette Mœglin|arXiv (Cornell University)|Oct 5, 2006

Advanced Algebra and Geometry被引用数 12

ひとこと要約

本稿は、誘導表現の分解を分析することで、p進古典的群のアーチャー包の組合せ的記述を完成させた。誘導表現 $ {Sp}(b, {St}( ho,a)) \times \pi_0$ の長さが $ {min}(a,b)+1$ 以下であることを証明し、等号が成立する可能性があることを示した。特定の誘導表現の既約性を確立し、ユニタリティとラングランズ対応の下でアーチャー包の構造が一致することを確認した。

ABSTRACT

The aim of this work, is to describe fairly explicitly a general Arthur's packet for a classical group. The problem to be solved, here, is the decompostion of induced representations. Following previous work on general linear group, such a description implies the needed transfer for the representations in Arthur's packet.

研究の動機と目的

• 先行研究[14]を基盤として、p進古典的群のアーチャー包の組合せ的分類を完成させること。
• 形式 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ の誘導表現の可約性および分解を分析すること。ここで $\pi_0$ は離散系列表現である。
• このような誘導表現の長さが $\min(a,b)+1$ で抑えられ、かつこの上限が達成可能であることを証明すること。
• ラングランズパラメータに関する特定の条件下で、特定の誘導表現の既約性を確立すること。
• ユニタリティを事前に仮定しない状況でも、アーチャー包の構造がユニタリティとラングランズ対応と整合することを確認すること。

提案手法

• ラングランズ対応を用いて、$\mathrm{GL}(n^*,F)$ の無限小ユニタリ表現を、$\psi: W_F \times \mathrm{SL}(2,\mathbb{C}) \times \mathrm{SL}(2,\mathbb{C}) \to {}^L G$ という $L$-パラメータ $\psi$ に結びつける。ここで $\psi$ は $\mathrm{SL}(2,\mathbb{C})$ 因子上で連続的かつ代数的である。
• $\mathrm{Sp}(b,\mathrm{St}(\rho,a))$ を、スタインバーグ表現 $\mathrm{St}(\rho,a)$ と絶対値の行列式 $|\,|$ を含む標準的誘導表現の唯一の既約部分表現として定義する。
• ジャコネットモジュール関手を用いて誘導表現の構造を分析し、部分商の唯一性に基づいて既約性を導出する。
• $\rho \otimes [a] \otimes [b]$ のパラメトライゼーションを用いて、$W_F \times \mathrm{SL}(2,\mathbb{C}) \times \mathrm{SL}(2,\mathbb{C})$ の無限小表現を $\mathrm{Sp}(b,\mathrm{St}(\rho,a))$ に結びつける。
• 一般化されたアーベル＝シュナイダー＝シュトラウラー双対性の理論と $L$-パックの構造を用いて、誘導表現内の可能な成分を制約する。
• ジャコネットモジュールの台の構造に基づく再帰的議論を用いて、既約性と長さの上限を証明する。

実験結果

リサーチクエスチョン

• RQ1 離散系列 $\pi_0$ を持つアーチャー包において、誘導表現 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ の最大長さは何か？
• RQ2 誘導表現 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ がいつ既約になるか？
• RQ3 表現 $\pi_0$ に関連するラングランズパラメータ $\psi_0$ に依存して、誘導表現の構造はどのように変化するか？
• RQ4 ユニタリティを仮定しない場合でも、誘導表現の分解を $L$-パラメータの組合せ論的性質によって完全に記述できるか？
• RQ5 パラメータ $\rho \otimes [a] \otimes [b]$ が $G$ の $L$-群を通して因数分解しないという条件が、既約性を決定づける役割を果たすのはどのような場合か？

主な発見

• 誘導表現 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ の長さは $\min(a,b) + 1$ 以下であり、この上限は達成可能である。
• パラメータ $\rho \otimes [a] \otimes [b]$ が $G$ の $L$-群を通して因数分解しない場合、誘導表現 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ は既約である。
• パラメータ $\rho \otimes [a] \otimes [b]$ が $G$ の $L$-群を通して因数分解する場合でも、誘導表現は長さが $\min(a,b) + 1$ 以下の既約成分の直和に分解され、複数コピーの下でも既約性が保たれる。
• ジャコネットモジュールのフィルトレーションにおける部分商の一意性に依拠し、ジャコネット関手の完全性を利用することで、誘導表現の既約性が確立される。
• 証明により、ユニタリティを仮定しない状況でも、誘導表現の分解が $L$-パラメータとアーチャー包の構造によって完全に決定されることを確認した。
• ユニタリティに関する事前の知識がないにもかかわらず、$L$-パックの構造と双対性を用いることで、誘導表現が半単純であることを証明することで、重要な技術的障壁を克服した。