Related papers: Quantitative arithmetic of diagonal degree $2$ K3 …

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…

Let $k$ be a number field and let $\pi \colon X \rightarrow \mathbb{P}_k^1$ be a smooth conic bundle. We show that if $X/k$ has four geometric singular fibers with $X(\mathbb{A}_k)\neq \emptyset$ or non-trivial Brauer group, then $X$…

We show that on every elliptic K3 surface $X$ there are rational curves $(R_i)_{i\in \mathbb{N}}$ such that $R_i^2 \to \infty$, i.e., of unbounded arithmetic genus. Moreover, we show that the union of the lifts of these curves to…

Given a variety over a number field, are its rational points potentially dense, i.e., does there exist a finite extension over which rational points are Zariski dense? We study the question of potential density for symmetric products of…

We discuss K3 surfaces in characteristic two that contain the Kummer configuration formed by smooth rational curves on it.

Let U be the complement of a smooth anticanonical divisor in a del Pezzo surface of degree at most 7 over a number field k. We show that there is an effective uniform bound for the size of the Brauer group of U in terms of the degree of k.

We verify that elliptic K3 surfaces and algebraic groups have many rational points over function fields, i.e., they are geometrically special in the sense of Javanpeykar-Rousseau. We also show that under additional assumptions, this…

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.

The purpose of this short note is to study dominant rational maps from punctual Hilbert schemes of length $k>1$ of projective K3 surfaces $S$ containing infinitely many rational curves. Precisely, we prove that their image is necessarily…

Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it…

We study the surface $\mathcal{W}_k : x^2 + y^2 + z^2 + x^2 y^2 z^2 = k x y z$ in $(\mathbb{P}^1)^3$, a tri-involutive K3 (TIK3) surface. We explain a phenomenon noticed by Fuchs, Litman, Silverman, and Tran: over a finite field of order…

We study the reduced descendent Gromov-Witten theory of K3 surfaces in primitive curve classes. We present a conjectural closed formula for the stationary theory, which generalizes the Bryan-Leung formula. We also prove a new recursion that…

We describe a method to show a plane quartic over a number field has no rational points. The method can be adapted to show that a curve does not have divisors of degree 1 or 2 and can be generalized to arbitrary smooth projective curves.…

We prove new cases of the Hasse principle for Kummer surfaces constructed from 2-coverings of Jacobians of genus 2 curves, assuming finiteness of relevant Tate--Shafarevich groups. Under the same assumption, we deduce the Hasse principle…

The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on…

We give an algorithm to explicitly determine all elements of the $q$-torsion (for $q$ an odd prime) of the Brauer group of an elliptic curve over any base field of characteristic different from $q$, containing a primitive $q$-th root of…

The naive analogue of the N\'eron-Ogg-Shafarevich criterion is false for K3 surfaces, that is, there exist K3 surfaces over Henselian, discretely valued fields $K$, with unramified $\ell$-adic \'etale cohomology groups, but which do not…

For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field.…

For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…

We study arithmetic properties of derived equivalent K3 surfaces over the field of Laurent power series, using the equivariant geometry of K3 surfaces with cyclic groups actions.