Related papers: On Kummer type construction of supersingular K3 su…

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…

We prove a conjecture of Maulik, Pandharipande, and Thomas expressing the Gromov--Witten invariants of K3 surfaces for divisibility two curve classes in all genus in terms of weakly holomorphic quasimodular forms of level two. Then, we…

We prove that any weakly triholomorphic map from a compact hyperk\"ahler surface to an algebraic K3 surface defined by a homogeneous polynomial of degree 4 in $\mathbb{C}P^3$ has only isolated singularities.

We show that a Hilbert scheme of conics on a Fano fourfold double cover of $\mathbb{P}^2\times\mathbb{P}^2$ ramified along a divisor of bidegree $(2,2)$ admits a $\mathbb{P}^1$-fibration with base being a hyper-K\"{a}hler fourfold. We…

In the theory of complex multiplication, it is important to construct class fields over CM fields. In this paper, we consider explicit $K3$ surfaces parametrized by Klein's icosahedral invariants. Via the periods and the Shioda-Inose…

We prove a version of the Kawamata-Morrison ample cone conjecture for projective irreducible holomorphic symplectic manifolds deformation equivalent to either the Hilbert scheme of n points on a K3 surface, or a generalized Kummer variety.

We consider the connected-sum method of constructing compact Riemannian 7-manifolds with holonomy G_2 developed in math.DG/0012189. The method requires pairs of projective complex threefolds endowed with anticanonical K3 divisors, the…

We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the…

We characterize all projective K3 surfaces on which every integral pseudoeffective divisor admits an integral Zariski decomposition, using an explicit, terminating finite-step algorithm.

For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM…

We classify all the K3 surfaces which are minimal models of the quotient of the product of two curves $C_1\times C_2$ by the diagonal action of either the group $\Z/p\Z$ or the group $\Z/2p\Z$. These K3 surfaces admit a non-symplectic…

We describe the possible 3-divisible $A_2^n$ configurations of smooth rational curves on K3 surfaces in characteristic 3 and fully classify the resulting triple covers.

Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite…

In this paper we study the automorphisms group of some K3 surfaces which are double covers of the projective plane ramified over a smooth sextic plane curve. More precisely, we study some particlar case of a K3 surface of Picard rank two.

We classify Enriques surfaces with smooth K3 cover and finite automorphism group in arbitrary positive characteristic. The classification is the same as over the complex numbers except that some types are missing in small characteristics.…

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of K3 surfaces over finite fields. We prove every K3 surface of finite height over a finite field admits a…

We explicitly determine the elliptic K3 surfaces with a maximal singular fibre. If the characteristic of the ground field is different from 2, for each of the two possible maximal fibre types, $I_{19}$ and $I^*_{14}$, the surface is unique.…

We prove that a K3 surface with an automorphism acting on the global $2$-forms by a primitive $m$-th root of unity, $m \neq 1,2,3,4,6$, does not degenerate (assuming the existence of the so-called Kulikov models). A key result used to prove…

We construct a complete embedded minimal surface with arbitrary genus in the doubled Schwarzschild 3-manifold. A classical desingularization method is used for the construction.

We classify supersingular and classical Enriques surfaces with finite automorphism group in characteristic 2 into 8 types according to their dual graphs of all $(-2)$-curves (nonsigular rational curves). We give examples of these Enriques…