Searcharxiv⌕ Search

arXiv subjects

Robin de Jong

Publications and source records attributed to Robin de Jong.

At least 19 recordsLinked to original sources
arXiv2026

Pure extension of the theta divisor over the moduli space of abelian varieties

A theta divisor on the universal principally polarised abelian variety can be extended to a compactification either by taking the Zariski closure, or by taking the unique extension which is pure of weight 2. For the latter, following ideas of Yuan and Zhang, we need to pass to the category of adelic- or b-divisors. We show that the two choices of extension differ by a tropicalisation of the Riemann theta function. We prove an extension of Moret-Bailly's ''key formula'' that features the pure weight 2 extension of the theta divisor, and discuss various arithmetic applications, including a ''universal'' formula for the N\'eron--Tate height of a point. A key technical input is the systematic use of the theory of logarithmic abelian varieties due to Kajiwara, Kato, and Nakayama.

math.AG↗
arXiv2026

Integral torsion points on abelian varieties over function fields

We prove an analogue, over global function fields, of a conjecture due to Su-Ion Ih concerning the non-Zariski density of torsion points on abelian varieties that are integral with respect to a given non-special divisor. Along the way, we establish a Tate--Voloch type theorem for abelian varieties over completions of global function fields, which allows us to obtain a logarithmic equidistribution result for Galois orbits of torsion points.

math.NT↗
arXiv2024

Canonical local heights and Berkovich skeleta

We discuss canonical local heights on abelian varieties over non-archimedean fields from the point of view of Berkovich analytic spaces. Our main result is a refinement of Néron's classical result relating canonical local heights with intersection multiplicities on the Néron model. We also revisit Tate's explicit formulas for Néron's canonical local heights on elliptic curves. Our results can be viewed as extensions of Tate's formulas to higher dimensions.

math.NT↗
arXiv2024

Rings of Siegel-Jacobi forms of bounded relative index are not finitely generated

We show that the ring of Siegel-Jacobi forms of fixed degree and of fixed or bounded ratio between weight and index is not finitely generated. Our main tool is the theory of toroidal b-divisors and their relation to convex geometry. As a byproduct of our methods, we prove a conjecture of Kramer about the representation of all Siegel-Jacobi forms as sections of certain line bundles and we recover a formula due to Tai for the asymptotic dimension of the space of Siegel-Jacobi forms of given ratio between weight and index.

math.AG↗
arXiv2023

Rings of tautological forms on moduli spaces of curves

We define and study a natural system of tautological rings on the moduli spaces of marked curves at the level of differential forms. We show that certain 2-forms obtained from the natural normal functions on these moduli spaces are tautological. Also we show that rings of tautological forms are always finite dimensional. Finally we characterize the Kawazumi-Zhang invariant as essentially the only smooth function on the moduli space of curves whose Levi form is a tautological form.

math.AG↗
arXiv2023

Heights on curves and limits of Hodge structures

We exhibit a precise connection between Néron--Tate heights on smooth curves and biextension heights of limit mixed Hodge structures associated to smoothing deformations of singular quotient curves. Our approach suggests a new way to compute Beilinson--Bloch heights in higher dimensions.

math.AG↗
arXiv2023

Computing heights via limits of Hodge structures

We consider the problem of explicitly computing Beilinson--Bloch heights of homologically trivial cycles on varieties defined over number fields. Recent results have established a congruence, up to the rational span of logarithms of primes, between the height of certain limit mixed Hodge structures and certain Beilinson--Bloch heights obtained from odd-dimensional hypersurfaces with a node. This congruence suggests a new method to compute Beilinson--Bloch heights. Here we explain how to compute the relevant limit mixed Hodge structures in practice, then apply our computational method to a nodal quartic curve and a nodal cubic threefold. In both cases, we explain the nature of the primes occurring in the congruence.

math.AG↗
arXiv2022

Faltings height and Néron-Tate height of a theta divisor

We prove a formula, which, given a principally polarized abelian variety $(A,λ)$ 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,λ)$.

math.AG↗
arXiv2021

Chern-Weil and Hilbert-Samuel formulae for singular hermitian line bundles

We show a Chern-Weil type statement and a Hilbert-Samuel formula for a large class of singular plurisubharmonic metrics on a line bundle over a smooth projective complex variety. For this we use the theory of b-divisors and the so-called multiplier ideal volume function. We apply our results to the line bundle of Siegel-Jacobi forms over the universal abelian variety endowed with its canonical invariant metric. This generalizes a result of the second author for the universal family of elliptic curves to higher degrees.

