On the structure of Fatou domains

Let U be a multiply-connected fixed attracting Fatou domain of a rational map f.We prove that there exist a rational map g and a completely invariant Fatou domain V of g such that(f,U) and(g,V) are holomorphically conjugate,and each non-trivial Julia component of g is a quasi-circle which bounds an eventually superattracting Fatou domain of g containing at most one postcritical point of g.Moreover,g is unique up to a holomorphic conjugation.

Rational maps as Schwarzian primitives

We examine when a meromorphic quadratic differential φ with prescribed poles is the Schwarzian derivative of a rational map. We give a necessary and sufficient condition: In the Laurent series of φ around each pole c, the most singular term should take the form(1- d2)/(2(z- c)2), where d is an integer, and then a certain determinant in the next d coefficients should vanish. This condition can be optimized by neglecting some information on one of the poles(i.e., by only requiring it to be a double pole). The case d = 2 was treated by Eremenko(2012). We show that a geometric interpretation of our condition is that the complex projective structure induced by φ outside the poles has a trivial holonomy group. This statement was suggested to us by Thurston in a private communication. Our work is related to the problem of finding a rational map f with a prescribed set of critical points, since the critical points of f are precisely the poles of its Schwarzian derivative.Finally, we study the pole-dependency of these Schwarzian derivatives. We show that, in the cubic case with simple critical points, an analytic dependency fails precisely when the poles are displaced at the vertices of a regular ideal tetrahedron of the hyperbolic 3-ball.