arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2102.11096math.GR
收藏

论李型例外群的中等秩李本原与极大子群

On medium-rank Lie primitive and maximal subgroups of exceptional groups of Lie type

David A. Craven

AI总结:

本文研究特征p李型群H嵌入例外代数群G的李本原子群,排除PSL_2型,证明除少数例外(如E_8中的若干小群)外不存在,并推广到自同构稳定性和极大子群刻画,结合表示论与计算方法。

摘要:

我们研究特征为 $p$ 的李型群 $H$ 嵌入到相同特征的例外代数群 $\mathbf G$ 中的情形。我们排除了 $H$ 为 $\mathrm{PSL}_2$ 型的情况。$\mathbf G$ 的一个子群称为李本原的,如果它不包含在 $\mathbf G$ 的任何真正维数子群中。在少数可能的例外之外,我们证明了在上述对 $H$ 和 $\mathbf G$ 的条件下,$\mathbf G$ 中不存在李本原子群 $H$。例外情形为 $H$ 是 $\mathrm{PSL}_3(3)$、$\mathrm{PSU}_3(3)$、$\mathrm{PSL}_3(4)$、$\mathrm{PSU}_3(4)$、$\mathrm{PSU}_3(8)$、$\mathrm{PSU}_4(2)$、$\mathrm{PSp}_4(2)'$ 和 ${}^2\\!B_2(8)$ 之一,且 $\mathbf G$ 为 $E_8$ 型。目前尚无此类李本原嵌入的已知实例。我们证明了一个稍强的结果,包括在 $\mathbf G$ 的自同构下的稳定性。这导致,在同样的例外情形下,任何以 $H$ 为基座(socle)的几乎单群,若它极大于几乎单李型例外群 $F_4$、$E_6$、${}^2\\!E_6$、$E_7$ 和 $E_8$ 中,则是代数群内相应极大闭子群在 Frobenius 映射下的不动点。证明结合了表示论、代数群论和计算方法。

英文摘要:

We study embeddings of groups of Lie type $H$ in characteristic $p$ into exceptional algebraic groups $\mathbf G$ of the same characteristic. We exclude the case where $H$ is of type $\mathrm{PSL}_2$. A subgroup of $\mathbf G$ is \emph{Lie primitive} if it is not contained in any proper, positive-dimensional subgroup of $\mathbf G$. With a few possible exceptions, we prove that there are no Lie primitive subgroups $H$ in $\mathbf G$, with the conditions on $H$ and $\mathbf G$ given above. The exceptions are for $H$ one of $\mathrm{PSL}_3(3)$, $\mathrm{PSU}_3(3)$, $\mathrm{PSL}_3(4)$, $\mathrm{PSU}_3(4)$, $\mathrm{PSU}_3(8)$, $\mathrm{PSU}_4(2)$, $\mathrm{PSp}_4(2)'$ and ${}^2\!B_2(8)$, and $\mathbf G$ of type $E_8$. No examples are known of such Lie primitive embeddings. We prove a slightly stronger result, including stability under automorphisms of $\mathbf G$. This has the consequence that, with the same exceptions, any almost simple group with socle $H$, that is maximal inside an almost simple exceptional group of Lie type $F_4$, $E_6$, ${}^2\!E_6$, $E_7$ and $E_8$, is the fixed points under the Frobenius map of a corresponding maximal closed subgroup inside the algebraic group. The proof uses a combination of representation-theoretic, algebraic group-theoretic, and computational means.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