Finite Abelian Groups of K3 Surfaces with Smooth Quotient

Abstract

The quotient space of a K3 surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, the author will study finite groups which act faithfully on K3 surfaces such that the quotient space are smooth. In particular, he will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a K3 surface to a Hirzebrunch surface such that the branch divisor is that effective divisor. Furthermore, he will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface. Subsequently, he studies the same theme for Enriques surfaces.

Keywords

K3 surface / Finite Abelian group / Abelian cover of a smooth rational surface

References

[1] Artebani M, Sarti A. Non-symplectic automorphisms of order 3 on K3 surfaces. Math. Ann., 2008, 342: 903

[2] Artebani M, Sarti A. Symmetries of order four on K3 surfaces. J. Math. Soc. Japan, 2015, 67(2): 503-533

[3] Barth W, Hulek K, Peters C, van de Ven A. Compact Complex Surfaces, 2004 2nd ed. Berlin: Springer-Verlag

[4] Bundgaard S, Nielsen J. On normal subgroups with finite index in F-groups. Math. Tidsskrift B, 1951, 1951: 56-58

[5] Fox R. On Fenchel’s conjecture about F-groups. Math. Tidsskrift B, 1952, 1952: 61-65

[6] Garbagnati A. On K3 surface quotients of K3 or Abelian surfaces. Canadian Journal of Mathematics, 2017, 69: 338-372

[7] Hayashi T. Abelian coverings of the plane by Enriques surfaces. Beitr. Algebra Geom., 2018, 59(3): 445-451

[8] Hayashi T. Galois coverings of the product of projective lines by Abelian surfaces. Comm. in Alg., 2019, 47(1): 230-235

[9] Hayashi T. A double cover K3 surface of Hirzebruch surfaces. Advances in Geometry, 2021, 21(2): 221-225

[10] Mukai S. Finite groups of automorphisms of K3 surfaces and the Mathieu group. Invent. Math., 1988, 94: 183-221

[11] Mukai, S. and Ohashi, H., Finite groups of automorphisms of Enriques surfaces and the Mathieu group M ₁₂, 2014, arXiv: 1410.7535.

[12] Namba M. Branched Coverings and Algebraic Functions, 1987, New York: Longman

[13] Nikulin V V. Finite automorphism groups of Kähler K3 surfaces. Trans. Moscow Math. Soc., 1980, 38: 71-135

[14] Taki S. Classification of non-symplectic automorphisms of order 3 on K3 surfaces. Math. Nachr., 2011, 284: 124-135

[15] Uludağ A M. Galois coverings of the plane by K3 surfaces. Kyushu J. Math., 2005, 59(2): 393-419

[16] Xiao G. Galois covers between K3 surfaces. Ann. Inst. Fourier, 1996, 46: 73-88

[17] Yoshihara, H., Galois embedding of K3 surface -Abelian case-, 2011, arXiv:1104.1674.

[18] Yoshihara H. Smooth quotients of bi-elliptic surfaces. Beitr. Algebra Geom., 2016, 57(4): 765-769

[19] Zariski O. On the purity of the branch locus of algebraic functions. Proc. Nat. Acad. USA, 1958, 44: 791-796