Related papers: K3 surfaces of finite height over finite fields
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 study the cohomological properties of quasi-canonical lifts of an ordinary K3 surface over a finite field. As applications, we prove a Torelli type theorem for ordinary K3 surfaces over finite fields and establish the Hodge conjecture…
We construct a quasi-canonical lifting of a $K3$ surface of finite height over a finite field of characteristic $p\geq3$. Such results are previously obtained by Nygaard-Ogus when $p\geq5$. For this purpose, we use the display-theoretic…
Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.
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…
For a K3 surface over an algebraically closed field of odd characteristic, the representation of the automorphism group on the global two forms is finite. If the K3 surface is supersingular, it is isomorphic to the representation on the…
The zeta function of a K3 surface over a finite field satisfies a number of obvious (archimedean and l-adic) and a number of less obvious (p-adic) constraints. We consider the converse question, in the style of Honda-Tate: given a function…
We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…
In this paper, we prove that, over an algebraically closed field of odd characteristic, a weakly tame automorphism of a K3 surface of finite height can be lifted over the ring of Witt vectors of the base field. Also we prove that a…
For a K3 surface over a field of characteristic 2 which is finitely generated over its prime subfield, we prove that the cokernel of the natural map from the Brauer group of the base field to that of the K3 surface is finite modulo the…
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 $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.
Artin's conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin's conjecture over fields of characteristic p>3. This implies Tate's conjecture for K3 surfaces over finite…
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…
For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber…
For a family of K3 surfaces we implement a variation of a general construction of towers of algebraic curves over finite fields given in a previous paper. As a result we get a good tower over $k=\mathbb{F}_{p^2}$, that is optimal if $p=3$.
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…
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…
A K3 surface over a number field has infinitely many rational points over a finite field extension. For K3 surfaces of degree 2, arising as double covers of $\mathbb{P}^2$ branched along a smooth sextic curve, we give a bound for the degree…
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.