[论文解读] Irreducible Characters of Finite Algebra Groups

Carlos A. M. André|ArXiv.org|Nov 23, 1998

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

一句话总结

本文证明了有限 $\mathbb{F}_q$-代数群 $G = 1+J$ 的每个不可约特征标，其中 $J$ 是有限维 $\mathbb{F}_q$-代数的 Jacobson 幂等根，均可作为某个代数子群 $H = 1+U$ 上线性特征标的诱导特征标，且 $U$ 是 $J$ 的乘法封闭的 $\mathbb{F}_q$-子空间。其主要贡献是通过共伴作用轨道和 Kirillov 的轨道方法，将 Kazhdan 对幂零群的结果推广，解决了关于代数群中特征标诱导的长期悬而未决的问题。

ABSTRACT

Let F be a finite field with q elements, let A be a finite dimensional F-algebra and let J=J(A) be the Jacobson radical of A. Then G=1+J is a p-group, where p is the characteristic of F. We refer to G as an F-algebra group. A subgroup H of G is said to be an algebra subgroup of G if H=1+U for some multiplicatively closed F-subspace of J. In this paper, we parametrize the irreducible complex characters of G in terms of G-orbits on the dual space of J. Moreover, we prove that every irreducible complex character of G is induced from a linear character of some algebra subgroup of G.

研究动机与目标

• 解决 I. M. Isaacs 提出的关于有限 $\mathbb{F}_q$-代数群中不可约特征标结构的问题。
• 为 $\mathbb{F}_q$-代数群建立一个一般性的特征标诱导结果，扩展了 Kazhdan 及其他人的早期成果。
• 通过 Jacobson 幂等根中的共伴轨道和 $f$-极化，提供不可约特征标的构造性参数化。
• 证明此类群的所有不可约特征标均为 $q$-幂次度，证实 Gutkin 的猜想，并修正其原始论证中的缺陷。

提出的方法

• 利用 $G = 1+J$ 在对偶空间 $J^*$ 上的共伴作用定义 $G$-轨道，通过 Kirillov 的轨道方法，这些轨道参数化不可约特征标。
• 为每个共伴轨道 $\mathcal{O} \in \Omega(G)$ 定义一个类函数 $\phi_{\mathcal{O}}$，证明其为不可约特征标。
• 引入 $f$-极化的概念：$J$ 中极大 $f$-迷向且乘法封闭的 $\mathbb{F}_q$-子空间 $U$，确保 $H = 1+U$ 为代数子群。
• 通过 $\lambda_f(1+a) = \psi(f(a))$ 构造 $H = 1+U$ 上的线性特征标 $\lambda_f$，其中 $\psi$ 是 $\mathbb{F}_q$ 的非平凡加法特征标。
• 应用 Frobenius 对偶性，证明不可约特征标 $\phi_{\mathcal{O}}$ 等于诱导特征标 $\lambda_f^G$，从而证明主定理。
• 利用恒等式 $|\mathcal{O}| = q^{\operatorname{rank} M(f)}$，其中 $M(f)$ 是斜对称形式 $B_f(a,b) = f([ab])$ 的矩阵，确定轨道大小与特征标度。

实验结果

研究问题

• RQ1 有限 $\mathbb{F}_q$-代数群的每个不可约特征标是否均可表示为某个代数子群上线性特征标的诱导？
• RQ2 通过共伴轨道的轨道方法是否能完全参数化 $\mathbb{F}_q$-代数群中的不可约特征标？
• RQ3 此类群的所有不可约特征标度是否均为 $q$ 的幂次，如 Gutkin 所猜想？
• RQ4 Kazhdan 原证明中的指数映射障碍是否可通过自然双射 $a \mapsto 1+a$ 克服？
• RQ5 子空间 $U \subseteq J$ 必须满足何种结构性质，才能对给定的 $f \in J^*$ 生成有效的 $f$-极化？

主要发现

• 有限 $\mathbb{F}_q$-代数群 $G = 1+J$ 的每个不可约特征标 $\chi$ 均可作为某个代数子群 $H = 1+U$ 上线性特征标 $\lambda$ 的诱导特征标，其中 $U$ 是 $J$ 的乘法封闭的 $\mathbb{F}_q$-子空间。
• 群 $G$ 的每个不可约特征标度均为 $q$ 的幂次，确认 $G$ 是一个 $q$-幂次度群。
• 每个共伴轨道 $\mathcal{O} \in \Omega(G)$ 的基数为 $q^2$-幂次，具体为 $|\mathcal{O}| = q^{\operatorname{rank} M(f)}$（$f \in J^*$）。
• $B_f(a,b) = f([ab])$ 的双线性形式 $B_f$ 的根 $\operatorname{Rad}(f)$ 是乘法封闭的 $\mathbb{F}_q$-子空间，且中心化子 $C_G(f)$ 等于 $1 + \operatorname{Rad}(f)$。
• 对任意 $f \in J^*$，存在一个 $f$-极化 $U \subseteq J$，即 $J$ 中极大 $f$-迷向且乘法封闭的 $\mathbb{F}_q$-子空间。
• $\phi_{\mathcal{O}}$ 与 $\lambda_f^G$ 的 Frobenius 内积 $\langle \phi_{\mathcal{O}}, \lambda_f^G \rangle_G$ 非零且等于 $\sqrt{|\mathcal{O}|}$，从而证明 $\phi_{\mathcal{O}} = \lambda_f^G$。