For certain classes of holomorphic correspondences which are matings between Kleinian groups and polynomials, we prove the existence of pinching deformations, analogous to Maskit's deformations of Kleinian groups which pinch loxodromic elements to parabolic elements. We apply our results to establish the existence of matings between quadratic maps and the modular group, for a large class of quadratic maps, and of matings between the quadratic map $z\to z^2$ and circle-packing representations of the free product $C\_2*C\_3$ of cyclic groups of order 2 and 3.
We study quasiconformal deformations and mixing properties of hyperbolic sets in the family of holomorphic correspondences z^r +c, where r >1 is rational. Julia sets in this family are projections of Julia sets of holomorphic maps on C^2, which are skew-products when r is integer, and solenoids when r is non-integer and c is close to zero. Every hyperbolic Julia set in C^2 moves holomorphically. The projection determines a branched holomorphic motion with local (and sometimes global) parameterisations of the plane Julia set by quasiconformal curves.
We use semigroup theory to describe the group of automorphisms of some semigroups of interest in holomorphic dynamical systems. We show, with some examples, that representation theory of semigroups is related to usual constructions in holomorphic dynamics. The main tool for our discussion is a theorem due to Schreier. We extend this theorem, and our results in semigroups, to the setting of correspondences and holomorphic correspondences.
We study two notions of topological entropy of correspondences introduced by Friedland and Dinh-Sibony. Upper bounds are known for both. We identify a class of holomorphic correspondences whose entropy in the sense of Dinh-Sibony equals the known upper bound. This provides an exact computation of the entropy for rational semigroups. We also explore a connection between these two notions of entropy.
This paper studies recurrence phenomena in iterative holomorphic dynamics of certain multi-valued maps. In particular, we prove an analogue of the Poincaré recurrence theorem for meromorphic correspondences with respect to certain dynamically interesting measures associated with them. Meromorphic correspondences present a significant measure-theoretic obstacle: the image of a Borel set under a meromorphic correspondence need not be Borel. We manage this issue using the Measurable Projection Theorem, which is an aspect of descriptive set theory. We also prove a result concerning invariance prop…
We study the dynamics of holomorphic correspondences $f$ on a compact Riemann surface $X$ in the case, so far not well understood, where $f$ and $f^{-1}$ have the same topological degree. Under a mild and necessary condition that we call non weak modularity, $f$ admits two canonical probability measures $μ^+$ and $μ^-$ which are invariant by $f^*$ and $f_*$ respectively. If the critical values of $f$ (resp. $f^{-1}$) are not periodic, the backward (resp. forward) orbit of any point $a \in X$ equidistributes towards $μ^+$ (resp. $μ^-$), uniformly in $a$ and exponentially fast.
This paper establishes the geometric rigidity of certain holomorphic correspondences in the family $(w-c)^q=z^p,$ whose post-critical set is finite in any bounded domain of $\mathbb{C}.$ In spite of being rigid on the sphere, such correspondences are $J$-stable by means of holomorphic motions when viewed as maps of $\mathbb{C}^2.$ The key idea is the association of a conformal iterated function system to the return branches near the critical point, giving a global description of the post-critical set. We also show that Julia sets of any perturbation of such correspondences are obtained as $α$ …
In this paper, we continue exploration of the dynamical and parameter planes of one-parameter families of Schwarz reflections that was initiated in \cite{LLMM1,LLMM2}. Namely, we consider a family of quadrature domains obtained by restricting the Chebyshev cubic polynomial to various univalent discs. Then we perform a quasiconformal surgery that turns these reflections to parabolic rational maps (which is the crucial technical ingredient of our theory). It induces a straightening map between the parameter plane of Schwarz reflections and the parabolic Tricorn. We describe various properties of…
In this paper, we present a new technique for studying the dynamics of a finitely generated rational semigroup. Such a semigroup can be associated naturally to a certain holomorphic correspondence on $\mathbb{P}^1$. Then, results on the iterative dynamics of such a correspondence can be applied to the study of the rational semigroup. We focus on a certain invariant measure for the aforementioned correspondence---known as the equilibrium measure. This confers some advantages over many of the known techniques for studying the dynamics of rational semigroups. We use the equilibrium measure to ana…
This paper surveys some recent results concerning the dynamics of two families of holomorphic correspondences, namely ${\mathcal F}_a:z \to w$ defined by the relation $$\left( \frac{aw-1}{w-1} \right)^2 + \left( \frac{aw-1}{w-1} \right) \left( \frac{az +1}{z+1} \right) + \left( \frac{az+1}{z+1} \right)^2 =3,$$ and $$\mathbf{f}_c(z)=z^β +c, \mbox{ where } 1<β=p/q \in \mathbb{Q},$$ which is the correspondence $\mathbf{f}_c:z \to w$ defined by the relation $$(w-c)^q=z^p.$$ Both can be regarded as generalizations of the family of quadratic maps $f_c(z)=z^2+c$. We describe dynamical properties for …
This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if $F$ is a holomorphic correspondence on $\mathbb{P}^1$, then (under certain conditions) $F$ admits a measure $μ_F$ such that, for any point $z$ drawn from a "large" open subset of $\mathbb{P}^1$, $μ_F$ is the weak*-limit of the normalised sums of point masses carried by the pre-images of $z$ under the iterates of $F$. Let ${}^\dagger{F}$ denote the transpose of $F$. Under the condition $d_{top}(F) > d_{top}({}^\dagger{F})$, where $d_{top}$ denotes the topological degree, the above phenomemon was…
We show that if $β>1$ is a rational number and the Julia set $J$ of the holomorphic correspondence $z^β+c$ is a locally eventually onto hyperbolic repeller, then the Hausdorff dimension of $J$ is bounded from above by the zero of the associated pressure function. As a consequence, we conclude that the Julia set of the correspondence has zero Lebesgue measure for parameters close to zero, whenever $q^2<p$ and $β=p/q$ in lowest terms.
