Recomposing rational functions

Abstract: Let $A$ be a rational function. For any decomposition of $A$ into a composition of rational functions $A=U\circ V$ the rational function $\widetilde A=V\circ U$ is called an elementary transformation of $A$, and rational functions $A$ and $B$ are called equivalent if there exists a chain of elementary transformations between $A$ and $B$. This equivalence relation naturally appears in the complex dynamics as a part of the problem of describing of semiconjugate rational functions. In this paper we show that for a rational function $A$ its equivalence class $[A]$ contains infinitely many conjugacy classes if and only if $A$ is a flexible Latt`es map. For flexible Latt`es maps $L=L_j$ induced by the multiplication by 2 on elliptic curves with given $j$-invariant we provide a very precise description of $[ L]$. Namely, we show that any rational function equivalent to $ L_j$ necessarily has the form $ L_{j'}$ for some $j'\in \mathbb C$, and that the set of $j'\in \mathbb C$ such that $ L_{j'}\sim L_{j}$ coincides with the orbit of $j$ under the correspondence associated with the classical modular equation $\Phi_2(x,y)=0$.