Inspired by K. Fujita's algebro-geometric result that complex projective space has maximal degree among all K-semistable complex Fano varieties, we conjecture that the height of a K-semistable metrized arithmetic Fano variety $\mathcal {X}$ of relative dimension $n$ is maximal when $\mathcal {X}$ is the projective space over the integers, endowed with the Fubini–Study metric. Our main result establishes the conjecture for the canonical integral model of a toric Fano variety when $n\leq 6$ (the extension to higher dimensions is conditioned on a conjectural ‘gap hypothesis’ for the degree). Translated into toric Kähler geometry, this result yields a sharp lower bound on a toric invariant introduced by Donaldson, defined as the minimum of the toric Mabuchi functional. Furthermore, we reformulate our conjecture as an optimal lower bound on Odaka's modular height. In any dimension $n$ it is shown how to control the height of the canonical toric model $\mathcal {X},$ with respect to the Kähler–Einstein metric, by the degree of $\mathcal {X}$. In a sequel to this paper our height conjecture is established for any projective diagonal Fano hypersurface, by exploiting a more general logarithmic setup.

In a recent breakthrough, Dimitrov [Dim] solved the Schinzel–Zassenhaus conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$, where p is a prime number and where the orbit of $0$ is finite. For example, if $p=2$ and $0$ is periodic under $T^2+c$ with $c\in \mathbb {R}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this, we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. For these f, our method has application to the irreducibility of polynomials. Indeed, say y is preperiodic under f but not periodic. Then any iteration of f minus y is irreducible in $\mathbb {Q}(y)[T]$.

In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

In this paper, we propose a modified Kudla–Rapoport conjecture for the Krämer model of unitary Rapoport–Zink space at a ramified prime, which is a precise identity relating intersection numbers of special cycles to derivatives of Hermitian local density polynomials. We also introduce the notion of special difference cycles, which has surprisingly simple description. Combining this with induction formulas of Hermitian local density polynomials, we prove the modified Kudla–Rapoport conjecture when $n=3$. Our conjecture, combining with known results at inert and infinite primes, implies the arithmetic Siegel–Weil formula for all non-singular coefficients when the level structure of the corresponding unitary Shimura variety is defined by a self-dual lattice.

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 new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently computable formula for the tropical moment of a tropical Jacobian in terms of potential theory on the underlying metric graph. We show that there exists a universal linear relation between the tropical moment, a certain capacity called the tau invariant, and the total length of a metric graph. To put our formula in a broader context, we relate our work to the computation of heights attached to principally polarized abelian varieties.

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

We prove a formula, which, given a principally polarized abelian variety $(A,\lambda )$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the Néron–Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda )$.

Let $X$ be a normal and geometrically integral projective variety over a global field $K$ and let $\bar {D}$ be an adelic ${\mathbb {R}}$-Cartier divisor on $X$. We prove a conjecture of Chen, showing that the essential minimum $\zeta _{\mathrm {ess}}(\bar {D})$ of $\bar {D}$ equals its asymptotic maximal slope under mild positivity assumptions. As an application, we see that $\zeta _{\mathrm {ess}}(\bar {D})$ can be read on the Okounkov body of the underlying divisor $D$ via the Boucksom–Chen concave transform. This gives a new interpretation of Zhang's inequalities on successive minima and a criterion for equality generalizing to arbitrary projective varieties a result of Burgos Gil, Philippon and Sombra concerning toric metrized divisors on toric varieties. When applied to a projective space $X = {\mathbb {P}}_K^{d}$, our main result has several applications to the study of successive minima of hermitian vector spaces. We obtain an absolute transference theorem with a linear upper bound, answering a question raised by Gaudron. We also give new comparisons between successive slopes and absolute minima, extending results of Gaudron and Rémond.

