We construct a subset of the Mandelbrot set which is dense on the boundary of the Mandelbrot set and which consists of only infinitely renormalizable points such that the Mandelbrot set is locally connected at every point of this subset. We prove the local connectivity by finding bases of connected neighborhoods directly.
A decoration of the Mandelbrot set $M$ is a part of $M$ cut off by two external rays landing at some tip of a satellite copy of $M$ attached to the main cardioid. In this paper we consider infinitely renormalizable quadratic polynomials satisfying the decoration condition, which means that the combinatorics of the renormalization operators involved is selected from a finite family of decorations. For this class of maps we prove {\it a priori} bounds. They imply local connectivity of the corresponding Julia sets and the Mandelbrot set at the corresponding parameter values.
In this paper we prove {\it a priori bounds} for infinitely renormalizable quadratic polynomials satisfying a ``molecule condition''. Roughly speaking, this condition ensures that the renormalization combinatorics stay away from the satellite types. These {\it a priori bounds} imply local connectivity of the corresponding Julia sets and the Mandelbrot set at the corresponding parameter values.
We prove combinatorial rigidity of infinitely renormalizable unicritical polynomials, P_c :z \mapsto z^d+c, with complex c, under the a priori bounds and a certain "combinatorial condition". This implies the local connectivity of the connectedness loci (the Mandelbrot set when d = 2) at the corresponding parameters.
We explore geometric properties of the Mandelbrot set M, and the corresponding Julia sets J_c, near the main cardioid. Namely, we establish that: a) M is locally connected at certain infinitely renormalizable parameters c of bounded satellite type, providing first examples of this kind; b) The Julia sets J_c are also locally connected and have positive area; c) M is self-similar near Siegel parameters of constant type. We approach these problems by analyzing the unstable manifold of the pacman renormalization operator constructed in [DLS] as a global transcendental family.
The combinatorial Mandelbrot set is a continuum in the plane, whose boundary can be defined, up to a homeomorphism, as the quotient space of the unit circle by an explicit equivalence relation. This equivalence relation was described by Douady and, in different terms, by Thurston. Thurston used quadratic invariant laminations as a major tool. As has been previously shown by the authors, the combinatorial Mandelbrot set can be interpreted as a quotient of the space of all limit quadratic invariant laminations. The topology in the space of laminations is defined by the Hausdorff distance. In thi…
Given $C^2$ infinitely renormalizable unimodal maps $f$ and $g$ with a quadratic critical point and the same bounded combinatorial type, we prove that they are $C^{1+α}$ conjugate along the closure of the corresponding forward orbits of the critical points, for some $α>0$.
Let f be an infinitely-renormalizable quadratic polynomial and J_\infty be the intersection of forward orbits of "small" Julia sets of simple renormalizations of f. We prove that J_\infty contains no hyperbolic sets.
A physical measure on the attractor of a system describes the statistical behavior of typical orbits. An example occurs in unimodal dynamics. Namely, all infinitely renormalizable unimodal maps have a physical measure. For Lorenz dynamics, even in the simple case of infinitely renormalizable systems, the existence of physical measures is more delicate. In this article we construct examples of infinitely renormalizable Lorenz maps which do not have a physical measure. A priori bounds on the geometry play a crucial role in (unimodal) dynamics. There are infinitely renormalizable Lorenz maps whic…
We use the upper and lower potential functions and Bowen's formula estimating the Hausdorff dimension of the limit set of a regular semigroup generated by finitely many $C^{1+α}$-contracting mappings. This result is an application of the geometric distortion lemma in the first paper at this series.
In this paper we show that the invariant Cantor set of period doubling type of any infinitely renormalizable area-preserving map in the universality class of the Eckmann-Koch-Wittwer renormalization fixed point is always contained in a Lipschitz curve but never contained in a smooth curve. This extends previous results by de Carvalho, Lyubich and Martens about strongly dissipative maps of the plane close to unimodal maps to the area-preserving setting. The method used for constructing the Lipschitz curve is very similar to the method used in the dissipative case but proving the nonexistence of…
A semigroup (dynamical system) generated by $C^{1+α}$-contracting mappings is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives of generators and the smoothness $α$ of the generators satisfy a compatibility condition $K< 1/l^α$. We prove the {\em geometric distortion lemma} for a regular semigroup generated by $C^{1+α}$-contracting mappings.
For an infinitely renormalizable negative Schwarzian unimodal map $f$ with non-flat critical point, we analyze statistical properties of periodic points as the periods tend to infinity. Introducing a weight function $φ$ which is a continuous or a geometric potential $φ=-β\log|f'|$ ($β\in\mathbb R$), we establish the level-2 Large Deviation Principle for weighted periodic points. From this, we deduce that all weighted periodic points equidistribute with respect to equilibrium states for the potential $φ$. In particular, it follows that all periodic points are equidistributed with respect to mea…
This article extends the theorem of the absence of wandering domains from unimodal maps to infinitely period-doubling renormalizable Hénon-like maps in the strongly dissipative (area contracting) regime. The theorem solves an open problem proposed by several authors [van Strien (2010) and Lyubich and Martens (2011)], and covers a class of maps in the nonhyperbolic higher dimensional setting. The classical proof for unimodal maps breaks down in the Hénon settings, and two techniques, "the area argument" and "the good region and the bad region", are introduced to resolve the main difficulty. The…
Infinitely renormalizable Hénon-like map in arbitrary finite dimension is considered. The set, $\mathcal N$ of infinitely renormalizable Hénon-like maps satisfying the certain condition is invariant under renormalization operator. The Cantor attractor of infinitely renormalizable Hénon-like map, $F$ in $\mathcal N$ has {\em unbounded geometry} almost everywhere in the parameter space of the universal number which corresponds to the average Jacobian of two dimensional map. This is an extension of the same result in $\mathcal N$ for three dimensional infinitely renormalizable Hénon-like maps.
The period doubling Cantor sets of strongly dissipative Henon-like maps with different average Jacobian are not smoothly conjugated. The Jacobian Rigidity Conjecture says that the period doubling Cantor sets of two-dimensional Henon-like maps with the same average Jacobian are smoothly conjugated. This conjecture is true for average Jacobian zero, e.g. the one-dimensional case. The other extreme case is when the maps preserve area, e.g. the average Jacobian is one. Indeed, the period doubling Cantor set of area-preserving maps in the universality class of the Eckmann-Koch-Wittwer renormalizati…
In this paper we describe the well studied process of renormalization of quadratic polynomials from the point of view of their natural extensions. In particular, we describe the topology of the inverse limit of infinitely renormalizable quadratic polynomials and prove that when they satisfy a-priori bounds, the topology is rigid modulo its combinatorics.
We analyze the signature type of a cascade of periodic orbits associated to period doubling renormalizable maps of the two dimensional disk. The signature is a sequence of rational numbers which describes how periodic orbits turn each other and is invariant by topological conjugacies that preserve orientation. We prove that in the class of area contracting maps the signature cannot be a monotone sequence. This explains why classical examples of infinitely renormalizable maps due to Bowen, Franks and Young cannot be achieved by smooth dissipative maps showing that there are topological obstruct…
This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid and little Mandelbrot sets attached to it) we associate a ``principal nest of parapuzzle pieces'' and show that the moduli of the annuli grow at least linearly. The main motivation for this work was to prove the following: Theorem B (joint with Martens and Nowicki). Lebesgue almost every real quadratic polynomial which is non-hyperbolic and at most finitely re…
Local similarity between the Mandelbrot set and quadratic Julia sets manifests itself in a variety of ways. We discuss a combinatorial one, in the language of geodesic laminations. More precisely, we compare quadratic invariant laminations representing Julia sets with the so-called Quadratic Minor Lamination (QML) representing a locally connected model of the Mandelbrot set. Similarly to the construction of an invariant lamination by pullbacks of certain leaves, we describe how QML can be generated by properly understood pullbacks of certain minors. In particular, we show that the minors of al…
We consider infinitely renormalizable Lorenz maps with real critical exponent $α>1$ and combinatorial type which is monotone and satisfies a long return condition. For these combinatorial types we prove the existence of periodic points of the renormalization operator, and that each map in the limit set of renormalization has an associated unstable manifold. An unstable manifold defines a family of Lorenz maps and we prove that each infinitely renormalizable combinatorial type (satisfying the above conditions) has a unique representative within such a family. We also prove that each infinitely …
Let $f(z) = z^2 + c$ be a quadratic polynomial, with c in the Mandelbrot set. Assume further that both fixed points of f are repelling, and that f is not renormalizable. Then we prove that the Julia set J of f is holomorphically removable in the sense that every homeomorphism of the complex plane to itself that is conformal off of J is in fact conformal on the entire complex plane. As a corollary, we deduce that the Mandelbrot Set is locally connected at such c.
We prove an extension results for the multiplier of an attracting periodic orbit of a quadratic map as a function of the parameter. This has applications to the problem of geometry of the Mandelbrot and Julia sets. In particular, we prove that the size of p/q-limb of a hyperbolic component of the Mandelbrot set of period n is O(4^n/p), and give an explicit condition on internal arguments under which the Julia set of corresponding (unique) infinitely renormalizable quadratic polynomial is not locally connected
We study highly dissipative Hénon maps $$ F_{c,b}: (x,y) \mapsto (c-x^2-by, x) $$ with zero entropy. They form a region $Π$ in the parameter plane bounded on the left by the curve $W$ of infinitely renormalizable maps. We prove that Morse-Smale maps are dense in $Π$, but there exist infinitely many different topological types of such maps (even away from $W$). We also prove that in the infinitely renormalizable case, the average Jacobian $b_F$ on the attracting Cantor set $\OO_F$ is a topological invariant. These results come from the analysis of the heteroclinic web of the saddle periodic poi…
For an infinitely renormalizable quadratic map $f_c: z\mapsto z^2+c$ with the sequence of renormalization periods ${k_m}$ and rotation numbers ${t_m=p_m/q_m}, we prove that if $\limsup k_m^{-1}\log |p_m|>0$, then the Mandelbrot set is locally connected at $c$. We prove also that if $\limsup |t_{m+1}|^{1/q_m}<1$ and $q_m\to \infty$, then the Julia set of $f_c$ is not locally connected and the Mandelbrot set is locally connected at $c$ provided that all the renormalizations are non-primitive (satellite). This quantifies a construction of A. Douady and J. Hubbard, and weakens a condition proposed…
Lorenz maps are maps of the unit interval with one critical point of order rho>1, and a discontinuity at that point. They appear as return maps of leafs of sections of the geometric Lorenz flow. We construct real a priori bounds for renormalizable Lorenz maps with certain monotone combinatorics, and use these bounds to show existence of periodic points of renormalization, as well as existence of Cantor attractors for dynamics of infinitely renormalizable Lorenz maps.
We construct complex a-priori bounds for certain infinitely renormalizable Lorenz maps. As a corollary, we show that renormalization is a real-analytic operator on the corresponding space of Lorenz maps.
A while ago MLC (the conjecture that the Mandelbrot set is locally connected) was proven for quasi-hyperbolic points by Douady and Hubbard, and for boundaries of hyperbolic components by Yoccoz. More recently Yoccoz proved MLC for all at most finitely renormalizable parameter values. One of our goals is to prove MLC for some infinitely renormalizable parameter values. Loosely speaking, we need all renormalizations to have bounded combinatorial rotation number (assumption C1) and sufficiently high combinatorial type (assumption C2). For real quadratic polynomials of bounded combinatorial type t…
We study the dynamics of the renormalization operator acting on the space of pairs (v,t), where v is a diffeomorphism and t belongs to [0,1], interpreted as unimodal maps x-->v(q_t(x)), where q_t(x)=-2t|x|^a+2t-1. We prove the so called complex bounds for sufficiently renormalizable pairs with bounded combinatorics. This allows us to show that if the critical exponent a is close to an even number then the renormalization operator has a unique fixed point. Furthermore this fixed point is hyperbolic and its codimension one stable manifold contains all infinitely renormalizable pairs.
We give examples of infinitely renormalizable quadratic polynomials $F_c: z\maps to z^2+c$ with stationary combinatorics whose Julia sets have Hausdorff dimension arbitrar y close to 1. The combinatorics of the renormalization involved is close to the Chebyshev one . The argument is based upon a new tool, a ``Recursive Quadratic Estimate'' for the Poincaré series of an infinitely re normalizable map.
We establish the equidistribution with respect to the bifurcation measure of post-critically finite maps in any one-dimensional algebraic family of unicritical polynomials. Using this equidistribution result, together with a combinatorial analysis of certain algebraic correspondences on the complement of the Mandelbrot set $M_2$ (or generalized Mandelbrot set $M_d$ for degree $d>2$), we classify all complex plane curves $C$ with Zariski-dense subsets of points $(a,b)\in C$, such that both $z^d+a$ and $z^d+b$ are simultaneously post-critically finite for a fixed degree $d\geq 2$. Our result is …
The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douad…
The following notes provide an introduction to recent work of Branner, Hubbard and Yoccoz on the geometry of polynomial Julia sets. They are an expanded version of lectures given in Stony Brook in Spring 1992. I am indebted to help from the audience. Section 1 describes unpublished work by J.-C. Yoccoz on local connectivity of quadratic Julia sets. It presents only the "easy" part of his work, in the sense that it considers only non-renormalizable polynomials, and makes no effort to describe the much more difficult arguments which are needed to deal with local connectivity in parameter space. …