[论文解读] Cross characteristic representations of $^3D_4(q)$ are Reducible over proper subgroups

Hung Ngoc Nguyen, Pham Huu Tiep|ArXiv.org|Oct 26, 2009

Finite Group Theory Research参考文献 2被引用 3

一句话总结

该论文证明了在与 $ q $ 互素的特征下，$^3D_4(q)$ 的任意绝对不可约表示在限制到任意真子群时都会变得可约。通过特征标理论、表示维数界以及使用 CHEVIE 进行的显式特征标计算，作者表明：仅最大抛物子群、$ G_2(q) $ 和 $^3D_4(q_0) $（其中 $ q = q_0^2 $）可能保持不可约性——然而经过详细分析，这些情况也均不成立，从而确认了主要结论：在非平凡表示下，$^3D_4(q)$ 的任意真子群均无法保持不可约性。

ABSTRACT

We prove that the restriction of any absolutely irreducible representation of Steinberg's triality groups $^3D_4(q)$ in characteristic coprime to q to any proper subgroup is reducible

研究动机与目标

• 对所有三元组 $(K, V, H)$ 进行分类，其中 $ K = {}^3D_4(q) $，$ V $ 是在特征 $ \neq q $ 下的绝对不可约表示，且 $ H < K $ 满足 $ V|_H $ 不可约。
• 解决在交叉特征设定下，例外群 $^3D_4(q)$ 的问题 1。
• 将先前关于子群上表示不可约性的结果扩展至三重对称群 $^3D_4(q)$，特别是针对非复表示的情形。
• 建立 $^3D_4(q) $ 的任意真子群均无法保持非平凡表示不可约性的结论。

提出的方法

• 应用约化定理，将注意力集中于 $^3D_4(q)$ 的最大子群，特别是抛物子群、$ G_2(q) $ 和 $^3D_4(q_0) $（其中 $ q = q_0^2 $）。
• 使用维数界：$ \text{dim}(V) \neq \text{m}_{\text{C}}(H) $，因此若 $ \text{m}_{\text{C}}(H) < \text{d}_{\text{C}}(K) $，则在 $ H $ 上的不可约性不可能成立。
• 利用有限域上的诱导特征标与加法特征标，计算在对合上的未极化特征标值。
• 使用 CHEVIE 计算诱导特征标与未极化特征标 $[\rho_2]$（维数为 $ q^7(q^4 - q^2 + 1) $）之间的标量积，以确保整数约束条件。
• 通过从特定未极化根从属诱导的一维特征标，分析最大抛物子群 $ Q $ 的忠实不可约特征标的结构。
• 利用 Brauer 特征标理论，并利用对合上取值必须为整数的事实，对可能的特征标维数施加约束。

实验结果

研究问题

• RQ1 是否存在 $^3D_4(q) $ 的某个真子群，能够保持在与 $ q $ 互素的特征下非平凡绝对不可约表示的不可约性？
• RQ2 哪些 $^3D_4(q) $ 的最大子群可能支持该群的不可约表示？
• RQ3 哪些特征标维数界与整数性条件可排除在子群上的不可约性？
• RQ4 未极化特征标，特别是 $[\rho_2] $，是否提供了足够约束以排除在子群上的不可约性？
• RQ5 诱导表示在对合上的特征标值是否被限制为 $ q(q^3 - 1) $ 的特定整数倍？这如何影响不可约性？

主要发现

• 在与 $ q $ 互素的特征下，$^3D_4(q) $ 的不可约表示的最小维数至少为 $ q^5 - q^3 + q - 1 $，该值超过除 $ P $、$ Q $、$ G_2(q) $ 或 $^3D_4(q_0) $ 外所有真子群的最大复特征标维数。
• 对于 $ M = PGL^\rho_3(q) $ 且 $ q \neq 1 \bmod 3 $，复特征标维数界 $ \mathfrak{m}_{\mathbb{C}}(M) $ 严格小于 $ \mathfrak{d}_{\ell}(^3D_4(q)) $，因此在 $ M $ 上的不可约性不可能成立。
• 对于最大子群 $ M = {}^3D_4(q_0) $ 且 $ q = q_0^\alpha $，$ \alpha \geq 5 $ 为素数的情形，有 $ \mathfrak{m}_{\mathbb{C}}(M) \leq q_0^{14} $，该值仍小于 $ \mathfrak{d}_{\ell}(^3D_4(q)) $（当 $ q = q_0^\alpha $，$ \alpha \geq 5 $ 时），因此可排除不可约性。
• 对于最大抛物子群 $ Q $，特征标 $ \chi_{16}(k) $、$ \chi_{18}(k) $、$ \chi_{19}(k) $ 和 $ \chi_{20}(k) $ 在对合 $ x_\beta(1) $ 上的取值被限制为 $ q(q^3 - 1) $ 的整数倍，且与 $[\varepsilon_2] $ 的标量积的整数性确认了：不存在此类特征标在 $ Q $ 上不可约。
• 标量积 $ (_Q\chi_{16}(k), [\varepsilon_2]_Q)_Q = \frac{q^6 - q^4 - q^3 + q + y_k}{q(q^3 - 1)} $ 为非负整数，且由于 $ y_k \leq q^3(q^3 - 1)(q - 1) $，这迫使 $ y_k $ 为 $ q(q^3 - 1) $ 的倍数，从而确认了整数性并界定了特征标取值。