[论文解读] 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

一句话总结

本文通过从子群的线性特征标诱导出特征标，为有限李型 $D_4$ 的 Chevalley 群的 Sylow $p$-子群 $U$ 构造了通用特征标表，对 $p > 2$ 实现了不可约特征标的统一参数化，同时识别出 $p = 2$ 时的特殊行为。关键贡献在于在图自同构下保持稳定的不可约特征标与共轭类的统一参数化，其显式特征标值依赖于 $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$.

研究动机与目标

• 为有限 $D_4$ 型 Chevalley 群的 Sylow $p$-子群 $U$ 构造一个对所有 $q$ 都有效的通用特征标表。
• 提供 $U$ 的不可约特征标与共轭类的统一参数化，使其在 $D_4$ Dynkin 图的图自同构下保持不变。
• 显式计算特征标值作为 $q$ 和参数的函数，以支持在 CHEVIE 等计算代数系统中直接实现。
• 识别并解释 $p = 2$ 与 $p > 2$ 在特征标理论上的差异，特别是 $\mathcal{F}_{8,9,10}$ 家族和 $\mathcal{F}_{11}, \mathcal{F}_{12}$ 中的取值。

提出的方法

• 构造基于从特定子群 $V_1, V_2, V_3$ 的线性特征标诱导出 $U$ 的不可约特征标，依据先前工作 [14] 和 [24] 中的共轭类与特征标参数化。
• 对特征标与共轭类的参数化进行细化，使其在 $D_4$ Dynkin 图对称性所诱导的 $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 如何为有限 $D_4$ 型 Chevalley 群的 Sylow $p$-子群构造一个对所有 $q$ 都统一的通用特征标表？
• RQ2 与 $p > 2$ 相比，$p = 2$ 时 $U$ 的特征标理论中出现哪些结构性差异？为何 $p = 2$ 被视为 $D_4$ 的坏素数？
• RQ3 如何使 $U$ 的不可约特征标与共轭类的参数化在 $D_4$ Dynkin 图的图自同构下保持稳定？
• 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 等系统中。