2012/12/12 by Kawaguchi, Shu, Silverman, Joseph H.
#11G50 #32F10 #37P30 #37P55 #Dynamical Systems (math.DS) #FOS: Mathematics #Number Theory (math.NT) #Primary: 37P15 #Secondary: 37P05
paper · doi:10.48550/arxiv.1212.3015
Let f : X --> X be a dominant rational map of a projective variety defined over a number field. An important geometric-dynamical invariant of f is its (first) dynamical degree df= lim SpecRadius((fn)^*)1/n. For algebraic points P of X whose forward orbits are well-defined, there is an analogous (upper) arithmetic degree af(P) = limsup hX(fn(P))1/n, where hX is an ample Weil height on X. In an earlier paper, we proved the fundamental inequality af(P) ≤ df and conjectured that af(P) = df whenever the orbit of P is Zariski dense. In this paper we show that the conjecture is true for several types of maps. In other cases, we provide support for the conjecture by proving that there is a Zariski dense set of points with disjoint orbits and satisfying af(P) = df.