As discovered by W. Thurston, the action of a complex one-variable polynomial on its Julia set can be modeled by a geodesic lamination in the disk, provided that the Julia set is connected. It also turned out that the parameter space of such dynamical laminations of degree two gives a model for the bifurcation locus in the space of quadratic polynomials. This model is itself a geodesic lamination, the so called quadratic minor lamination of Thurston. In the same spirit, we consider the space of all cubic symmetric polynomials $f_\unicode{x3bb} (z)=z^3+\unicode{x3bb} ^2 z$ in three articles. In the first one, we construct the cubic symmetric comajor lamination together with the corresponding quotient space of the unit circle. As is verified in the third paper, this yields a monotone model of the cubic symmetric connectedness locus, that is, the space of all cubic symmetric polynomials with connected Julia sets. In the present paper, the second in the series, we develop an algorithm for generating the cubic symmetric comajor lamination analogous to the Lavaurs algorithm for constructing the quadratic minor lamination.

We show the existence of transcendental entire functions $f: \mathbb {C} \rightarrow \mathbb {C}$ with Hausdorff-dimension $1$ Julia sets, such that every Fatou component of f has infinite inner connectivity. We also show that there exist singleton complementary components of any Fatou component of f, answering a question of Rippon and Stallard [Eremenko points and the structure of the escaping set. Trans. Amer. Math. Soc. 372(5) (2019), 3083–3111]. Our proof relies on a quasiconformal-surgery approach developed by Burkart and Lazebnik [Interpolation of power mappings. Rev. Mat. Iberoam. 39(3) (2023), 1181–1200].

Let $f(z)=z^2+c$ be an infinitely renormalizable quadratic polynomial and $J_\infty $ be the intersection of forward orbits of ‘small’ Julia sets of its simple renormalizations. We prove that if f admits an infinite sequence of satellite renormalizations, then every invariant measure of $f: J_\infty \to J_\infty $ is supported on the postcritical set and has zero Lyapunov exponent. Coupled with [13], this implies that the Lyapunov exponent of such f at c is equal to zero, which partly answers a question posed by Weixiao Shen.

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.

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.

We study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $\unicode[STIX]{x1D6FF}$-dense (the orbit meets every ball of radius $\unicode[STIX]{x1D6FF}$), weakly dense and such that $\unicode[STIX]{x1D6E4}\cdot \text{Orb}_{P}(x)$ is dense for every $\unicode[STIX]{x1D6E4}\subset \mathbb{C}$ that either is unbounded or has 0 as an accumulation point. Moreover, we generalize the construction to arbitrary infinite-dimensional separable Banach spaces. To prove this, we study Julia sets of homogeneous polynomials on Banach spaces.