On semiconjugate rational functions

We investigate semiconjugate rational functions, that is rational functions $A,$ $B$ related by the functional equation $A\circ X=X\circ B$, where $X$ is a rational function of degree at least two. We show that if $A$ and $B$ is a pair of such functions, then either $B$ can be obtained from $A$ by a certain iterative process, or $A$ and $B$ can be described in terms of orbifolds of non-negative Euler characteristic on the Riemann sphere.Comment: Final version, accepted by Geom. Funct. Ana

Prime and composite Laurent polynomials

In 1922 Ritt constructed the theory of functional decompositions of polynomials with complex coefficients. In particular, he described explicitly indecomposable polynomial solutions of the functional equation f(p(z))=g(q(z)). In this paper we study the equation above in the case when f,g,p,q are holomorphic functions on compact Riemann surfaces. We also construct a self-contained theory of functional decompositions of rational functions with at most two poles generalizing the Ritt theory. In particular, we give new proofs of the theorems of Ritt and of the theorem of Bilu and Tichy.Comment: Some of the proofs given in sections 6-8 are simplified. Some other small alterations were mad

On rational functions orthogonal to all powers of a given rational function on a curve

a