Complex bounds for critical circle maps

Let $f, g:S^1\to S^1$ be two $C^3$ critical homeomorphisms of the circle with the same irrational rotation number and the same (finite) number of critical points, all of which are assumed to be non-flat, of power-law type. In this paper we prove that if $h:S^1\to S^1$ is a topological conjugacy between $f$ and $g$ and $h$ maps the critical points of $f$ to the critical points of $g$, then $h$ is quasisymmetric. When the power-law exponents at all critical points are integers,...

We say that a periodic quasicircle of a rational map is a rotation quasicircle if the return map is conjugate to an irrational rotation, and a Herman quasicircle if additionally it is not contained in the closure of any rotation domain. In the first part of this paper, we study rational maps which are geometrically finite away from rotation quasicircles of bounded type. We show that the Julia set of such a map does not support any invariant line field, and additionally has ze...

There is a well developed renormalization theory of real analytic critical circle maps by de Faria, de Melo, and Yampolsky. In this paper, we extend Yampolsky's result on hyperbolicity of renormalization periodic points to a larger class of dynamical objects, namely critical quasicircle maps, i.e. analytic self homeomorphisms of a quasicircle with a single critical point. Unlike critical circle maps, the inner and outer criticalities of critical quasicircle maps can be distin...

We prove that a $C^3$ critical circle map without periodic points has zero Lyapunov exponent with respect to its unique invariant Borel probability measure. Moreover, no critical point of such a map satisfy the Collet-Eckmann condition. This result is proved directly from the well-known real a-priori bounds, without using Pesin's theory. We also show how our methods yield an analogous result for infinitely renormalizable unimodal maps of any combinatorial type. Finally we dis...

The renormalization of a quadratic-like map is studied. The three-dimensional Yoccoz puzzle for an infinitely renormalizable quadratic-like map is discussed. For an unbranched quadratic-like map having the {\sl a priori} complex bounds, the local connectivity of its Julia set is proved by using the three-dimensional Yoccoz puzzle. The generalized version of Sullivan's sector theorem is discussed and is used to prove his result that the Feigenbaum quadratic polynomial has the ...

In this paper we give a new prove of hyperbolicity of renormalization of critical circle maps using the formalism of almost-commuting pairs. We extend renormalization to two-dimensional dissipative maps of the annulus which are small perturbations of one-dimensional critical circle maps. Finally, we demontsrate that a two-dimensional map which lies in the stable set of the renormalization operator possesses an attractor which is topologically a circle. Such a circle is critic...

In this paper we prove complex bounds, also referred to as a priori bounds, for real analytic (and even C3) interval maps. This means that we associate to such a map a complex box mapping (which provides a kind of Markov structure), together with universal geometric bounds on the shape of the domains. Such bounds show that the first return maps to these domains are well-controlled, and consequently form one of the corner stones in many recent results on one-dimensional dynami...

Holomorphic renormalization plays an important role in complex polynomial dynamics. We consider certain conditions guaranteeing that a polynomial which does not admit a polynomial-like connected Julia set still admits an invariant continuum on which it is topologically conjugate to a lower degree polynomial. This invariant continuum may contain extra critical points of the original polynomial that are not visible in the dynamical plane of the conjugate polynomial. Thus, we ex...

Invariant circles play an important role as barriers to transport in the dynamics of area-preserving maps. KAM theory guarantees the persistence of some circles for near-integrable maps, but far from the integrable case all circles can be destroyed. A standard method for determining the existence or nonexistence of a circle, Greene's residue criterion, requires the computation of long-period orbits, which can be difficult if the map has no reversing symmetry. We use de la Lla...

We prove that if two analytic multicritical circle maps with the same bounded type rotation number are topologically conjugate by a conjugacy which matches the critical points of the two maps while preserving the orders of their criticalities, then the conjugacy necessarily has $C^{1+\alpha}$ regularity, where $\alpha$ depends only on the bound on the type of the rotation number. We then extend this rigidity result to $C^3$-smooth bi-cubic circle maps.