[论文解读] Polar spaces and embeddings of classical groups

Nick Gill|ArXiv.org|Mar 15, 2006

Finite Group Theory Research参考文献 4被引用 17

一句话总结

本文通过域迹映射，将有限域 $GF(q^w)$ 上极射空间中的经典等距群嵌入到 $GF(q)$ 上更大的经典群中。通过将形式与 $F$-线性泛函 $L: K \to F$ 复合，分类了所得形式的类型（酉型、正交型、辛型或退化型），并确定了诱导的群嵌入在何时为极大子群，特别是在有限域情形下，扩展了 Kleidman 和 Liebeck 对 Aschbacher 类 $\mathcal{C}_3$ 的工作。主要贡献在于对这类域扩张构造所诱导的等距群嵌入进行了完整分类。

ABSTRACT

Given polar spaces $(V,β)$ and $(V,Q)$ where $V$ is a vector space over a field $K$, $β$ a reflexive sesquilinear form and $Q$ a quadratic form, we have associated classical isometry groups. Given a subfield $F$ of $K$ and an $F$-linear function $L:K o F$ we can define new spaces $(V,Lβ)$ and $(V,LQ)$ which are polar spaces over $F$. The construction so described gives an embedding of the isometry groups of $(V,β)$ and $(V,Q)$ into the isometry groups of $(V,Lβ)$ and $(V,LQ)$. In the finite field case under certain added restrictions these subgroups are maximal and form the so called {\it field extension subgroups} of Aschbacher's class $\curlyc{3}$ \cite{aschbacher}. We give precise descriptions of the polar spaces so defined and their associated isometry group embeddings. In the finite field case our results give extra detail to the account of maximal field extension subgroups given by Kleidman and Liebeck \cite[p112]{kl}.

研究动机与目标

• 系统地构造并分类从 $GF(q^w)$ 上极射空间到 $GF(q)$ 上经典等距群的嵌入，使用域迹映射。
• 在各种域和形式条件下，确定复合形式 $L\beta$ 和 $LQ$ 的类型（对称、交错、埃尔米特或退化）。
• 识别在 Aschbacher 类 $\mathcal{C}_3$ 中，诱导群嵌入何时为极大子群，特别是在有限域情形下。
• 解决当 $char(K) = 2$、$|K| + \dim_K V$ 为无限且 $f_Q$ 退化时 $LQ$ 的退化性问题。
• 提供精确条件，以确定 $L\beta$ 和 $LQ$ 的等距群类型为 $O^{\pm}(Aw,q)$、$Sp(Aw,q)$ 或 $U(Aw,q)$，基于 $\alpha$、$q$、$w$ 和 $A$。

提出的方法

• 定义域迹映射 $L: K \to F$ 为 $L(x) = \operatorname{Tr}_{K/F} (\alpha x)$，其中 $\alpha \in K^*$，$K = GF(q^w)$，$F = GF(q)$，以在 $F$ 上诱导形式。
• 将 $V$ 上的可去 $\sigma$-半双线性形式 $\beta$ 或二次形式 $Q$ 与 $L$ 复合，得到 $L\beta: V \times V \to F$ 和 $LQ: V \to F$，并将 $V$ 视为 $F$ 上的向量空间。
• 利用迹映射和 $K/F$ 的结构性质，分析 $L\beta$ 和 $LQ$ 的退化性，特别是在 $K$ 为特征 2 的有限域时。
• 基于原形式类型（$\beta$ 为埃尔米特型、对称型、交错型）以及 $\sigma(\alpha)$、$q$、$w$ 和 $A$ 的条件，使用迹恒等式和判别式分析，对 $L\beta$ 和 $LQ$ 的类型进行分类。
• 利用有限域上二次型和极射空间的理论，确定 $GF(q)$ 上结果形式的 Wits index 和类型（$O^+$、$O^-$、$Sp$ 等）。
• 应用 Lam 和 Taylor 关于非退化性和根空间结构的结果，证明当 $char(K) = 2$、$\dim_K V$ 为奇数且 $Q$ 非退化时，$LQ$ 为退化形式。

实验结果

研究问题

• RQ1 当 $\beta$ 为可去 $\sigma$-半双线性形式且 $L: K \to F$ 为 $F$-线性时，复合形式 $L\beta$ 在何种条件下非退化？
• RQ2 当特征为 2 时，复合二次形式 $LQ$ 在何种条件下非退化，特别是当 $Q$ 的极形式可能退化时？
• RQ3 当 $\beta$ 为埃尔米特型且 $L$ 为迹映射时，形式 $L\beta$ 或 $LQ$ 的类型（正交型、辛型、酉型或非典型型）为何？
• RQ4 如何将 $L\beta$ 和 $LQ$ 的等距群嵌入到 $GF(q)$ 上的经典群中？这些嵌入在何时为 Aschbacher 类 $\mathcal{C}_3$ 中的极大子群？
• RQ5 在 $\alpha$、$q$、$w$ 和 $A$ 的何种精确条件下，$L\beta$ 的等距群为 $O^{+}(Aw,q)$、$O^{-}(Aw,q)$、$Sp(Aw,q)$ 或 $U(Aw,q)$？

主要发现

• 无论 $K$ 的特征为何，复合形式 $L\beta$ 非退化的充要条件是 $\beta$ 非退化且 $L \neq 0$。
• 当 $char(K) \neq 2$ 或 $K = GF(2^h)$ 且 $\dim_K V$ 为偶数时，$LQ$ 非退化的充要条件是 $Q$ 非退化且 $L \neq 0$。
• 当 $K = GF(2^h)$ 且 $\dim_K V$ 为奇数时，即使 $Q$ 非退化，$LQ$ 仍为退化形式，原因在于 $f_Q$ 的根空间非平凡且在 $L$ 下保持不变。
• 对于 $GF(q^w)$ 上的埃尔米特型形式 $\beta$，若 $w$ 为偶数、$q$ 为偶数且 $\sigma(\alpha) = \alpha$，则复合形式 $L\beta$ 为交错型，从而诱导嵌入 $U(A,q^w) \leq Sp(Aw,q)$。
• 当 $w$ 为偶数、$q$ 为奇数且 $\sigma(\alpha) = \alpha$ 时，$L\beta$ 的类型为 $O^+$（若 $A$ 为偶数）或 $O^-$（若 $A$ 为奇数），从而诱导嵌入 $U(A,q^w) \leq O^{\pm}(Aw,q)$。
• 本文提供了由迹映射诱导的等距群嵌入的完整分类，表明 $O(A,q^w) \leq O^{\pm}(Aw,q)$ 或 $Sp(Aw,q)$，具体取决于 $w$、$q$ 和迹参数 $\alpha$，并给出了在 $Q(v) = \gamma v^2$ 于芽 $U$ 上时 $\alpha\gamma$ 的显式条件。