On K3 surface quotients of K3 or Abelian surfaces

Abstract

The aim of this paper is to prove that a K3 surface is the minimal model of the quotient of an Abelian surface by a group $G$ (respectively of a K3 surface by an Abelian group $G$) if and only if a certain lattice is primitively embedded in its Néron--Severi group. This allows one to describe the coarse moduli space of the K3 surfaces which are (rationally) $G$-covered by Abelian or K3 surfaces (in the latter case $G$ is an Abelian group). If either $G$ has order 2 or $G$ is cyclic and acts on an Abelian surface, this result was already known, so we extend it to the other cases. Moreover, we prove that a K3 surface $X_G$ is the minimal model of the quotient of an Abelian surface by a group $G$ if and only if a certain configuration of rational curves is present on $X_G$. Again this result was known only in some special cases, in particular if $G$ has order 2 or 3.

30 pages

Cited by in corpus (4)

• Miyaoka type inequality for terminal threefolds with nef anti-canonical divisors
• Explicit Schoen surfaces
• Views on level $\ell$ curves, K3 surfaces and Fano threefolds
• Constructions of Kummer structures on generalized Kummer surfaces