Related papers: Rational surfaces with a non-arithmetic automorphi…
We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality…
We consider real forms of relatively minimal rational surfaces F_m. Connected components of moduli of real non-singular curves in |-2K_{F_m}| had been classified recently for m=0, 1, 4 in math.AG/0312396. Applying similar methods, here we…
We study the set $R$ of nonplanar rational curves of degree $d<q+2$ on a smooth Hermitian surface $X$ of degree $q+1$ defined over an algebraically closed field of characteristic $p>0$, where $q$ is a power of $p$. We prove that $R$ is the…
We construct examples of projective toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone, both in characteristic $0$ and in every prime characteristic $p$. As a consequence, we prove that the…
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…
This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that…
We give examples of non-isotrivial K3 surfaces over complex function fields with Zariski-dense rational points and N'eron-Severi rank one.
We prove that if a K3 surface $X$ admits $\Z/5\Z$ as group of symplectic automorphisms, then it actually admits $\Dh_5$ as group of symplectic automorphisms. The orthogonal complement to the $\Dh_5$-invariants in the second cohomology group…
We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to…
We study the distribution of algebraic points on K3 surfaces.
We interpret the ranks of the rational homotopy groups of a K3 surface as dimensions of representations for the largest sporadic simple Mathieu group. We then construct a vertex algebra equipped with an action by the largest Mathieu group,…
We give construction of singular K3 surfaces with discriminant 3 and 4 as double coverings over the projective plane. Focusing on the similarities in their branching loci, we can generalize this construction, and obtain a three dimensional…
We study the geometry of the K3 surfaces $X$ with a finite number automorphisms and Picard number $\geq 3$. We describe these surfaces classified by Nikulin and Vinberg as double covers of simpler surfaces or embedded in a projective space.…
We constructed several families of elliptic K3 surfaces with Mordell-Weil groups of ranks from 1 to 4. We studied F-theory compactifications on these elliptic K3 surfaces times a K3 surface. Gluing pairs of identical rational elliptic…
We give a few explicit examples which answer an open minded question of Professor Igor Dolgachev on complex dynamics of the inertia group of a smooth rational curve on a projective K3 surface and its variants for a rational surface and a…
Using valuative techniques, we show that a smooth affine surface with a non-elementary automorphism group and completable by a cycle of rational curves is either the algebraic torus or a smooth cubic affine surface of Markov type.…
We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log…
Let $\Bbbk$ be any field of characteristic zero, $X$ be a cubic surface in $\mathbb{P}^3_{\Bbbk}$ and $G$ be a group acting on $X$. We show that if $X(\Bbbk) \ne \varnothing$ and $G$ is not trivial and not a group of order $3$ acting in a…
In this work, we show that for a certain class of threefolds in positive characteristics, rational-chain-connectivity is equivalent to supersingularity. The same result is known for K3 surfaces with elliptic fibrations. And there are…
Consider a family of K3 surfaces over a hyperbolic curve (i.e. Riemann surface). Their second cohomology groups form a local system, and we show that its top Lyapunov exponent is a rational number. One proof uses the Kuga-Satake…