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

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 discuss the number of Enriques quotients of a fixed K3 surface. We prove the finiteness and unboundedness of the number. We also show an example of Kummer surface of product type where we can successfully classify all the…

Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural…

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.

We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a…

We consider the transcendental motive of three K3 surfaces $X$ conjectured to have complex multiplication (CM). Under this assumption, we match these to explicit algebraic Hecke quasi-characters $\psi_X$, and CM abelian threefolds $A$. This…

We construct K3 surfaces over number fields that have good reduction everywhere. These do not exists over the rational numbers, by results of Abrashkin and Fontaine. Our surfaces exist for three quadratic number fields, and an infinite…

In this paper, we consider a problem of counting multiplicities. We fix a counting function of multiplicity of rational points in a hypersurface of a projective space over a finite field, and we give an upper bound for the sum with respect…

An example of potential density of rational points on the second punctual Hilbert scheme of certain K3 surfaces is treated in detail. This is an amplification of some remarks made by O'Grady and Oguiso.

We present a matrix-based algorithm for deciding if the parametrization of a curve or a surface is invertible or not, and for computing the inverse of the parametrization if it exists.

The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly…

We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal…

The purpose of this paper is to prove a local p-adic monodromy theorem for ordinary abelian surfaces and K3 surfaces with bad reduction in characteristic p. As an application, we get a finiteness result for the reduction of their Hecke…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

Floating point arithmetic allows us to use a finite machine, the digital computer, to reach conclusions about models based on continuous mathematics. In this article we work in the other direction, that is, we present examples in which…

We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…

A representation of finite fields that has proved useful when implementing finite field arithmetic in hardware is based on an isomorphism between subrings and fields. In this paper, we present an unified formulation for multiplication in…

This paper gives upper and lower bounds for the degree of the field of definition of a singular K3 surface, generalising a recent result by Shimada. We use work of Shioda-Mitani and Shioda-Inose and classical theory of complex…

We give a criterion for the good reduction of semistable $K3$ surfaces over $p$-adic fields using purely $p$-adic methods. We use neither $p$-adic Hodge theory nor transcendental methods as in the analogous proofs of criteria for good…

We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these…