BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
This article reports on an approach to point counting on algebraic varieties over finite fields that is based on a detailed investigation of the 2-adic orthogonal group. Combining the new approach with a p-adic method, we count the number of points on some K3 surfaces over the field $\bbF_{\!p}$, for all primes p<108.
We report on a new approach, as well as some related experiments, to construct families of K3 surfaces having real or complex multiplication. The approach is based on an explicit description of the transcendental part of the cohomology in a topological way, using topological tori. Fundamental ideas include considering the period space of marked K3 surfaces, determining the periods by numerical integration, as well as tracing the modular curve by a numerical continuation method.
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. Moreover, the endomorphism field does not shrink under specialisation. As an application, we present two explicit families of K3 surfaces having real multiplication by $\bbQ(\sqrt{2})$ and $\bbQ(\sqrt{5})$, respectively.
We report on our results concerning the distribution of the geometric Picard ranks of K3 surfaces under reduction modulo various primes. In the situation that $\rk \Pic S_{\overline{K}}$ is even, we introduce a quadratic character, called the jump character, such that $\rk \Pic S_{\overline\bbF_{\!\frakp}} > \rk \Pic S_{\overline{K}}$ for all good primes, at which the character evaluates to (−1).
We report on our project to find explicit examples of K3 surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are p-adic in nature.
We construct explicit examples of K3 surfaces over Q having real multiplication. Our examples are of geometric Picard rank 16. The standard method for the computation of the Picard rank provably fails for the surfaces constructed.
Let X be a smooth proper variety of even dimension d over a finite field. We establish a restriction on the value at (−1) of the characteristic polynomial of the Frobenius on the middle-dimensional étale cohomology of X with coefficients in Ql(d/2).
We study the moduli space $\widetilde{\calM}$ of marked cubic surfaces. By classical work of A.\,B. Coble, this has a compactification M, which is linearly acted upon by the group W(E6). M is given as the intersection of 30 cubics in $\bP^9$. For the morphism $\widetilde{calM} \to \bP(1,2,3,4,5)$ forgetting the marking, followed by Clebsch's invariant map, we give explicit formulas. I.e., Clebsch's invariants are expressed in terms of Coble's irrational invariants. As an application, we give an affirmative answer to the inverse Galois problem for cubic surfaces over $\bbQ$.
For an arbitrary del Pezzo surface S, we compute alpha(S), which is the volume of a certain polytope in the dual of the effective cone of S, using Magma and Polymake. The constant alpha(S) appears in Peyre's conjecture for the leading term in the asymptotic formula for the number of rational points of bounded height on S over number fields.
We report on our experiments and theoretical investigations concerning weak approximation and the transcendental Brauer-Manin obstruction for special Kummer surfaces.
We report on our project to construct non-singular cubic surfaces over $\bbQ$ with a rational line. Our method is to start with degree 4 Del Pezzo surfaces in diagonal form. For these, we develop an explicit version of Galois descent.
We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is a 3-group. Our approach is to associate a Brauer class with every ordered triplet of Galois invariant pairs of Steiner trihedra. We show that all order three Brauer classes may be obtained in this way. To show the effect of the obstruction, we give explicit examples.
We construct nontrivial homomorphisms from the quasi group of some cubic surfaces over $\bbF_{\!p}$ into a group. We show experimentally that the homomorphisms constructed are the only possible ones and that there are no nontrivial homomorphisms in the other cases. Thereby, we follow the classification of cubic surfaces, due to A. Cayley.
Based on ideas of Kötter and Kschischang we use constant dimension subspaces as codewords in a network. We show a connection to the theory of q-analogues of a combinatorial designs, which has been studied in Braun, Kerber and Laue as a purely combinatorial object. For the construction of network codes we successfully modified methods (construction with prescribed automorphisms) originally developed for the q-analogues of a combinatorial designs. We then give a special case of that method which allows the construction of network codes with a very large ambient space and we also show how to decode such codes with a very small number of operations.
We present a method to construct non-singular cubic surfaces over $\bbQ$ with a Galois invariant pair of Steiner trihedra. We start with cubic surfaces in a form generalizing that of A. Cayley and G. Salmon. For these, we develop an explicit version of Galois descent.
We test the methods for computing the Picard group of a K3 surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type A1. Our computations show that the method of R. van Luijk works well when sufficiently large primes are used.
We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is to associate a Brauer class with every Galois invariant double-six. We show that all order two Brauer classes may be obtained in this way. We also recover Sir Peter Swinnerton-Dyer's result that $\Br(S)/\Br(\bbQ)$ may take only five values.
We construct examples of K3 surfaces of geometric Picard rank 1. Our method is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module structure on étale cohomology. This allows to abandon the original limitation to cases of Picard rank 2 after reduction modulo p. Furthermore, the use of Galois data enables us to construct examples which require significantly less computation time.
We construct explicit examples of cubic surfaces over $\bbQ$ such that the 27 lines are acted upon by the index two subgroup of the maximal possible Galois group. This is the simple group of order 25920. Our examples are given in pentahedral normal form with rational coefficients. For such cubic surfaces, we study the discriminant and show its relation to the index two subgroup. On the corresponding parameter space, we search for rational points, discuss their asymptotic, and construct an accumulating subvariety.
We present a method to compute the geometric Picard rank of a K3 surface over $\bbQ$. Contrary to a widely held belief, we show it is possible to verify Picard rank 1 using reduction only at a single prime. Our method is based on deformation theory for invertible sheaves.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.