Related papers: Point counting on $K3$ surfaces and an application…

In this paper, we present a review of three widely-used practical square root algorithms. We then describe a unifying framework where each of these well-known algorithms can be seen as a special case of it. The framework with singular…

We shall characterize the Fermat K3 surface, among all complex K3 surfaces, by means of its finite group symmetries.

A fast algorithm for counting intersections of two normal curves on a triangulated surface is proposed. It yields a convenient way for treating mapping class groups of punctured surfaces by presenting mapping classes by matrices, and the…

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…

We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, 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…

We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions…

We develop a heuristic for the density of integer points on affine cubic surfaces. Our heuristic applies to smooth surfaces defined by cubic polynomials that are log K3, but it can also be adjusted to handle singular cubic surfaces. We…

We find upper bounds, sharp in most cases, on the number of real hyperplane sections of real smooth polarized $K3$-surfaces that split into lines. Most bounds coincide with their complex counterparts.

We define a signed count of real rational pseudo-holomorphic curves appearing in a one-parameter family of real Spin symplectic K3 surfaces. We show that this count is an invariant of the deformation class of the family. In the case of a…

We enumerate the number of surfaces of degree $d$ in $P^3$ having a singular line of order $k$, passing through $\delta$ generic points (where $\delta$ is the dimension of moduli space of such surfaces).

This article describes an example of a real projective K3 surface admitting a real automorphism $f$ satisfying $h_{top}(f, X(\mathbb{C})) < 2 h_{top}(f, X(\mathbb{R}))$. The example presented is a $(2,2,2)$-surface in $\mathbb{P}^1 \times…

In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, `tritangents' or `double sixes'. We also compute the…

Let $\Fq$ be the finite field with $q$ elements. We study the number of $\Fq$-rational points on Danielewski and double Danielewski surfaces. For Danielewski surfaces, the point count is reduced to the number of roots of $P(Z)$ over $\Fq.$…

We give a new example of potential density of rational points on the third punctual Hilbert scheme of a K3 surface.

In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a…

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…

We exhibit automorphisms of a certain K3 surface in $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$ with an isolated fixed point at which the induced action on the stalk of the structure sheaf is arbitrarily close to the identity.…

Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational…

In these lecture notes we review different aspects of the arithmetic of K3 surfaces. Topics include rational points, Picard number and Tate conjecture, zeta functions and modularity.