Extensions of maximal symplectic actions on K3 surfaces
Annales Henri Lebesgue, Volume 4 (2021) , pp. 785-809.

KeywordsK3 surface, automorphism, Mathieu group

### Abstract

We classify pairs $\left(X,G\right)$ consisting of a complex K3 surface $X$ and a finite group $G\phantom{\rule{3.33333pt}{0ex}}\le \phantom{\rule{3.33333pt}{0ex}}Aut\left(X\right)$ such that the subgroup ${G}_{s}⪇G$ consisting of symplectic automorphisms is among the $11$ maximal symplectic ones as classified by Mukai.

### References

[AC91] Auslander, Louis; Cook, Michael An algebraic classification of the three-dimensional crystallographic groups, Adv. Appl. Math., Volume 12 (1991) no. 1, pp. 1-21 | Article | MR 1091821 | Zbl 0731.20030

[AST11] Artebani, Michela; Sarti, Alessandra; Taki, Shingo $K3$ surfaces with non-symplectic automorphisms of prime order. With an appendix by Shigeyuki Kondō, Math. Z., Volume 268 (2011) no. 1-2, pp. 507-533 | Article | MR 2805445 | Zbl 1218.14024

[BEO02] Besche, Hans Ulrich; Eick, Bettina; O’Brien, Eamonn A. A millennium project: constructing small groups, Int. J. Algebra Comput., Volume 12 (2002) no. 5, pp. 623-644 | Article | MR 1935567 | Zbl 1020.20013

