We obtain a Bogomolov type of result for the additive group scheme in characteristic $p$. Our result is equivalent with a Bogomolov theorem for Drinfeld modules defined over a finite field.
We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers.
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.
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.
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$.
In 1983 Silverman and Tate showed that the set of points in a 1-dimensional family of abelian varieties where a section of infinite order has `small height' is finite. We conjecture a generalisation to higher-dimensional families, where we replace `finite' by `not Zariski dense'. We show that this conjecture would imply the Uniform Boundedness Conjecture for torsion points on abelian varieties. We then prove a few special cases of this new conjecture.
We define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number-theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.
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 generalize results about local heights previously proved in the case of discrete absolute values to arbitrary non-archimedean absolute values of rank 1. First, this is done for the induction formula of Chambert-Loir and Thuillier. Then we prove the formula of Burgos--Philippon--Sombra for the toric local height of a proper normal toric variety in this more general setting. We apply the corresponding formula for Moriwaki's global heights over a finitely generated field to a fibration which is generically toric. We illustrate the last result in a natural example where non-discrete non-archime…
In the present article, we define a notion of good height functions on quasi-projective varieties $V$ defined over number fields and prove an equidistribution theorem of small points for such height functions. Those good height functions are defined as limits of height functions associated with semi-positive adelic metrization on big and nef $\mathbb{Q}$-line bundles on projective models of $V$ satisfying mild assumptions. Building on a recent work of the author and Vigny as well as on a classical estimate of Call and Silverman, and inspiring from recent works of Kühne and Yuan and Zhang, we d…
We define an "ample canonical height" for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call--Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mo…
For a cycle of codimension 1 in a toric variety, its degree with respect to a nef toric divisor can be understood in terms of the mixed volume of the polytopes associated to the divisor and to the cycle. We prove here that an analogous combinatorial formula holds in the arithmetic setting: the global height of a 1-codimensional cycle with respect to a toric divisor equipped with a semipositive toric metric can be expressed in terms of mixed integrals of the $v$-adic roof functions associated to the metric and the Legendre-Fenchel dual of the $v$-adic Ronkin function of the Laurent polynomial o…
We study the problem of describing local components of height functions on abelian varieties over characteristic $0$ local fields as functions on spaces of torsors under various realisations of a $2$-step unipotent motivic fundamental group naturally associated to the defining line bundle. To this end, we present three main theorems giving such a description in terms of the $\mathbb Q_\ell$- and $\mathbb Q_p$-pro-unipotent étale realisations when the base field is $p$-adic, and in terms of the $\mathbb R$-pro-unipotent Betti--de Rham realisation when the base field is archimedean. In the cours…
In this work we prove a new Northcott property for the Faltings height. Namely we show, assuming the Colmez Conjecture and the Artin Conjecture, that there are finitely many CM abelian varieties over the complex numbers of a fixed dimension which have bounded Faltings height. The technique developed uses new tools from integral p-adic Hodge theory to study the variation of Faltings height within an isogeny class of CM abelian varieties. In special cases, we are moreover able to use the technique to develop new Colmez-type formulas for the Faltings height.
A polarizable endomorphism on a projective variety enables us to consider given morphism as constant multiplication in the height function. In this paper, we will generalize it for arbitrary dominant endomorphism by defining the height expansion and contraction coefficients.
We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fen…
Given a family of abelian varieties over a quasiprojective smooth curve $T^0$ over a global field and a point $P$ on the generic fiber, we show that the Néron-Tate canonical height $h_{X_t}(P_t)$ of $P_t$ along each fiber is exactly equal to a Weil height $h_{\overline M}(t)$ given by an adelic metrized line bundle $\overline M$ on the unique smooth projective curve $T$ containing $T^0$. As a consequence, we show that a conjecture of Zhang on the finiteness of small-height specializations of $P$ is equivalent to $\overline M$ being big.
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 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…
The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $λ_1(f) = α_f(P)$. We prove this conjecture in several higher-dimensional settings, including all endomorphisms of non-uniruled smooth projective threefolds with degree larger than $1$, and all endomorphisms of hyper-Kähler varieties in any dimension. In the latter case, we construct a canonical…
Let M be the Shimura variety associated with the group of spinor similitudes of a rational quadratic space over of signature (n,2). We prove a conjecture of Bruinier-Kudla-Yang, relating the arithmetic intersection multiplicities of special divisors and big CM points on M to the central derivatives of certain $L$-functions. As an application of this result, we prove an averaged version of Colmez's conjecture on the Faltings heights of CM abelian varieties.
Let $S$ be a Shimura variety and let $h$ be a Weil height function on $S$. We conjecture that the heights of special points in $S$ are discriminant negligible. Assuming this conjecture to be true, we prove that the sizes of the Galois orbits of special points grow as a fixed power of their discriminant (an invariant we will define in the text). In the case of Shimura varieties of abelian type, the height bound holds by the recently proved averaged Colmez formula, and our theorem gives a new proof of Tsimerman's Galois lower bound in this case. The main novelty is that our approach avoids the u…
We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distrib…
The Equidistribution Conjecture is proved for general semiabelian varieties over number fields. Previously, this conjecture was only known in the special case of almost split semiabelian varieties through work of Chambert-Loir. The general case has remained intractable so far because the height of a semiabelian variety is negative unless it is almost split. In fact, this places the conjecture outside the scope of Yuan's equidistribution theorem on algebraic dynamical systems. To overcome this, an asymptotic adaption of the equidistribution technique invented by Szpiro, Ullmo, and Zhang is used…
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.
We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion from the point of view of resultant theory and establish some of its basic properties, incl…
We lower bound the Faltings height of an abelian variety over a number field by the sum of its injectivity diameter and the norm of its bad reduction primes. It leads to an unconditional bound on the rank of Mordell-Weil groups. Assuming the height conjecture of Lang and Silverman, we then obtain a Northcott property for the regulator on the set of simple abelian varieties defined over a fixed number field, of fixed dimension $g$, bounded rank and with dense rational points over a number field. We remove the simplicity assumption in the principally polarized case by giving a refined version of…
In the first section of his seminal paper on height pairings, Beilinson constructed an $\ell$-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's question by constructing a pairing for varieties defined over the function field of a smooth variety $B$ over an algebraically closed field, with values in the second $\ell$-adic cohomology group of …
The Bounded Height Conjecture of Bombieri, Masser, and Zannier states that for any sufficiently generic algebraic subvariety of a semiabelian $\overline{\mathbb{Q}}$-variety $G$ there is an upper bound on the Weil height of the points contained in its intersection with the union of all algebraic subgroups having (at most) complementary dimension in $G$. This conjecture has been shown by Habegger in the case where $G$ is either a multiplicative torus or an abelian variety. However, there are new obstructions to his approach if $G$ is a general semiabelian variety. In particular, the lack of Poi…
On an abelian scheme over a smooth curve over $\overline{\mathbb Q}$ a symmetric relatively ample line bundle defines a fiberwise Néon-Tate height. If the base curve is inside a projective space, we also have a height on its $\overline{\mathbb Q}$-points that serves as a measure of each fiber, an abelian variety. Silverman proved an asymptotic equality between these two heights on a curve in the abelian scheme. In this paper we prove an inequality between these heights on a subvariety of any dimension of the abelian scheme. As an application we prove the Geometric Bogomolov Conjecture for the …