Finite groups of automorphisms of Enriques surfaces and the Mathieu group
An action of a group on an Enriques surface is called Mathieu if it acts on trivially and every element of order 2, 4 has Lefschetz number 4. A finite group has a Mathieu action on some Enriques surface if and only if it is isomorphic to a subgroup of the symmetric group of degree 6 and the order is not divisible by . Explicit Mathieu actions of the three groups and , together with non-Mathieu one of , on polarized Enriques surfaces of degree 30, 18, 10 and 6, respectively, are constructed without Torelli type theorem to prove the if part.