Rigidity of Conformal Iterated Function Systems

Abstract

The paper extends the rigidity of the mixing expanding repellers theorem of D. Sullivan announced at the 1986 IMC. We show that, for a regular conformal, satisfying the ‘Open Set Condition’, iterated function system of countably many holomorphic contractions of an open connected subset of a complex plane, the Radon–Nikodym derivative dμ/dm has a real-analytic extension on an open neighbourhood of the limit set of this system, where m is the conformal measure and μ is the unique probability invariant measure equivalent with m. Next, we introduce the concept of nonlinearity for iterated function systems of countably many holomorphic contractions. Several necessary and sufficient conditions for nonlinearity are established. We prove the following rigidity result: If h, the topological conjugacy between two nonlinear systems F and G, transports the conformal measure m_F to the equivalence class of the conformal measure m_G, then h has a conformal extension on an open neighbourhood of the limit set of the system F. Finally, we prove that the hyperbolic system associated to a given parabolic system of countably many holomorphic contractions is nonlinear, which allows us to extend our rigidity result to the case of parabolic systems.