Brjuno and R\"ussmann proved that every irrationally indifferent fixed point
of an analytic function with a Brjuno rotation number is linearizable, and
Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured
that this is sharp for all rational functions of degree at least 2, i.e., that
non-M\"obius rational functions cannot have Siegel disks with non-Brjuno
rotation numbers. We prove that Douady's conjecture holds for the class of
polynomials for which the number of infinite tails of critical orbits in the
Julia set equals the number of irrationally indifferent cycles. As a corollary,
Douady's conjecture holds for the polynomials $P(z) = z^d + c$ for all $d > 1$
and all complex $c$.
Bonk and Kleiner showed that any metric sphere which is Ahlfors 2-regular and
linearly locally contractible is quasisymmetrically equivalent to the standard
sphere, in a quantitative way. We extend this result to arbitrary metric
compact orientable surfaces.
In 1952, Littlewood stated a conjecture about the average growth of spherical
derivatives of polynomials, and showed that it would imply that for entire
function of finite order, "most" preimages of almost all points are
concentrated in a small subset of the plane. In 1988, Lewis and Wu proved
Littlewood's conjecture. Using techniques from complex dynamics, we construct
entire functions of finite order with a bounded set of singular values for
which the set of exceptional preimages is infinite, with logarithmically
X. Buff and A. Cheritat proved that there are quadratic polynomials having
Siegel disks with smooth boundaries. Based on a simplification of A. Avila, we
give yet another simplification of their proof. The main tool used is a
harmonic function introduced by Yoccoz whose boundary values are the sizes of
the Siegel disks. The proof also applies to some other families of polynomials,
entire and meromorphic functions.
D. Khavinson and G. Swiatek proved that harmonic polynomials p(z)+q(z), where
p is holomorphic, q is antiholomorphic, and deg p = n > 1 = deg q, can have at
most 3n-2 complex zeros. We show that this bound is sharp for all n by proving
a conjecture of Sarason and Crofoot about the existence of holomorphic
polynomials p which map all critical points to their complex conjugates. We
also count the number of equivalence classes of real polynomials solving this
system of equations. The methods employed rely on Thurston's characterization
of post-critically finite rational maps, in particular the results on
polynomials by S. Levy and A. Poirier.
We prove the existence of a hyperbolic surface spread over the sphere for
which the projection map has all its singular values on the extended real line,
and such that the preimage of the extended real line under the projection map
is homeomorphic to the square grid in the plane. This answers a question raised
by \`E. B. Vinberg.