In this article, we establish an explicit correspondence between kissing reflection groups and critically fixed anti-rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti-rational maps.

We construct automorphisms of ${\mathbb C}^2$, and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank one. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form $F(z,w)=(g(z,w),z)$ with $g(z,w):{\mathbb C}^2\rightarrow {\mathbb C}$ holomorphic.

The Julia set of the exponential family $E_{\kappa }:z\mapsto \kappa e^z$, $\kappa>0$ was shown to be the entire complex plane when $\kappa>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<\kappa \leq 1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three-dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the whole of $\mathbb {R}^3$, generalizing Misiurewicz’s result. Moreover, we show that the periodic points of the Zorich map are dense in $\mathbb {R}^3$ and that its escaping set is connected, generalizing a result of Rempe. We also generalize a theorem of Ghys, Sullivan and Goldberg on the measurable dynamics of the exponential.

We investigate stable intersections of conformal Cantor sets and their consequences to dynamical systems. First we define this type of Cantor set and relate it to horseshoes appearing in automorphisms of $\mathbb {C}^2$. Then we study limit geometries, that is, objects related to the asymptotic shape of the Cantor sets, to obtain a criterion that guarantees stable intersection between some configurations. Finally, we show that the Buzzard construction of a Newhouse region on $\mathrm{Aut}(\mathbb {C}^2)$ can be seen as a case of stable intersection of Cantor sets in our sense and give some (not optimal) estimate on how ‘thick’ those sets have to be.

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on the exponential function that has precisely two finite asymptotic values and one attracting fixed point. It represents a step beyond the previous work by Goldberg and Keen [The mapping class group of a generic quadratic rational map and automorphisms of the 2-shift. Invent. Math. 101(2) (1990), 335–372] on degree two rational functions with analogous constraints: two critical values and an attracting fixed point. What is interesting and promising for pushing the general program even further is that, despite the presence of the essential singularity, our new functions exhibit a dynamic structure as similar as one could hope to the rational case, and that the philosophy of the techniques used in the rational case could be adapted.

We study the possible dynamical degrees of automorphisms of the affine space $\mathbb {A}^n$. In dimension $n=3$, we determine all dynamical degrees arising from the composition of an affine automorphism with a triangular one. This generalizes the easier case of shift-like automorphisms which can be studied in any dimension. We also prove that each weak Perron number is the dynamical degree of an affine-triangular automorphism of the affine space $\mathbb {A}^n$ for some n, and we give the best possible n for quadratic integers, which is either $3$ or $4$.

We extend the concept of a Hubbard tree, well established and useful in the theory of polynomial dynamics, to the dynamics of transcendental entire functions. We show that Hubbard trees in the strict traditional sense, as invariant compact trees embedded in $\mathbb {C}$, do not exist even for post-singularly finite exponential maps; the difficulty lies in the existence of asymptotic values. We therefore introduce the concept of a homotopy Hubbard tree that takes care of these difficulties. Specifically for the family of exponential maps, we show that every post-singularly finite map has a homotopy Hubbard tree that is unique up to homotopy, and that post-singularly finite exponential maps can be classified in terms of homotopy Hubbard trees, using a transcendental analogue of Thurston’s topological characterization theorem of rational maps.

For $c \in \mathbb {Q}$, consider the quadratic polynomial map $\varphi _c(z)=z^2-c$. Flynn, Poonen, and Schaefer conjectured in 1997 that no rational cycle of $\varphi _c$ under iteration has length more than $3$. Here, we discuss this conjecture using arithmetic and combinatorial means, leading to three main results. First, we show that if $\varphi _c$ admits a rational cycle of length $n \ge 3$, then the denominator of c must be divisible by $16$. We then provide an upper bound on the number of periodic rational points of $\varphi _c$ in terms of the number s of distinct prime factors of the denominator of c. Finally, we show that the Flynn–Poonen–Schaefer conjecture holds for $\varphi _c$ if $s \le 2$, i.e., if the denominator of c has at most two distinct prime factors.

We generalize a combinatorial formula of Douady from the main cardioid to other hyperbolic components H of the Mandelbrot set, constructing an explicit piecewise linear map which sends the set of angles of external rays landing on H to the set of angles of external rays landing on the real axis.

