Geometric formulas on Rumely's weight function and crucial measure in non-archimedean dynamics

TL;DR

This paper develops explicit geometric formulas for Rumely's functions and measures in non-archimedean dynamics, providing new insights into the behavior of rational functions over non-archimedean fields and their associated measures.

Contribution

It introduces the $f$-crucial function and provides explicit formulas for Rumely's functions and measures, enhancing understanding of non-archimedean dynamical systems.

Findings

Explicit formulas for Rumely's $ ext{ordRes}_f$, $w_f$, and $ u_f$.

Quantitative equidistribution of $f^n$-crucial measures towards the equilibrium measure.

Improved results on Rumely's principal theorems in non-archimedean dynamics.

Abstract

We introduce the $f$-crucial function $\operatorname{Crucial}_f$ associated to a rational function $f\in K(z)$ of degree $>1$ over an algebraically closed field $K$ of possibly positive characteristic that is complete with respect to a non-trivial and non-archimedean absolute value, and give a global and explicit expression of Rumely's (resultant) function $\operatorname{ordRes}_f$ in terms of the hyperbolic metric $\rho$ on the Berkovich upper half space $\mathsf{H}^1$ in the Berkovich projective line $\mathsf{P}=\mathsf{P}(K)$. We also obtain geometric formulas for Rumely's weight function $w_f$ and crucial measure $\nu_f$ on $\mathsf{P}^1$ associated to $f$, as well as improvements of Rumely's principal results. As an application to dynamics, we obtain a quantitative equidistribution of the sequence $(\nu_{f^n})_n$ of $f^n$-crucial measures towards the $f$-equilibrium (or canonical) measure $\mu_f$ on $\mathsf{P}^1$.