Related papers: Finiteness of Brauer groups of K3 surfaces in char…

We construct a moduli space of adequately marked Enriques surfaces that have a supersingular K3 cover over fields of characteristic $p \geq 3$. We show that this moduli space exists as a scheme locally of finite type over $\mathbb{F}_p$.…

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 prove a formula expressing the motivic integral (\cite{ls}) of a K3 surface over $\bC((t))$ with semi-stable reduction in terms of the associated limit Hodge structure. Secondly, for every smooth variety over a non-archimedean field we…

We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…

Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was…

We prove the main Conjecture 4 of our paper arXiv:1403.6061v5, which leads to classification of degenerations of codimension one of Kahlerian K3 surfaces with finite symplectic automorphism groups.

In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying…

We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or…

We present a finite set of generators of the automorphism group of a supersingular K3 surface with Artin invariant 1 in characteristic 3.

It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group…

This note is a summary of our work [OO] which provides an explicit and global moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics and we use it to study especially the K3 surfaces case. For instance, it allows us to…

We show that every supersingular K3 surface is birational to a double cover of a projective plane.

We use E. Lau's classification of 2-divisible groups using Dieudonn\'e displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate…

Let $Y$ be a principal homogeneous space of an abelian surface, or a K3 surface, over a finitely generated extension of $\mathbb{Q}$. In 2008, Skorobogatov and Zarhin showed that the Brauer group modulo algebraic classes $\text{Br}\, Y/…

Piatetski-Shapiro and Shafarevich proved the L-functions of K3 surfaces of CM type are expressed as the product of some Hecke L-functions by changing their base fields. In this paper, the aurhor gives the explicit description of these Hecke…

We compute the algebraic $K$-theory of some classes of surfaces defined over finite fields. We achieve this by first calculating the motivic cohomology groups and then studying the motivic Atiyah-Hirzebruch spectral sequence. In an…

For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's…

We prove that the groupoid of transformations of rigid structures on surfaces has a finite presentation as a 2-groupoid establishing a result first conjectured by G.Moore and N.Seiberg. An alternative proof was given by B.Bakalov and…

We establish the finiteness of the kernel and cokernel of the restriction map III^{i}(F,M) ---> III^{i}(K,M)^{G} for i=1 and 2, where M is a (Deligne) 1-motive over a global field F and K/F is a finite Galois extension of global fields with…

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…