Cylinder renormalization for Siegel discs and a constructive measurable Riemann mapping theorem

Abstract

The boundary of the Siegel disc of a quadratic polynomial with an irrationally indifferent fixed point with the golden mean rotation number has been observed to be self-similar. The geometry of this self-similarity is universal for a large class of holomorphic maps. A renormalization explanation of this universality has been proposed in the literature. However, one of the ingredients of this explanation, the hyperbolicity of renormalization, has not yet been proved.The present work considers a cylinder renormalization—a novel type of renormalization for holomorphic maps with a Siegel disc which is better suited for a hyperbolicity proof. A key element of a cylinder renormalization of a holomorphic map is a conformal isomorphism of a dynamical quotient of a subset of to a bi-infinite cylinder . A construction of this conformal isomorphism is an implicit procedure which can be performed using the measurable Riemann mapping theorem.We present a constructive proof of the measurable Riemann mapping theorem and obtain rigorous bounds on a numerical approximation of the desired conformal isomorphism. Such control of the uniformizing conformal coordinate is of key importance for a rigorous computer-assisted study of cylinder renormalization.