The intrinsic reductions and the intrinsic depths in non-archimedean dynamics
Okuyama
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.
academic
The Intrinsic Reductions and the Intrinsic Depths in Non-Archimedean Dynamics
This paper aims to provide a more conceptualized and simplified proof of Rumely's moduli-theoretic characterization of the type II minimal locus of the resultant function ordResφ for rational functions φ defined on Berkovich hyperbolic spaces, while simultaneously offering a simpler and more natural improved proof of DeMarco-Faber's degeneration limit theorem concerning the unique maximal entropy measure family on ℙ¹(ℂ) associated with holomorphic families of complex rational functions. The author introduces the concepts of intrinsic reduction of non-Archimedean rational functions φ at each point of the Berkovich projective line and directional intrinsic depth, which are defined based on the tree structure and analytic structure of the Berkovich projective line, providing suitable tools for achieving the aforementioned objectives.
Moduli-Theoretic Characterization of Rumely's Resultant Function: Rumely introduced the resultant function ordResφ in non-Archimedean dynamical systems and provided a moduli-theoretic characterization of its type II minimal locus, but the original proof is complex and lacks geometric intuition.
Degeneration Limit Problem in Complex Dynamics: DeMarco-Faber studied the limiting behavior of maximal entropy measures during degeneration of holomorphic families of complex rational functions, but existing proofs require a priori verification of the atomic nature of the limit, making the process cumbersome.
The core motivation of this paper is to simplify the proofs of these two important results and provide deeper geometric understanding by introducing new geometric concepts—intrinsic reduction and intrinsic depth. These concepts fully exploit the tree structure and analytic structure of the Berkovich projective line.
Introduction of Intrinsic Reduction and Intrinsic Depth Concepts: Defines the intrinsic reduction ϕ~ξ and directional intrinsic depth depthvϕ~ξ for non-Archimedean rational functions at each point of the Berkovich projective line.
Establishment of Slope Formula for Hyperbolic Resultant Function (Theorem 1): Provides an explicit formula for the directional derivative of the hypRes φ function, expressed entirely in terms of intrinsic depths.
Proof of Equidistribution Property of Intrinsic Depth (Theorem 2): Establishes the equidistribution convergence of intrinsic depth under iteration toward the reduced standard balanced measure.
Simplification of Rumely's Moduli-Theoretic Characterization Proof: Directly obtains the characterization of the type II minimal locus through Theorem 1.
Improvement of Degeneration Limit Theorem in Complex Dynamics (Theorem 3): Provides a more natural proof path without requiring a priori assumption of the atomic nature of the limit.
Intrinsic Reduction: For a rational function φ and point ξ ∈ ℙ¹, the intrinsic reduction ϕ~ξ:TξP1→TξP1 is defined as:
ϕ~ξ:={ϕ∗,ξ≡ξ(ϕ(ξ))if ϕ(ξ)=ξotherwise
Intrinsic Depth: For a direction v∈TξP1, the intrinsic depth is defined as:
depthvϕ~ξ:=(ϕ∗δξ)(U(v))∈{0,…,degϕ}
Geometrization of Algebraic Concepts: Geometrizes algebraic reduction and depth concepts, making them naturally defined at each point of Berkovich space.
Unified Framework: Unifies different problems in moduli theory and dynamical systems through the concept of intrinsic depth.
Simplified Proof Strategy: Avoids complex algebraic calculations and directly utilizes properties of Berkovich geometry.
Through the slope formula, the characterization of the minimal locus of hypResφ is directly obtained: the function attains its minimum at ξ if and only if for all directions v:
Rumely's Theorem: The original proof requires complex algebraic geometry theory; the new proof derives the result directly through geometric calculations.
Degeneration Limit Theorem: Eliminates the a priori assumption of the atomic nature of the limit, making the proof more natural.
The paper cites major literature in the field, including:
Baker-Rumely's monograph on potential theory on Berkovich spaces
Favre-Rivera-Letelier's non-Archimedean ergodic theory
DeMarco-Faber's degeneration limit theory
Rumely's pioneering work on resultant functions
Overall Evaluation: This is a high-quality theoretical mathematics paper that significantly simplifies the proofs of two important results in the field through the introduction of new geometric concepts. Although its application range is limited, its theoretical value and methodological contributions are significant, providing valuable tools for the development of non-Archimedean dynamical systems theory.