[论文解读] Supercharacters of the Sylow p-subgroups of the finite symplectic and orthogonal groups

Carlos A. M. André, Ana Margarida Neto|ArXiv.org|Apr 27, 2008

Coding theory and cryptography参考文献 15被引用 6

一句话总结

本文为奇特征有限域上的有限辛群与正交群的 Sylow p-子群构建了超特征标理论。通过将单位三角群的结果进行推广，构造了将不可约特征标划分的超特征标，证明了其正交性与乘法封闭性，并利用根系数据与正根的基本集合，对最大次数不可约表示进行了组合分类。

ABSTRACT

We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.

研究动机与目标

• 将单位三角群的超特征标理论推广至奇特征有限域上的有限辛群与正交群的 Sylow p-子群。
• 证明超特征标构成类函数空间的正交基，并在乘法下封闭。
• 利用根系数据与正根的基本子集，对最大次数不可约特征标的组合性质进行刻画。
• 推导超特征标值的显式公式，并将正则特征标分解为超特征标的正交直和。

提出的方法

• 通过从 $U_n(q)$ 限制理论至其 Sylow p-子群，将单位三角群的超特征标构造方法推广至辛群与正交群。
• 利用类型 $B_n(q)$、$C_n(q)$ 与 $D_n(q)$ 的根系结构，定义正根的基本子集 $D$，并关联映射 $\phi: D \to \mathbb{F}_q^\times$ 以生成超特征标。
• 利用其张成的酉向量空间的性质，证明超特征标正交，并构成不可约特征标集合的划分。
• 通过证明超特征标空间在张量积运算下封闭，建立其在乘法下的封闭性。
• 利用根系结构及其在李代数上的作用，推导超特征标值的公式。
• 应用先前工作（如 [7], [23]）的结果，通过特定基本子集 $D$ 与映射 $\phi$ 的配置，对最大次数不可约特征标进行分类。

实验结果

研究问题

• RQ1 如何将单位三角群 $U_n(q)$ 的超特征标理论推广至奇特征有限域上的辛群与正交群的 Sylow p-子群？
• RQ2 这些 Sylow p-子群的超特征标是否如单位三角群情形一样保持正交性，并构成不可约特征标的划分？
• RQ3 超特征标张成的空间是否在乘法下封闭？能否推导出超特征标值的公式？
• RQ4 Sylow p-子群的哪些不可约特征标具有最大次数？能否利用根系数据进行组合刻画？
• RQ5 能否将正则特征标表示为这些群中超特征标的正交线性组合？

主要发现

• 在奇特征有限域上，$Sp_{2n}(q)$、$O_{2n}^\pm(q)$ 与 $O_{2n+1}(q)$ 的 Sylow p-子群的超特征标理论已完整构建，并证明其推广了 $U_n(q)$ 上的理论。
• 超特征标正交，构成不可约特征标集合的划分，且其张成空间在乘法下封闭。
• 正则特征标可分解为超特征标的正交线性组合，其系数由超特征标值导出。
• 对于 $U \leq O_{2n}(q)$，当基本子集 $D$ 的形式为 $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup D_1$ 且 $D_1 \subset \{\varepsilon_{n-1}-\varepsilon_n, \varepsilon_{n-1}+\varepsilon_n\}$ 时，不可约特征标的最大次数为 $q^{f(n)}$，且当 $n$ 为偶数时，此类特征标共有 $d_n = q^{(n+2)/2}(q-1)^{(n-2)/2}$ 个。
• 对于 $U \leq O_{2n+1}(q)$，当 $n$ 为偶数时，最大次数特征标出现在 $D$ 包含 $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup \{\varepsilon_{n-1}\}$ 的情形；当 $n$ 为奇数时，出现在 $D$ 包含 $\{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-2}+\varepsilon_{n-1}\} \cup \{\varepsilon_n\}$ 的情形，且当 $n$ 为偶数时 $d_n = q^{(n-2)/2}(q+1)(q-1)^{n/2}$，当 $n$ 为奇数时 $d_n = q^{(n+1)/2}(q-1)^{(n-1)/2}$。
• 这些 Sylow p-子群中不可约特征标的最大次数为 $q^{f(n)}$，其中 $f(n) = n(n-2)/2$（当 $n$ 为偶数时），$(n-1)^2/2$（当 $n$ 为奇数时），且该次数仅在 $D$ 与 $\phi$ 满足指定条件时达到。