Research

Consider the action of a rational function on the Berkovich projective line over an algebraically closed field complete with respect to a nontrivial non-archimedean absolute value. We say a connected component of the fixed locus is a "non-attracting subtree" if it contains no attracting points. We define a "degree of a non-attracting subtree," in terms of the local degrees of the rational function at its points. We show that the degrees of non-attracting subtrees sum up to the degree of the rational function. This counting result is obtained by studying the potential of a discrete measure charging each non-attracting subtree with mass equal to its degree. We prove that as we iterate the rational function these measures equidistribute to the equilibrium measure. Under certain conditions, notably in the case of polynomials, this reduces to the equidistribution of repelling points. We also show that repelling type II points become negligible under iteration when the Lyapunov exponent is positive. These results give a partial and a complete answer to questions of Favre and Rivera-Letelier.