Effective divisors on the projective line having small diagonals and small heights and their application to adelic dynamics (Q901323)

This work establishes a quantitative adelic equidistribution theorem. On the projective line over the separable closure of a product formula field \(k\) (e.g., a number field or a function fields over a curve), the author considers sequences of effective divisors (e.g., Galois conjugacy classes of algebraic numbers). To each place \(v\) in the field \(k\), one associates a normalised weight \(g_v\), which gives rise to an adelic probability measure (on the corresponding Berkovich projective line), as well as a \(g\)-height of effective divisors. The equidistribution theorem is established for sequences of effective divisors having small \(g\)-heights and small diagonals; it provides, for each place \(v\) in \(k\), an explicit estimate of the rate of convergence to the aforementioned adelic measure of the probability measure \(\mathcal{Z}/\deg\mathcal{Z}\) associated to the effective divisor \(\mathcal{Z}\). This equidistribution result is then applied to the adelic dynamics of rational functions, obtaining local proximity estimates between the iterations of \(f\in k(z)\) of degree greater than 1, and a rational function \(a\in k(z)\) of positive degree over a product formula field of zero characteristic.