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

Let $k$ be a field finitely generated over the finite field $\mathbb F_p$ of odd characteristic $p$. For any K3 surface $X$ over $k$ we prove that the prime to $p$ component of the cokernel of the natural map $Br(k)\to Br(X)$ is finite.

We prove that the transcendental Brauer group of a K3 surface X over a finitely generated field k is finite, unless k has positive characteristic p and X is supersingular, in which case it is annihilated by p.

Arithmetic of K3 surfaces defined over finite fields is investigated. In particular, we show that any K3 surface of finite height over a finite field k of characteristic p > 3 has a quasi-canonical lifting to characteristic 0, and that for…

Let k be a perfect field of characteristic p > 2. In this note, we show that the local moduli space of a non-supersingular K3 surface over k with trivial deformation of the associated enlarged formal Brauer group admits a natural…

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational…

Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…

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…

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…

In this paper, we prove a refinement of the Katsura theorem on finite group actions on abelian surfaces such that the quotient is birational to a $K3$ surface. As an application, we compute traces of Frobenius on the Neron--Severi groups of…

The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. Andr\'{e} proved this conjecture for…

We study K3 surfaces with complex multiplication following the classical work of Shimura on CM abelian varieties. After we translate the problem in terms of the arithmetic of the CM field and its id\`{e}les, we proceed to study some abelian…

In 2009, Dolgachev-Keum showed that finite groups of tame symplectic automorphisms of K3 surfaces in positive characteristics are subgroups of the Mathieu group of degree 23. In this paper, we utilize lattice-theoretic methods to…

The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between…

Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate…

We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal…

We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura…

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…

Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3…

For a prime $p$, we study subgroups of order p of the Brauer group Br(S) of a general complex polarized K3 surface of degree 2d, generalizing earlier work of van Geemen. These groups correspond to sublattices of index p of the…

We prove that the quotient of the Brauer group of a product of varieties over k by the sum of the images of the Brauer groups of factors has finite exponent. The bulk of the proof concerns p-primary torsion in characteristic p. Our approach…