Related papers: A K3 surface associated to certain integral matric…

Let $k$ be a field of characteristic $0$. In this paper we describe a classification of smooth log K3 surfaces $X$ over $k$ whose geometric Picard group is trivial and which can be compactified into del Pezzo surfaces. We show that such an…

This paper is a survey about $K3$ surfaces with an automorphism and log rational surfaces, in particular, log del Pezzo surfaces and log Enriques surfaces. It is also a reproduction on my talk at "Mathematical structures of integrable…

We present three interesting projective models of the supersingular K3 surface X in characteristic 5 with Artin invariant 1. For each projective model, we determine smooth rational curves on X with the minimal degree and the projective…

We present a complete list of extremal elliptic K3 surfaces. There are altogether 325 of them. The first 112 coincides with Miranda-Persson's list for semi-stable ones. The data include the transcendental lattice which determines uniquely…

We prove that the locus of Hilbert schemes of n points on a projective K3 surface is dense in the moduli space of irreducible holomorphic symplectic manifolds of that deformation type. The analogous result for generalized Kummer manifolds…

Let $X$ be a complex $K3$ surface, ${\rm Diff}(X)$ the group of diffeomorphisms of $X$ and ${\rm Diff}_0(X)$ the identity component. We prove that the fundamental group of ${\rm Diff}_0(X)$ contains a free abelian group of countably…

We prove that if $X$ is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus $g$ on $X$ with maximal, i.e., $g$-dimensional, variation in moduli. In particular every K3 surface…

The aim of this paper is to give necessary and sufficient conditions for an integral polynomial to be the characteristic polynomial of a semi-simple isometry of some even unimodular lattice of given signature. This result has applications…

We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This…

We study isogeny relations between K3 surfaces and Kummer surfaces. Specifically, we prove a Torelli-type theorem for the existence of rational maps from K3 surfaces to Kummer surfaces, and a Kummer sandwich theorem for K3 surfaces with…

For an ordinary K3 surface over an algebraically closed field of positive characteristic we show that every automorphism lifts to characteristic zero. Moreover, we show that the Fourier-Mukai partners of an ordinary K3 surface are in…

In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost…

N. V. Efimov \cite{Ef1} proved that there is no complete, smooth surface in $\R^3$ with uniformly negative curvature. We extend this to isometric immersions in a 3-manifold with pinched curvature: if $M^3$ has sectional curvature between…

Based on the result on derived categories on K3 surfaces due to Mukai and Orlov and the result concerning almost-prime numbers due to Iwaniec, we remark the following fact: For any given positive integer N, there are N (mutually…

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

We determine the automorphism group of an open log K3 surface with irreducible boundary.

This short note contains an example of a 4-dimensional family of K3 surfaces having finite-dimensional motive. Some consequences are presented, for instance the verification of a conjecture of Voisin (concerning 0-cycles on the…

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…

It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…