[论文解读] Generation of finite simple groups with an application to groups acting on Beauville surfaces

Ben Fairbairn, Kay Magaard+1 more|arXiv (Cornell University)|Oct 18, 2010

Finite Group Theory Research参考文献 22被引用 11

一句话总结

该论文证实了如下猜想：除 $σλτ}(5)$ 外，所有非交换有限拟单群均为 Beauville 群。论文通过构造显式的 Beauville 结构——满足生成性、双曲性及非共轭性条件的双曲三元组——实现了该结论，采用的群论工具包括 Zsigmondy 素数与有限李型群中的本原素因子元素，并在经典群、例外群、交错群及散在群中完成了验证。

ABSTRACT

We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt(5) and SL_2(5) is a Beauville group. In particular, we settle a conjecture of Bauer, Catanese and Grunewald which asserts that all non-abelian finite simple groups except for the alternating group $\Alt(5)$ are Beauville groups.

研究动机与目标

• 证明所有非交换有限拟单群（除 $\mathrm{Alt}(5)$ 外）均为 Beauville 群的猜想。
• 为所有有限拟单群家族构造显式的 Beauville 结构（双曲三元组）。
• 将此前针对特定家族（如 $\mathrm{PSL}_2(q)$、交错群、散在群及例外群）的研究成果统一为一个完整的分类。
• 应用深层群论工具——Zsigmondy 素数与本原素因子元素——以确立生成性与非共轭性条件。
• 验证例外拟单群及其覆盖群中 Beauville 结构的存在性，完成完整分类。

提出的方法

• 利用 Gow 定理处理有限李型群中正则半单共轭类的积，以确保生成具有所需阶的元素。
• 应用 Guralnick–Pentilla–Praeger–Saxl 定理处理本原素因子元素（$\mathrm{ppd}$），以识别 $\mathrm{GL}_d(q)$ 子群中大素数阶元素。
• 构造双曲三元组 $(x_i, y_i, z_i)$，使得 $x_i y_i z_i = 1$，$\langle x_i, y_i, z_i \rangle = G$，且对 $i=1,2$ 满足 $\sum 1/o(x_i) < 1$。
• 验证非共轭性条件：任一三元组中非单位幂的元素均不与另一三元组中任何非单位幂的元素共轭。
• 使用标准生成元的字表达式定义元素 $x_1, y_1, x_2, y_2$，使得三元组满足 Beauville 结构条件。
• 结合计算验证与结构群论方法，处理小的例外群及其中心扩张。

实验结果

研究问题

• RQ1 所有非交换有限拟单群（除 $\mathrm{Alt}(5)$ 外）是否均具有 Beauville 结构？
• RQ2 能否为所有有限拟单群家族（包括例外群与经典群）显式构造双曲三元组？
• RQ3 Zsigmondy 素数与本原素因子元素如何促进有限李型群中 Beauville 结构的构造？
• RQ4 何种条件可确保一个三元组中某元素的非单位幂不与另一三元组中任何元素的非单位幂共轭？
• RQ5 例外单李型群的完整覆盖群是否均为 Beauville 群？

主要发现

• 除 $\mathrm{SL}_2(5)$ 与 $\mathrm{PSL}_2(5) \cong \mathrm{Alt}(5)$ 外，所有非交换有限拟单群均为 Beauville 群。
• 例外拟单群及其中心商群（包括 $2^2.{}^2\mathrm{B}_2(8)$、$2.\mathrm{Sp}_6(2)$、$3.\mathrm{G}_2(3)$ 与 $2^2.{}^2\mathrm{E}_6(2)$）均为 Beauville 群。
• 对于 $\mathrm{SL}_2(11)$，存在类型为 $(5,5,11)$ 与 $(12,12,12)$ 的双曲三元组；对于 $\mathrm{SL}_2(7)$，实现了类型为 $(8,8,8)$ 与 $(7,7,3)$ 的三元组。
• $6.\mathrm{Alt}(6)$ 的二重覆盖具有类型为 $((5,5,5),(8,8,8))$ 的 Beauville 结构，$6.\mathrm{Alt}(7)$ 具有类型为 $((7,7,14),(5,5,3))$ 的结构。
• $2^2.{}^2\mathrm{E}_6(2)$ 具有类型为 $((5,5,5),(66,66,3))$ 的 Beauville 结构，其中阶为 19 的元素由特定字表达式生成。
• 本文为所有例外拟单群提供了显式字表达式（以标准生成元 $a$ 与 $b$ 表示），用于定义所需双曲三元组，结果列于表 10 中。