[論文レビュー] 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

ひとこと要約

この論文は、$\ mathrm{SL}_2(5)$ および $\ mathrm{PSL}_2(5) \cong \mathrm{Alt}(5)$ を除くすべての非アーベル有限準単純群がベイルヴィル群であるという予想を確認する。この予想は、群論的道具（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)$ を除いてベイルヴィル群であるという予想を証明すること。
• すべての有限準単純群の族に対して明示的なベイルヴィル構造（双曲的三つ組）を構成すること。
• 特定の族（例：$\ mathrm{PSL}_2(q)$、交代群、散発群、例外的群）に関する先行研究を統一的分類に拡張すること。
• 生成および非共役性条件を確立するために、深い群論的道具（Zsigmondy素数および原始的素数除因子要素）を適用すること。
• 例外的準単純群およびその被覆群におけるベイルヴィル構造の存在を確認し、分類を完成させること。

提案手法

• 有限リー型群における正則半単純共共役類の積に関するGowの定理を用い、所望の位数を持つ元の生成を保証する。
• GL_d(q) の部分群における大きな素数位数の元を特定するために、Guralnick–Pentilla–Praeger–Saxl の定理（$\ mathrm{ppd}$ 要素）を適用する。
• 各 $i=1,2$ に対して $x_i y_i z_i = 1$、$< x_i, y_i, z_i \rangle = G$、および $< large 1/o(x_i) < 1$ を満たす双曲的三つ組 $(x_i, y_i, z_i)$ を構成する。
• 非共役性条件の検証：一つの三つ組の非自明なべきが、もう一つの三つ組のべきと共役でないことを確認する。
• 標準生成子における語表現を用いて、三つ組がベイルヴィル構造の条件を満たすように $x_1, y_1, x_2, y_2$ を定義する。
• 計算的検証と構造的群論を活用し、小さな例外的群および中心拡大を処理する。

実験結果

リサーチクエスチョン

• RQ1 すべての非アーベル有限準単純群（$\ mathrm{Alt}(5)$ を除く）は、ベイルヴィル構造をもつのか？
• RQ2 古典的および例外的リー型を含む、すべての有限準単純群の族に対して、明示的な双曲的三つ組を構成できるか？
• RQ3 Zsigmondy素数および原始的素数除因子要素は、リー型有限群におけるベイルヴィル構造の構成をどのように支援するか？
• RQ4 一つの三つ組の元の非自明なべきが、もう一つの三つ組のべきと共役でないことを保証する条件は何か？
• RQ5 リー型の例外的単純群の完全被覆群は、すべてベイルヴィル群であるか？

主な発見

• すべての非アーベル有限準単純群は、$\ mathrm{SL}_2(5)$ および $\ mathrm{PSL}_2(5) \cong \mathrm{Alt}(5)$ を除いてベイルヴィル群である。
• 例外的準単純群およびその中心商（$2^2.{}^2\mathrm{B}_2(8)$、$2.\mathrm{Sp}_6(2)$、$3.\mathrm{G}_2(3)$、$2^2.{}^2\mathrm{E}_6(2)$ を含む）は、すべてベイルヴィル群である。
• $\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))$ のベイルヴィル構造をもち、$6.\mathrm{Alt}(7)$ は型 $((7,7,14),(5,5,3))$ をもつ。
• $2^2.{}^2\mathrm{E}_6(2)$ は型 $((5,5,5),(66,66,3))$ のベイルヴィル構造をもち、特定の語表現から生じる位数19の元が存在する。
• この論文は、すべての例外的準単純群に対して、表10に示すように、標準生成子 $a$ と $b$ における明示的な語を提供し、必要な双曲的三つ組を定義している。