We construct a family of fibred threefolds $X_m \to (S , \Delta )$ such that $X_m$ has no étale cover that dominates a variety of general type but it dominates the orbifold $(S,\Delta )$ of general type. Following Campana, the threefolds $X_m$ are called weakly special but not special. The Weak Specialness Conjecture predicts that a weakly special variety defined over a number field has a potentially dense set of rational points. We prove that if m is big enough, the threefolds $X_m$ present behaviours that contradict the function field and analytic analogue of the Weak Specialness Conjecture. We prove our results by adapting the recent method of Ru and Vojta. We also formulate some generalisations of known conjectures on exceptional loci that fit into Campana’s program and prove some cases over function fields.

We define variants of PEL type of the Shimura varieties that appear in the context of the arithmetic Gan–Gross–Prasad (AGGP) conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.

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 Poincaré reducibility means that quotients of a given semiabelian variety are intricate to describe. To overcome this, we study directly certain families of line bundles on $G$. This allows us to demonstrate the conjecture for general semiabelian varieties.

Let $c$ be a curve of genus at least 2 embedded in ${{E}_{1}}\,\times \,.\,.\,.\,\times \,{{E}_{N}}$ , where the ${{\text{E}}_{i}}$ are elliptic curves for $i\,=\,1,\,.\,.\,.\,,\,N$. In this article we give an explicit sharp bound for the Néron–Tate height of the points of $c$ contained in the union of all algebraic subgroups of dimension $<\,\max ({{r}_{C}}\,-{{t}_{C}},\,{{t}_{C}})$ , where ${{t}_{C}}(\text{resp}\text{.}{{r}_{C}})$ is the minimal dimension of a translate (resp. of a torsion variety) containing $c$.

As a corollary, we give an explicit bound for the height of the rational points of special curves, proving new cases of the explicit Mordell Conjecture and in particular making explicit (and slightly more general in the CM case) the Manin–Dem’janenko method for curves in products of elliptic curves.

In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of $\ell$-adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.

We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that requires no integer factorization and runs in quasi-linear time.

We consider two families of arithmetic divisors defined on integral models of Shimura curves. The first was studied by Kudla, Rapoport and Yang, who proved that if one assembles these divisors in a formal generating series, one obtains the $q$-expansion of a modular form of weight 3/2. The present work concerns the Shimura lift of this modular form: we identify the Shimura lift with a generating series comprising divisors arising in the recent work of Kudla and Rapoport regarding cycles on Shimura varieties of unitary type. In the prequel to this paper, the author considered the geometry of the two families of cycles. These results are combined with the Archimedean calculations found in this work in order to establish the theorem. In particular, we obtain new examples of modular generating series whose coefficients lie in arithmetic Chow groups of Shimura varieties.

We prove arithmetic Hilbert–Samuel type theorems for semi-positive singular hermitian line bundles of finite height. This includes the log-singular metrics of Burgos–Kramer–Kühn. The results apply in particular to line bundles of modular forms on some non-compact Shimura varieties. As an example, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.

We prove a variant of a formula due to Zhang relating the Beilinson– Bloch height of the Gross–Schoen cycle on a pointed curve with the self-intersection of its relative dualizing sheaf. In our approach, the height of the Gross–Schoen cycle occurs as the degree of a suitable Bloch line bundle. We show that the Chern form of this line bundle is nonnegative, and we calculate its class in the Picard group of the moduli space of pointed stable curves of compact type. The basic tools are normal functions and biextensions associated to the cohomology of the universal Jacobian.

The proof of Proposition 1 and Theorem 2 in [3] is incorrect. Indeed, Sections 2.5 and 2.7 in [3] contain a vicious circle: the definition of the filtration Vi, 1 ≤ i ≤ n, in Section 2.5 of that article depends on the choice of the integers ni, when the definition of the integers ni in Section 2.7 depends on the choice of the filtration (Vi). Thus, only Theorem 1 and Corollary 1 in [3] are proved. In the following we will prove another result instead of [3, Proposition 1].