Related papers: The Tate conjecture for K3 surfaces over finite fi…
As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3…
For a smooth projective surface X the finite dimensionality of the Chow motive h(X), as conjectured by S.I Kimura, has several geometric consequences. For a complex surface of general type with p_g = 0 it is equivalent to Bloch's…
We compute the complete set of candidates for the zeta function of a K3 surface over F_2 consistent with the Weil conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over F_2. These sets differ…
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…
In this paper, we prove that, over an algebraically closed field whose characteristic is not 2,3 nor 7, a pair of a K3 surface and a purely non-symplectic automorphism of order 21 or 42 is unique up to isomorphism.
We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal…
We report on recent results concerning the construction of curves on K3 surfaces: the proof of the Tate conjecture for K3 surfaces in odd characteristic (after Maulik, Charles and Madapusi Pera), and the construction of infinitely many…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…
We show that the Tate conjecture for divisors over a finite field $\mathbb F$ is equivalent to an explicit algebraic problem about the third Milnor K-group of the function field $\bar {\mathbb F}(x,y,z)$ in three variables over $\bar…
We show that every supersingular K3 surface in characteristic 2 with Artin invariant less than or equal to 2 is obtained by the Kummer type construction of Schroeer.
In each characteristic $p\neq 2, 3$, it was shown in a previous work that the order of an automorphism of a K3 surface is bounded by 66, if finite. Here, it is shown that in each characteristic $p\neq 2, 3$ a K3 surface with a cyclic action…
We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on…
We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative…
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…
We classify elliptic K3 surfaces in characteristic $p$ with $p^n$-torsion sections. For $p^n\geq3$ we verify conjectures of Artin and Shioda, compute the heights of their formal Brauer groups, as well as Artin invariants and Mordell--Weil…
We show that supersingular K3 surfaces in characteristic $p\geq5$ are related sequences of very special correspondences. This is not enough to conclude that they are unirational. As a byproduct, we exhibit a fibration structure on the…
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 determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.
We show the existence of 112 non-singular rational curves on the supersingular K3 surface with Artin invariant 1 in characteristic 3 by several ways. Using these rational curves, we have a $(16)_{10}$-configuration and a $(280_{4},…
For a K3 surface S, consider the subring of CH(S^n) generated by divisor and diagonal classes (with Q-coefficients). Voisin conjectures that the restriction of the cycle class map to this ring is injective. We prove that Voisin's conjecture…