Every algebraic Kummer surface is the K3-cover of an Enriques surface

Abstract

A Kummer surface is the minimal desingularization of the surface T/i, where T is a complex torus of dimension 2 and i the involution automorphism on T. T is an abelian surface if and only if its associated Kummer surface is algebraic. Kummer surfaces are among classical examples of K3-surfaces (which are simply-connected smooth surfaces with a nowhere-vanishing holomorphic 2-form), and play a crucial role in the theory of K3-surfaces. In a sense, all Kummer surfaces (resp. algebraic Kummer surfaces) form a 4 (resp. 3)-dimensional subset in the 20 (resp. 19)-dimensional family of K3-surfaces (resp. algebraic K3 surfaces).