[論文レビュー] The generic character table of a Sylow $p$-subgroup of a finite Chevalley group of type $D_4$

Simon M. Goodwin, Tung Le+1 more|arXiv (Cornell University)|Aug 27, 2015

Finite Group Theory Research参考文献 23被引用数 5

ひとこと要約

本稿では、有限Chevalley群 $D_4$ のSylow $p$-部分群 $U$ の一般化されたキャラクターテーブルを、$p > 2$ の場合に線形キャラクターの誘導を用いて一様にパラメータ化することで構成する。$p = 2$ の場合の特殊な振る舞いも特定する。主な貢献は、$D_4$ ディンキン図のグラフ自己同型に対して安定なキャラクターと共役類のパラメータ化であり、$q$ とパラメータに依存する明示的なキャラクター値が得られ、$p = 2$ におけるキャラクター次数や値の違いが明らかになる。このテーブルは、CHEVIE などの計算システムへの直接的利用を想定している。

ABSTRACT

Let $U$ be a Sylow $p$-subgroup of the finite Chevalley group of type $D_4$ over the field of $q$ elements, where $q$ is a power of a prime $p$. We describe a construction of the generic character table of $U$.

研究の動機と目的

• 有限体 $\mathbb{F}_q$ 上の型 $D_4$ の有限Chevalley群のSylow $p$-部分群 $U$ に対して、すべての $q$ に対して有効な一般化されたキャラクターテーブルを構築すること。
• $D_4$ ディンキン図のグラフ自己同型に対して安定な、$U$ の既約キャラクターと共役類のパラメータ化を提供すること。
• キャラクター値を $q$ とパラメータの関数として明示的に計算し、CHEVIE のような計算代数システムへの直接的実装を可能にすること。
• 特に $\mathcal{F}_{8,9,10}$ と $\mathcal{F}_{11}, \mathcal{F}_{12}$ の家族において、$p = 2$ と $p > 2$ との間でキャラクター理論にどのような違いが生じるかを特定し、説明すること。

提案手法

• 特定の部分群 $V_1, V_2, V_3$ の線形キャラクターからの誘導キャラクターを用いて、$U$ の既約キャラクターを実現する。これは、先行研究 [14] および [24] における共役類とキャラクターのパラメータ化に基づく。
• キャラクターと共役類のパラメータ化を、$D_4$ ディンキン図の対称性によって誘導される $G$ の自己同型に対して不変となるように精緻化する。
• 根部分群の元の作用と $\mathbb{F}_q$ 上の関連する加法的キャラクター $\phi$ を用いて、再帰的誘導とトレース公式によりキャラクター値を計算する。
• $p = 2$ の場合を明示的に扱い、共役類 $\mathcal{C}_{1,2,4,2q^7}^{p=2}$ および $\mathcal{C}_{1,2,4,q^7}^{p=2}$ の計算を修正することで、$p > 2$ の場合とは異なるキャラクター値を反映する。
• キャラクター表は、既約キャラクターの家族を行として、共役類代表元の家族を列として持ち、各セルには $q$ とパラメータの関数としての式を記述する。
• この構成は、CHEVIE のような計算群論システムへの直接的な変換を想定して設計されている。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q$ 上の型 $D_4$ の有限Chevalley群のSylow $p$-部分群に対して、すべての $q$ に対して一様に有効な一般化されたキャラクターテーブルをどのように構築できるか？
• RQ2 $p = 2$ と $p > 2$ との間で、$U$ のキャラクター理論にどのような構造的差異が生じるか。なぜ $p = 2$ は $D_4$ に対して「悪い素数」とされるのか？
• RQ3 $U$ の既約キャラクターと共役類のパラメータ化を、$D_4$ ディンキン図のグラフ自己同型に対して安定にするにはどうすればよいか？
• RQ4 さまざまな共役類家族におけるキャラクター値を支配する明示的な公式は何か。また、それらは $q$ とキャラクター家族のパラメータにどのように依存するか？

主な発見

• 型 $D_4$ の有限Chevalley群のSylow $p$-部分群 $U$ の一般化されたキャラクターテーブルが、すべての $q = p^n$ に対して明示的に構築された。$p > 2$ の場合に一様なパラメータ化が有効である。
• $p > 2$ の場合、すべての $q$ に対してキャラクターテーブルが一様であり、パラメータと $q$ に依存する項を含む加法的キャラクターの和としてキャラクター値が表現される。
• $p = 2$ の場合、既約キャラクターの家族 $\mathcal{F}_{8,9,10}$ のパラメータ化は $p > 2$ の場合とは異なり、$\mathcal{F}_{11}$ および $\mathcal{F}_{12}$ のキャラクター値に対しても差が生じる。
• 特定のキャラクター値が計算されている。例えば、$p > 2$ かつ $t_1,t_2,t_4 \in \mathbb{F}_q^\times$ のとき、$\chi_{12}^{a_{12},b_1,b_2,b_4}(x_{1}(t_1)x_2(t_2)x_4(t_4)x_{12}(t_{12})) = q \phi(a_{12}t_{12}) \sum_{s \in \mathbb{F}_q} \phi(-a_{12}t_1t_2t_4s^2)$ が成り立つ。
• $p = 2$ の場合、$\mathcal{C}_{1,2,4,q^7}^{p=2}$ 上での値はゼロである：$t_1,t_2,t_4 \in \mathbb{F}_q^\times$ のとき、$\chi_{12}^{a_{12},b_1,b_2,b_4}(x_1(t_1)x_2(t_2)x_4(t_4)x_{12}(t_{12})) = 0$ である。
• 本構成により、$q$ とキャラクターのパラメータに依存する、完全で明示的かつ計算可能なキャラクターテーブルのパラメータ化が得られ、CHEVIE のようなシステムへの統合に適している。