Real K3 surfaces with non-symplectic involution and applications. II

I have finalized my old (1979) results about enumeration of connected components of moduli of real polarized K3 surfaces. As an application, using recent results of math.AG/0312396, the complete classification of real polarized K3 surfaces which are deformations of real hyper-elliptically polarized K3 surfaces is obtained. This could be important in some questions, because real hyper-elliptically polarized K3 surfaces can be constructed explicitly.

Classification of real K3 surfaces X with a non-symplectic involution \tau is considered. For some exactly defined and one of the weakest possible type of degeneration (giving the very reach discriminant), we show that the connected component of their moduli is defined by the isomorphism class of the action of \tau and the anti-holomorphic involution \phi in the homology lattice. (There are very few similar cases known.) For their classification we apply invariants of integra...

We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.

These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of polarized K3 surfaces, studying their moduli, degenerations and the compactification problem. This theory is then further enhanced to a discussion of lattice polarized K3 surfaces, which provide a rich source of explicit examples, including a...

The moduli space of K3 surfaces $X$ with a purely non-symplectic automorphism $\sigma$ of order $n\geq 2$ is one dimensional exactly when $\varphi(n)=8$ or $10$. In this paper we classify and give explicit equations for the very general members $(X,\sigma)$ of the irreducible components of maximal dimension of such moduli spaces. In particular we show that there is a unique one-dimensional component for $n=20,22, 24$, three irreducible components for $n=15$ and two components...

We study the symplectic action of the group (Z/2Z)^2 on a K3 surface X: we describe its action on H^2(X,Z) and the maps induced in cohomology by the rational quotient maps; we give a lattice-theoretic characterization of the resolution of singularities of the quotient X/i, where i is any of the involutions in (Z/2Z)^2. Assuming X is projective, we describe the correspondence between irreducible components of its moduli space, and those of the resolution of singularities of it...

For a real K3-surface $X$, one can introduce areas of connected components of the real point set $\mathbb{R} X$ of $X$ using a holomorphic symplectic form of $X$. These areas are defined up to simultaneous multiplication by a positive real number, so the areas of different components can be compared. In particular, it turns out that the area of a non-spherical component of $\mathbb{R} X$ is always greater than the area of any spherical component. In this paper we explore fu...

We study K3 surfaces with a pair of commuting involutions that are non-symplectic with respect to two anti-commuting complex structures that are determined by a hyper-K\"ahler metric. One motivation for this paper is the role of such $\mathbb{Z}^2_2$-actions for the construction of $G_2$-manifolds. We find a large class of smooth K3 surfaces with such pairs of involutions, but we also pay special attention to the case that the K3 surface has ADE-singularities. Therefore, we i...

On June 5, 2007 the second author delivered a talk at the Journees de l'Institut Elie Cartan entitled "Finite symmetry groups in complex geometry". This paper begins with an expanded version of that talk which, in the spirit of the Journees, is intended for a wide audience. The later paragraphs are devoted both to the exposition of basic methods, in particular an equivariant minimal model program for surfaces, as well as an outline of recent work of the authors on the classif...

We survey our contributions on the classification of elliptic fibrations on K3 surfaces with a non-symplectic involution. We place them in the more general framework of K3 surfaces with an involution without any hypothesis on its fixed locus or on the action on the symplectic 2-form. We revisit the complete classification of elliptic fibrations on K3 surfaces with a 2-elementary N\'eron--Severi lattice, and give a complete classification of extremal elliptic fibrations on K3 ...