We study finite orbits of non-elementary groups of automorphisms of compact projective surfaces. We prove that if the surface and the group are defined over a number field $\mathbf {k}$ and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when $\mathbf {k} = \mathbf {C}$. An application is given to the description of ‘canonical vector heights’ associated to such automorphism groups.

Granville recently asked how the Mahler measure behaves in the context of polynomial dynamics. For a polynomial $f(z)=z^d+\cdots \in {\mathbb C}[z],\ \deg (f)\ge 2,$ we show that the Mahler measure of the iterates $f^n$ grows geometrically fast with the degree $d^n,$ and find the exact base of that exponential growth. This base is expressed via an integral of $\log ^+|z|$ with respect to the invariant measure of the Julia set for the polynomial $f.$ Moreover, we give sharp estimates for such an integral when the Julia set is connected.

Baker and Rumely, Favre, Rivera, and Letelier, and Chambert-Loir proved an important arithmetic equidistribution theorem for points of small height associated to an adelic measure. To broaden the scope in which arithmetic equidistribution may be employed, we generalize the notion of an adelic measure to that of a quasi-adelic measure and show that arithmetic equidistribution holds for quasi-adelic measures as well. We exhibit examples of non-adelic, quasi-adelic measures arising from the dynamics of quadratic rational maps. In fact, we show that the measures that arise in applications of arithmetic equidistribution theorems are typically not adelic. Finally, we motivate our definition of a quasi-adelic measure by relating it to a seemingly different problem in arithmetic dynamics arising from results of Call, Tate, and Silverman in the study of abelian varieties.

We study the dynamics of the map $f:\mathbb {A}^N\to \mathbb {A}^N$ defined by

$$ \begin{align*} f(\mathbf{X})=A\mathbf{X}^d+\mathbf{b}, \end{align*} $$

for $A\in \operatorname {SL}_N$ , $\mathbf {b}\in \mathbb {A}^N$ , and $d\geq 2$ , a class which specializes to the unicritical polynomials when $N=1$ . In the case $k=\mathbb {C}$ we obtain lower bounds on the sum of Lyapunov exponents of f, and a statement which generalizes the compactness of the Mandelbrot set. Over $\overline {\mathbb {Q}}$ we obtain estimates on the critical height of f, and over algebraically closed fields we obtain some rigidity results for post-critically finite morphisms of this form.

For every $m\in \mathbb {N}$ , we establish the equidistribution of the sequence of the averaged pullbacks of a Dirac measure at any given value in $\mathbb {C}\setminus \{0\}$ under the $m$ th order derivatives of the iterates of a polynomials $f\in \mathbb {C}[z]$ of degree $d>1$ towards the harmonic measure of the filled-in Julia set of f with pole at $\infty $ . We also establish non-archimedean and arithmetic counterparts using the potential theory on the Berkovich projective line and the adelic equidistribution theory over a number field k for a sequence of effective divisors on $\mathbb {P}^1(\overline {k})$ having small diagonals and small heights. We show a similar result on the equidistribution of the analytic sets where the derivative of each iterate of a Hénon-type polynomial automorphism of $\mathbb {C}^2$ has a given eigenvalue.

We formulate a general question regarding the size of the iterated Galois groups associated with an algebraic dynamical system and then we discuss some special cases of our question. Our main result answers this question for certain split polynomial maps whose coordinates are unicritical polynomials.

We prove a conjecture by Kawaguchi–Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.

The morphism $f\,:\,{{\mathbb{P}}^{N}}\,\to \,{{\mathbb{P}}^{N}}$ is called post-critically finite $\left( \text{PCF} \right)$ if the forward image of the critical locus, under iteration of $f$ , has algebraic support. In the case $N\,=\,1$ , a result of Thurston implies that there are no algebraic families of PCF morphisms, other than a well-understood exceptional class known as the flexible Lattés maps. A related arithmetic result states that the set of PCF morphisms corresponds to a set of bounded height in the moduli space of univariate rational functions. We prove corresponding results for a certain subclass of the regular polynomial endomorphisms of ${{\mathbb{P}}^{N}}$ for any $N$ .