Let $Z$ be a projective geometrically integral algebraic variety. This paper is concerned with estimating the number of rational points on $Z$ which have height at most $B$. The bounds obtained are uniform in varieties of fixed degree and fixed dimension, and are essentially best possible for varieties of degree at least six.
We count the number of isomorphism classes of degree $d$-twists of some polarized abelian varieties over finite fields of odd prime dimension. This can be seen as a higher dimensional analogue of the counting problem for elliptic curves case.
The goal of this note is to present a combinatorial mechanism for counting certain objects associated to a variety X defined over a finite field. The basic example is that of counting conjugacy classes in GL_n(F_q), where X is the multiplicative group.
In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of rational points of bounded height on a line. This upper bound is such that it can be easily controlled as the line varies, and hence is used to sum the counting functions of the lines which cover the original variety $V$.
We consider the problem of counting the number of varieties in a family over a number field which contain a rational point. In particular, for products of Brauer-Severi varieties and closely related counting functions associated to Brauer group elements. Using harmonic analysis on toric varieties, we provide a positive answer to a question of Serre on such counting functions in some cases. We also formulate some conjectures on generalisations of Serre's problem.
We report on progress in the qualitative study of rational points on rationally connected varieties over number fields, also examining integral points, zero-cycles, and non-rationally connected varieties. One of the main objectives is to highlight and explain the many recent interactions with analytic number theory.
We investigate Fano varieties defined over a number field that contain subvarieties whose number of rational points of bounded height is comparable to the total number on the variety.
The present note is devoted to an amendment to a recent paper of Ellenberg, Lawrence and Venkatesh. Roughly speaking, the main result here states the subpolynomial growth of the number of integral points with bounded height of a variety over a number field whose fundamental group is large. Such an improvement, i.e. requiring large fundamental group as opposed to the existence of a geometric variation of pure Hodge structures, was already asked in op.cit..
We use birational geometry to show that the existence of rational points on proper rationally connected varieties over fields of characteristic $0$ is a consequence of the existence of rational points on terminal Fano varieties. We discuss several consequences of this result, especially in relation to the $C_1$-conjecture. We also provide evidence that supports the conjecture in dimension $3$ for $C_1$ fields of characteristic $0$.
We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing the order of the group of rational points on the Jacobian of a smooth geometrically connected projective curve over a finite field of small characteristic.
Igusa varieties are algebraic varieties that arise in the study of special fibers of Shimura varieties, and have demonstrated many applications in the Langlands program via a Langlands-Kottwitz style point-counting formula due to Shin in the case of PEL type. In this paper we formulate and prove an analogue of the Langlands-Rapoport conjecture for Igusa varieties of Hodge type, building off the work of Kisin in the case of Shimura varieties. We then use this description of the points to derive a point-counting formula for Igusa varieties of Hodge type, generalizing the fomula in PEL type of Sh…
Upper and lower bounds, of the expected order of magnitude, are obtained for the number of rational points of bounded height on any quartic del Pezzo surface over $\mathbb{Q}$ that contains a conic defined over $\mathbb{Q}$.
We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival'' Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that there is a rational point on any degeneration of a smooth proper rationally chain connected variety over a finite field. We also obtain a generalisation of the Chevalley-Warning theorem.
Wan conjectures that if $X$ and $Y$ form a strong mirror pair of Calabi-Yau varieties over a finite field $F_q$ with $q$ elements, then X and Y have the same number of $F_{q^k}$-rational points modulo $q^k$. We prove this conjecture under the condition that $Y$ can be obtained from $X$ through quotient construction.
In this paper we prove a formula for the number of rational points of bounded height relative to all the generators of the cone of effective divisor for a toric variety over a number field.
This is a survey of recent examples of varieties that are not stably rational. We review the specialization method based on properties of the Chow group of zero-cycles used in these examples and explain the point of view of unramified cohomology for the construction of nontrivial stable invariants of the special fiber. In particular, we find an explicit formula for the Brauer group of fourfolds fibered in quadrics of dimension two over a rational surface.
We construct a concrete example of a 1-parameter family of smooth projective geometrically integral varieties over an open subscheme of P^1_Q such that there is exactly one rational fiber with no rational points. This makes explicit a construction of Poonen.
A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally connected. We prove that a projective scheme over a global function field with vanishing "elementary obstruction" has a rational point if it deforms to a rationally simply connected variety in characteristic 0. This gives new, uniform proofs over these fields of the Period-Index Theorem, the quasi-split case of Serre's "Conjecture II", and Lang's $C_2$ property.
We prove that any smooth cubic surface defined over any number field satisfies the lower bound predicted by Manin's conjecture possibly after an extension of small degree.
We give a positive answer to the questions 4.4 on Hodge type and 4.2 on divisibility of the eigenvalues of Frobenius of the article by N. Fakhruddin and C. S. Rajan (NT/0402230).
We construct higher-dimensional Calabi-Yau varieties defined over a given number field with Zariski dense sets of rational points. We give two elementary constructions in arbitrary dimensions as well as another construction in dimension three which involves certain Calabi-Yau threefolds containing an Enriques surface. The constructions also show that potential density holds for (sufficiently) general members of the families.
We consider the problem of counting the number of rational points on the family of Kummer surfaces associated with two non-isogenous elliptic curves. For this two-parameter family we prove Manin's unity, using the presentation of the Kummer surfaces as isotrivial elliptic fibration and as double cover of the modular elliptic surface of level two. By carrying out the rational point-count with respect to either of the two elliptic fibrations explicitly, we obtain an interesting new identity between two-parameter counting functions.
We give new instances where Chabauty--Kim sets can be proved to be finite, by developing a notion of "generalised height functions" on Selmer varieties. We also explain how to compute these generalised heights in terms of iterated integrals and give the first explicit nonabelian Chabauty result for a curve $X/\mathbb{Q}$ whose Jacobian has Mordell-Weil rank larger than its genus.
Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any ε>0, we show that X contains O(B^{D+ε}) rational points of height at most B. The implied constant in this estimate depends upon the choice of εand the coefficients of the cubic form defining X.
A sieve for rational points on suitable varieties is developed, together with applications to counting rational points in thin sets, the number of varieties in a family which are everywhere locally soluble, and to the notion of friable rational points with respect to divisors. In the special case of quadrics, sharper estimates are obtained by developing a version of the Selberg sieve for rational points.
We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field. This bound depends only on the dimensions and degrees of the irreducible components and holds for very general varieties, even reducible and non equidimensional. As a consequence, we prove a conjecture of Ghorpade and Lachaud on the maximal number of rational points of an equidimensional projective variety.
We prove several results on the number of rational points on open subsets of Kummer varieties of arbitrary dimension. Some of our results are unconditional, and others depend on the Parity Conjecture (a corollary of the Conjecture of Birch and Swinnerton-Dyer). As examples, we show that (conditional on the Parity Conjecture) all odd-dimension Kummer varieties over Q which are quotients of absolutely simple abelian varieties have dense rational points, and we construct an infinite family of K3 surfaces with dense rational points.
In this paper, we consider Abelian varieties over function fields that arise as twists of Abelian varieties by cyclic covers of irreducible quasi-projective varieties. Then, in terms of Prym varieties associated to the cyclic covers, we prove a structure theorem on their Mordell-Weil group. Our results give an explicit method for construction of elliptic curves, hyper- and super-elliptic Jacobians that have large ranks over function fields of certain varieties.
We provide an asymptotic estimate for the number of rational points of bounded height on a non-singular conic over the rationals. The estimate is uniform in the coefficients of the underlying quadratic form.
This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of ge…
We prove an estimate on the number of rational points on the Grassmannian variety of bounded twisted height, refining the classical results of Schmidt ([12]) and Thunder ([20]) over the rational field: most importantly, our formula counts all points. Among the consequences are a couple of new implications on the classical subject of counting rational points on flag varieties.
An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski open subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses the Hardy--Littlewood circle method.
In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension $g \geq 3$, there are infinitely many abelian varieties over $\mathbb Q$ with adelic Galois representation havi…
We count rational points of bounded height on the Cayley ruled cubic surface and interpret the result in the context of general conjectures due to Batyrev and Tschinkel.
For any number field k, upper bounds are established for the number of k-rational points of bounded height on non-singular del Pezzo surfaces defined over k, which are equipped with suitable conic bundle structures over k.
It is possible to talk about the étale homotopy equivalence of rational points on algebraic varieties by using a relative version of the étale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in this sense if and only if they are étale-Brauer equivalent. We also show that over the real field rational points on projective varieties are étale homotopy equivalent if and only if they are in the same connected component. We also study this equivalence relation over number fields and prove that in this case it is finer than the other two equivalence relations …
We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals. The bounds are uniform in the curve and involve the rank of the corresponding Jacobian. The method used in the proof is a combination of the "determinant method" with an m-descent on the curve.
We show that there is no simple congruence formula for the number of points of the mod p reduction of a regular model of a smooth proper variety defined over a local field with $\ell$-adic cohomology supported in codimension $\ge κ$.
We find an asymptotic formula for the number of rational points near planar curves. More precisely, if $f:\mathbb{R}\rightarrow\mathbb{R}$ is a sufficiently smooth function defined on the interval $[η,ξ]$, then the number of rational points with denominator no larger than $Q$ that lie within a $δ$-neighborhood of the graph of $f$ is shown to be asymptotically equivalent to $(ξ-η)δQ^2$.
In this paper, we study the distribution of integral points on parametric families of affine homogeneous varieties. By the work of Borel and Harish-Chandra, the set of integral points on each such variety consists of finitely many orbits of arithmetic groups, and we establish an asymptotic formula (on average) for the number of the orbits indexed by their Siegel weights. In particular, we deduce asymptotic formulas for the number of inequivalent integral representations by decomposable forms and by norm forms in division algebras, and for the weighted number of equivalence classes of integral …