The intrinsic reductions and the intrinsic depths in non-archimedean dynamics
Yûsuke Okuyama
TL;DR
The paper develops intrinsic reductions $\tilde{\phi}_\xi$ and intrinsic depths $\mathrm{depth}_{\vec{v}}\tilde{\phi}_\xi$ on the Berkovich projective line to give conceptual proofs of Rumely's moduli characterization of the type II minimum locus of $\mathrm{ordRes}_\phi$ and to obtain a simplified degenerating limit theorem for maximal entropy measures in complex dynamics. A slope formula for the hyperbolic resultant $\mathrm{hypRes}_\phi$ expresses $d_{\vec{v}}\mathrm{hypRes}_\phi$ in terms of $\mathrm{depth}_{\vec{v}}\tilde{\phi}_\xi$, yielding a reduction-theoretic criterion for the minimum locus. An equidistribution result shows that, for $\xi$ not totally invariant, the normalized sum of intrinsic depths converges to the reduced canonical equilibrium measure $(\pi_\xi)_*\nu_\phi$. Applications include linking to a moduli problem on reductions via GIT stability and providing a simpler degeneration argument for meromorphic complex dynamics, culminating in an upgraded degenerating limit theorem for the family of maximal entropy measures and a purely atomic limiting behavior on $\mathbb{P}^1(\mathbb{C})$.
Abstract
In this short paper, we aim at giving a more conceptual and simpler proof of Rumely's moduli theoretic characterization of type II minimal locus of the resultant function $\operatorname{ordRes}_φ$ on the Berkovich hyperbolic space for a rational function $φ$ on $\mathbb{P}^1$ defined over an algebraically closed and complete field that is equipped with a non-trivial and non-archimedean absolute value, and also aim at giving a much simpler and more natural proof of a degenerating limit theorem, in an improved form after DeMarco--Faber, for the family of the unique maximal entropy measures on $\mathbb{P}^1(\mathbb{C})$ associated to a meromorphic family of complex rational functions. We introduce the intrinsic reduction of a non-archimedean rational function $φ$ at each point in the Berkovich projective line and its directionwise intrinsic depths, which are suitable notions for the above aims and defined in terms of the tree and analytic structures of the Berkovich projective line. Then we establish two theorems in non-archimedean dynamics, both of which play key roles in the above aims.