Let f and g be two quasiregular maps in $\mathbb{R}^d$ that are of transcendental type and also satisfy $f\circ g =g \circ f$. We show that if the fast escaping sets of those functions are contained in their respective Julia sets then those two functions must have the same Julia set. We also obtain the same conclusion about commuting quasimeromorphic functions with infinite backward orbit of infinity. Furthermore we show that permutable quasiregular functions of the form f and $g = \phi \circ f$, where $\phi$ is a quasiconformal map, have the same Julia sets and that polynomial type quasiregular maps cannot commute with transcendental type ones unless their degree is less than or equal to their dilatation.

A holomorphic endomorphism of ${{\mathbb {CP}}}^n$ is post-critically algebraic if its critical hypersurfaces are periodic or preperiodic. This notion generalizes the notion of post-critically finite rational maps in dimension one. We will study the eigenvalues of the differential of such a map along a periodic cycle. When $n=1$, a well-known fact is that the eigenvalue along a periodic cycle of a post-critically finite rational map is either superattracting or repelling. We prove that, when $n=2$, the eigenvalues are still either superattracting or repelling. This is an improvement of a result by Mattias Jonsson [Some properties of 2-critically finite holomorphic maps of P2. Ergod. Th. & Dynam. Sys. 18(1) (1998), 171–187]. When $n\geq 2$ and the cycle is outside the post-critical set, we prove that the eigenvalues are repelling. This result improves one obtained by Fornæss and Sibony [Complex dynamics in higher dimension. II. Modern Methods in Complex Analysis (Princeton, NJ, 1992) (Annals of Mathematics Studies, 137). Ed. T. Bloom, D. W. Catlin, J. P. D’Angelo and Y.-T. Siu, Princeton University Press, 1995, pp. 135–182] under a hyperbolicity assumption on the complement of the post-critical set.

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 and proving the hyperbolicity of these correspondences.

We prove that uniform hyperbolicity is invariant under topological conjugacy for dissipative polynomial automorphisms of $\mathbb {C}^2$. Along the way we also show that a sufficient condition for hyperbolicity is that local stable and unstable manifolds of saddle points have uniform geometry.

We investigate the location of zeros for the partition function of the anti-ferromagnetic Ising model, focusing on the zeros lying on the unit circle. We give a precise characterization for the class of rooted Cayley trees, showing that the zeros are nowhere dense on the most interesting circular arcs. In contrast, we prove that when considering all graphs with a given degree bound, the zeros are dense in a circular sub-arc, implying that Cayley trees are in this sense not extremal. The proofs rely on describing the rational dynamical systems arising when considering ratios of partition functions on recursively defined trees.

We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.

For a sequence of complex parameters $(c_n)$ we consider the composition of functions $f_{c_n} (z) = z^2 + c_n$, the non-autonomous version of the classical quadratic dynamical system. The definitions of Julia and Fatou sets are naturally generalized to this setting. We answer a question posed by Brück, Büger and Reitz, whether the Julia set for such a sequence is almost always totally disconnected, if the values $c_n$ are chosen randomly from a large disc. Our proof is easily generalized to answer a lot of other related questions regarding typical connectivity of the random Julia set. In fact we prove the statement for a much larger family of sets than just discs; in particular if one picks $c_n$ randomly from the main cardioid of the Mandelbrot set, then the Julia set is still almost always totally disconnected.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are functions for which the postsingular set is a compact subset of the Fatou set. Equivalently, they are characterized as being expanding. Mihaljević-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalize these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics.

We extend Thurston’s topological characterisation theorem for postcritically finite rational maps to a class of rational maps which have a fixed bounded type Siegel disk. This makes a small step towards generalizing Thurston’s theorem to geometrically infinite rational maps.

For a polynomial $f(x)\in\mathbb{Q}[x]$ and rational numbers c, u, we put $f_c(x)\coloneqq f(x)+c$, and consider the Zsigmondy set $\calZ(f_c,u)$ associated to the sequence $\{f_c^n(u)-u\}_{n\geq 1}$, see Definition 1.1, where $f_c^n$ is the n-st iteration of fc. In this paper, we prove that if u is a rational critical point of f, then there exists an Mf > 0 such that $\mathbf M_f\geq \max_{c\in \mathbb{Q}}\{\#\calZ(f_c,u)\}$.

We say that a group G of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(\phi (V), W)$ takes only finitely many values as a function of G for any choice of analytic sets V and W of complementary dimension. In dimension $2$ we show that G satisfies the uniform intersection property if and only if it is finitely determined – that is, if there exists a natural number k such that different elements of G have different Taylor expansions of degree k at the origin. We also prove that G is finitely determined if and only if the action of G on the space of germs of analytic curves has discrete orbits.