The dynamics of complex box mappings

Abstract

In holomorphic dynamics, complex box mappings arise as first return maps to well-chosen domains. They are a generalization of polynomial-like mapping, where the domain of the return map can have infinitely many components. They turned out to be extremely useful in tackling diverse problems. The purpose of this paper is: -To illustrate some pathologies that can occur when a complex box mapping is not induced by a globally defined map and when its domain has infinitely many components, and to give conditions to avoid these issues.-To show that once one has a box mapping for a rational map, these conditions can be assumed to hold in a very natural setting. Thus we call such complex box mappings dynamically natural. Having such box mappings is the first step in tackling many problems in one-dimensional dynamics.-Many results in holomorphic dynamics rely on an interplay between combinatorial and analytic techniques. In this setting some of these tools are -the Enhanced Nest (a nest of puzzle pieces around critical points) from [KSS1]; -the Covering Lemma (which controls the moduli of pullbacks of annuli) from [KL1]; -the QC-Criterion and the Spreading Principle from [KSS1].The purpose of this paper is to make these tools more accessible so that they can be used as a 'black box', so one does not have to redo the proofs in new settings.-To give an intuitive, but also rather detailed, outline of the proof from [KvS, KSS1] of the following results for non-renormalizable dynamically natural complex box mappings:-puzzle pieces shrink to points, -(under some assumptions) topologically conjugate non-renormalizable polynomials and box mappings are quasiconformally conjugate.-We prove the fundamental ergodic properties for dynamically natural box mappings. This leads to some necessary conditions for when such a box mapping supports a measurable invariant line field on its filled Julia set. These mappings are the analogues of Lattès maps in this setting.-We prove a version of Mañé's Theorem for complex box mappings concerning expansion along orbits of points that avoid a neighborhood of the set of critical points.Date: May 19, 2021.Acknowledgments. The research of the second author was partially supported by the advanced grant 695 621 "HOLO-GRAM" of the European Research Council (ERC), which is gratefully acknowledged. We would also like to thank Dzmitry Dudko and Dierk Schleicher for many stimulating discussions and encouragement during our work on this project, Weixiao Shen and Mikhail Hlushchanka for helpful comments.

Lower bounds on the Hausdorff dimension of some Julia sets

“…Our definition of a partitioned holomorphic dynamical system can also be viewed as a generalization of a Markov partition for a conformal dynamical system from [McM98]. There is also a strong resemblance with the complex box mappings, defined in [KvS09] (see also [CDKvS21] and references therein for the history of the subject).…”