Characteristically simple Beauville groups, II: low rank and sporadic groups

TL;DR

This paper investigates which characteristically simple groups can serve as Beauville groups, establishing that certain classical and sporadic simple groups are Beauville groups if they are 2-generated and not isomorphic to A_5.

Contribution

It characterizes when cartesian powers of specific simple groups are Beauville groups, extending understanding of Beauville structures in relation to simple groups.

Findings

Certain classical groups are Beauville if 2-generated and not A_5.

All sporadic simple groups in the considered class are Beauville if 2-generated.

Provides a complete characterization for these groups as Beauville groups.

Abstract

A Beauville surface is a rigid complex surface of general type, isogenous to a higher product by the free action of a finite group, called a Beauville group. Here we consider which characteristically simple groups can be Beauville groups. We show that if G is a cartesian power of a simple group L_2(q), L_3(q), U_3(q), Sz(2^e), R(3^e), or of a sporadic simple group, then G is a Beauville group if and only if it has two generators and is not isomorphic to A_5.