On iterates of rational functions with maximal number of critical values

Fedor Pakovich

2023-10-31

Abstract:Let $F$ be a rational function of one complex variable of degree $m\geq 2$. The function $F$ is called simple if for every $z\in \mathbb C\mathbb P^1$ the preimage $F^{-1}\{z\}$ contains at least $m-1$ points. We show that if $F$ is a simple rational function of degree $m\geq 4$ and $F^{\circ l} =G_r\circ G_{r-1}\circ \dots \circ G_1$, $l\geq 1$, is a decomposition of an iterate of $F$ into a composition of indecomposable rational functions, then $r=l$ and there exist Möbius transformations $\mu_i,$ $1\leq i \leq r-1,$ such that $G_r=F\circ \mu_{r-1},$ $G_i=\mu_{i}^{-1}\circ F \circ \mu_{i-1},$ $1<i< r,$ and $G_1=\mu_{1}^{-1}\circ F$. As applications, we solve a number of problems in complex and arithmetic dynamics for "general" rational functions.

Dynamical Systems,Complex Variables

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on understanding the decomposition structures related to the iteration of simple rational functions and their applications in complex dynamical systems and arithmetic dynamics. Specifically, the paper explores the following aspects:

1. **Decomposition of rational function iteration**: For a simple rational function \(F\), whether the decomposition of its iteration \(F^{\circ l}\) is unique and the specific forms of these decompositions. One of the main results of the paper is to prove that for a simple rational function \(F\) with degree \(m\geq4\), the decomposition of any of its iterations is equivalent to \(F^{\circ l}\) itself (Theorem 1.1).

2. **Properties of related groups and semigroups**: The paper studies several groups and semigroups related to the rational function \(F\), such as \(\langle F\rangle\), \(C(F)\), \(\text{Aut}(F)\), \(C^{\infty}(F)\), \(\text{Aut}^{\infty}(F)\), etc., and proves the relationships between these objects. For example, for a simple rational function \(F\), the paper proves that \(E_0(F)=\text{Aut}^{\infty}(F) = G_0(F)\) and \(E(F)=C^{\infty}(F)=\langle\text{Aut}^{\infty}(F), F\rangle\) (Theorem 1.2).

3. **Description of periodic algebraic curves**: The paper also explores how to describe the periodic algebraic curves of the mapping \((F_1, F_2)\) defined by two rational functions \(F_1\) and \(F_2\). In particular, the paper gives the specific forms of these periodic curves when \(F_1\) and \(F_2\) are simple rational functions (Theorems 1.5 and 1.6).

4. **Semi - conjugate rational functions**: The paper studies the properties of semi - conjugate rational functions and provides some descriptions in simplified forms, which are helpful for understanding and solving certain problems in complex dynamical systems (Theorem 1.4).

Through the research on these problems, the paper not only deepens the understanding of the iteration of rational functions and their decomposition, but also provides new tools and methods for some important problems in complex dynamical systems and arithmetic dynamics.