[BH19] Brandhorst, Simon; Hashimoto, Kenji Extensions of maximal symplectic actions on K3 surfaces (2019) (https://arxiv.org/abs/1910.05952)

[BHPVdV04] Barth, Wolf P.; Hulek, Klaus; Peters, Chris A. M.; Van de Ven, Antonius Compact complex surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 4, Springer, 2004 | MR 2030225 | Zbl 1036.14016

[BR75] Burns, Dan Jr.; Rapoport, Michael On the Torelli problem for kählerian K3 surfaces, Ann. Sci. Éc. Norm. Supér., Volume 8 (1975) no. 2, pp. 235-273 | Article | MR 0447635 | Zbl 0324.14008

[BS] Bonnafé, Cédric; Sarti, Alessandra Private communication

[BS19] Bonnafé, Cédric; Sarti, Alessandra K3 surfaces with maximal finite automorphism groups containing ${M}_{20}$ (2019) (https://arxiv.org/abs/1910.05955)

[CS99] Conway, John H.; Sloane, Neil J. A. Sphere packings, lattices and groups, Grundlehren der Mathematischen Wissenschaften, 290, Springer, 1999 | MR 1662447 | Zbl 0915.52003

[Dev19] Developers, The Sage SageMath, the Sage Mathematics Software System, 2019 (version 8.9), https://www.sagemath.org

[DGPS19] Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans Singular 4-1-2 — A computer algebra system for polynomial computations, 2019 http://www.singular.uni-kl.de

[Elk] Elkies, Noam D. Private communication

[Fra11] Frantzen, Kristina Classification of $K3$-surfaces with involution and maximal symplectic symmetry, Math. Ann., Volume 350 (2011) no. 4, pp. 757-791 | Article | MR 2818713 | Zbl 1226.14051

[Gro19] Group, The GAP GAP – Groups, Algorithms, and Programming,, 2019 (version 4.10.2, https://www.gap-system.org)

[Has11] Hashimoto, Kenji Period map of a certain $K3$ family with an ${𝔖}_{\mathfrak{5}}$-action, J. Reine Angew. Math., Volume 652 (2011), pp. 1-65 (With an appendix by Tomohide Terasoma) | Article | MR 2787353 | Zbl 1213.14070

[Has12] Hashimoto, Kenji Finite symplectic actions on the $K3$ lattice, Nagoya Math. J., Volume 206 (2012), pp. 99-153 | Article | MR 2926486 | Zbl 1243.14029

[HM16] Höhn, Gerald; Mason, Geoffrey The 290 fixed-point sublattices of the Leech lattice, J. Algebra, Volume 448 (2016), pp. 618-637 | Article | MR 3438323 | Zbl 1360.11078

[Huy16] Huybrechts, Daniel Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, 158, Cambridge University Press, 2016 | Article | MR 3586372 | Zbl 1360.14099

[KK01] Keum, Jonghae; Kondō, Shigeyuki The automorphism groups of Kummer surfaces associated with the product of two elliptic curves, Trans. Am. Math. Soc., Volume 353 (2001) no. 4, pp. 1469-1487 | Article | MR 1806732 | Zbl 0968.14022

[Kon86] Kondō, Shigeyuki Enriques surfaces with finite automorphism groups, Jpn. J. Math., New Ser., Volume 12 (1986) no. 2, pp. 191-282 | Article | MR 914299 | Zbl 0616.14031

[Kon98] Kondō, Shigeyuki Niemeier lattices, Mathieu groups, and finite groups of symplectic automorphisms of $K3$ surfaces. With an appendix by Mukai, Shigeru, Duke Math. J., Volume 92 (1998) no. 3, pp. 593-603 | Zbl 0958.14025

[Kon99] Kondō, Shigeyuki The maximum order of finite groups of automorphisms of $K3$ surfaces, Am. J. Math., Volume 121 (1999) no. 6, pp. 1245-1252 | Article | MR 1719814 | Zbl 0978.14043

[Kon06] Kondō, Shigeyuki Maximal subgroups of the Mathieu group ${M}_{23}$ and symplectic automorphisms of supersingular $K3$ surfaces, Int. Math. Res. Not. (2006), 71517 | Article | MR 2211150 | Zbl 1099.14033

[Kon18] Kondō, Shigeyuki A survey of finite groups of symplectic automorphisms of $K3$ surfaces, J. Phys. A, Math. Theor., Volume 51 (2018) no. 5, 053003 | Article | MR 3755569 | Zbl 1392.14004

[KOZ07] Keum, Jonghae; Oguiso, Keiji; Zhang, De-Qi Extensions of the alternating group of degree 6 in the geometry of $K3$ surfaces, Eur. J. Comb., Volume 28 (2007) no. 2, pp. 549-558 | Article | MR 2287452 | Zbl 1122.14030

[MO14] Mukai, Shigeru; Ohashi, Hisanori Finite groups of automorphisms of Enriques surfaces and the Mathieu group ${M}_{12}$ (2014) (https://arxiv.org/abs/1410.7535)

[Muk88] Mukai, Shigeru Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math., Volume 94 (1988) no. 1, pp. 183-221 | Article | MR 958597 | Zbl 0705.14045

[Nik79a] Nikulin, Vyacheslav V. Finite groups of automorphisms of Kählerian surfaces of type $K3$, Tr. Mosk. Mat. O.-va, Volume 38 (1979), pp. 75-137 | MR 544937 | Zbl 0433.14024

[Nik79b] Nikulin, Vyacheslav V. Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR, Ser. Mat., Volume 43 (1979) no. 1, p. 111-177, 238 | MR 525944

[Oha] Ohashi, Hisanori Private communication

[OZ02] Oguiso, Keiji; Zhang, De-Qi The simple group of order 168 and K3 surfaces, Complex geometry. Collection of papers dedicated to Hans Grauert on the occasion of his 70th birthday, Springer, 2002, pp. 165-184 | Zbl 1046.14017

[PAR18] PARI Group PARI/GP version 2.11.1, 2018 (available from http://pari.math.u-bordeaux.fr/)

[PS97] Plesken, Wilhelm; Souvignier, Bernd Computing isometries of lattices, J. Symb. Comput., Volume 24 (1997) no. 3-4, pp. 327-334 | Article | MR 1484483 | Zbl 0882.11042

[PTvdV92] Peters, Chris A. M.; Top, Jaap; van der Vlugt, Marcel The Hasse zeta function of a K3-surface related to the number of words of weight 5 in the Melas codes, J. Reine Angew. Math., Volume 432 (1992), pp. 151-176 | MR 1184764 | Zbl 0749.14037

[PŠŠ71] Pjateckiĭ-Šapiro, Ilya I.; Šafarevič, Igor R. Torelli’s theorem for algebraic surfaces of type $\mathrm{K}3$, Izv. Akad. Nauk SSSR, Ser. Mat., Volume 35 (1971), pp. 530-572 | MR 0284440

[Shi16] Shimada, Ichiro The automorphism groups of certain singular $K3$ surfaces and an Enriques surface, K3 surfaces and their moduli, Basel: Birkhäuser/Springer, 2016, pp. 297-343 | Article | Zbl 1349.14133

[Shi20] Shimada, Ichiro The elliptic modular surface of level 4 and its reduction modulo 3, Ann. Mat. Pura Appl., Volume 199 (2020) no. 4, pp. 1457-1489 | Article | MR 4117504 | Zbl 1448.14036

[Smi07] Smith, James P. Picard-Fuchs Differential Equations for Families of K3 Surfaces (2007) (https://arxiv.org/abs/0705.3658)

[Tod80] Todorov, Andrei N. Applications of the Kähler–Einstein–Calabi–Yau metric to moduli of $K3$ surfaces, Invent. Math., Volume 61 (1980) no. 3, pp. 251-265 | Article | MR 592693 | Zbl 0472.14006

[Uji13] Ujikawa, Masashi The automorphism group of the singular $K3$ surface of discriminant 7, Comment. Math. Univ. St. Pauli, Volume 62 (2013) no. 1, pp. 11-29 | MR 3113614 | Zbl 1292.14028