Let F : W --> V be a dominant rational map between quasi-projective varieties of the same dimension. We give two proofs that h_V(F(P)) >> h_W(P) for all points P in a nonempty Zariski open subset of W. For dominant rational maps F : P^n --> P^n, we give a uniform estimate in which the implied constant depends only on n and the degree of F. As an application, we prove a specialization theorem for equidimensional dominant rational maps to semiabelian varieties, providing a complement to Habegger's recent theorem on unlikely intersections.
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.
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.
A conjecture of Batyrev and Manin predicts the asymptotic behaviour of rational points of bounded height on smooth projective varieties over number fields. We prove some new cases of this conjecture for conic bundle surfaces equipped with some non-anticanonical height functions. As a special case, we verify these conjectures for the first time for some smooth cubic surfaces for height functions associated to certain ample line bundles.
The distribution of rational points of bounded height on algebraic varieties is far from uniform. Indeed the points tend to accumulate on thin subsets which are images of non-trivial finite morphisms. The problem is to find a way to characterise the points in these thin subsets. The slopes introduced by Jean-Benoît Bost are a useful tool for this problem. These notes will present several cases in which this approach is fruitful. We shall also describe the notion of locally accumulating subvarieties which arises when one considers rational points of bounded height near a fixed rational point.
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.
We give the first explicit examples beyond the Chabauty-Coleman method where Kim's nonabelian Chabauty program determines the set of rational points of a curve defined over $\mathbb{Q}$ or a quadratic number field. We accomplish this by studying the role of $p$-adic heights in explicit nonabelian Chabauty.
When we have a morphism f : P^n -> P^n, then we have an inequality \frac{1}{°f} h(f(P)) +C > h(P) which provides a good upper bound of $h(P)$. However, if $f$ is a rational map, then \frac{1}{°f} h(f(P))+C cannot be an upper bound of h(P). In this paper, we will define the $D$-ratio of a rational map $f$ which will replace the degree of a morphism in the height inequality of h(P).
A conjecture of Manin predicts the asymptotic distribution of rational points of bounded height on Fano varieties. In this paper we use conic bundles to obtain correct lower bounds or a wide class of surfaces over number fields for which the conjecture is still far from being proved. For example, we obtain the conjectured lower bound of Manin's conjecture for any del Pezzo surface whose Picard rank is sufficiently large, or for arbitrary del Pezzo surfaces after possibly an extension of the ground field of small degree.
Given an extension of number fields $E \subset F$ and a projective variety $X$ over $F$, we compare the problem of counting the number of rational points of bounded height on $X$ with that of its Weil restriction over $E$. In particular, we consider the compatibility with respect to the Weil restriction of conjectural asymptotic formulae due to Manin and others. Using our methods we prove several new cases of these conjectures. We also construct new counterexamples over every number field.
We count the number of rational elliptic curves of bounded naive height that have a rational $N$-isogeny, for $N \in \{2,3,4,5,6,8,9,12,16,18\}$. For some $N$, this is done by generalizing a method of Harron and Snowden. For the remaining cases, we use the framework of Ellenberg, Satriano and Zureick-Brown, in which the naive height of an elliptic curve is the height of the corresponding point on a moduli stack.
We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something n…
We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study of the associated height zeta function and its spectral expansion.
We study the distribution of rational points of bounded height on a one-sided equivariant compactification of $\mathrm{PGL}_2$ using automorphic representation theory of $\mathrm{PGL}_2$.
We investigate in a statistical fashion the smallest height of a rational point on a Fano hypersurface defined over the field of rational numbers. Along the way, we establish an average version of Manin's conjecture about the number of rational points of bounded height on Fano varieties for the complete family of Fano hypersurfaces of fixed degree and dimension.
We prove that a positive proportion of squarefree integers are congruent numbers such that the canonical height of the lowest non-torsion rational point on the corresponding elliptic curve satisfies a strong lower bound.
We obtain new results concerning the Sato--Tate conjecture on the distribution of Frobenius angles over parametric families of elliptic curves with a rational parameter of bounded height.
We show that, assuming Vojta's height conjecture, the height of a rational point on an algebraically hyperbolic variety can be bounded "uniformly" in families. This generalizes a result of Su-Ion Ih for curves of genus at least two to higher-dimensional varieties. As an application, we show that, assuming Vojta's height conjecture, the height of a rational point on a curve of general type is uniformly bounded. Finally, we prove a similar result for smooth hyperbolic surfaces with $c_1^2 > c_2$.
We conjecture a lower bound for the minimal canonical height of non-torsion rational points on a natural density 1 subset of the sextic twist family of Mordell curves. We then establish a lower bound that yields a partial result towards this conjecture.
We present a dynamical proof of the well-known fact that the Neron-Tate canonical height (and its local counterpart) takes rational values at points of an elliptic curve over a function field k of transcendence degree 1 over an algebraically closed field K of characteristic 0. More generally, we investigate the mechanism for which the local canonical height for a rational function f defined over k can take irrational values (at points in a local completion of k), providing examples in all degrees greater than 1. Building on Kiwi's classification of non-archimedean Julia sets for quadratic maps…
Let $d\ge 2$ be an integer, let $c(t)$ be any rational map, and let $f_t(z) := (z^d+t)/z$ be a family of rational maps indexed by t. For each algebraic number $t$, we let $h_{f_t}(c(t))$ be the canonical height of $c(t)$ with respect to the rational map $f_t$. We prove that the map $H(t):=h_{f_t}(c(t))$ (as $t$ varies among the algebraic numbers) is a Weil height.
A weighted projective stack is a stacky quotient $\mathscr P(\mathbf a)=(\mathbf A^n-\{0\})/\mathbb G_m$, where the action of $\mathbb G_m$ is with weights $\mathbf a\in\mathbb Z^n_{>0}$. Examples are: the compactified moduli stack of elliptic curves $\mathscr P(4,6)$ and the classifying stack of $μ_m$-torsors $Bμ_m=\mathscr P(m)$. We define heights on the weighted projective stacks. The heights generalize the naive height of an elliptic curve and the absolute discriminant of a torsor. We use the heights to count rational points. We find the asymptotic behaviour for the number of rational poin…
On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties
Osaka Metropolitan University（大阪公立大学）；NTT Institute for Fundamental Mathematics, NTT Communication Science Laboratories, NTT, Inc.（日本电信电话株式会社基础数学研究所、通信科学实验室）
We prove that, when genus two curves $C/\mathbb{Q}$ with a marked Weierstass point are ordered by height, the average number of rational points $\#|C(\mathbb{Q})|$ is bounded. The argument follows the same ideas as the sphere-packing proof of boundedness of the average number of integral points on (quasiminimal Weierstrass models of) elliptic curves. That is, we bound the number of small-height points by hand, the number of medium-height points by establishing an explicit Mumford gap principle and using the theorem of Kabatiansky-Levenshtein on spherical codes (this technique goes back to work…
Given a family of quadratic twists of a fixed elliptic curve defined over $\mathbb{Q}$, we investigate the average rank in the subfamily of twists having a nontorsion rational point of almost minimal height. We show in particular that the average analytic rank is greater than one.
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$.
Silverman proved a height inequality for jointly regular family of rational maps and the author improved it for jointly regular pairs. In this paper, we provide the same improvement for jointly regular family; if S is a jointly regular set of rational maps, then \sum_{f\in S} \dfrac{1}{°f} h\bigl(f(P) \bigr) > (1+ \dfrac{1}{r}) f(P) - C where r = \max_{f\in S} r(f).
We consider the practical computation of rational points on y^2=x(x^2+ax+b). The algebra necessary for a 4-descent procedure is described. A simple further descent is then described which only uses integer arithmetic. Numerous examples are given to illustrate the effectiveness of this extra descent. Currently, the largest point found has height 51.15 or 102.3, depending on which height normalisation you use.
Here we describe the distribution of rational points on the Hilbert scheme of two points in the projective plane. More specifically, we explicitly describe a two-parameter family of height functions $H_{s, t}$, such that the height function associated to any projective embedding is equivalent to some $H_{s, t}$, up to multiplication by a bounded function. For a certain range of the parameters $(s, t)$, we prove an asymptotic formula for the number of rational points of bounded height, and for other $(s, t)$ we obtain an upper bound. The proof establishes an equivalence to a lattice point count…
We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can only prove partial results in this direction.
Let $F$ be a univariate polynomial or rational fraction of degree $d$ defined over a number field. We give bounds from above on the absolute logarithmic Weil height of $F$ in terms of the heights of its values at small integers: we review well-known bounds obtained from interpolation algorithms given values at $d+1$ (resp. $2d+1$) points, and obtain tighter results when considering a larger number of evaluation points.
In this paper I verify Manin's conjecture for a class of rational projective toric varieties with a large class of heights other than the usual one that comes from the standard metric on projective space.
We obtain a tight, up to a logarithmic factor, upper bound on the number of solutions to the equation $$ \sum_{j=1}^n a_j \frac{s_j}{r_j} =a_0, \qquad $$ with variables $r_1,...,r_n$ in an arbitrary box at the origin and variables $s_1,..., s_n$ in an essentially arbitrary translation of this box. We apply this result to get an upper bound on the number of stochastic matrices with rational entries of bounded height.
Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coefficients of a univariate D-finite power series `look like' the coefficients of a rational function then the power series is rational. Our work relies on the theory of Weil heights, the Manin-Mumford …
We investigate the number of curves having a rational point of almost minimal height in the family of quadratic twists of a given elliptic curve. This problem takes its origin in the work of Hooley, who asked this question in the setting of real quadratic fields. In particular, he showed an asymptotic estimate for the number of such fields with almost minimal fundamental unit. Our main result establishes the analogue asymptotic formula in the setting of quadratic twists of a fixed elliptic curve.
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.
Manin's conjecture predicts the asymptotic behavior of the number of rational points of bounded height on algebraic varieties. For toric varieties, it was proved by Batyrev and Tschinkel via height zeta functions and an application of the Poisson formula. An alternative approach to Manin's conjecture via universal torsors was used so far mainly over the field Q of rational numbers. In this note, we give a proof of Manin's conjecture over the Gaussian rational numbers Q(i) and over other imaginary quadratic number fields with class number 1 for the singular toric cubic surface defined by t^3=xy…
Let $f \in Q(z)$ be a polynomial or rational function of degree 2. A special case of Morton and Silverman's Dynamical Uniform Boundedness Conjecture states that the number of rational preperiodic points of $f$ is bounded above by an absolute constant. A related conjecture of Silverman states that the canonical height $\hat{h}_f(x)$ of a non-preperiodic rational point $x$ is bounded below by a uniform multiple of the height of $f$ itself. We provide support for these conjectures by computing the set of preperiodic and small height rational points for a set of degree 2 maps far beyond the range …
In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes.
We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both the classical Neron-Tate height and analytic p-adic heights. Our main result is that under some general hypotheses this pairing is non-degenerate.
Let $C$ be an algebraic curve embedded transversally in a power $E^N$ of an elliptic curve $E$. In this article we produce a good explicit bound for the height of all the algebraic points on $C$ contained in the union of all proper algebraic subgroups of $E^N$. The method gives a totally explicit version of the Manin-Dam'janenko Theorem in the elliptic case and it is a generalisation of previous results only proved when $E$ does not have Complex Multiplication.
We establish the sharp estimate <<_d N^{2/d} for the number of rational points of height at most N on an irreducible projective curve of degree d. We deduce this from a result for general hypersurfaces that is sensitive to the coefficients of the corresponding form.
Let E be an elliptic curve over the rationals. Let L be an infinite Galois extension of the rationals with uniformly bounded local degrees at almost all primes. We will consider the infinite extension L(E_tor) of the rationals where we adjoin all coordinates of torsion points of E. In this paper we will prove an effective lower bound for the height of non-zero elements in L(E_tor) that are not a root of unity.
We prove that the number of rational points of bounded height on certain del Pezzo surfaces of degree 1 defined over Q grows linearly, as predicted by Manin's conjecture. Along the way, we investigate the average number of integral points of small naive height on quadratic twists of a fixed elliptic curve with full rational 2-torsion.
