Kummer surfaces and K3 surfaces with (Z/2Z)^4 symplectic action

From MaRDI portal
Publication:329914



Abstract: In the first part of this paper we give a survey of classical results on Kummer surfaces with Picard number 17 from the point of view of lattice theory. We prove ampleness properties for certain divisors on Kummer surfaces and we use them to describe projective models of Kummer surfaces of (1,d)-polarized Abelian surfaces for d=1,2,3. As a consequence we prove that in these cases the N'eron--Severi group can be generated by lines. In the second part of the paper we use Kummer surfaces to obtain results on K3 surfaces with a symplectic action of the group (�/2�)^4. In particular we describe the possible N'eron--Severi groups of the latter in the case that the Picard number is 16, which is the minimal possible. We describe also the N'eron--Severi groups of the minimal resolution of the quotient surfaces which have 15 nodes. We extend certain classical results on Kummer surfaces to these families.


The paper under review studies the following two families of \(K3\) surfaces: (1) \(K3\) surfaces \(X\) which admit the group \((\mathbb{Z}/2\mathbb{Z})^4\) as a group of automorphisms preserving the period (called \textit{symplectic} automorphisms); (2) \(K3\) surfaces \(Y\) which are desingularizations of the quotients of the \(K3\) surfaces \(X\) by the group \((\mathbb{Z}/2\mathbb{Z})^4\) acting as symplectic automorphisms. Note that every Kummer surface (the minimal resolution of the quotient of an abelian surface by an involution) satisfies these two properties (see for example [the first author, Geom. Dedicata 145, 219--232 (2010; Zbl 1195.14054)]). In other words, Kummer surfaces form a subfamily for both of the families of \(K3\) surfaces. The aim of the paper is to show that several properties of Kummer surfaces hold more generally for the members \(X\) or \(Y\) of at least one of the two families. Specifically, the authors show that every member \(X\) with Picard number \(16\) (the minimal possible case) of the first family admits a fixed point free involution. This generalizes Keum's results on Kummer surfaces (cf. [\textit{J. Keum}, Nagoya Math. J. 118, 99--110 (1990; Zbl 0699.14047)]). Recall that every \(K3\) surface with \(16\) nodes corresponds to a Kummer surface. This property is extended to give a characterization of the members \(Y\) of the second family: a \(K3\) surface admitting \(15\) nodes is the quotient \(X/(\mathbb{Z}/2\mathbb{Z})^4\) of a \(K3\) surface \(X\) by \((\mathbb{Z}/2\mathbb{Z})^4\) which acts as symplectic automorphisms.



Cites work


Cited in
(28)








This page was built for publication: Kummer surfaces and \(K3\) surfaces with \((\mathbb{Z}/2\mathbb{Z})^4\) symplectic action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329914)