Preperiodic points and unlikely intersections (Q635471)

The authors combine complex analytic and arithmetic tools to study the preperiodic points of one-dimensional complex dynamical systems. They establish the following results: \textbf{Theorem 1.1} Let \(d \geq 2\) be an integer, and fix \(a, b \in \mathbb{C}\). The set of parameters \(c \in \mathbb{C}\) such that both \(a\) and \(b\) are preperiodic for \(z^d+c\) is infinite if and only if \(a^d = b^d\). For a rational function \(\varphi \in \mathbb{C}(z)\), let \(\text{Preper}(\varphi)\) denote its set of preperiodic points. \textbf{Theorem 1.2} Let \(\varphi, \psi \in \mathbb{C}(z)\) be rational functions of degrees at least \(2\). Then \(\text{Preper}(\varphi) \cap \text{Preper}(\psi)\) is infinite if and only if \(\text{Preper}(\varphi) = \text{Preper}(\psi)\). The necessity of Theorem 1.1 is proved using an arithmetic equidistribution theorem for points of small height with respect to an adelic height function. In particular, when \(a\) and \(b\) are transcendental, the equidistribution takes place on the Berkovich projective line \(\mathbb{P}^1_{\text{ Berk}, K}\), where \(K\) is complete, algebraically closed, and nonarchimedean.