[論文レビュー] Irreducibility of Certain Subquotients of Spherical Principal Series Representations of Reductive Groups with Frobenius Maps

Junbin Dong|arXiv (Cornell University)|Feb 7, 2017

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

ひとこと要約

本稿は、Frobenius写像を伴う無限次元再帰的群の球面主系列表現の特定の部分商について、特に型Aおよびランク2の場合に、それが不可約であることを確立し、Grothendieck群における代数的和として無限次元のシュタイナーゲルトモジュールを新たな形で記述する。主な貢献は、有限群表現理論を無限次元設定に一般化する、誘導モジュールの合成因子に関する予想の提示である。

ABSTRACT

For infinite reductive groups with Frobenius maps, we show that certain subquotients of abstract representations of the groups induced from 1-dimensional representations of Borel subgroups are irreducible.

研究の動機と目的

• Frobenius写像を伴う無限次元再帰的群におけるボレル部分群の自明な特徴の誘導表現の合成因子を調査すること。
• 型Aおよびランク2の群について、球面主系列表現の特定の部分商の不可約性を確立すること。
• Grothendieck群における誘導モジュールの観点から、無限次元シュタイナーゲルトモジュールの別記述を提供すること。
• 有限群表現理論を無限次元設定に拡張する、誘導モジュールの構造に関する合成因子の予想を提示すること。

提案手法

• 有限再帰的群 $G_{q^a}$ からの無限次元表現の直接極限構成を用い、$M_I(tr)$ を誘導モジュールの直接極限として定義する。
• BN-対、根系、およびワイル群作用の理論を応用し、単心部分群およびその交差構造を分析する。
• Grothendieck群枠組みを用いて、無限次元シュタイナーゲルトモジュールをパラボリック部分群上の誘導モジュールの交代和に関連付ける。
• ワイル群における簡約表現を用いて、部分群 $U_w$ および $U'_w$ を定義し、単心ルートの分解とモジュール層の解析を可能にする。
• 有限群表現理論の結果（特に有限シュタイナーゲルトモジュールの不可約性）を応用し、無限次元の場合の性質を導出する。
• 単心ルート内の $D$-正則元の構造を活用し、群代数の誘導モジュール上への作用を分析する。

実験結果

リサーチクエスチョン

• RQ1 Frobenius写像を伴う無限次元再帰的群における、誘導された球面主系列表現の特定の部分商は、不可約であるか？
• RQ2 無限次元シュタイナーゲルトモジュールは、Grothendieck群における誘導モジュールの交代和として表現可能か？
• RQ3 ボレル部分群の自明な特徴からの誘導モジュール $M(tr)$ の合成因子の構造はいかなるものか？
• RQ4 条件 $\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ の下で、$M(tr)$ が正確に $2^{|S|}$ 個の合成因子を持ち、それぞれが不可約で $S$ の部分集合によって添え字付けられるという予想は成り立つか？
• RQ5 $\text{char}(\mathfrak{K}) = \text{char}(\bar{\mathbb{F}}_q)$ のとき、$M(\theta)$ の合成因子はどのように振る舞うか。特に不可約性との関係は？

主な発見

• 型Aまたはランク2の群 $G$ で、$\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ の下で、[X, 2.6] で定義された部分商 $E_J$ は、任意の $J \subseteq S$ に対して不可約である。
• 無限次元シュタイナーゲルトモジュール $St$ は、Grothendieck群 $[\mathscr{F}]$ において $[St] = \sum_{I \subseteq S} (-1)^{|I|} [M_I(tr)]$ を満たす。これは有限群の場合の一般化である。
• 型 $A_n$ の $G$ に対して、最大パラボリック部分群 $P_I$ に対応する誘導モジュール $M_I(tr)$ は、唯一の自明な商と唯一の不可約部分モジュールを持つ。
• $M_I(tr)$ が $\text{Ind}_{P_{I,a}}^{G_{q^a}} 1_{tr}$ の直接極限として構成されることにより、$a$ に依存しない整合性が保証され、アーベル圏 $\mathscr{F}_0$ の対象となる。
• 予想である $M(tr)$ が正確に $2^{|S|}$ 個の合成因子を持ち、それぞれが不可約で $S$ の部分集合によって添え字付けられるという主張は、定理3.1および4.1およびGrothendieck群の公式により裏付けられる。
• $\mathfrak{K} = \mathbb{C}$ のとき、$M(\theta)$ は有限個の合成因子を持つ。これは、一般の特徴 $\theta$ に対して $\text{char}(\mathfrak{K}) \neq \text{char}(\mathbb{F}_q)$ の下でも同様の有限性が成り立つ可能性を示唆する。