论文信息 - K3 surfaces with action of the group $M_{20}$

K3 surfaces with action of the group $M_{20}$

It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is 960 and if such a group has order 960, then it is isomorphic to the Mathieu group $M_{20}$. In this paper, we are interested in projective K3 surfaces admitting a faithful symplectic action of the group $M_{20}$. We show that there are infinitely many K3 surfaces with this action and we describe them and their projective models, giving some explicit examples.

Paola Comparin | Romain Demelle

[1] Alex Degtyarev,et al. Conics on Kummer quartics , 2021, Tohoku Mathematical Journal.

[2] Alessandra Sarti,et al. K3 surfaces with maximal finite automorphism groups containing M 20 , 2019, Annales de l'Institut Fourier.

[3] Kenji Hashimoto,et al. Extensions of maximal symplectic actions on K3 surfaces , 2019, 1910.05952.

[4] K. Gandhi. Primes of the form x2 + ny2 , 2012 .

[5] S. Kondō. The maximum order of finite groups of automorphisms of K3 surfaces , 1999 .

[6] John J. Cannon,et al. The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[7] M. Reid. Chapters on algebraic surfaces , 1996, alg-geom/9602006.

[8] Duncan A. Buell,et al. Binary Quadratic Forms: Classical Theory and Modern Computations , 1989 .

[9] S. Mukai. Finite groups of automorphisms of K3 surfaces and the Mathieur group , 1988 .

[10] T. Willmore. Algebraic Geometry , 1973, Nature.

[11] M. Bates,et al. Noordsij Primes of the form x 2 + ny 2 , 2015 .

[12] Randall R. Holmes. Linear Representations of Finite Groups , 2008 .

[13] G. Xiao. Galois covers between $K3$ surfaces , 1996 .

[14] David A. Cox. Primes of the Form x2 + ny2: Fermat, Class Field Theory, and Complex Multiplication , 1989 .

[15] Joe W. Harris,et al. Principles of Algebraic Geometry , 1978 .

[16] T. Shioda,et al. Singular abelian surfaces and binary quadratic forms , 1974 .