math.AG↗
arXiv2021

Jumps in the height of the Ceresa cycle

We study the jumps in the archimedean height of the Ceresa cycle, as introduced by R. Hain in his work on normal functions on moduli spaces of curves, and as further analyzed by P. Brosnan and G. Pearlstein in terms of asymptotic Hodge theory. Our work is based on a study of the asymptotic behavior of the Hain-Reed beta-invariant in degenerating families of curves. We show that the height jump of the Ceresa cycle at a given stable curve is equal to the so-called "slope" of the dual graph of the curve, and we characterize those stable curves for which the height jump vanishes. We also obtain an analytic formula for the height of the Ceresa cycle for a curve over a function field over the complex numbers, and characterize in analytic terms when the height of the Ceresa cycle vanishes.

math.AG↗
arXiv2020

Frobenius' theta function and Arakelov invariants in genus three

We give explicit formulas for the Kawazumi-Zhang invariant and Faltings delta-invariant of a compact and connected Riemann surface of genus three. The formulas are in terms of two integrals over the associated jacobian, one integral involving the standard Riemann theta function, and another involving a theta function particular to genus three that was discovered by Frobenius. We review part of Frobenius' work on his theta function and connect our results with a formula due to Bloch, Hain and Bost describing the archimedean height pairing of Ceresa cycles in genus three.

math.AG↗
arXiv2018

Metric graphs, cross ratios, and Rayleigh's laws

We study a notion of cross ratios on metric graphs and electrical networks. We show that several known results immediately follow from the basic properties of cross ratios. We show that the projection matrices of Kirchhoff have nice (and efficiently computable) expressions in terms of cross ratios. Finally we prove a very general version of Rayleigh's law, relating energy pairings and cross ratios before and after contracting an edge segment. As a corollary, we obtain a quantitative version of Rayleigh's monotonicity law for effective resistances. Another consequence is an explicit description of the behavior of the potential kernel of the Laplacian operator under contractions.

math.CO↗
arXiv2018

Tropical moments of tropical Jacobians

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, the tau invariant, and the total length of a metric graph. We argue that this linear relation is a non-archimedean analogue of a recent remarkable identity established by Wilms for invariants of compact Riemann surfaces. We also relate our work to the computation of heights attached to principally polarized abelian varieties.

math.AG↗
arXiv2018

Singularities of the biextension metric for families of abelian varieties

In this paper we study the singularities of the invariant metric of the Poincaré bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight $-1$.

math.AG↗
arXiv2018

Positivity of the height jump divisor

We study the degeneration of semipositive smooth hermitian line bundles on open complex manifolds, assuming that the metric extends well away from a codimension two analytic subset of the boundary. Using terminology introduced by R. Hain, we show that under these assumptions the so-called height jump divisors are always effective. This result is of particular interest in the context of biextension line bundles on Griffiths intermediate jacobian fibrations of polarized variations of Hodge structure of weight -1, pulled back along normal function sections. In the case of the normal function on M_g associated to the Ceresa cycle, our result proves a conjecture of Hain. As an application of our result we obtain that the Moriwaki divisor on \bar M_g has non-negative degree on all complete curves in \bar M_g not entirely contained in the locus of irreducible singular curves.

math.CV↗
arXiv2017

Faltings delta-invariant and semistable degeneration

We determine the asymptotic behavior of the Arakelov metric, the Arakelov-Green's function, and the Faltings delta-invariant for arbitrary one-parameter families of complex curves with semistable degeneration. The leading terms in the asymptotics are given a combinatorial interpretation in terms of S. Zhang's theory of admissible Green's functions on polarized metrized graphs.

math.AG↗
arXiv2017

Chern-Weil theory for line bundles with the family Arakelov metric

We prove a result of Chern-Weil type for canonically metrized line bundles on one-parameter families of smooth complex curves. Our result generalizes a result due to J.I. Burgos Gil, J. Kramer and U. Kühn that deals with a line bundle of Jacobi forms on the universal elliptic curve over the modular curve with full level structure, equipped with the Petersson metric. Our main tool, as in the work by Burgos Gil, Kramer and Kühn, is the notion of a b-divisor.

math.AG↗