[論文レビュー] The irreducible unipotent modules of the finite general linear groups via tableaux

Scott Andrews|arXiv (Cornell University)|Feb 23, 2015

Finite Group Theory Research参考文献 9被引用数 4

ひとこと要約

本稿は、$\ mathrm{GL}_n(\mathbb{F}_q)$ の不可約ユニポテンツモジュラスを、$\ mathbb{F}_q^n$ の元でラベル付けされたテーブルックスを用いて構成する。これは、対称群のジェイムズのスペクトモジュラス構成に類似した、初めてのテーブルックスに基づく構成である。主な結果は、これらのモジュラスが不変ユニポテンツ特徴 $\ chi^\lambda$ を実現することであり、また、退化ゲルファンド＝グラーヴ特徴を用いたジェイムズの以前の構成と同型である。さらに、一般化されたゲルファンド＝グラーヴ特徴 $\ Gamma^\lambda$ が、構成における主要な双対的対象として機能する。

ABSTRACT

We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^ ext{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.

研究の動機と目的

• 不変ユニポテンツモジュラスのテーブルックスに基づく構成を、対称群のジェイムズのスペクトモジュラス構成に類似して提供すること。
• 有限一般線型群の場合に、組合せ論的テーブルックス手法を用いてユニポテンツモジュラスの基底を求める未解決問題を解決すること。
• 新しいテーブルックス構成と、$p$ 乗根が非自明に存在する体上のジェイムズの元のモジュラス構成との同型性を確立すること。
• 対称関数と $S_n$ と $\mathrm{GL}_n(\mathbb{F}_q)$ の間の $q=1$ の類似性を用いて、複素数の場合の構成を動機づけること。
• $\chi^\lambda$ を実現する不変ユニポテンツモジュラスを生成する $\mathbb{C}G$ の生成元を特定すること。

提案手法

• $\mathbb{F}_q^n$ の元でヤング図式の箱をラベル付けし、$\mathbb{F}_q^n$-テーブルックスを構成し、それらの対象に自然な $\mathrm{GL}_n(\mathbb{F}_q)$-作用を定義する。
• $M^\lambda$ を、形状 $\lambda$ のすべての $\mathbb{F}_q^n$-テーブルックスの $\mathbb{F}_q$-線形包として定義し、誘導された $\mathrm{GL}_n(\mathbb{F}_q)$-作用を備える。
• パラボリック部分群 $P(T)$ のユニポテンツ部分群 $U(T)$ に関連するある作用によって消えるベクトルのなす部分空間 $S^\lambda \subseteq M^\lambda$ を構成する。
• 一般化されたゲルファンド＝グラーヴ特徴 $\Gamma^\lambda = \mathrm{Ind}_{U(T)}^{G}(\psi_T)$ を、対称群の場合の符号表現に類似した双対的対象として用いる。
• $\langle \mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1}), \Gamma^\lambda \rangle = 1$ を示し、共通の不変部分表現が一意に存在することを保証する。
• $S^\lambda$ が不変ユニポテンツ特徴 $\chi^\lambda$ を実現することを、$\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ および $\Gamma^\lambda$ との内積が非ゼロであることを確認することで証明する。

実験結果

リサーチクエスチョン

• RQ1 不変ユニポテンツモジュラスの $\mathrm{GL}_n(\mathbb{F}_q)$ に対するテーブルックスに基づく構成は、$S_n$ のジェイムズのスペクトモジュラス構成に類似して可能か？
• RQ2 一般化されたゲルファンド＝グラーヴ特徴 $\Gamma^\lambda$ を双対的対象として用いることで、ジェイムズの元のモジュラス構成と同型な構成が得られるか？
• RQ3 $S_n$ と $\mathrm{GL}_n(\mathbb{F}_q)$ の間の $q=1$ の類似性は、$\mathbb{F}_q^n$-要素によるテーブルックスのラベル付けを動機づける役割を果たすか？
• RQ4 不変ユニポテンツモジュラスを生成する $\mathbb{C}G$ の生成元を明示的に特定できるか？
• RQ5 $\chi^\mu$ の $\Gamma^\lambda$ における重複度 $K_{\mu\lambda}(q)$ は、$K_{\mu\lambda}(q)$ とどのように関係するか？

主な発見

• 構成されたモジュラス $S^\lambda$ は、ジェイムズ（1984年）が構成した不変ユニポテンツモジュラスと同型である。これにより、新しいテーブルックスに基づくアプローチの有効性が裏付けられる。
• $S^\lambda$ が実現する特徴は不変ユニポテンツ特徴 $\chi^\lambda$ である。これは、$\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ および $\Gamma^\lambda$ との内積が非ゼロであることを確認することで示された。
• 一般化されたゲルファンド＝グラーヴ特徴 $\Gamma^\lambda$ は、形状 $\lambda$ の任意の $\mathbb{F}_q^n$-テーブルックス $T$ に対して $\mathrm{Ind}_{U(T)}^G(\psi_T)$ に等しく、モジュラス構成と特徴理論を結びつける。
• $\Gamma^\lambda$ における $\chi^\mu$ の重複度は、コスタ多項式 $K_{\mu\lambda}(q)$ で与えられ、$K_{\mu\lambda}(1) = K_{\mu\lambda}$ である。これは $q=1$ で対称群の場合に一致し、一貫性が保証される。
• $\mathbb{C}G$ 内の生成元 $e = \sum_{u \in U_{\lambda'}, p \in P_{\lambda'}^{-}} \varphi_\lambda(u^{-1}) u p$ が、$\chi^\lambda$ を実現する不変 $G$-モジュラスを生成する。これにより、明示的な実現が得られる。