[論文レビュー] Distinguished tame supercuspidal representations

Jeffrey Hakim, Fiona Murnaghan|ArXiv.org|Sep 21, 2007

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

ひとこと要約

この論文は、対称空間理論と特徴的な表現技法を用いて、$p$-進群のJiu-Kang Yuによる分岐超臨界表現の同値条件について、必要十分条件を確立する。二つのこのような表現が同値であるための必要十分条件は、それらに付随する$G$-データが$G$-同値であることであることが示され、$K$-同値性、対頂的整合性、および対合に関する不変性といった重要な条件を含む。これにより、超臨界表現の構成における根本的問題が解決される。

ABSTRACT

This paper studies the behavior of Jiu-Kang Yu's tame supercuspidal representations relative to involutions of reductive p-adic groups. Symmetric space methods are used to illuminate various aspects of Yu's construction. Necessary conditions for a tame supercuspidal representation of G to be distinguished by (the fixed points of) an involution of G are expressed in terms of properties of the G-orbit of the associated G-datum. When these conditions are satisfied, the question of whether a tame supercuspidal representation is distinguished reduces to the question of whether certain cuspidal representations of finite groups of Lie type are distinguished relative to particular quadratic characters. As an application of the main results, we obtain necessary and sufficient conditions for equivalence of two of Yu's supercuspidal representations associated to distinct G-data.

研究の動機と目的

• Yuの方法により構成された二つの分岐超臨界表現の同値条件を特定すること。
• 再帰的$ p $-進群$ G $の対合に関して、これらの表現の挙動を分析すること、特に$ G^\theta $-特徴的な表現に注目すること。
• G-データの構造とそれらが表現の同値性を決定する役割を明らかにすること、特にヘイゼンベルク$ p $-群と対頂的表現の観点から。
• 対称空間および調和解析の技法を用いて、対合の作用下での$ G $-データの軌道構造を理解すること。
• Yuの構成におけるファイバー問題を解消すること、すなわち、異なる$ G $-データが同値な表現をもたらす条件を特定すること。

提案手法

• 対合$\theta$が$G$に作用する様子を、$G^\theta$-不変線形形式を伴う表現に注目して、対称空間手法を用いる。
• 有限体$\mathbb{F}_p$上のヘイゼンベルク表現理論を用いて、一般の臨界的$ G $-データ$\Psi$に付随するコンパクト開部分群$K(\Psi)$およびその表現$\kappa(\Psi)$を分析する。
• Moy-Prasadフィルトレーションおよびねじれリーヴィ列を用いて、$K(\Psi)$の構造およびその$\theta$-固定部分群を分析する。
• 有限群のLie型表現の区別問題に帰着することで、$G^\theta$-区別の問題を二次的特徴に還元する。
• G-データの再要約と$K$-同値性を用いて、異なる$G$-データから生じる表現を比較する。
• $\theta$-対称および弱い$\theta$-対称再要約の理論を用いて、共役および対合の下で$K(\Psi)$と$K(\dot{\Psi})$を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 異なる$G$-データに付随する二つの分岐超臨界表現は、いつ同値となるか？
• RQ2 与えられた対合$\theta$に関して、分岐超臨界表現が$G^\theta$-区別可能であるための条件は何か？
• RQ3 $G$-データの$G$-軌道は、関連する表現の区別性および同値性とどのように関係するか？
• RQ4 ヘイゼンベルク$ p $-群およびその対頂的表現は、$\kappa(\Psi)$と$\kappa(\dot{\Psi})$の同値性を決定する上で果たす役割は何か？
• RQ5 分岐超臨界表現$\pi$に対して、$\operatorname{Hom}_{G^\theta}(\pi,1)$の次元が非ゼロとなる条件は何か？

主な発見

• 二つの分岐超臨界表現$\pi(\Psi)$と$\pi(\dot{\Psi})$が同値であるための必要十分条件は、それらに付随する$G$-データ$\Psi$と$\dot{\Psi}$が$G$-同値であることである。これは定理6.6で述べられている。
• $\kappa(\Psi)$と$\kappa(\dot{\Psi})$の同値性は、$K(\Psi) = K(\dot{\Psi})$および$\rho'(\Psi) \simeq \rho'(\dot{\Psi})$を意味する。後者の条件は、関連する線形形式の$\theta$-不変性に起因する。
• 分岐超臨界表現$\pi$に対する$\operatorname{Hom}_{G^\theta}(\pi,1)$の次元は、定理5.26の式により計算され、$G$-データの$G$-軌道および有限群表現の区別性に依存する。
• もし$K^0(\Psi) = K^0(\dot{\Psi})$かつ$\rho'(\Psi) \simeq \rho'(\dot{\Psi})$ならば、$\Psi$と$\dot{\Psi}$は$K(\Psi)$-同値である。これは定理6.6の証明における重要なステップである。
• 弱い$\theta$-対称再要約$\underline{\Psi} = (\Psi, \dot{\Psi})$の存在は、$[y] = [\dot{y}]$の条件下で$K(\Psi) = K(\dot{\Psi})$および$\kappa(\Psi) \simeq \kappa(\dot{\Psi})$を示唆する。
• $\pi(\Psi^0)$と$\pi(\dot{\Psi}^0)$が$G^0$上で同値であることは、$h \in G^0$が存在して$K(\Psi^0) = {}^hK(\dot{\Psi}^0)$および$\rho'(\Psi^0) \simeq {}^h\rho'(\dot{\Psi}^0)$を満たすことを意味し、同値性の鎖を完成させる。